Clemens Ley

13 papers A 1B 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2016 J jnl
Limiting Until in Ordered Tree Query Languages.
ACM Trans. Comput. Log.
Michael Benedikt, Clemens Ley
2015 J jnl
Analysis of Schemas with Access Restrictions.
ACM Trans. Database Syst.
Michael Benedikt, Pierre Bourhis, Clemens Ley
2015 J jnl
Logics with rigidly guarded data tests.
Log. Methods Comput. Sci.
Thomas Colcombet, Clemens Ley, Gabriele Puppis
2012 J jnl
Querying Schemas With Access Restrictions
CoRR
Michael Benedikt, Pierre Bourhis, Clemens Ley
2012 J jnl
Querying Schemas With Access Restrictions.
Proc. VLDB Endow.
Michael Benedikt, Pierre Bourhis, Clemens Ley
2011 B conf
On the Use of Guards for Logics with Data.
MFCS
Thomas Colcombet, Clemens Ley, Gabriele Puppis
2010 B conf
Automata vs. Logics on Data Words.
CSL
Michael Benedikt, Clemens Ley, Gabriele Puppis
2010 — conf
Datalog Relaunched: Simulation Unification and Value Invention.
Datalog
François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert
2010 — conf
What You Must Remember When Processing Data Words.
AMW
Michael Benedikt, Clemens Ley, Gabriele Puppis
2009 A conf
How big must complete XML query languages be?
ICDT
Clemens Ley, Michael Benedikt
2009 — ch.
SPARQLog: SPARQL with Rules and Quantification.
Semantic Web Information Management
François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, Olga Poppe
2008 — conf
Taming Existence in RDF Querying.
RR
François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette
2007 — conf
Foundations of Rule-Based Query Answering.
Reasoning Web
François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei