Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Mardare, Radu"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Complete proof systems for weighted modal logic
Kim G. Larsen
,
Radu Mardare
Theoretical Computer Science
546
, 2014, pp. 164-175
Computing behavioral distances, compositionally
Giorgio Bacci
,
Giovanni Bacci
,
Kim G. Larsen
,
Radu Mardare
Lecture Notes in Computer Science
8087
, 2013, pp. 74-85
Strong completeness for Markovian logics
Dexter Kozen
,
Radu Mardare
,
Prakash Panangaden
Lecture Notes in Computer Science
8087
, 2013, pp. 655-666
Taking it to the limit: Approximate reasoning for Markov processes
Kim Guldstrand Larsen
,
Radu Mardare
,
Prakash Panangaden
Lecture Notes in Computer Science
7464
, 2012, pp. 681-692
An observer-based de-quantisation of Deutsch's algorithm
Cristian S. Calude
,
Matteo Cavaliere
,
Radu Mardare
International Journal of Foundations of Computer Science
22
(1), 2011, pp. 191-201
Modular Markovian logic
Luca Cardelli
,
Kim G. Larsen
,
Radu Mardare
Lecture Notes in Computer Science
6756
, 2011, pp. 380-391
A multiset-based model of synchronizing agents: Computability and robustness
Matteo Cavaliere
,
Radu Mardare
,
Sean Sedwards
Theoretical Computer Science
391
(3), 2008, pp. 216-238
A logical characterization of robustness, mutants and species in colonies of agents
Radu Mardare
,
Matteo Cavaliere
,
Sean Sedwards
International Journal of Foundations of Computer Science
19
(5), 2008, pp. 1199-1221
A complete axiomatic system for a process-based spatial logic
Radu Mardare
,
Alberto Policriti
Lecture Notes in Computer Science
5162
, 2008, pp. 491-502