Barbora Zimmerova Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: Partial Order Reduction for State/Event LTL. IFM 2009: 307-321
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Happe, Barbora Zimmerova: Preface. Electr. Notes Theor. Comput. Sci. 253(1): 1-2 (2009)
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova: A Case Study in Parallel Verification of Component-Based Systems. Electr. Notes Theor. Comput. Sci. 220(2): 67-83 (2008)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná: Formal verification of systems with an unlimited number of components. IET Software 2(6): 532-546 (2008)
2007
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarbora Zimmerova, Pavlína Vareková, Nikola Benes, Ivana Cerná, Lubos Brim, Jiri Sochor: Component-Interaction Automata Approach (CoIn). CoCoME 2007: 146-176
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova: Effective verification of systems with a dynamic number of components. SAVCBS 2007: 3-13
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavlína Vareková, Barbora Zimmerova: Subject-observer specification with component-interaction automata. SAVCBS 2007: 75-81
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvana Cerná, Pavlína Vareková, Barbora Zimmerova: Component Substitutability via Equivalencies of Component-Interaction Automata. Electr. Notes Theor. Comput. Sci. 182: 39-55 (2007)
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova: Component-interaction automata as a verification-oriented component-based system specification. ACM SIGSOFT Software Engineering Notes 31(2): (2006)

Coauthor Index

1Nikola Benes [5] [7] [9]
2Lubos Brim [1] [5] [9]
3Ivana Cerná (Ivana Cerna) [1] [2] [4] [5] [6] [7] [9]
4Jens Happe [8]
5Pavel Moravec [4] [6]
6Jiri Sochor [5] [7] [9]
7Pavlína Vareková [1] [2] [3] [4] [5] [6] [7] [9]

Colors in the list of coauthors

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)