| Foundations of rule-based query answering F Bry, N Eisinger, T Eiter, T Furche, G Gottlob, C Ley, B Linse, R Pichler, ... Reasoning Web, 1-153, 2007 | 53 | 2007 |
| Automata vs. logics on data words M Benedikt, C Ley, G Puppis Computer Science Logic, 110-124, 2010 | 40 | 2010 |
| What you must remember when processing data words M Benedikt, C Ley, G Puppis Proc. 4th Alberto Mendelzon Int. Workshop on Foundations of Data Management …, 2010 | 38 | 2010 |
| RDFLog: It’s like Datalog for RDF F Bry, T Furche, C Ley, B Linse, B Marnette Proc. Workshop on (Constraint) Logic Programming (WLP), 2008 | 24 | 2008 |
| SPARQLog: SPARQL with rules and quantification F Bry, T Furche, B Marnette, C Ley, B Linse, O Poppe Semantic Web Information Management: A Model-based Perspective, 34, 2010 | 18 | 2010 |
| On the use of guards for logics with data T Colcombet, C Ley, G Puppis Mathematical Foundations of Computer Science 2011: 36th International …, 2011 | 16 | 2011 |
| Logics with rigidly guarded data tests G Puppis, T Colcombet, C Ley Logical Methods in Computer Science 11, 2015 | 15 | 2015 |
| Querying schemas with access restrictions M Benedikt, P Bourhis, C Ley arXiv preprint arXiv:1203.6403, 2012 | 13 | 2012 |
| Taming existence in rdf querying F Bry, T Furche, C Ley, B Linse, B Marnette Web Reasoning and Rule Systems: Second International Conference, RR 2008 …, 2008 | 10 | 2008 |
| Analysis of schemas with access restrictions M Benedikt, P Bourhis, C Ley ACM Transactions on Database Systems (TODS) 40 (1), 1-46, 2015 | 9 | 2015 |
| How big must complete XML query languages be? C Ley, M Benedikt Proceedings of the 12th International Conference on Database Theory, 183-200, 2009 | 8 | 2009 |
| Minimal memory automata M Benedikt, C Ley, G Puppis Alberto Mendelzon Workshop on Foundations of Databases, 2010 | 7 | 2010 |
| Datalog relaunched: Simulation unification and value invention F Bry, T Furche, C Ley, B Marnette, B Linse, S Schaffert Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK …, 2011 | 4 | 2011 |
| Limiting until in ordered tree query languages M Benedikt, C Ley ACM Transactions on Computational Logic (TOCL) 17 (2), 1-34, 2016 | 2 | 2016 |
| Forward looking logics and automata C Ley Oxford University Computing Laboratory, 2011 | | 2011 |
| On the use of guards for logics with data C Ley International Symposium on Mathematical Foundations Of Computer Science, 2011 | | 2011 |
| Minimal Memory Automata C Ley Technical Report, 2010 | | 2010 |
| RDFLog: It's like Datalog for RDF C Ley Workshop on (Constraint) Logic Programming, 2008 | | 2008 |
| A Robust Parser for the Web Query Language Xcerpt C Ley, PR des Fortgeschrittenenpraktikums | | |
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
