📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

|< 1 2 3 4 5 >|
CSV
publication icon
Kennedy C (2007) AIMSS: An Architecture for Data Driven Simulations in the Social Sciences in Computational Science - ICCS 2007
publication icon
Fangohr H (2021) Jupyter in Computational Science in Computing in Science & Engineering
publication icon
Joppa LN (2013) Computational science. Troubling trends in scientific software use. in Science (New York, N.Y.)
publication icon
Kravchenko A (2018) $${{\textsc {ber}}}_{y}{\textsc {l}}$$BERyL: A System for Web Block Classification in Transactions on Computational Science XXXIII
publication icon
Miles H (2016) A Community-Built Virtual Heritage Collection in Transactions on Computational Science XXVI
publication icon
Miles H (2016) A Community-Built Virtual Heritage Collection in Transactions on Computational Science XXVI
publication icon
Pang M (2011) Reconstructing Multiresolution Mesh for Web Visualization Based on PDE Resampling in Transactions on Computational Science XII
publication icon
Levy P (2011) Similarity Quotients as Final Coalgebras in Foundations of Software Science and Computational Structures
publication icon
Chatzikokolakis K (2009) Bisimulation for Demonic Schedulers in Foundations of Software Science and Computational Structures
publication icon
Kashyap R (2023) Leveraging Digital and Computational Demography for Policy Insights in Handbook of Computational Social Science for Policy
publication icon
Schwinghammer J (2010) A Semantic Foundation for Hidden State in Foundations of Software Science and Computational Structures
publication icon
Murawski A (2010) Block Structure vs. Scope Extrusion: Between Innocence and Omniscience in Foundations of Software Science and Computational Structures
publication icon
Egger J (2010) Linearly-Used Continuations in the Enriched Effect Calculus in Foundations of Software Science and Computational Structures
publication icon
Mio M (2011) Probabilistic Modal µ-Calculus with Independent Product in Foundations of Software Science and Computational Structures
publication icon
Lannelongue L (2023) GREENER principles for environmentally sustainable computational science in Nature Computational Science
publication icon
Antonik A (2008) Complexity of Decision Problems for Mixed and Modal Specifications in Foundations of Software Science and Computational Structures
publication icon
Yoshida N (2010) Parameterised Multiparty Session Types in Foundations of Software Science and Computational Structures
publication icon
Atkey R (2011) When Is a Type Refinement an Inductive Type? in Foundations of Software Science and Computational Structures
publication icon
Yoshida N (2010) Parameterised Multiparty Session Types in Foundations of Software Science and Computational Structures