×
Compute Distance To:
Author ID: srba.jiri Recent zbMATH articles by "Srba, Jiří"
Published as: Srba, Jiří; Srba, Jirí; Srba, J.; Srba, Jiri

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 279 times in 191 Documents Cited by Year
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
43
2007
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
38
2008
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
15
2011
Roadmap of infinite results. Zbl 1065.68073
Srba, Jiří
12
2004
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096
Srba, Jiří
12
2002
Height-deterministic pushdown automata. Zbl 1147.68562
Nowotka, Dirk; Srba, Jiří
11
2007
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
10
2009
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
10
2003
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
9
2015
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
8
2009
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
7
2011
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard. Zbl 1057.68071
Srba, Jiří
7
2002
Roadmap of infinite results. Zbl 1169.68554
Srba, Jiří
6
2002
Undecidability of bisimilarity by defender’s forcing. Zbl 1326.68199
Jančar, Petr; Srba, Jiří
6
2008
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
Undecidability of weak bisimilarity for pushdown processes. Zbl 1012.68138
Srba, Jiří
5
2002
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
5
2012
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
4
2011
Comparing the expressiveness of timed automata and timed extensions of Petri nets. Zbl 1171.68579
Srba, Jiří
4
2008
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1260.68278
Srba, Jiří
4
2003
Stubborn set reduction for two-player reachability games. Zbl 07327954
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2021
Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081
Srba, Jiří
3
2003
Beyond language equivalence on visibly pushdown automata. Zbl 1164.68018
Srba, Jiří
3
2009
Timed-arc Petri nets vs. networks of timed automata. Zbl 1128.68069
Srba, Jiří
3
2005
On the power of labels in transition systems. Zbl 1006.68091
Srba, Jiří
3
2001
Dual-priced modal transition systems with time durations. Zbl 1352.68144
Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří
3
2012
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
2
2014
Properties of distributed timed-arc Petri nets. Zbl 1052.68639
Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí
2
2001
Visibly pushdown automata: from language equivalence to simulation and bisimulation. Zbl 1225.68104
Srba, Jiří
2
2006
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
2012
Refinement checking on parametric modal transition systems. Zbl 1309.68130
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří
2
2015
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
2
2016
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2018
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
1
2016
Decidability issues for extended ping-pong protocols. Zbl 1107.68042
Hüttel, Hans; Srba, Jiří
1
2006
Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161
Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
1
2018
Distributed computation of fixed points on dependency graphs. Zbl 1393.68099
Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří
1
2016
Resilient capacity-aware routing. Zbl 1467.68013
Schmid, Stefan; Schnepf, Nicolas; Srba, Jiří
1
2021
Undecidability of weak bisimilarity for PA-processes. Zbl 1015.68133
Srba, Jirí
1
2003
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří
1
2014
Soundness of timed-arc workflow nets. Zbl 1334.90064
Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund
1
2014
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284
Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J.
1
2019
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
1
2019
Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2017
Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320
Hüttel, Hans; Srba, Jiří
1
2005
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1088.68134
Srba, Jiří
1
2003
Note on the tableau technique for commutative transition systems. Zbl 1077.68718
Srba, Jiří
1
2002
EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
1
2012
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
1
2015
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
2017
Stubborn set reduction for two-player reachability games. Zbl 07327954
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
4
2021
Resilient capacity-aware routing. Zbl 1467.68013
Schmid, Stefan; Schnepf, Nicolas; Srba, Jiří
1
2021
Model checking and synthesis for branching multi-weighted logics. Zbl 1423.68284
Jensen, L. S.; Kaufmann, I.; Larsen, K. G.; Nielsen, S. M.; Srba, J.
1
2019
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
1
2019
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2018
Simplification of CTL formulae for efficient model checking of Petri nets. Zbl 1427.68161
Bønneland, Frederik; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
1
2018
Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2017
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
2017
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
2
2016
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
1
2016
Distributed computation of fixed points on dependency graphs. Zbl 1393.68099
Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří
1
2016
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
9
2015
Refinement checking on parametric modal transition systems. Zbl 1309.68130
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří
2
2015
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
1
2015
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
2
2014
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří
1
2014
Soundness of timed-arc workflow nets. Zbl 1334.90064
Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund
1
2014
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
5
2012
Dual-priced modal transition systems with time durations. Zbl 1352.68144
Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří
3
2012
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
2012
EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
1
2012
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
15
2011
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
7
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
4
2011
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
10
2009
Checking thorough refinement on modal transition systems is EXPTIME-complete. Zbl 1250.68117
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
8
2009
Beyond language equivalence on visibly pushdown automata. Zbl 1164.68018
Srba, Jiří
3
2009
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
38
2008
Undecidability of bisimilarity by defender’s forcing. Zbl 1326.68199
Jančar, Petr; Srba, Jiří
6
2008
Comparing the expressiveness of timed automata and timed extensions of Petri nets. Zbl 1171.68579
Srba, Jiří
4
2008
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
43
2007
Height-deterministic pushdown automata. Zbl 1147.68562
Nowotka, Dirk; Srba, Jiří
11
2007
Visibly pushdown automata: from language equivalence to simulation and bisimulation. Zbl 1225.68104
Srba, Jiří
2
2006
Decidability issues for extended ping-pong protocols. Zbl 1107.68042
Hüttel, Hans; Srba, Jiří
1
2006
Timed-arc Petri nets vs. networks of timed automata. Zbl 1128.68069
Srba, Jiří
3
2005
Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320
Hüttel, Hans; Srba, Jiří
1
2005
Roadmap of infinite results. Zbl 1065.68073
Srba, Jiří
12
2004
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
10
2003
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1260.68278
Srba, Jiří
4
2003
Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081
Srba, Jiří
3
2003
Undecidability of weak bisimilarity for PA-processes. Zbl 1015.68133
Srba, Jirí
1
2003
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1088.68134
Srba, Jiří
1
2003
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096
Srba, Jiří
12
2002
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard. Zbl 1057.68071
Srba, Jiří
7
2002
Roadmap of infinite results. Zbl 1169.68554
Srba, Jiří
6
2002
Undecidability of weak bisimilarity for pushdown processes. Zbl 1012.68138
Srba, Jiří
5
2002
Note on the tableau technique for commutative transition systems. Zbl 1077.68718
Srba, Jiří
1
2002
On the power of labels in transition systems. Zbl 1006.68091
Srba, Jiří
3
2001
Properties of distributed timed-arc Petri nets. Zbl 1052.68639
Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí
2
2001
all top 5

