• 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.

Research Output 2006 2019

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
2018
1 Citation (Scopus)
26 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
3 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
1 Citation (Scopus)
72 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction
50 Downloads (Pure)

Timed Comparisons of Semi-Markov Processes

Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Klein, S. T., Martin-Vide, C. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 (Lecture Notes in Computer Science; No. 10792).

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

Open Access
File
Semi-Markov Process
Probabilistic Automata
Algorithmic Complexity
Markovian Process
Residence Time
2017
Open Access
Axiomatization
Deduction
Markov processes
Markov chain
Equational Logic

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/ReportAnthologyResearchpeer-review

17 Downloads (Pure)

On-the-Fly Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, In : Logical Methods in Computer Science. 13, 2

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Markov processes
Linear Program
Continuous-time Markov Chain
Polynomials
State Space
4 Citations (Scopus)

On the Metric-Based Approximate Minimization of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In : Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
Markov processes
Experiments
2016
2 Citations (Scopus)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 21:1--21:14 14 p. (Leibniz International Proceedings in Informatics, Vol. 59).

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

Open Access
Axiomatization
Markov chain
Equational Logic
Deductive System
Approximately equal
2015
11 Citations (Scopus)

Converging from Branching to Linear Metrics on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Branching
Markov chain
Metric
Linear Time
Pseudometric
9 Citations (Scopus)

On the Total Variation Distance of Semi-Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Markov processes
Computability and decidability
Model checking
Computational complexity
Specifications
6 Citations (Scopus)

Structural Operational Semantics for Continuous State Stochastic Transition Systems

Bacci, G. & Miculan, M., Aug 2015, In : Journal of Computer and System Sciences. 81, 5, p. 834–858

Research output: Contribution to journalJournal articleResearchpeer-review

Structural Operational Semantics
Transition Systems
Stochastic Systems
Semantics
Specifications
2014
3 Citations (Scopus)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer Publishing Company, Vol. 8464. p. 76-95 (Lecture Notes in Computer Science).

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

Measurable space
Bisimulation
Markov Process
Arbitrary
Adjunction
1 Citation (Scopus)

Finding a Forest in a Tree: the matching problem for wide reactive systems

Bacci, G., Miculan, M. & Rizzi, R., 2014, Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers. Maffei, M. & Tuosto, E. (eds.). Springer Publishing Company, Vol. 8902. p. 17-33 (Lecture Notes in Computer Science).

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

Explosions
Computational complexity

The Behavior of Probabilistic Systems: From Equivalences to Behavioral Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Essays for the Luca Cardelli Fest: Essays dedicated to Luca Cardelli, on the Occasion of His 60th Birthday. Abadi, M., Gardner, P., Gordon, A. D. & Mardare, R. (eds.). Microsoft Research, p. 15-26

Research output: Contribution to book/anthology/report/conference proceedingReport chapterResearchpeer-review

2013
14 Citations (Scopus)

Computing Behavioral Distances, Compositionally

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (eds.). Springer Publishing Company, Vol. 8087. p. 74-85 (Lecture Notes in Computer Science, Vol. 8087).

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

27 Citations (Scopus)

On-the-Fly Exact Computation of Bisimilarity Distances

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

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

3 Citations (Scopus)

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Springer Publishing Company, Vol. 8054. p. 278-281 4 p. (Lecture Notes in Computer Science, Vol. 8054).

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

2012
7 Citations (Scopus)
63 Downloads (Pure)

Measurable Stochastic for Brane Calculus

Bacci, G. & Miculan, M., May 2012, In : Theoretical Computer Science. 431, p. 117-136

Research output: Contribution to journalJournal articleResearchpeer-review

File
Branes
Calculus
Semantics
Congruence
Syntactics
7 Citations (Scopus)
126 Downloads (Pure)

Structural Operational Semantics for Continuous State Probabilistic Processes

Bacci, G. & Miculan, M., 2012, In : Lecture Notes in Computer Science. 7399, p. 71-89

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Structural Operational Semantics
Semantics
Coalgebra
Measurable space
Biological systems
2011
11 Citations (Scopus)
126 Downloads (Pure)

On the statistical thermodynamics of communicating processes

Bacci, G., Danos, V. & Kammar, O., 2011, In : Lecture Notes in Computer Science. 6859, p. 1-18

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Statistical Thermodynamics
Statistical mechanics
Physics
Costs
Metropolis-Hastings Algorithm
2010
66 Downloads (Pure)

Measurable Stochastic for Brane Calculus

Bacci, G. & Miculan, M., 2010, In : Electronic Proceedings in Theoretical Computer Science. 40, p. 6-22

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Branes
Calculus
Measurable space
Labeled Transition System
Markov Process
227 Downloads (Pure)

On Decidability of Bigraphical Sortings

Bacci, G. & Grohmann, D., 2010, CTIT Workshop Proceedings WP 2010-05. p. 33-47

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

File
Computability and decidability
Sorting
2009
2 Citations (Scopus)
181 Downloads (Pure)

A framework for protein and membrane interactions

Bacci, G., Grohmann, D. & Miculan, M., 2009, In : Electronic Proceedings in Theoretical Computer Science. 11

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Membrane Proteins
Proteins
Membranes
Specifications
Electric fuses
6 Citations (Scopus)
155 Downloads (Pure)

Bigraphical models for protein and membrane interactions

Bacci, G., Grohmann, D. & Miculan, M., 2009, In : Electronic Proceedings in Theoretical Computer Science. 11, p. 3-18

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Membrane Proteins
Proteins
Membranes
Biological systems
9 Citations (Scopus)
73 Downloads (Pure)

DBtk: a Toolkit for Directed Bigraphs

Bacci, G., Grohmann, D. & Miculan, M., 2009, In : Lecture Notes in Computer Science. 5728, p. 413-422

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Labels
Simulator
Visualization
Simulators
Language
2008
79 Downloads (Pure)

Undecidability of Model checking in Brane Logic

Bacci, G. & Miculan, M., 10 Nov 2008, In : Electronic Notes in Theoretical Computer Science. 192, 3, p. 23-37

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Undecidability
Model checking
Branes
Model Checking
Logic
2006
9 Citations (Scopus)
73 Downloads (Pure)

Modal Logics for Brane Calculus

Bacci, G. & Miculan, M., 2006, In : Lecture Notes in Computer Science. 4210, p. 1-16

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Modal Logic
Branes
Calculus
Logic
Membranes