ask others

60. Birthdays: Hanne Riis Nielson & Flemming Nielson 2016

> Home > Conferences and Workshops

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/2016nielson
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/2016nielson
Christian W. Probst, Chris Hankin, René Rydhof Hansen:
Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Lecture Notes in Computer Science 9560, Springer 2016, ISBN 978-3-319-27809-4
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/MycroftOP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MycroftOP16
Alan Mycroft, Dominic A. Orchard, Tomas Petricek:
Effect Systems Revisited - Control-Flow Algebra and Semantics. 1-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/BodeiDFG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta:
Last Mile's Resources. 33-53
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ProbstKH16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ProbstKH16
Christian W. Probst, Florian Kammüller, René Rydhof Hansen:
Formal Modelling and Analysis of Socio-Technical Systems. 54-73
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ReinekeW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ReinekeW16
Jan Reineke, Reinhard Wilhelm:
Static Timing Analysis - What is Special? 74-87
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/OlesenHL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/OlesenHL16
Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen:
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. 88-110
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/PierroW16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/PierroW16
Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. 111-139
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/GilmoreHZ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/GilmoreHZ16
Stephen Gilmore, Jane Hillston, Natalia Zon:
Abstract Interpretation of PEPA Models. 140-158
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HuthKP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/HuthKP16
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Static Analysis of Parity Games: Alternating Reachability Under Parity. 159-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Hankin16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Hankin16
Chris Hankin:
Game Theory and Industrial Control Systems. 178-190
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/SteffenIJ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/SteffenIJ16
Bernhard Steffen, Malte Isberner, Marc Jasper:
Playing with Abstraction and Representation. 191-213
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HartmannsHK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/HartmannsHK16
Arnd Hartmanns, Holger Hermanns, Jan Krcál:
Schedulers are no Prophets. 214-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AndricNL16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AndricNL16
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. 236-251
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/Schmidt16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/Schmidt16
David A. Schmidt:
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. 252-271
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/ApinisSV16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/ApinisSV16
Kalmer Apinis, Helmut Seidl, Vesal Vojdani:
Enhancing Top-Down Solving with Widening and Narrowing. 272-288
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/HengleinR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/HengleinR16
Fritz Henglein, Jakob Rehof:
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. 289-312
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/AcetoGI16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/AcetoGI16
Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir:
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. 313-343

maintained by

at