• 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

Filter
Conference article in Journal
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
2018
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
2017
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
2012
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)
127 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
2009
2 Citations (Scopus)
183 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)
159 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