From generic to specific: off-line optimization for a general constraint solver

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

A calculus for quality
Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
Design-Efficiency in Security
Publication: Research › Report – Annual report year: 2013
Lazy Mobile Intruders
Publication: Research - peer-review › Article in proceedings – Annual report year: 2013
A Succinct Approach to Static Analysis and Model Checking
Publication: Research › Ph.d. thesis – Annual report year: 2012
Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

Author: Zhang, Ye
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Kgs. Lyngby
Email:
Author: Amtoft, Torben
Kansas State University, Computing and Information Science
Author: Nielson, Flemming
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:

Original language	English
Title	Proceedings of the ACM SIGPLAN Seventh International Conference on Generative Programming and Component Engineering
Number of pages	185
Publisher	ACM
Publication date	2008
Pages	45-54
ISBN (print)	978-1-60558-267-2
State	Published

Conference	Proceedings of the ACM SIGPLAN Seventh International Conference on Generative Programming and Component Engineering
Period	01-01-08 → …

ID: 3127864

A calculus for quality