skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Kotek, Tomer rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Monadic second order finite satisfiability and unbounded tree-width

Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Parameterized model checking of rendezvous systems

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut

Distributed computing, 2018, Vol.31(3), pp.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with reachability

Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the automated verification of web applications with embedded SQL

Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

5
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Shape and Content: Incorporating Domain Knowledge into Shape Analysis

Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

6
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Extending ALCQIO with Trees

Kotek, Tomer ; Imkus, Mantas ; Veith, Helmut ; Zuleger, Florian

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, July 2015, pp.511-522

Fulltext disponibile

Vedi tutte le versioni
7
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)

Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Kotek, Tomer
  3. Zuleger, Florian
  4. Veith, H.
  5. Kotek, T.

Ricerca in corso nelle risorse remote ...