Anastasis Georgoulas

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 6

Top Topics

Programming Language

Bayesian Inference

Software Platform

Process Algebra

Top Venues

Electron. Notes Theor. Comput. Sci.

Int. J. Comput. Assist. Radiol. Surg.

Publications

Jonathan Shapey, Thomas Dowrick, Rémi Delaunay, Eleanor C. Mackle, Stephen A. Thompson, Mirek Janatka, Roland Guichard, Anastasis Georgoulas, David Pérez-Suárez, Robert Bradford, Shakeel R. Saeed, Sébastien Ourselin, Matthew J. Clarkson, Tom Vercauteren
Integrated multi-modality image-guided navigation for neurosurgery: open-source software platform using state-of-the-art clinical hardware. Int. J. Comput. Assist. Radiol. Surg. 16 (8) (2021)
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC (2018)
Raquel Alegre, Anastasis Georgoulas, Stuart Grieve, Eleanor Robson
Democratizing Ancient Mesopotamian Research through Digital Scholarship. eScience (2018)
Paul Piho, Anastasis Georgoulas, Jane Hillston
Goals and Resource Constraints in CARMA. Electron. Notes Theor. Comput. Sci. 337 (2018)
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems. ACM Trans. Model. Comput. Simul. 28 (1) (2018)
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
Unbiased Bayesian inference for population Markov jump processes via random truncations. Stat. Comput. 27 (4) (2017)
Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
Probabilistic Programming Process Algebra. QEST (2014)
Anastasis Georgoulas, Maria Luisa Guerriero
A Software Interface Between the Narrative Language and Bio-PEPA. Electron. Notes Theor. Comput. Sci. 293 (2013)
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
ABC-Fun: A Probabilistic Programming Language for Biology. CMSB (2013)
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
Stochastic Modelling of the Kai-based Circadian Clock. Electron. Notes Theor. Comput. Sci. 296 (2013)
Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti
A subsystems approach for parameter estimation of ODE models of hybrid systems HSB (2012)