Kennedy C
(2007)
AIMSS: An Architecture for Data Driven Simulations in the Social Sciences
in Computational Science - ICCS 2007
Fangohr H
(2021)
Jupyter in Computational Science
in Computing in Science & Engineering
Joppa LN
(2013)
Computational science. Troubling trends in scientific software use.
in Science (New York, N.Y.)
Kravchenko A
(2018)
$${{\textsc {ber}}}_{y}{\textsc {l}}$$BERyL: A System for Web Block Classification
in Transactions on Computational Science XXXIII
Miles H
(2016)
A Community-Built Virtual Heritage Collection
in Transactions on Computational Science XXVI
Regazzoni F
(2009)
Evaluating Resistance of MCML Technology to Power Analysis Attacks Using a Simulation-Based Methodology
in Transactions on Computational Science IV
Pang M
(2011)
Reconstructing Multiresolution Mesh for Web Visualization Based on PDE Resampling
in Transactions on Computational Science XII
Miles H
(2016)
A Community-Built Virtual Heritage Collection
in Transactions on Computational Science XXVI
Meckin Robert
(2021)
Computational Social Science: A Thematic Review
Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Egger J
(2010)
Linearly-Used Continuations in the Enriched Effect Calculus
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
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
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
Yoshida N
(2007)
Logical Reasoning for Higher-Order Functions with Local State
in Foundations of Software Science and Computational Structures
Yoshida N
(2010)
Parameterised Multiparty Session Types
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
Leslie D
(2023)
The Ethics of Computational Social Science
in Handbook of Computational Social Science for Policy
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
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
Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Schewe S
(2009)
Tighter Bounds for the Determinisation of Büchi Automata
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
Grüning B
(2018)
Practical Computational Reproducibility in the Life Sciences.
in Cell systems
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
Levy P
(2011)
Similarity Quotients as Final Coalgebras
in Foundations of Software Science and Computational Structures
Lannelongue L
(2023)
GREENER principles for environmentally sustainable computational science.
Triantakonstantis D
(2009)
A Spatial Structural and Statistical Approach to Building Classification of Residential Function for City-Scale Impact Assessment Studies
in Computational Science and Its Applications - ICCSA 2009
Kashyap R
(2023)
Leveraging Digital and Computational Demography for Policy Insights
in Handbook of Computational Social Science for Policy
Lannelongue L
(2023)
GREENER principles for environmentally sustainable computational science
in Nature Computational Science
Lannelongue L
(2023)
GREENER principles for environmentally sustainable computational science.
Antonik A
(2008)
Complexity of Decision Problems for Mixed and Modal Specifications
in Foundations of Software Science and Computational Structures
Mio M
(2011)
Probabilistic Modal µ-Calculus with Independent Product
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
Ghica D
(2011)
Synchronous Game Semantics via Round Abstraction
in Foundations of Software Science and Computational Structures
Chatzikokolakis K
(2009)
Bisimulation for Demonic Schedulers
in Foundations of Software Science and Computational Structures
Neville V
(2018)
Applying computational methods to animal welfare science
Neal Lathia (Co-Author)
(2013)
Open source smartphone libraries for computational science
in UbiComp '13 Adjunct
Schwinghammer J
(2010)
A Semantic Foundation for Hidden State
in Foundations of Software Science and Computational Structures
Cohen J.
(2019)
Simplifying high-order mesh generation for computational scientists
in CEUR Workshop Proceedings
Tomorrow's Cities
TOMORROW'S CITIES HUB COMMENT IN NATURE COMPUTATIONAL SCIENCE
Van Hemert J
(2010)
Generating web-based user interfaces for computational science
in Concurrency and Computation: Practice and Experience