×

zbMATH — the first resource for mathematics

Srba, Jiří

Compute Distance To:
Author ID: srba.jiri Recent zbMATH articles by "Srba, Jiří"
Published as: Srba, J.; Srba, Jiri; Srba, Jirí; Srba, Jiří
Documents Indexed: 68 Publications since 1998, including 3 Books

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 243 times in 161 Documents Cited by Year
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
38
2007
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
30
2008
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
11
2011
Roadmap of infinite results. Zbl 1065.68073
Srba, Jiří
11
2004
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096
Srba, Jiří
11
2002
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
10
2009
Height-deterministic pushdown automata. Zbl 1147.68562
Nowotka, Dirk; Srba, Jiří
10
2007
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
10
2003
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
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard. Zbl 1057.68071
Srba, Jiří
7
2002
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
6
2015
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
6
2011
Undecidability of bisimilarity by defender’s forcing. Zbl 1326.68199
Jančar, Petr; Srba, Jiří
6
2008
Roadmap of infinite results. Zbl 1169.68554
Srba, Jiří
6
2002
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ří
4
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
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1088.68134
Srba, Jiří
4
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
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
2
2014
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
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ří
2
2012
Visibly pushdown automata: from language equivalence to simulation and bisimulation. Zbl 1225.68104
Srba, Jiří
2
2006
Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081
Srba, Jiří
2
2003
Properties of distributed timed-arc Petri nets. Zbl 1052.68639
Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí
2
2001
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
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
Larsen, Kim Guldstrand (ed.); Potapov, Igor (ed.); Srba, Jiří (ed.)
1
2016
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
1
2016
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
1
2015
CAAL: concurrency workbench, Aalborg edition. Zbl 06545748
Andersen, Jesper R.; Andersen, Nicklas; Enevoldsen, Søren; Hansen, Mathias M.; Larsen, Kim G.; Olesen, Simon R.; Srba, Jiří; Wortmann, Jacob K.
1
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ří
1
2015
Soundness of timed-arc workflow nets. Zbl 1334.90064
Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund
1
2014
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
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Decidability issues for extended ping-pong protocols. Zbl 1107.68042
Hüttel, Hans; Srba, Jiří
1
2006
Recursion versus replication in simple cryptographic protocols. Zbl 1117.94320
Hüttel, Hans; Srba, Jiří
1
2005
Undecidability of weak bisimilarity for PA-processes. Zbl 1015.68133
Srba, Jirí
1
2003
Note on the tableau technique for commutative transition systems. Zbl 1077.68718
Srba, Jiří
1
2002
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
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
Larsen, Kim Guldstrand (ed.); Potapov, Igor (ed.); Srba, Jiří (ed.)
1
2016
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; 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ří
6
2015
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
1
2015
CAAL: concurrency workbench, Aalborg edition. Zbl 06545748
Andersen, Jesper R.; Andersen, Nicklas; Enevoldsen, Søren; Hansen, Mathias M.; Larsen, Kim G.; Olesen, Simon R.; Srba, Jiří; Wortmann, Jacob K.
1
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ří
1
2015
Synchronizing strategies under partial observability. Zbl 1417.68129
Guldstrand Larsen, Kim; Laursen, Simon; Srba, Jiří
2
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ří
4
2012
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
2
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ří
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ří
11
2011
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
6
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ří
30
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ří
38
2007
Height-deterministic pushdown automata. Zbl 1147.68562
Nowotka, Dirk; Srba, Jiří
10
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ří
11
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
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1088.68134
Srba, Jiří
4
2003
Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081
Srba, Jiří
2
2003
Undecidability of weak bisimilarity for PA-processes. Zbl 1015.68133
Srba, Jirí
1
2003
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096
Srba, Jiří
11
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 254 Authors

27 Larsen, Kim Guldstrand
16 Legay, Axel
15 Fahrenberg, Uli
14 Srba, Jiří
10 Lasota, Sławomir
8 Jančar, Petr
6 Chatterjee, Krishnendu
6 Delahaye, Benoît
5 Aceto, Luca
5 Bouyer, Patricia
5 Francalanza, Adrian
5 Fröschle, Sibylle B.
5 Ingólfsdóttir, Anna
5 Juhl, Line
5 Kucera, Antonin
5 Mardare, Radu
5 Wąsowski, Andrzej
4 Beneš, Nikola
4 Cao, Yongzhi
4 Doyen, Laurent
4 Janoušek, Jan
4 Mandrioli, Dino
4 Markey, Nicolas
4 Mayr, Richard
4 Melichar, Bořivoj
4 Pedersen, Mikkel Lykke
4 Raskin, Jean-François
4 Sawa, Zdeněk
3 André, Étienne
3 Bauer, Sebastian S.
3 Flouri, Tomáš
3 Hennicker, Rolf
3 Hofman, Piotr
3 Křetínský, Jan
3 Møller, Mikael Harkjær
3 Pradella, Matteo
3 Randour, Mickael
3 Xue, Bingtian
2 Achilleos, Antonis
2 Akshay, S.
2 Azgomi, Mohammad Abdollahi
2 Baldan, Paolo
2 Barbosa, Luís S.
2 Barnat, Jiří
2 Bezděk, Peter
2 Bollig, Benedikt
2 Bønneland, Frederik Meyer
2 Černá, Ivana
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élouët, Loïc
2 Ignjatović, Jelena
2 Iliopoulos, Costas S.
2 Jacobsen, Lasse
2 Jacobsen, Morten
2 Jensen, Peter Gjøl
2 Jurdziński, Marcin
2 Katoen, Joost-Pieter
2 Kiefer, Stefan
2 Křetínský, Mojmír
2 Lonati, Violetta
2 Lüttgen, Gerald
2 Madeira, Alexandre
2 Martins, Manuel António
2 Motallebi, Hassan
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 Reynier, Pierre-Alain
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 Worrell, James B.
1 Andrade, Wilkerson L.
1 Antonik, Adam
1 Babari, Parvaneh
1 Bacci, Giovanni
1 Ballester-Bolinches, Adolfo
1 Bašić, Milan
1 Berlinkov, Mikhail V.
1 Bezhanishvili, Nick
1 Bloem, Roderick
1 Bodeveix, Jean-Paul
1 Böhm, Stanislav
1 Bottoni, Paolo
1 Bradfield, Julian Charles
1 Brim, Luboš
...and 154 more Authors

Citations by Year