Home
About this system
Release history
Contact us
Search
All Data
Advanced
Please select the required search fields:
ISBN
ISSN
ORCID iD
Publication Abstract
Publication Title
Projects
(31354)
Publications
(12758)
People
(33699)
Organisations
(1818)
Outcomes
(45787)
Classifications
(0)
The following are buttons which change the sort order, pressing the active button will toggle the sort order
Relevance
descending (press to sort ascending)
|<
<
1
2
3
4
5
>
>|
CSV
x
Download all search results to a CSV file?
Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.
25
50
100
Refine
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
Fairman M (2007)
Building Scientific Workflows for Earth System Modelling with Windows Workflow Foundation
in Computational Science - ICCS 2007
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
Regazzoni F (2009)
Evaluating Resistance of MCML Technology to Power Analysis Attacks Using a Simulation-Based Methodology
in Transactions on Computational Science IV
Miles H (2016)
A Community-Built Virtual Heritage Collection
in Transactions on Computational Science XXVI
Miles H (2016)
A Community-Built Virtual Heritage Collection
in Transactions on Computational Science XXVI
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
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
Leslie D (2023)
The Ethics of Computational Social Science
in Handbook of Computational Social Science for Policy
Yoshida N (2007)
Logical Reasoning for Higher-Order Functions with Local State
in Foundations of Software Science and Computational Structures
Chatzikokolakis K (2009)
Bisimulation for Demonic Schedulers
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
Mio M (2011)
Probabilistic Modal µ-Calculus with Independent Product
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
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
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
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
Lannelongue L (2023)
GREENER principles for environmentally sustainable computational science.
in Nature computational science
|<
<
1
2
3
4
5
>
>|