( en | de | ru )

 

Disambiguation of "Srba, Jirí"

Author of the publication

copydeleteadd this publication to your clipboard
Stubborn Set Reduction for Two-Player Reachability Games.

, , , , and . CoRR, (2019)

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.

Jirí Mencák

Jirí Panyr

Jirí Friml

Jirí Simácek

Günther Jirikowski

 

Other publications of authors with the same name

Undecidability of Weak Bisimilarity for Pushdown Processes.. CONCUR, volume 2421 of Lecture Notes in Computer Science, page 579-593. Springer, (2002)Recursion Versus Replication in Simple Cryptographic Protocols., and . SOFSEM, volume 3381 of Lecture Notes in Computer Science, page 178-187. Springer, (2005)On Counting the Number of Consistent Genotype Assignments for Pedigrees.. FSTTCS, volume 3821 of Lecture Notes in Computer Science, page 470-482. Springer, (2005)A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL., , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 579-593. Springer, (2010)Timed-Arc Petri Nets vs. Networks of Timed Automata.. ICATPN, volume 3536 of Lecture Notes in Computer Science, page 385-402. Springer, (2005)Differential Testing of Pushdown Reachability with a Formally Verified Oracle., , , and . FMCAD, page 369-379. IEEE, (2022)Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise., , and . PRDC, page 64-70. IEEE, (2023)TAPAAL and Reachability Analysis of P/T Nets., , , and . Trans. Petri Nets Other Model. Concurr., (2016)Verification of Timed-Arc Petri Nets., , , and . SOFSEM, volume 6543 of Lecture Notes in Computer Science, page 46-72. Springer, (2011)Safe and Time-Optimal Control for Railway Games., , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 106-122. Springer, (2019)