PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kwiatkowska, Marta Z."

Author of the publication

copydeleteadd this publication to your clipboard
Performance analysis of probabilistic timed automata using digital clocks.

, , , and . Formal Methods in System Design, 29 (1): 33-78 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marta Burczyk University of Stuttgart

Marta Gil Pérez University of Stuttgart

Markus Zimmermann University of Stuttgart

Improved far field holograms using spatial light modulators and camera-in-the-loop optimization, , , and . Digital Optical Technologies 2025, volume 13573 of Proc. SPIE, page 1357304. International Society for Optics and Photonics, SPIE, (August 2025)

Dr. Renate Zapf-Gottwick University of Stuttgart

Laser Activation for Highly Boron-Doped Passivated Contacts, , , and . Solar, 3 (3): 362-381 (2023)

Yuqicheng Zhu University of Stuttgart

Predicate-Conditional Conformalized Answer Sets for Knowledge Graph Embeddings, , , , , , and . Findings of the Association for Computational Linguistics, ACL 2025, page 4145--4167. Association for Computational Linguistics, (July 2025)
 

Other publications of authors with the same name

Performance analysis of probabilistic timed automata using digital clocks., , , and . Formal Methods in System Design, 29 (1): 33-78 (2006)2011 CAV award announcement., , , and . Formal Methods in System Design, 41 (1): 1-2 (2012)A Testing Equivalence for Reactive Probabilistic Processes., and . Electr. Notes Theor. Comput. Sci., 16 (2): 114-132 (1998)Event Fairness and Non-interleaving Concurrency.. Formal Asp. Comput., 1 (3): 213-228 (1989)A refinement-based process algebra for timed automata., and . Formal Asp. Comput., 17 (2): 138-159 (2005)Probabilistic verification of Herman's self-stabilisation algorithm., , and . Formal Asp. Comput., 24 (4-6): 661-670 (2012)Duality and the Completeness of the Modal mu-Calculus., , and . Theor. Comput. Sci., 151 (1): 3-27 (1995)Probabilistic model checking of complex biological pathways., , , , and . Theor. Comput. Sci., 391 (3): 239-257 (2008)Probabilistic Model Checking for Biology., and . Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)Advances in Probabilistic Model Checking., and . Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)