Name Card

Full name Familienname, Vorname
Kotek, Tomer
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-16 of 16 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO$$^2$$ with Two OrdersKonferenzbeitrag Inproceedings 2020
2Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019
3Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized model checking of rendezvous systemsArtikel Article 2018
4Shachar, Itzhaky ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian On the Automated Verification of Web Applications with Embedded SQLKonferenzbeitrag Inproceedings 2017
5Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian Monadic Second Order Finite Satisfiability and Unbounded Tree-WidthKonferenzbeitrag Inproceedings 2016
6Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph Parameterized Systems in BIP: Design and Model CheckingKonferenzbeitrag Inproceedings 2016
7Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015
8Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
9Kotek, Tomer Explaining the decompositionality of monadic second order logic using applications to combinatoricsPräsentation Presentation2014
10Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 2014
11Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
12Kotek, Tomer ; Makowsky, Johann A. Connection Matrices and the Definability of Graph ParametersArtikel Article2014
13Kotek, Tomer ; Makowsky, Johann A. Recurrence relations for graph polynomials on bi-iterative families of graphsArtikel Article2014
14Kotek, T. ; Makowsky, J.A. A representation theorem for (q-)holonomic sequencesArtikel Article2014
15Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
16Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014