Clemens Ley

Clemens Ley

Doctoral Student

Student, Mansfield College

Themes:

• Data, Knowledge and Action

Interests

Database Theory, Verification, Formal Language Theory, XML Processing, Data Streams.

Selected Publications

View AllManage publications

• On the use of guards for logics with data

  Thomas Colcombet‚ Clemens Ley and Gabriele Puppis

  2011.

  Details about On the use of guards for logics with data | BibTeX data for On the use of guards for logics with data | Download  (pdf) of On the use of guards for logics with data

• Automata vs. Logics on Data Words

  Michael Benedikt‚ Clemens Ley and Gabriele Puppis

  2010.

  Details about Automata vs. Logics on Data Words | BibTeX data for Automata vs. Logics on Data Words | Download  (pdf) of Automata vs. Logics on Data Words

• How Big Must Complete XML Query Languages Be?

  Clemens Ley and Michael Benedikt

  2009.

  Details about How Big Must Complete XML Query Languages Be? | BibTeX data for How Big Must Complete XML Query Languages Be? | Download  (pdf) of How Big Must Complete XML Query Languages Be?

Supervisor