Projects per year
Projects
- 10 Finished
Search results
-
Finished
Efficient and Self-tuning Nature-inspired Algorithms
Rajabi, A. (PhD Student), Oliveto, P. S. (Examiner), Bille, P. (Examiner), Lehre, P. K. (Examiner), Witt, C. (Main Supervisor) & Fischer, P. A. (Supervisor)
01/06/2019 → 30/09/2022
Project: PhD
-
Graph Coloring and Decomposition
Lyngsie, K. S. (PhD Student), Thomassen, C. (Main Supervisor), Gørtz, I. L. (Supervisor), Fischer, P. (Examiner), Thomason, A. G. (Examiner) & Bang-Jensen, J. (Examiner)
Technical University of Denmark
01/08/2016 → 11/09/2019
Project: PhD
-
Chromatic Graph Theory
Perrett, T. (PhD Student), Thomassen, C. (Main Supervisor), Fischer, P. (Examiner), Kundgen, A. (Examiner) & Jackson, W. B. (Examiner)
01/10/2013 → 16/08/2017
Project: PhD
-
Aspects of the Tutte Polynomial of a Graph
Ok, S. (PhD Student), Thomassen, C. (Main Supervisor), Fischer, P. (Examiner), Jackson, W. B. (Examiner) & Bang-Jensen, J. (Examiner)
Technical University of Denmark
01/10/2012 → 30/09/2015
Project: PhD
-
Exploring the boundaries of nature-inspired algorithms
Lissovoi, A. (PhD Student), Witt, C. (Main Supervisor), Fischer, P. (Examiner), Lehre, P. K. (Examiner) & Prügel-Bennett, A. (Examiner)
Technical University of Denmark
01/10/2012 → 31/03/2016
Project: PhD
-
Fast Approximate Tree Pattern Matching
Cording, P. H. (PhD Student), Bille, P. (Main Supervisor), Gørtz, I. L. (Supervisor), Fischer, P. (Examiner), Grossi, R. (Examiner) & Landau, G. M. (Examiner)
Technical University of Denmark
15/12/2011 → 04/03/2015
Project: PhD
-
A Framework for Constraint-Programming based Configuration
Queva, M. S. B. (PhD Student), Probst, C. W. (Main Supervisor), Clausen, J. (Supervisor), Ricci, L. (Supervisor), Fischer, P. (Examiner), Felfernig, A. (Examiner) & Hotz, L. (Examiner)
01/03/2008 → 28/09/2011
Project: PhD
-
Validation of Security Properties in Network Systems
Nielsen, C. R. (PhD Student), Nielson, F. (Supervisor), Fischer, P. (Examiner), Mycroft, A. (Examiner), Viganò, L. (Examiner) & Nielson, H. R. (Main Supervisor)
15/09/2005 → 05/05/2009
Project: PhD
-
Logic-Based Solver Technology
Zhang, Y. (PhD Student), Nielson, F. (Main Supervisor), Fischer, P. (Examiner), Hankin, C. (Examiner) & Jensen, T. (Examiner)
15/09/2005 → 25/03/2009
Project: PhD
-
Security Validation through Static Analysis
Hansen, R. R. (PhD Student), Nielson, F. (Main Supervisor), Fischer, P. (Examiner), Cortesi, A. (Examiner) & Schmidt, D. A. (Examiner)
01/01/2002 → 06/06/2005
Project: PhD