@inproceedings{NanzNN08,
  title = {Modal Abstractions of Concurrent Behaviour},
  author = {Sebastian Nanz and Flemming Nielson and Hanne Riis Nielson},
  year = {2008},
  doi = {10.1007/978-3-540-69166-2_11},
  url = {http://dx.doi.org/10.1007/978-3-540-69166-2_11},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/NanzNN08},
  cites = {0},
  citedby = {0},
  pages = {159-173},
  booktitle = {SAS},
}

@article{KolesnichenkoPN17,
  title = {SafeGPU: Contract- and library-based GPGPU for object-oriented languages},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz},
  year = {2017},
  doi = {10.1016/j.cl.2016.08.002},
  url = {http://dx.doi.org/10.1016/j.cl.2016.08.002},
  researchr = {https://researchr.org/publication/KolesnichenkoPN17},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {48},
  pages = {68-88},
}

@inproceedings{KolesnichenkoPN15,
  title = {Contract-based general-purpose GPU programming},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz and Bertrand Meyer},
  year = {2015},
  doi = {10.1145/2814204.2814216},
  url = {http://doi.acm.org/10.1145/2814204.2814216},
  researchr = {https://researchr.org/publication/KolesnichenkoPN15},
  cites = {0},
  citedby = {0},
  pages = {75-84},
  booktitle = {GPCE},
}

@inproceedings{NanzT08,
  title = {Goal-Oriented Composition of Services},
  author = {Sebastian Nanz and Terkel K. Tolstrup},
  year = {2008},
  doi = {10.1007/978-3-540-78789-1_8},
  url = {http://dx.doi.org/10.1007/978-3-540-78789-1_8},
  tags = {composition},
  researchr = {https://researchr.org/publication/NanzT08},
  cites = {0},
  citedby = {0},
  pages = {109-124},
  booktitle = {SC},
}

@inproceedings{BeckerN08,
  title = {The Role of Abduction in Declarative Authorization Policies},
  author = {Moritz Y. Becker and Sebastian Nanz},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_7},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_7},
  researchr = {https://researchr.org/publication/BeckerN08},
  cites = {0},
  citedby = {0},
  pages = {84-99},
  booktitle = {PADL},
}

@inproceedings{NanzNN07,
  title = {Topology-Dependent Abstractions of Broadcast Networks},
  author = {Sebastian Nanz and Flemming Nielson and Hanne Riis Nielson},
  year = {2007},
  doi = {10.1007/978-3-540-74407-8_16},
  url = {http://dx.doi.org/10.1007/978-3-540-74407-8_16},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/NanzNN07},
  cites = {0},
  citedby = {0},
  pages = {226-240},
  booktitle = {concur},
}

@inproceedings{BeckerN07,
  title = {A Logic for State-Modifying Authorization Policies},
  author = {Moritz Y. Becker and Sebastian Nanz},
  year = {2007},
  doi = {10.1007/978-3-540-74835-9_14},
  url = {http://dx.doi.org/10.1007/978-3-540-74835-9_14},
  tags = {logic},
  researchr = {https://researchr.org/publication/BeckerN07},
  cites = {0},
  citedby = {0},
  pages = {203-218},
  booktitle = {esorics},
}

@article{NanzH06:0,
  title = {A framework for security analysis of mobile wireless networks},
  author = {Sebastian Nanz and Chris Hankin},
  year = {2006},
  doi = {10.1016/j.tcs.2006.08.036},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.08.036},
  tags = {analysis, security, mobile},
  researchr = {https://researchr.org/publication/NanzH06%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {367},
  number = {1-2},
  pages = {203-227},
}

@article{NanzH06,
  title = {Formal Security Analysis for Ad-Hoc Networks},
  author = {Sebastian Nanz and Chris Hankin},
  year = {2006},
  doi = {10.1016/j.entcs.2004.10.029},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.10.029},
  tags = {analysis, security},
  researchr = {https://researchr.org/publication/NanzH06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {142},
  pages = {195-213},
}

@inproceedings{WildmoserNKN04,
  title = {Prototyping Proof Carrying Code},
  author = {Martin Wildmoser and Tobias Nipkow and Gerwin Klein and Sebastian Nanz},
  year = {2004},
  researchr = {https://researchr.org/publication/WildmoserNKN04},
  cites = {0},
  citedby = {0},
  pages = {333-348},
  booktitle = {ifipTCS},
}

@inproceedings{GodskesenN09,
  title = {Mobility Models and Behavioural Equivalence for Wireless Networks},
  author = {Jens Chr. Godskesen and Sebastian Nanz},
  year = {2009},
  doi = {10.1007/978-3-642-02053-7_6},
  url = {http://dx.doi.org/10.1007/978-3-642-02053-7_6},
  researchr = {https://researchr.org/publication/GodskesenN09},
  cites = {0},
  citedby = {0},
  pages = {106-122},
  booktitle = {coordination},
}