Cited by 302 Authors

31 Larsen, Kim Guldstrand
17 Fahrenberg, Uli
17 Legay, Axel
17 Srba, Jiří
10 Lasota, Sławomir
9 Jančar, Petr
7 Bouyer, Patricia
7 Chatterjee, Krishnendu
7 Francalanza, Adrian
7 Markey, Nicolas
6 Aceto, Luca
6 Delahaye, Benoît
6 Ingólfsdóttir, Anna
5 Fröschle, Sibylle B.
5 Juhl, Line
5 Kucera, Antonin
5 Mardare, Radu
5 Mayr, Richard M.
5 Wąsowski, Andrzej
4 André, Étienne
4 Beneš, Nikola
4 Cao, Yongzhi
4 Doyen, Laurent
4 Janoušek, Jan
4 Jensen, Peter Gjøl
4 Mandrioli, Dino
4 Melichar, Bořivoj
4 Pedersen, Mikkel Lykke
4 Randour, Mickael
4 Raskin, Jean-François
4 Sawa, Zdeněk
3 Bauer, Sebastian S.
3 Bønneland, Frederik Meyer
3 Černá, Ivana
3 Flouri, Tomáš
3 Gorrieri, Roberto
3 Hélouët, Loïc
3 Hennicker, Rolf
3 Hofman, Piotr
3 Katoen, Joost-Pieter
3 Křetínský, Jan
3 Møller, Mikael Harkjær
3 Pradella, Matteo
3 Reynier, Pierre-Alain
3 Xue, Bingtian
2 Achilleos, Antonis
2 Akshay, S.
2 Azgomi, Mohammad Abdollahi
2 Bacci, Giovanni
2 Baldan, Paolo
2 Barbosa, Luís Soares
2 Barnat, Jiří
2 Bezděk, Peter
2 Bollig, Benedikt
2 Ćirić, Miroslav D.
2 Czerwiński, Wojciech
2 Damljanović, Nada
2 Droste, Manfred
2 Gentilini, Raffaella
2 Göller, Stefan
2 Hansen, Mikkel
2 Hüttel, Hans
2 Ignjatović, Jelena
2 Iliopoulos, Costas S.
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Jurdziński, Marcin
2 Kiefer, Stefan
2 Křetínský, Mojmír
2 Laursen, Simon
2 Lonati, Violetta
2 Lüttgen, Gerald
2 Madeira, Alexandre
2 Mariegaard, Anders
2 Martins, Manuel António
2 Motallebi, Hassan
2 Muñiz, Marco
2 Neele, Thomas
2 Pan, Haiyu
2 Perevoshchikov, Vitaly
2 Phillips, Iain W.
2 Pissis, Solon P.
2 Quaas, Karin
2 Rauch Henzinger, Monika
2 Řehák, Vojtěch
2 Sher, Falak
2 Strejček, Jan
2 Thrane, Claus R.
2 Traonouez, Louis-Marie
2 Ulidowski, Irek
2 Vogler, Walter
2 Wang, Hanpin
2 Willemse, Tim A. C.
2 Worrell, James B.
1 Aagaard, Jens
1 Andrade, Wilkerson L.
1 Antonik, Adam
1 Aydin Gol, Ebru
1 Babari, Parvaneh
1 Ballester-Bolinches, Adolfo
...and 202 more Authors

Citations by Year