| 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 | 56 | 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 | 39 | 2010 |
| RDFLog: Its 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 International Symposium on Mathematical Foundations of Computer Science, 243-255, 2011 | 17 | 2011 |
| Logics with rigidly guarded data tests T Colcombet, C Ley, G Puppis Proceedings of FREC 2014-Frontiers of Recognizability, 2014 | 16 | 2014 |
| Querying schemas with access restrictions M Benedikt, P Bourhis, C Ley arXiv preprint arXiv:1203.6403, 2012 | 13 | 2012 |
| Analysis of schemas with access restrictions M Benedikt, P Bourhis, C Ley ACM Transactions on Database Systems (TODS) 40 (1), 1-46, 2015 | 11 | 2015 |
| 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 |
| Minimal memory automata M Benedikt, C Ley, G Puppis Alberto Mendelzon Workshop on Foundations of Databases, 2010 | 7 | 2010 |
| How big must complete XML query languages be? C Ley, M Benedikt Proceedings of the 12th International Conference on Database Theory, 183-200, 2009 | 7 | 2009 |
| 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 |
| Object oriented smart contracts for UTXO-based blockchains C Ley US Patent 11,188,911, 2021 | 3 | 2021 |
| Limiting until in ordered tree query languages M Benedikt, C Ley ACM Transactions on Computational Logic (TOCL) 17 (2), 1-34, 2016 | 2 | 2016 |
| Logics with rigidly guarded data tests G Puppis, T Colcombet, C Ley Logical Methods in Computer Science 11, 2015 | 2 | 2015 |
| Object oriented smart contracts for UTXO-based blockchains C Ley US Patent 11,694,197, 2023 | | 2023 |
| Logics with rigidly guarded data tests T Colcombet, C Ley, G Puppis Proceedings of FREC 2014-Frontiers of Recognizability, 2014 | | 2014 |
| 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 |
Gabriele PuppisDept. of Mathematics, Computer Science, and PhysicsPatvirtintas el. paštas uniud.it
