Name Card

Full name Familienname, Vorname
Zeume, Thomas
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kolaitis, Phokion G. ; Pichler, Reinhard ; Sallinger, Emanuel ; Savenkov, Vadim Limits of Schema MappingsKonferenzbeitrag Inproceedings 2016
2Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian On the Complexity of Enumerating the Answers to Well-designed Pattern TreesKonferenzbeitrag Inproceedings 2016
3Arming, Sebastian ; Pichler, Reinhard ; Sallinger, Emanuel Complexity of Repair Checking and Consistent Query AnsweringKonferenzbeitrag Inproceedings 2016
4Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Verification of Evolving Graph-structured Data under Expressive Path ConstraintsKonferenzbeitrag Inproceedings 2016