Radu Mardare

  • 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.

  • 8 Lignende profiler
Markov processes Teknik og materialevidenskab
Logic Matematik
Axiomatization 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

1 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). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 9:1-9:17 17 s. (Leibniz International Proceedings in Informatics, Bind 140).

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

Åben adgang
Fil
1 Citation (Scopus)

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)
46 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)
15 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 proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Algebraic Theory
Markov Process
Axiomatization
Equational Logic
Centrobaric
3 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

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