Anzahl der Einträge: 37.
Wolf, Verena ; Baier, Christel ; Majster-Cederbaum, Mila
Trace Semantics for Stochastic Systems with Nondeterminism.
Di Pierro, Alessandra
Electronic Notes in Theoretical Computer Science : ENTCS
164,3
187-204
In: Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006, Vienna, Austria 1–2 April 2006
(2006)
Amsterdam [u.a.]
[Konferenzveröffentlichung]
|
|
Wolf, Verena ; Baier, Christel
Stochastic Reasoning About Channel-Based Component Connectors.
Ciancarini, Paolo
Lecture Notes in Computer Science
4038
1-15
In: Coordination models and languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14 - 16, 2006; proceedings
(2006)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena
Comparative Branching Time Semantics for Markov Chains.
Amadio, Roberto M.
Lecture Notes in Computer Science
2761
492-507
In: CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3 - 5, 2003; proceedings
(2003)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Baier, Christel ; Katoen, Joost-Pieter ; Latella, Diego
(1998)
Metric Semantics for True Concurrent Real-Time.
Larsen, Kim Guldstrand
Automata, languages and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13 - 17, 1998; proceedings
Lecture Notes in Computer Science
Berlin [u.a.]
1443
568-580
[Buchkapitel]
|
|
Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili
On the Semantic Foundations of Probabilistic VERUS.
Proceedings / Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, IN, USA , Juni
7-32
In: Proceedings / 1st Workshop on Probabilistic Methods in Verication (PROBMIV’98) Indianapolis, Ind., USA
(1998)
Trier
[Konferenzveröffentlichung]
|
|
Baier, Christel ; Clarke, Edmund M.
The Algebraic Mu-Calculus and MTBDDs.
Proceedings / 5th Workshop on Logic, Language, Information and Computation. WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
27-38
In: Proceedings / 5th Workshop on Logic, Language, Information and Computation, WoLLIC '98, University of Sao Paulo, Brazil, July 28-31, 1998
(1998)
Sao Paulo
[Konferenzveröffentlichung]
|
|
Baier, Christel ; Clarke, Edmund M. ; Hartonas-Garmhausen, Vasili ; Kwiatkowska, Marta ; Ryan, Mark
Symbolic Model Checking for Probabilistic Processes.
Degano, Pierpaolo
Lecture Notes in Computer Science
1256
430-440
In: Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings
(1997)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Baier, Christel
(1997)
Trees and Semantics.
Theoretical Computer Science
Amsterdam [u.a.]
179
1/2
217-250
[Zeitschriftenartikel]
|
|
Baier, Christel ; Hermanns, Holger
Weak Bisimulation for Fully Probabilistic Processes.
Grumberg, Orna
Lecture Notes in Computer Science
1254
119-130
In: Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22 - 25, 1997; proceedings
(1997)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Baier, Christel ; Majster-Cederbaum, Mila
A Categorical Characterization of Consistency.
Wirsing, Martin
Lecture Notes in Computer Science
1101
473-486
In: Algebraic Methodology and Software Technology : 5th international conference, AMAST '96, Munich, Germany, July 1 - 5, 1996; proceedings
(1996)
Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Majster-Cederbaum, Mila ; Baier, Christel
Metric Completion versus Ideal Completion [Extended Abstract].
Desel, Jörg
Proceedings of the Workshop on Structures in Concurreny Theory, Workshops in Computing
236-248
In: Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory, (STRICT), Berlin, 11 - 13 May 1995
(1995)
London ; Berlin [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Sat Aug 17 01:48:54 2024 CEST automatisch erstellt.
|