Paul Fischer
- Completed
A Framework for Constraint-Programming based Configuration
Queva, M. S. B., Clausen, J., Ricci, L., Probst, C. W., Hotz, L., Felfernig, A. & Fischer, P.
01-03-08 → 28-09-11
Project: PhD
Project: PhD
- Completed
Logic-Based Solver Technology
Zhang, Y., Nielson, F., Hankin, C., Fischer, P. & Jensen, T.
15-09-05 → 25-03-09
Project: PhD
- Completed
Security Validation through Static Analysis
Hansen, R. R., Nielson, F., Schmidt, D. A., Cortesi, A. & Fischer, P.
01-01-02 → 06-06-05
Project: PhD
- Completed
Specification and Programming Lanquages for Biological Systems
Pilegaard, H., Nielson, H. R., Nielson, F., Hillston, J., Ingolfsdottir, A. & Fischer, P.
01-10-03 → 13-12-07
Project: PhD
- Completed
Validation of Security Properties in Network Systems
Nielsen, C. R., Nielson, H. R., Nielson, F., Viganò, L., Mycroft, A. & Fischer, P.
15-09-05 → 05-05-09
Project: PhD