Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Göller S
(2012)
Branching-Time Model Checking of Parametric One-Counter Automata
in Foundations of Software Science and Computational Structures
Yoshida N
(2010)
Parameterised Multiparty Session Types
in Foundations of Software Science and Computational Structures
Yoshida N
(2010)
Parameterised Multiparty Session Types
in Foundations of Software Science and Computational Structures
Atkey R
(2011)
When Is a Type Refinement an Inductive Type?
in Foundations of Software Science and Computational Structures
Staton S
(2010)
Completeness for Algebraic Theories of Local State
in Foundations of Software Science and Computational Structures
Kiefer S
(2012)
On the Complexity of the Equivalence Problem for Probabilistic Automata
in Foundations of Software Science and Computational Structures
Göller S
(2012)
Branching-Time Model Checking of Parametric One-Counter Automata
in Foundations of Software Science and Computational Structures
Broadbent C
(2009)
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
in Foundations of Software Science and Computational Structures
Murawski A
(2010)
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
in Foundations of Software Science and Computational Structures
Schwinghammer J
(2010)
A Semantic Foundation for Hidden State
in Foundations of Software Science and Computational Structures
Birkin M
(2013)
The Classification of Space-Time Behaviour Patterns in a British City from Crowd-Sourced Data
in Computational Science and Its Applications - ICCSA 2013
Levy P
(2011)
Similarity Quotients as Final Coalgebras
in Foundations of Software Science and Computational Structures
Neville V
(2018)
Applying computational methods to animal welfare science
Schwinghammer J
(2010)
A Semantic Foundation for Hidden State
in Foundations of Software Science and Computational Structures
Van Hemert J
(2010)
Generating web-based user interfaces for computational science
in Concurrency and Computation: Practice and Experience
Cohen J.
(2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
Van Hemert J
(2010)
Generating web-based user interfaces for computational science
in Concurrency and Computation: Practice and Experience
Cohen J.
(2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
Wright H
(2010)
Steering and visualization: Enabling technologies for computational science
in Future Generation Computer Systems
Neal Lathia
(2013)
Open Source Smartphone Libraries for Computational Social Science
William Housley (Author)
(2013)
Computational and Transformational Social Science: The COSMOS Experience