default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. :Birthdays Hanne Riis Nielson & Flemming Nielson 2016
- 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 - Alan Mycroft, Dominic A. Orchard, Tomas Petricek:
Effect Systems Revisited - Control-Flow Algebra and Semantics. 1-32 - Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
Last Mile's Resources. 33-53 - Christian W. Probst, Florian Kammüller, René Rydhof Hansen:
Formal Modelling and Analysis of Socio-Technical Systems. 54-73 - Jan Reineke, Reinhard Wilhelm:
Static Timing Analysis - What is Special? 74-87 - Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen:
An Automata-Based Approach to Trace Partitioned Abstract Interpretation. 88-110 - Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. 111-139 - Stephen Gilmore, Jane Hillston, Natalia Zon:
Abstract Interpretation of PEPA Models. 140-158 - Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Static Analysis of Parity Games: Alternating Reachability Under Parity. 159-177 - Chris Hankin:
Game Theory and Industrial Control Systems. 178-190 - Bernhard Steffen, Malte Isberner, Marc Jasper:
Playing with Abstraction and Representation. 191-213 - Arnd Hartmanns, Holger Hermanns, Jan Krcál:
Schedulers are no Prophets. 214-235 - Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. 236-251 - David A. Schmidt:
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. 252-271 - Kalmer Apinis, Helmut Seidl, Vesal Vojdani:
Enhancing Top-Down Solving with Widening and Narrowing. 272-288 - Fritz Henglein, Jakob Rehof:
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. 289-312 - Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir:
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics. 313-343
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.
last updated on 2024-12-19 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
