• 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
Article in proceeding
2018
1 Citation (Scopus)
22 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
45 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
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
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
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

2010
226 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