Explicit Versus Symbolic Algorithms for Solving ALFP Constraints

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

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: Filipiuk, Piotr
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark
Email:
Author: Nielson, Hanne Riis
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
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	Electronic Notes in Theoretical Computer Science
Volume	267
Publication date	2010
Pages	15-28
DOIs	http://dx.doi.org/10.1016/j.entcs.2010.09.015
State	E-pub ahead of print

Conference	Proceedings of the Tools for Automatic Program AnalysiS (TAPAS), Proceedings of the Tools for Automatic Program AnalysiS (TAPAS)
Period	01-01-10 → …

Citations	Web of Science® Times Cited: No match on DOI

ID: 5129460

A calculus for quality