Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem. - Jitka Stríbrná (INFINITY, 1997)

Hardness results for weak bisimilarity of simple process algebras. - Jitka Stríbrná (MFCS Workshop on Concurrency, 1998)

Approximating Weak Bisimulation on Basic Process Algebras. - Jitka Stríbrná (MFCS, 1999)

Distributed LTL Model-Checking in SPIN. - Jiri Barnat; Lubos Brim; Jitka Stríbrná (SPIN, 2001)

Characterizing Non-Zenoness on Real-Time Processes. - Jitka Stríbrná; Insup Lee 001 (MTCS, 2001)

Modifications of Expansion Trees for Weak Bisimulation in BPA. - Jitka Stríbrná; Ivana Cerná (INFINITY, 2002)