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

Co-Authors

19 single-authored
27 Larsen, Kim Guldstrand
11 Jensen, Peter Gjøl
7 Beneš, Nikola
7 Křetínský, Jan
6 Møller, Mikael Harkjær
5 Bønneland, Frederik Meyer
4 Enevoldsen, Søren
4 Kaufmann, Isabella
4 Muñiz, Marco
3 Dalsgaard, Andreas Engelbredt
3 Jacobsen, Lasse
3 Jacobsen, Morten
3 Jančar, Petr
3 Jensen, Lasse S.
3 Juhl, Line
3 Nielsen, Mogens
3 Nielsen, Søren M.
2 Aceto, Luca
2 Dyhr, Jakob
2 Fahrenberg, Uli
2 Fogh, Peter
2 Hüttel, Hans
2 Ingólfsdóttir, Anna
2 Jepsen, Tobias S.
2 Johannsen, Mads
2 Jørgensen, Kenneth Yrke
2 Klíma, Ondřej
2 Laursen, Simon
2 Mateo, Jose Antonio
2 Olesen, Mads Christian
2 Pastva, Samuel
2 Potapov, Igor
2 Sassone, Vladimiro
2 Schmid, Stefan
2 Smolka, Scott A.
2 Sørensen, Mathias Grund
1 Bauer, Sebastian S.
1 Bezděk, Peter
1 Bouyer, Patricia
1 Byg, Joakim
1 Černá, Ivana
1 David, Alexandre
1 Delzanno, Giorgio
1 Didriksen, Martin
1 Esparza, Javier
1 Jensen, Mathias Claus
1 Johansen, Nicklas S.
1 Jon Jensen, Jacob
1 Jønler, Jonathan F.
1 Jurdziński, Marcin
1 Kær, Lasse B.
1 Karra, Shyam Lal
1 Katona, Andrei-Ioan
1 Kiefer, Stefan
1 Konggaard Schou, Morten
1 Kühnrich, Morten
1 Lama, Sangey D. L.
1 Legay, Axel
1 Lottrup, Frederik B.
1 Madsen, Andreas L.
1 Mariegaard, Anders
1 Markey, Nicolas
1 Moesgaard, Christoffer
1 Moller, Faron
1 Nielsen, Kristian Ø.
1 Nørgaard Samuelsen, Niels
1 Nowotka, Dirk
1 Schnepf, Nicolas
1 Schwoon, Stefan
1 Shajarat, Shahab
1 Sickert, Salomon
1 Stig Jacobsen, Thomas
1 Tollund, Rasmus G.
1 Ulrik, Nikolaj Jensen
1 van Duijn, Ingo
1 Vanerio, Juan
1 Viesmose Birch, Sine
1 Virenfeldt, Simon Mejlby

Publications by Year

Citations contained in zbMATH Open

