Clemens Ley
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Database Theory, Verification, Formal Language Theory, XML Processing, Data Streams.
Selected Publications
| On the use of guards for logics with data Thomas Colcombet‚ Clemens Ley and Gabriele Puppis 2011. |
| Automata vs. Logics on Data Words Michael Benedikt‚ Clemens Ley and Gabriele Puppis 2010. |
| How Big Must Complete XML Query Languages Be? Clemens Ley and Michael Benedikt 2009. |
Info
|
Themes |
|
|
Supervisor |
|
