Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2013 2019

Filter
Bidrag til bog/antologi
2015
10 Citationer (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. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Branching
Markov chain
Metric
Linear Time
Pseudometric
9 Citationer (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. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Markov processes
Computability and decidability
Model checking
Computational complexity
Specifications