Clemens Ley : Publications

Click here to download all publications in a single bibtex file

@inproceedings{guarded-logics-for-date,
  title = "On the use of guards for logics with data",
  author = "Thomas Colcombet and Clemens Ley and Gabriele Puppis",
  year = "2011",
  journal = "International Symposium on Mathematical Foundations Of Computer Science",
}

@inproceedings{4871,
  title = "Datalog Relaunched: Simulation Unification and Value Invention",
  author = "François Bry and Tim Furche and Bruno Marnette and Clemens Ley and Benedikt Linse and Olga Poppe",
  year = "2011",
  journal = "Pro­ceed­ings of the Dat­a­log 2.0 Work­shop",
}

@inbook{bookSPARQLog,
  title = "SPARQLog: SPARQL with Rules and Quantification",
  author = "François Bry and Tim Furche and Bruno Marnette and Clemens Ley and Benedikt Linse and Olga Poppe",
  year = "2010",
  booktitle = "Semantic Web Information Management A Model-Based Perspective",
  chapter = "15",
  pages = "341-370",
  publisher = "Springer",
}

@inproceedings{benedikt-ley-puppis-amw,
  title = "What You Must Remember When Processing Data Words",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "Alberto Mendelzon Workshop on Foundations of Databases",
}

@inproceedings{benedikt-ley-puppis-csl,
  title = "Automata vs. Logics on Data Words",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "EACSL Annual Conference on Computer Science Logic",
}

@techreport{4870,
  title = "Minimal Memory Automata",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "Technical Report",
  note = "Long version of `What You Must Remember When Processing Data Words'.",
}

@inproceedings{ley-benedikt-icdt-2009,
  title = "How Big Must Complete XML Query Languages Be?",
  author = "Clemens Ley and Michael Benedikt",
  year = "2009",
  affiliation = "Oxford University",
  journal = "International Conference on Database Theory",
}

@inproceedings{RDFLog2008,
  title = "RDFLog: It's like Datalog for RDF",
  author = "Francois Bry and Tim Furche and Clemens Ley and Benedikt Linse and Bruno Marnette",
  year = "2008",
  journal = "Workshop on (Constraint) Logic Programming",
}

@inproceedings{conf/rweb/BryEEFGLLPW07,
  title = "Foundations of Rule-Based Query Answering",
  author = "Fran\c{c}ois Bry and Norbert Eisinger and Thomas Eiter and Tim Furche and Georg Gottlob and Clemens Ley and Benedikt Linse and Reinhard Pichler and Fang Wei",
  year = "2007",
  booktitle = "Reasoning Web",
  editor = "Grigoris Antoniou and Uwe A{\ss}mann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf",
  pages = "1-153",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4636",
}