53 Publications have been cited 327 times in 221 Documents Cited by Year
Infinite runs in weighted timed automata with energy constraints. Zbl 1171.68524
Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim G.; Markey, Nicolas; Srba, Jiří
46
2008
Reactive systems. Modelling, specification and verification. Zbl 1141.68043
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim G.; Srba, Jiří
45
2007
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
17
2011
Roadmap of infinite results. Zbl 1065.68073
Srba, Jiří
13
2004
Height-deterministic pushdown automata. Zbl 1147.68562
Nowotka, Dirk; Srba, Jiří
12
2007
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard. Zbl 1054.68096
Srba, Jiří
12
2002
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
11
2003
On determinism in modal transition systems. Zbl 1186.68314
Beneš, N.; Křetínský, J.; Larsen, K. G.; Srba, J.
10
2009
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
10
2015
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ří
10
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ří
8
2011
Extending modal transition systems with structured labels. Zbl 1277.68160
Bauer, Sebastian S.; Juhl, Line; Larsen, Kim G.; Legay, Axel; Srba, Jiří
8
2012
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
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
5
2011
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
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ří
5
2018
Undecidability of weak bisimilarity for pushdown processes. Zbl 1012.68138
Srba, Jiří
5
2002
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
5
2019
Real-time strategy synthesis for timed-arc Petri net games via discretization. Zbl 1354.68196
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
5
2016
Modal transition systems with weight intervals. Zbl 1243.68215
Juhl, Line; Larsen, Kim G.; Srba, Jiří
5
2012
Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081
Srba, Jiří
4
2003
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
Beyond language equivalence on visibly pushdown automata. Zbl 1164.68018
Srba, Jiří
3
2009
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
2017
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ří
3
2014
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
EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
3
2012
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
3
2012
Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří
2
2021
Visibly pushdown automata: from language equivalence to simulation and bisimulation. Zbl 1225.68104
Srba, Jiří
2
2006
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
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.
2
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ří
2
2018
Properties of distributed timed-arc Petri nets. Zbl 1052.68639
Nielsen, Mogens; Sassone, Vladimiro; Srba, Jirí
2
2001
Distributed computation of fixed points on dependency graphs. Zbl 1393.68099
Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; Larsen, Kim Guldstrand; Srba, Jiří
2
2016
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ří
2
2017
Decidability issues for extended ping-pong protocols. Zbl 1107.68042
Hüttel, Hans; Srba, Jiří
1
2006
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
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
Reachability problems. 10th international workshop, RP 2016, Aalborg, Denmark, September 19–21, 2016. Proceedings. Zbl 1371.68012
1
2016
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
Soundness of timed-arc workflow nets. Zbl 1334.90064
Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund
1
2014
Polynomial time decidability of weighted synchronization under partial observability. Zbl 1374.68260
Kretinsky, Jan; Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri
1
2015
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
Resilient capacity-aware routing. Zbl 1467.68013
Schmid, Stefan; Schnepf, Nicolas; Srba, Jiří
1
2021
Stubborn set reduction for two-player reachability games. Zbl 1501.68002
Bønneland, Frederik Meyer; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Muñiz, Marco; Srba, Jiří
5
2021
Automatic synthesis of transiently correct network updates via Petri games. Zbl 1489.68157
Didriksen, Martin; Jensen, Peter G.; Jønler, Jonathan F.; Katona, Andrei-Ioan; Lama, Sangey D. L.; Lottrup, Frederik B.; Shajarat, Shahab; Srba, Jiří
2
2021
Resilient capacity-aware routing. Zbl 1467.68013
Schmid, Stefan; Schnepf, Nicolas; Srba, Jiří
1
2021
Stubborn versus structural reductions for Petri nets. Zbl 1407.68330
Bønneland, Frederik M.; Dyhr, Jakob; Jensen, Peter G.; Johannsen, Mads; Srba, Jiří
5
2019
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.
2
2019
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ří
5
2018
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ří
2
2018
PTrie: data structure for compressing and storing sets via prefix sharing. Zbl 1444.68063
Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří
3
2017
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ří
2
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ří
5
2016
Distributed computation of fixed points on dependency graphs. Zbl 1393.68099
Dalsgaard, Andreas Engelbredt; Enevoldsen, Søren; 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
Language emptiness of continuous-time parametric timed automata. Zbl 1440.68150
Beneš, Nikola; Bezděk, Peter; Larsen, Kim G.; Srba, Jiří
10
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ří
3
2014
Soundness of timed-arc workflow nets. Zbl 1334.90064
Mateo, José Antonio; Srba, Jiří; Sørensen, Mathias Grund
1
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
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ří
10
2012
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
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
EXPTIME-completeness of thorough refinement on modal transition systems. Zbl 1282.68118
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Srba, Jiří
3
2012
The algorithmics of bisimilarity. Zbl 1285.68101
Aceto, Luca; Ingolfsdottir, Anna; Srba, Jirí
3
2012
Energy games in multiweighted automata. Zbl 1350.68168
Fahrenberg, Uli; Juhl, Line; Larsen, Kim G.; Srba, Jiří
17
2011
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
8
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
5
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ří
46
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ří
45
2007
Height-deterministic pushdown automata. Zbl 1147.68562
Nowotka, Dirk; Srba, Jiří
12
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ří
13
2004
Undecidability of domino games and hhp-bisimilarity. Zbl 1054.68094
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří
11
2003
Strong bisimilarity of simple process algebras: Complexity lower bounds. Zbl 1060.68081
Srba, Jiří
4
2003
Complexity of weak bisimilarity and regularity for BPA and BPP. Zbl 1260.68278
Srba, Jiří
4
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 355 Authors

32 Larsen, Kim Guldstrand
23 Srba, Jiří
17 Fahrenberg, Uli
17 Legay, Axel
10 Jančar, Petr
10 Lasota, Sławomir
9 Bouyer, Patricia
8 Francalanza, Adrian
8 Markey, Nicolas
7 Aceto, Luca
7 Chatterjee, Krishnendu
7 Ingólfsdóttir, Anna
7 Jensen, Peter Gjøl
7 Randour, Mickael
6 Delahaye, Benoît
5 André, Étienne
5 Fröschle, Sibylle B.
5 Hélouët, Loïc
5 Juhl, Line
5 Kucera, Antonin
5 Mardare, Radu
5 Mayr, Richard M.
5 Raskin, Jean-François
5 Wąsowski, Andrzej
4 Beneš, Nikola
4 Bønneland, Frederik Meyer
4 Cao, Yongzhi
4 Doyen, Laurent
4 Hofman, Piotr
4 Janoušek, Jan
4 Mandrioli, Dino
4 Melichar, Bořivoj
4 Muñiz, Marco
4 Pedersen, Mikkel Lykke
4 Sawa, Zdeněk
3 Amat, Nicolas
3 Baldan, Paolo
3 Bauer, Sebastian S.
3 Černá, Ivana
3 Dal Zilio, Silvano
3 Flouri, Tomáš
3 Gorrieri, Roberto
3 Hennicker, Rolf
3 Katoen, Joost-Pieter
3 Křetínský, Jan
3 Leroux, Stéphane
3 Møller, Mikael Harkjær
3 Pradella, Matteo
3 Reynier, Pierre-Alain
3 Thierry-Mieg, Yann
3 Xue, Bingtian
2 Achilleos, Antonis
2 Akshay, S.
2 Azgomi, Mohammad Abdollahi
2 Bacci, Giovanni
2 Barbosa, Luís Soares
2 Barnat, Jiří
2 Berthomieu, Bernard
2 Bezděk, Peter
2 Bollig, Benedikt
2 Cassar, Ian
2 Ćirić, Miroslav D.
2 Czerwiński, Wojciech
2 Damljanović, Nada
2 Droste, Manfred
2 Gastin, Paul
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 Kaufmann, Isabella
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 Milius, Stefan
2 Motallebi, Hassan
2 Neele, Thomas
2 Pan, Haiyu
2 Pauly, Arno M.
2 Perevoshchikov, Vitaly
2 Phillips, Iain W.
2 Pissis, Solon P.
2 Quaas, Karin
2 Raha, Ritam
2 Rauch Henzinger, Monika
2 Řehák, Vojtěch
2 Schröder, Lutz
2 Sher, Falak
2 Strejček, Jan
2 Thrane, Claus R.
...and 255 more Authors

Citations by Year