• Selma Lagerløfs Vej 300, 1-2-11

    9220 Aalborg Ø

    Denmark

20062019
If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Computer Science
  • Category Theory
  • Behavioral modeling
  • Probabilistic Systems
  • Behavioral Metrics
  • Process Algebra

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 7 Similar Profiles
Markov processes Engineering & Materials Science
Markov chain Mathematics
Branes Mathematics
Axiomatization Mathematics
Calculus Mathematics
Semantics Engineering & Materials Science
Structural Operational Semantics Mathematics
Measurable space Mathematics

Network Dive into details by clicking on the dots.

Research Output 2006 2019

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, In : Leibniz International Proceedings in Informatics. 140, p. 1 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Branching
Markov chain
Semantics
Linear Time
1 Citation (Scopus)
13 Downloads (Pure)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Chemical analysis
1 Citation (Scopus)

An Algebraic Theory of Markov Processes

Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Algebraic Theory
Markov Process
Axiomatization
Equational Logic
Centrobaric
2 Citations (Scopus)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order

Activities 2017 2017

  • 2 Series editor

KiMfest 2017 (Event)

Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor), Radu Iulian Mardare (Editor)
19 Aug 201720 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch

KiMfest (Event)

Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor), Radu Mardare (Editor)
19 Aug 201720 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch