Clemens Ley

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Efficient Retrieval

Path Expressions

Top Venues

Proc. VLDB Endow.

ACM Trans. Comput. Log.

ACM Trans. Database Syst.

Publications

Michael Benedikt, Clemens Ley
Limiting Until in Ordered Tree Query Languages. ACM Trans. Comput. Log. 17 (2) (2016)
Michael Benedikt, Pierre Bourhis, Clemens Ley
Analysis of Schemas with Access Restrictions. ACM Trans. Database Syst. 40 (1) (2015)
Thomas Colcombet, Clemens Ley, Gabriele Puppis
Logics with rigidly guarded data tests. Log. Methods Comput. Sci. 11 (3) (2015)
Michael Benedikt, Pierre Bourhis, Clemens Ley
Querying Schemas With Access Restrictions CoRR (2012)
Michael Benedikt, Pierre Bourhis, Clemens Ley
Querying Schemas With Access Restrictions. Proc. VLDB Endow. 5 (7) (2012)
Thomas Colcombet, Clemens Ley, Gabriele Puppis
On the Use of Guards for Logics with Data. MFCS (2011)
François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert
Datalog Relaunched: Simulation Unification and Value Invention. Datalog (2010)
Michael Benedikt, Clemens Ley, Gabriele Puppis
What You Must Remember When Processing Data Words. AMW (2010)
Michael Benedikt, Clemens Ley, Gabriele Puppis
Automata vs. Logics on Data Words. CSL (2010)
Clemens Ley, Michael Benedikt
How big must complete XML query languages be? ICDT (2009)
François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette
Taming Existence in RDF Querying. RR (2008)
François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
Foundations of Rule-Based Query Answering. Reasoning Web (2007)