Full name Familienname, Vorname
Kotek, Tomer
 
Postfix title Titel (nachgestellt)
PhD
 

Results 1-12 of 12 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014
2Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
3Calvanese, Diego ; Kotek, Tomer ; Šimkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content - A Database-Theoretic Perspective on the Analysis of Data StructuresKonferenzbeitrag Inproceedings2014
4Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019
5Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO$$^2$$ with Two OrdersKonferenzbeitrag Inproceedings 2020
6Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph Parameterized Systems in BIP: Design and Model CheckingKonferenzbeitrag Inproceedings 2016
7Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsKonferenzbeitrag Inproceedings 2014
8Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized Model Checking of Rendezvous SystemsPräsentation Presentation2014
9Shachar, 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
10Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian Monadic Second Order Finite Satisfiability and Unbounded Tree-WidthKonferenzbeitrag Inproceedings 2016
11Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015
12Kotek, Tomer Explaining the decompositionality of monadic second order logic using applications to combinatoricsPräsentation Presentation2014