dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marta Z. Kwiatkowska (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS 2006: 309-320
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: On Topological Hierarchies of Temporal Properties. Fundam. Inform. 41(3): 259-294 (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Mathematical Structures in Computer Science 10(6): 665-717 (2000)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan: Preface. Electr. Notes Theor. Comput. Sci. 22: 1-2 (1999)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska, Gethin Norman: Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 22: 29 (1999)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing 11(3): 125-155 (1998)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. Inf. Process. Lett. 66(2): 71-79 (1998)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan: Symbolic Model Checking for Probabilistic Processes. ICALP 1997: 430-440
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Automatic Verification of Liveness Properties of Randomized Systems. PODC 1997: 295
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. Electr. Notes Theor. Comput. Sci. 7: 34-54 (1997)

Selection of 10 from 149 records - Marta Z. Kwiatkowska has 120 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page