Clemens Ley
Loading Google Thumbnails...
| 2011 |
|---|
| 8 | On the Use of Guards for Logics with Data. Thomas Colcombet, Clemens Ley, Gabriele Puppis. MFCS 2011, 243-255. Web SearchBibTeXDownload |
| 2010 |
|---|
| 7 | What You Must Remember When Processing Data Words. Michael Benedikt, Clemens Ley, Gabriele Puppis. AMW 2010. Web SearchBibTeXDownload |
| 6 | Automata vs. Logics on Data Words. Michael Benedikt, Clemens Ley, Gabriele Puppis. CSL 2010, 110-124. Web SearchBibTeXDownload |
| 5 | Datalog Relaunched: Simulation Unification and Value Invention. François Bry, Tim Furche, Clemens Ley, Bruno Marnette, Benedikt Linse, Sebastian Schaffert. Datalog 2010, 321-350. Web SearchBibTeXDownload |
| 2009 |
|---|
| 4 | How big must complete XML query languages be?. Clemens Ley, Michael Benedikt. ICDT 2009, 183-200. Web SearchBibTeXDownload |
| 3 | SPARQLog: SPARQL with Rules and Quantification. François Bry, Tim Furche, Bruno Marnette, Clemens Ley, Benedikt Linse, Olga Poppe. Semantic Web Information Management 2009, 341-370. Web SearchBibTeXDownload |
| 2008 |
|---|
| 2 | Taming Existence in RDF Querying. François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette. RR 2008, 236-237. Web SearchBibTeXDownload |
| 2007 |
|---|
| 1 | 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. Reasoning Web 2007, 1-153. Web SearchBibTeXDownload |
from DBLP and Google Scholar
