PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Simsa, Jirí"

Author of the publication

copydeleteadd this publication to your clipboard
Distributed Partial Order Reduction of State Spaces.

, , , and . Electron. Notes Theor. Comput. Sci., 128 (3): 63-74 (2005)

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.

No persons found for author name Simsa, Jirí
add a person with the name Simsa, Jirí
 

Other publications of authors with the same name

Designing hardware with dynamic memory abstraction., and . FPGA, page 69-72. ACM, (2010)Breaking Audio CAPTCHAs., , , and . NIPS, page 1625-1632. Curran Associates, Inc., (2008)On Combining Partial Order Reduction with Fairness Assumptions., , , and . FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 84-99. Springer, (2006)Scalable Dynamic Partial Order Reduction., , , and . RV, volume 7687 of Lecture Notes in Computer Science, page 19-34. Springer, (2012)Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking., , , and . FMCAD, volume 3312 of Lecture Notes in Computer Science, page 352-366. Springer, (2004)Parrot: a practical runtime for deterministic, stable, and reliable threads., , , , , , , , and . SOSP, page 388-405. ACM, (2013)VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures., and . SOFSEM, volume 3381 of Lecture Notes in Computer Science, page 320-329. Springer, (2005)Distributed Partial Order Reduction of State Spaces., , , and . Electron. Notes Theor. Comput. Sci., 128 (3): 63-74 (2005)dBug: Systematic Evaluation of Distributed Systems., , and . SSV, USENIX Association, (2010)dBug: Systematic Testing of Unmodified Distributed and Multi-threaded Systems., , and . SPIN, volume 6823 of Lecture Notes in Computer Science, page 188-193. Springer, (2011)