Author image not provided
 Anastasis Georgoulas

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article0.20
Citation Count1
Publication count5
Publication years2013-2017
Available for download0
Average downloads per article0.00
Downloads (cumulative)41
Downloads (12 Months)41
Downloads (6 Weeks)20
Arrow RightAuthor only

See all colleagues of this author


5 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 5 of 5
Sort by:

1 published by ACM
January 2018 ACM Transactions on Modeling and Computer Simulation (TOMACS): Volume 28 Issue 1, January 2018
Publisher: ACM
Citation Count: 0
Downloads (6 Weeks): 19,   Downloads (12 Months): 40,   Downloads (Overall): 40

Full text available: PDFPDF
Formal languages like process algebras have been shown to be effective tools in modelling a wide range of dynamic systems, providing a high-level description that is readily transformed into an executable model. However, their application is sometimes hampered because the quantitative details of many real-world systems of interest are not ...
Keywords: parameter estimation, probabilistic programming, stochastic modelling, Process algebra

July 2017 Statistics and Computing: Volume 27 Issue 4, July 2017
Publisher: Kluwer Academic Publishers
Citation Count: 0

We consider continuous time Markovian processes where populations of individual agents interact stochastically according to kinetic rules. Despite the increasing prominence of such models in fields ranging from biology to smart cities, Bayesian inference for such systems remains challenging, as these are continuous time, discrete state systems with potentially infinite ...
Keywords: Parameter estimation, Pseudo-marginal methods, Markov Chain Monte Carlo, Markov Jump Processes, Stochastic processes

September 2013 CMSB 2013: Proceedings of the 11th International Conference on Computational Methods in Systems Biology - Volume 8130
Publisher: Springer-Verlag New York, Inc.
Citation Count: 0

Formal methods have long been employed to capture the dynamics of biological systems in terms of Continuous Time Markov Chains. The formal approach enables the use of elegant analysis tools such as model checking, but usually relies on a complete specification of the model of interest and cannot easily accommodate ...

August 2013 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 296, August, 2013
Publisher: Elsevier Science Publishers B. V.
Citation Count: 1

We present two process algebra models of a Kai-protein based circadian clock. Our models are represented in the Bio-PEPA and the continuous pi-calculus process algebras. The circadian clock is not based on transcription and has been shown to persist with a rhythmic signal when removed from a living cell. Our ...
Keywords: Circadian, Continuous Pi, Bio-PEPA, ODE, stochastic, temporal logic

March 2013 Electronic Notes in Theoretical Computer Science (ENTCS): Volume 293, March, 2013
Publisher: Elsevier Science Publishers B. V.
Citation Count: 0

We present a software tool for the automatic translation of models from the Narrative Language, a semi-formal language for biological modelling, into the Bio-PEPA process algebra. This provides biologists with an easy way to describe systems and at the same time gives them access to the simulation and analysis techniques ...
Keywords: Bio-PEPA, Narrative Language, high level modelling languages, automatic translation, process algebra

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us