Publikationer pr. år
Publikationer pr. år
- 12 resultater
Søgeresultater
-
A Complete Approximation Theory for Weighted Transition Systems
Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 213-228 (Lecture Notes in Computer Science, Bind 9984).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)204 Downloads (Pure) -
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Logical Methods in Computer Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
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. (red.). Springer, s. 339-355 17 s. (Lecture Notes in Computer Science, Bind 11024).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)114 Downloads (Pure) -
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, s. 679-688 10 s. (Annual Symposium on Logic in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil13 Citationer (Scopus)174 Downloads (Pure) -
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, s. 669-678 10 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
7 Citationer (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, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang5 Citationer (Scopus) -
Complete Axiomatization for the Total Variation Distance of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I: Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)182 Downloads (Pure) -
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. 9. (Leibniz International Proceedings in Informatics, Bind 140).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)48 Downloads (Pure) -
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Leibniz International Proceedings in Informatics. 80, 44, s. 1 14 s.Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Åben adgang7 Citationer (Scopus) -
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization
Larsen, K. G., Mardare, R. I. & Xue, B., 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 25:1-25:18 18 s. (Leibniz International Proceedings in Informatics, Bind 65).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang6 Citationer (Scopus) -
Quantitative Algebraic Reasoning
Mardare, R. I., Panangaden, P. & Plotkin, G., 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science: LICS'16, New York, NY, USA, July 5-8, 2016. Association for Computing Machinery, s. 700-709 10 s.Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
48 Citationer (Scopus) -
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, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 13 s. (Lecture Notes in Computer Science; Nr. 10792).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)174 Downloads (Pure)