Henrik Pilegaard

  1. 2012
  2. 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-reviewJournal article – Annual report year: 2012

  3. Published

    From Explicit to Symbolic Types for Communication Protocols in CCS. / Nielson, Hanne Riis; Nielson, Flemming; Kreiker, Jörg; Pilegaard, Henrik.

    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-reviewArticle in proceedings – Annual report year: 2012

  4. 2009
  5. Published

    Pathway analysis of IMC. / Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik.

    21st Nordic Workshop on Programming Theory: NWPT 2009. Lyngby, 2009. p. 7-10.

    Publication: ResearchConference abstract in proceedings – Annual report year: 2009

  6. Published

    Transition systems : Hvordan virker en colaautomatk?. / Pilegaard, Henrik; Nanz, Sebastian; Nielson, Flemming; Nielson, Hanne Riis.

    Matematiske Horisonter. 2009. p. 63-79.

    Publication: Education - peer-reviewBook chapter – Annual report year: 2009

  7. 2008
  8. 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-reviewJournal article – Annual report year: 2008

  9. Published
  10. Published

    Relational Analysis of Correlation. / Bauer, Jörg; Nielson, Flemming; Nielson, Hanne Riis; Pilegaard, Henrik.

    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-reviewArticle in proceedings – Annual report year: 2008

  11. 2007
  12. Published

    Language Based Techniques for Systems Biology. / Pilegaard, Henrik; Nielson, Flemming (Supervisor); Nielson, Hanne Riis (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2007. (IMM-PHD-2008-184).

    Publication: ResearchPh.D. thesis – Annual report year: 2007

  13. Published

    Active Evaluation Contexts for Reaction Semantics. / Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis.

    Electronic Notes in Theoretical Computer Science. Vol. 175 Elsevier, 2007. p. 57-70.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  14. 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-reviewJournal article – Annual report year: 2007

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word