Articles with public access mandates - Michael BenediktLearn more
Available somewhere: 50
XPath satisfiability in the presence of DTDs
M Benedikt, W Fan, F Geerts
Journal of the ACM (JACM) 55 (2), 1-79, 2008
Mandates: Research Foundation (Flanders)
Efficient network aware search in collaborative tagging sites
SA Yahia, M Benedikt, LVS Lakshmanan, J Stoyanovich
Proceedings of the VLDB Endowment 1 (1), 710-721, 2008
Mandates: US National Institutes of Health
Benchmarking the chase
M Benedikt, G Konstantinidis, G Mecca, B Motik, P Papotti, D Santoro, ...
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
Mandates: UK Engineering and Physical Sciences Research Council
SPARQLByE: Querying RDF data by example
G Diaz, M Arenas, M Benedikt
Proceedings of the VLDB Endowment 9 (13), 1533-1536, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Querying with access patterns and integrity constraints
M Benedikt, J Leblay, E Tsamoura
Proceedings of the VLDB Endowment 8 (6), 690-701, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Polynomial automata: Zeroness and applications
M Benedikt, T Duff, A Sharad, J Worrell
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Logical foundations of information disclosure in ontology-based data integration
M Benedikt, BC Grau, EV Kostylev
Artificial Intelligence 262, 52-95, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Effective interpolation and preservation in guarded logics
M Benedikt, BT Cate, MV Boom
ACM Transactions on Computational Logic (TOCL) 17 (2), 1-46, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Complexity of two-variable logic on finite trees
S Benaim, M Benedikt, W Charatonik, E Kieroński, R Lenhardt, ...
ACM Transactions on Computational Logic (TOCL) 17 (4), 1-38, 2016
Mandates: UK Engineering and Physical Sciences Research Council
PDQ: Proof-driven query answering over web-based data
M Benedikt, J Leblay, E Tsamoura
Proceedings of the VLDB Endowment 7 (13), 1553-1556, 2014
Mandates: UK Engineering and Physical Sciences Research Council
The complexity of boundedness for guarded logics
M Benedikt, B Ten Cate, T Colcombet, MV Boom
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 293-304, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Generating low-cost plans from proofs
M Benedikt, B Ten Cate, E Tsamoura
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Bisimilarity of pushdown automata is nonelementary
M Benedikt, S Göller, S Kiefer, AS Murawski
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 488-498, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Querying visible and invisible information
M Benedikt, P Bourhis, B Ten Cate, G Puppis
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Generating plans from proofs
M Benedikt, B Ten Cate, E Tsamoura
ACM Transactions on Database Systems (TODS) 40 (4), 1-45, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Some model theory of guarded negation
V Bárány, M Benedikt, B Ten Cate
The Journal of Symbolic Logic 83 (4), 1307-1344, 2018
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
Query answering with transitive and linear-ordered data
A Amarilli, M Benedikt, P Bourhis, MV Boom
Journal of Artificial Intelligence Research 63, 191-264, 2018
Mandates: UK Engineering and Physical Sciences Research Council
A step up in expressiveness of decidable fixpoint logics
M Benedikt, P Bourhis, MV Boom
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandates: UK Engineering and Physical Sciences Research Council
When can we answer queries using result-bounded data interfaces?
A Amarilli, M Benedikt
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Publication and funding information is determined automatically by a computer program