BibTeX records: Henrik Pilegaard

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Henrik Pilegaard

download as .bib file

@article{DBLP:journals/csur/NielsonNP12,
  author       = {Hanne Riis Nielson and
                  Flemming Nielson and
                  Henrik Pilegaard},
  title        = {Flow Logic for Process Calculi},
  journal      = {{ACM} Comput. Surv.},
  volume       = {44},
  number       = {1},
  pages        = {3:1--3:39},
  year         = {2012},
  url          = {https://doi.org/10.1145/2071389.2071392},
  doi          = {10.1145/2071389.2071392},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csur/NielsonNP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/SkrypnyukNP12,
  author       = {Nataliya Skrypnyuk and
                  Flemming Nielson and
                  Henrik Pilegaard},
  title        = {Static Analysis of {IMC}},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {81},
  number       = {4},
  pages        = {522--540},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jlap.2012.03.011},
  doi          = {10.1016/J.JLAP.2012.03.011},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/SkrypnyukNP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1209-6578,
  author       = {Bo Friis Nielsen and
                  Flemming Nielson and
                  Henrik Pilegaard and
                  Michael James Andrew Smith and
                  Ender Y{\"{u}}ksel and
                  Kebin Zeng and
                  Lijun Zhang},
  title        = {Roadmap Document on Stochastic Analysis},
  journal      = {CoRR},
  volume       = {abs/1209.6578},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.6578},
  eprinttype    = {arXiv},
  eprint       = {1209.6578},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-6578.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/NielsonNKP11,
  author       = {Hanne Riis Nielson and
                  Flemming Nielson and
                  J{\"{o}}rg Kreiker and
                  Henrik Pilegaard},
  editor       = {Gul Agha and
                  Olivier Danvy and
                  Jos{\'{e}} Meseguer},
  title        = {From Explicit to Symbolic Types for Communication Protocols in {CCS}},
  booktitle    = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
                  Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {7000},
  pages        = {74--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24933-4\_5},
  doi          = {10.1007/978-3-642-24933-4\_5},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NielsonNKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/PilegaardNN08,
  author       = {Henrik Pilegaard and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  title        = {Pathway analysis for BioAmbients},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {77},
  number       = {1-2},
  pages        = {92--130},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jlap.2008.05.006},
  doi          = {10.1016/J.JLAP.2008.05.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PilegaardNN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BauerNNP08,
  author       = {J{\"{o}}rg Bauer and
                  Flemming Nielson and
                  Hanne Riis Nielson and
                  Henrik Pilegaard},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Relational Analysis of Correlation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_3},
  doi          = {10.1007/978-3-540-69166-2\_3},
  timestamp    = {Wed, 25 Sep 2019 18:08:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BauerNNP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dk/Pilegaard07,
  author       = {Henrik Pilegaard},
  title        = {Language Based Techniques for Systems Biology},
  school       = {Technical University of Denmark},
  year         = {2007},
  url          = {https://orbit.dtu.dk/en/publications/8279b91d-2a9b-45db-979f-d8e8b92e078e},
  timestamp    = {Tue, 08 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/dk/Pilegaard07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/NielsonNP07,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson and
                  Henrik Pilegaard},
  title        = {What is a free name in a process algebra?},
  journal      = {Inf. Process. Lett.},
  volume       = {103},
  number       = {5},
  pages        = {188--194},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ipl.2007.04.001},
  doi          = {10.1016/J.IPL.2007.04.001},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/NielsonNP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/NielsonNBNP07,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson and
                  J{\"{o}}rg Bauer and
                  Christoffer Rosenkilde Nielsen and
                  Henrik Pilegaard},
  editor       = {Gilles Barthe and
                  C{\'{e}}dric Fournet},
  title        = {Relational Analysis for Delivery of Services},
  booktitle    = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
                  France, November 5-6, 2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4912},
  pages        = {73--89},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-78663-4\_7},
  doi          = {10.1007/978-3-540-78663-4\_7},
  timestamp    = {Sat, 19 Oct 2019 20:09:31 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/NielsonNBNP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PilegaardNN07,
  author       = {Henrik Pilegaard and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Rob van Glabbeek and
                  Peter D. Mosses},
  title        = {Active Evaluation Contexts for Reaction Semantics},
  booktitle    = {Proceedings of the Third Workshop on Structural Operational Semantics,
                  {SOS} 2006, Bonn, Germany, August 26, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {175},
  number       = {1},
  pages        = {57--70},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.09.014},
  doi          = {10.1016/J.ENTCS.2006.09.014},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PilegaardNN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/PilegaardNN06,
  author       = {Henrik Pilegaard and
                  Hanne Riis Nielson and
                  Flemming Nielson},
  editor       = {David M. Nicol and
                  Corrado Priami and
                  Hanne Riis Nielson and
                  Adelinde M. Uhrmacher},
  title        = {Static Analysis of a Model of the {LDL} Degradation Pathway},
  booktitle    = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06161},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/723},
  timestamp    = {Thu, 10 Jun 2021 13:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PilegaardNN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/PilegaardNN06a,
  author       = {Henrik Pilegaard and
                  Hanne Riis Nielson and
                  Flemming Nielson},
  editor       = {David M. Nicol and
                  Corrado Priami and
                  Hanne Riis Nielson and
                  Adelinde M. Uhrmacher},
  title        = {Context Dependent Analysis of BioAmbients},
  booktitle    = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06161},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/709},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/PilegaardNN06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NielsonNP04,
  author       = {Hanne Riis Nielson and
                  Flemming Nielson and
                  Henrik Pilegaard},
  editor       = {Roberto Giacobazzi},
  title        = {Spatial Analysis of BioAmbients},
  booktitle    = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
                  Italy, August 26-28, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3148},
  pages        = {69--83},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27864-1\_8},
  doi          = {10.1007/978-3-540-27864-1\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NielsonNP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/NielsonNSBHPS04,
  author       = {Flemming Nielson and
                  Hanne Riis Nielson and
                  Hongyan Sun and
                  Mikael Buchholtz and
                  Ren{\'{e}} Rydhof Hansen and
                  Henrik Pilegaard and
                  Helmut Seidl},
  editor       = {Kurt Jensen and
                  Andreas Podelski},
  title        = {The Succinct Solver Suite},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  10th International Conference, {TACAS} 2004, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2004,
                  Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2988},
  pages        = {251--265},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24730-2\_21},
  doi          = {10.1007/978-3-540-24730-2\_21},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NielsonNSBHPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/njc/PilegaardHS03,
  author       = {Henrik Pilegaard and
                  Michael R. Hansen and
                  Robin Sharp},
  title        = {An Approach to Analyzing Availability Properties of Security Protocols},
  journal      = {Nord. J. Comput.},
  volume       = {10},
  number       = {4},
  pages        = {337},
  year         = {2003},
  timestamp    = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/njc/PilegaardHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.