• Selma Lagerløfs Vej 300, 1-2-38

    9220 Aalborg Ø

    Danmark

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

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 7 Lignende profiler
Markov processes Teknik og materialevidenskab
Axiomatization Matematik
Logic Matematik
Markov Process Matematik
Transition Systems Matematik
Markov chain Matematik
Computer science Teknik og materialevidenskab
Computer Science Matematik

Netværk Klik på punkterne for at se detaljerne.

Projekter 2010 2019

Approximate Reasoning for Stochastic Markovian Systems

Mardare, R. & Larsen, K. G.

01/11/201531/10/2019

Projekter: ProjektForskning

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Mardare, R.

01/10/201030/09/2012

Projekter: ProjektForskning

Publikationer 2004 2019

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., jan. 2019, I : Mathematical Structures in Computer Science. 29, Special Issue 1, s. 3-37 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Markov processes
Branching
Markov chain
Semantics
Linear Time
1 Citation (Scopus)
2 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. (red.). Springer, s. 339-355 17 s. (Lecture Notes in Computer Science, Bind 11024).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
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, s. 679-688 10 s. (Annual Symposium on Logic in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Algebraic Theory
Markov Process
Axiomatization
Equational Logic
Centrobaric
2 Citationer (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, s. 669-678 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order
1 Citation (Scopus)
50 Downloads (Pure)

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 tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Total Variation Distance
Axiomatization
Markov processes
Markov chain
Deduction

Aktiviteter 2011 2017

  • 3 Foredrag og præsentationer i privat eller offentlig virksomhed
  • 2 Redaktør af serie

KiMfest (Begivenhed)

Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør), Radu Mardare (Redaktør)
19 aug. 201720 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

KiMfest 2017 (Begivenhed)

Luca Aceto (Redaktør), Giorgio Bacci (Redaktør), Giovanni Bacci (Redaktør), Anna Ingolfsdottir (Redaktør), Axel Legay (Redaktør), Radu Iulian Mardare (Redaktør)
19 aug. 201720 aug. 2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af serieForskning

Syntax and Semantics for UCN

Radu Iulian Mardare (Foredragsholder)
jan. 2013feb. 2013

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Truth, Provability and Metamathematics

Radu Iulian Mardare (Foredragsholder)
nov. 2012

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Introduction to Logic and Model Theory

Radu Iulian Mardare (Foredragsholder)
nov. 2011dec. 2011

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed