2008 |
10 | EE | Jörg Bauer,
Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard:
Relational Analysis of Correlation.
SAS 2008: 32-46 |
9 | EE | Henrik Pilegaard,
Flemming Nielson,
Hanne Riis Nielson:
Pathway analysis for BioAmbients.
J. Log. Algebr. Program. 77(1-2): 92-130 (2008) |
2007 |
8 | EE | Flemming Nielson,
Hanne Riis Nielson,
Jörg Bauer,
Christoffer Rosenkilde Nielsen,
Henrik Pilegaard:
Relational Analysis for Delivery of Services.
TGC 2007: 73-89 |
7 | EE | Henrik Pilegaard,
Flemming Nielson,
Hanne Riis Nielson:
Active Evaluation Contexts for Reaction Semantics.
Electr. Notes Theor. Comput. Sci. 175(1): 57-70 (2007) |
6 | EE | Flemming Nielson,
Hanne Riis Nielson,
Henrik Pilegaard:
What is a free name in a process algebra?
Inf. Process. Lett. 103(5): 188-194 (2007) |
2006 |
5 | EE | Henrik Pilegaard,
Hanne Riis Nielson,
Flemming Nielson:
Context Dependent Analysis of BioAmbients.
Simulation and Verification of Dynamic Systems 2006 |
4 | EE | Henrik Pilegaard,
Hanne Riis Nielson,
Flemming Nielson:
Static Analysis of a Model of the LDL Degradation Pathway.
Simulation and Verification of Dynamic Systems 2006 |
2004 |
3 | EE | Hanne Riis Nielson,
Flemming Nielson,
Henrik Pilegaard:
Spatial Analysis of BioAmbients.
SAS 2004: 69-83 |
2 | EE | Flemming Nielson,
Hanne Riis Nielson,
Hongyan Sun,
Mikael Buchholtz,
René Rydhof Hansen,
Henrik Pilegaard,
Helmut Seidl:
The Succinct Solver Suite.
TACAS 2004: 251-265 |
2003 |
1 | | Henrik Pilegaard,
Michael R. Hansen,
Robin Sharp:
An Approach to Analyzing Availability Properties of Security Protocols.
Nord. J. Comput. 10(4): 337- (2003) |