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
Staton S
(2010)
Completeness for Algebraic Theories of Local State
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
Lannelongue L
(2023)
GREENER principles for environmentally sustainable computational science.
in Nature computational science
Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
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
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
Schwinghammer J
(2010)
A Semantic Foundation for Hidden State
in Foundations of Software Science and Computational Structures
Antonik A
(2008)
Complexity of Decision Problems for Mixed and Modal Specifications
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
Wright H
(2010)
Steering and visualization: Enabling technologies for computational science
in Future Generation Computer Systems
Van Hemert J
(2010)
Generating web-based user interfaces for computational science
in Concurrency and Computation: Practice and Experience
Neal Lathia
(2013)
Open Source Smartphone Libraries for Computational Social Science
Cohen J.
(2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
Cohen J.
(2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
William Housley (Author)
(2013)
Computational and Transformational Social Science: The COSMOS Experience