| |
| 2002 | ||
|---|---|---|
| 6 | EE | Jitka Stríbrná, Ivana Cerná: Modifications of Expansion Trees for Weak Bisimulation in BPA. Electr. Notes Theor. Comput. Sci. 68(6): (2002) |
| 2001 | ||
| 5 | EE | Jiri Barnat, Lubos Brim, Jitka Stríbrná: Distributed LTL Model-Checking in SPIN. SPIN 2001: 200-216 |
| 4 | EE | Jitka Stríbrná, Insup Lee: Characterizing Non-Zenoness on Real-Time Processes. Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
| 1999 | ||
| 3 | Jitka Stríbrná: Approximating Weak Bisimulation on Basic Process Algebras. MFCS 1999: 366-375 | |
| 1998 | ||
| 2 | EE | Jitka Stríbrná: Hardness results for weak bisimilarity of simple process algebras. Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 1997 | ||
| 1 | EE | Jitka Stríbrná: Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem. Electr. Notes Theor. Comput. Sci. 9: (1997) |
| 1 | Jiri Barnat | [5] |
| 2 | Lubos Brim | [5] |
| 3 | Ivana Cerná (Ivana Cerna) | [6] |
| 4 | Insup Lee | [4] |