Henrik Pilegaard
- 2012
- Published
Flow Logic for Process Calculi. / Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik.
In: A C M Computing Surveys, Vol. 44, No. 1, 2012, p. Article No. 3.Publication: Research - peer-review › Journal article – Annual report year: 2012
- Published
From Explicit to Symbolic Types for Communication Protocols in CCS. / Nielson, Hanne Riis; Nielson, Flemming; Kreiker, Jörg; Pilegaard, Henrik.
In: Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer, 2012. p. 74-89 (Lecture Notes in Computer Science; No. 7000).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 2009
- Published
Pathway analysis of IMC. / Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik.
In: 21st Nordic Workshop on Programming Theory: NWPT 2009. Lyngby, 2009. p. 7-10.Publication: Research › Conference abstract in proceedings – Annual report year: 2009
- Published
Transition systems : Hvordan virker en colaautomatk?. / Pilegaard, Henrik; Nanz, Sebastian; Nielson, Flemming; Nielson, Hanne Riis.
In: Matematiske Horisonter. 2009. p. 63-79.Publication: Education - peer-review › Book chapter – Annual report year: 2009
- 2008
- Published
Pathway Analysis for BioAmbients. / Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis.
In: Journal of Logic and Algebraic Programming, Vol. 77, No. 1-2, 2008, p. 92-130.Publication: Research - peer-review › Journal article – Annual report year: 2008
- Published
Relational Analysis for Delivery of Services. / Nielson, Flemming; Nielson, Hanne Riis; Bauer, Jörg; Nielsen, Christoffer Rosenkilde; Pilegaard, Henrik.
In: Lecture Notes in Computer Science, Vol. 4912, 2008, p. 73-89.Publication: Research - peer-review › Journal article – Annual report year: 2008
- Published
Relational Analysis of Correlation. / Bauer, Jörg; Nielson, Flemming; Nielson, Hanne Riis; Pilegaard, Henrik.
In: Static Analysis: Proceedings of 15th International Symposium, SAS 2008. ed. / María Alpuente; Germán Vidal. Springer, 2008. p. 32-46 (Lecture Notes in Computer Science; No. 5079).Publication: Research - peer-review › Article in proceedings – Annual report year: 2008
- 2007
- Published
Language Based Techniques for Systems Biology. / Pilegaard, Henrik; Nielson, Flemming (Supervisor); Nielson, Hanne Riis (Supervisor).
Kgs. Lyngby : DTU Informatics, 2007. (IMM-PHD-2008-184).Publication: Research › Ph.d. thesis – Annual report year: 2007
- Published
Active Evaluation Contexts for Reaction Semantics. / Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis.
In: Electronic Notes in Theoretical Computer Science. Vol. 175 Elsevier, 2007. p. 57-70.Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- Published
What is a free name in a process algebra?. / Nielson, Flemming; Nielson, Hanne Riis; Pilegaard, Henrik.
In: Information Processing Letters, Vol. 103, No. 5, 2007, p. 188-194.Publication: Research - peer-review › Journal article – Annual report year: 2007