Clemens Ley

According to our database, Clemens Ley authored at least 12 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Limiting Until in Ordered Tree Query Languages.

Michael Benedikt, Clemens Ley

ACM Trans. Comput. Log., 2016

2015

Analysis of Schemas with Access Restrictions.

Michael Benedikt, Pierre Bourhis, Clemens Ley

ACM Trans. Database Syst., 2015

Logics with rigidly guarded data tests.

Thomas Colcombet, Clemens Ley, Gabriele Puppis

Log. Methods Comput. Sci., 2015

2012

Querying Schemas With Access Restrictions.

Michael Benedikt, Pierre Bourhis, Clemens Ley

Proc. VLDB Endow., 2012

2011

On the Use of Guards for Logics with Data.

Thomas Colcombet, Clemens Ley, Gabriele Puppis

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

2010

Datalog Relaunched: Simulation Unification and Value Invention.

François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert

Proceedings of the Datalog Reloaded - First International Workshop, 2010

Automata vs. Logics on Data Words.

Michael Benedikt, Clemens Ley, Gabriele Puppis

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

What You Must Remember When Processing Data Words.

Michael Benedikt, Clemens Ley, Gabriele Puppis

Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009

How big must complete XML query languages be?

Clemens Ley, Michael Benedikt

Proceedings of the Database Theory, 2009

SPARQLog: SPARQL with Rules and Quantification.

François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, Olga Poppe

Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008

Taming Existence in RDF Querying.

François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette

Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

2007

Foundations of Rule-Based Query Answering.

François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei

Proceedings of the Reasoning Web, 2007