other persons with the same name:
| 2006 | ||
|---|---|---|
| 6 | EE | Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek: DiVinE - A Tool for Distributed Verification. CAV 2006: 278-281 |
| 5 | EE | Jiri Barnat, Pavel Moravec: Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC 2006: 316-330 |
| 4 | EE | Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC 2006: 84-99 |
| 3 | EE | Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electr. Notes Theor. Comput. Sci. 135(2): 3-18 (2006) |
| 2005 | ||
| 2 | EE | Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Distributed Partial Order Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 128(3): 63-74 (2005) |
| 2004 | ||
| 1 | EE | Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa: Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD 2004: 352-366 |
| 1 | Jiri Barnat | [5] [6] |
| 2 | Lubos Brim | [1] [2] [3] [4] [6] |
| 3 | Ivana Cerná (Ivana Cerna) | [1] [2] [3] [4] [6] |
| 4 | Petr Rockai | [6] |
| 5 | Pavel Simecek | [6] |
| 6 | Jirí Simsa | [1] [2] [3] [4] |