Henrik Pilegaard

According to our database1, Henrik Pilegaard authored at least 15 papers between 2003 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Static Analysis of IMC.
J. Log. Algebraic Methods Program., 2012

Flow Logic for Process Calculi.
ACM Comput. Surv., 2012

Roadmap Document on Stochastic Analysis
CoRR, 2012

2011
From Explicit to Symbolic Types for Communication Protocols in CCS.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2008
Pathway analysis for BioAmbients.
J. Log. Algebraic Methods Program., 2008

Relational Analysis of Correlation.
Proceedings of the Static Analysis, 15th International Symposium, 2008

2007
Language Based Techniques for Systems Biology.
PhD thesis, 2007

What is a free name in a process algebra?
Inf. Process. Lett., 2007

Relational Analysis for Delivery of Services.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006
Active Evaluation Contexts for Reaction Semantics.
Proceedings of the Third Workshop on Structural Operational Semantics, 2006

Context Dependent Analysis of BioAmbients.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Static Analysis of a Model of the LDL Degradation Pathway.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2004
The Succinct Solver Suite.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Spatial Analysis of BioAmbients.
Proceedings of the Static Analysis, 11th International Symposium, 2004

2003
An Approach to Analyzing Availability Properties of Security Protocols.
Nord. J. Comput., 2003


  Loading...