]
]
]
]
Running PHDs
Logic for computer science
- Code duplication analysis in logic programs
(2013)
Céline DANDOIS
Computer languages semantics
- Code duplication analysis in logic programs
(2013)
Céline DANDOIS
Other PHDs
- Constraint-based test data generation for database-driven applications
(2014)
Michaël MARCOZZI - Declarative Approach to Dynamic Workflow Management
Gabriel SCHWANEN
Terminated PHDs
-> List
