Projects per year
Search results
-
Finished
Formally Correct Deduction Methods for Computational Logic
From, A. H., Villadsen, J. & Gierasimczuk, N.
01/02/2020 → 31/01/2023
Project: PhD
-
Logical Foundations of Al Algorithms
Jensen, A. B., Villadsen, J., Mödersheim, S. A., Gierasimczuk, N., Dix, J. & Traytel, D.
01/02/2019 → 09/06/2022
Project: PhD
-
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A., Lluch Lafuente, A., Villadsen, J., Guttman, J. D. & Sprenger, C.
01/07/2018 → 30/09/2021
Project: PhD
-
Hospital Staff Planning with Multi-Agent Goals
Larsen, J. B., Villadsen, J., Carstens, N., Holst, C. K., Gierasimczuk, N., Rosendahl, M. & Dix, J.
01/09/2016 → 11/12/2019
Project: PhD
-
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
01/10/2015 → 12/12/2018
Project: PhD
-
Formalization of Algorithms and Logical inference Systems in Proof Assistants
Schlichtkrull, A., Villadsen, J., Blanchette, J. C., Bolander, T., Mödersheim, S. A., Bengtson, J. & Nipkow, T.
Technical University of Denmark
15/09/2015 → 14/11/2018
Project: PhD
-
Organization-Oriented Programming in Multi-Agent Systems
Jensen, A. S., Villadsen, J., Bolander, T., Christiansen, H. & Hindriks, K. V.
Technical University of Denmark
15/03/2012 → 21/09/2015
Project: PhD
-
Formal Ontologies + Natural language semantics = Ontological semantics
Szymczak, B. A., Villadsen, J., Lenci, A., Jensen, P. A., Nilsson, J. F. & Dybkjær, H.
01/10/2007 → 22/06/2011
Project: PhD
-
Geodata-Infrastruktur
Christensen, J. V., Frederiksen, P., Jacobi, O. I., Villadsen, J., Andreasen, T., Nilsson, J. F., Bjørner, D. & Östman, A.
01/02/2002 → 01/08/2007
Project: PhD
-
Meta-logiske teorier i datalogien
Villadsen, J., Jensen, H. S. & Nilsson, J. F.
01/09/1989 → 06/09/1995
Project: PhD