Jiřı́ Srba

2.6k total citations
68 papers, 353 citations indexed

About

Jiřı́ Srba is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Jiřı́ Srba has authored 68 papers receiving a total of 353 indexed citations (citations by other indexed papers that have themselves been cited), including 42 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 20 papers in Computer Networks and Communications. Recurrent topics in Jiřı́ Srba's work include Formal Methods in Verification (35 papers), Logic, programming, and type systems (14 papers) and Petri Nets in System Modeling (13 papers). Jiřı́ Srba is often cited by papers focused on Formal Methods in Verification (35 papers), Logic, programming, and type systems (14 papers) and Petri Nets in System Modeling (13 papers). Jiřı́ Srba collaborates with scholars based in Denmark, Austria and United States. Jiřı́ Srba's co-authors include Kim G. Larsen, Anna Ingólfsdóttir, Luca Aceto, Stefan Schmid, Petr Jančar, Nikola Beneš, Hans Hüttel, Jan Křetínský, Peter Gjøl Jensen and Sebastian Bauer and has published in prestigious journals such as Journal of the ACM, IEEE/ACM Transactions on Networking and Theoretical Computer Science.

In The Last Decade

Jiřı́ Srba

59 papers receiving 339 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Jiřı́ Srba Denmark 9 231 186 85 67 31 68 353
Ruggero Lanotte Italy 9 154 0.7× 144 0.8× 79 0.9× 49 0.7× 41 1.3× 49 278
Frédéric Lang France 7 169 0.7× 126 0.7× 66 0.8× 107 1.6× 47 1.5× 22 274
Gilles Audemard France 3 202 0.9× 165 0.9× 96 1.1× 74 1.1× 17 0.5× 8 276
Viktor Schuppan Switzerland 8 263 1.1× 168 0.9× 49 0.6× 180 2.7× 19 0.6× 13 332
C.A. Middelburg Netherlands 8 264 1.1× 226 1.2× 68 0.8× 50 0.7× 36 1.2× 66 350
Sven Schewe United Kingdom 10 249 1.1× 220 1.2× 42 0.5× 90 1.3× 11 0.4× 66 360
Salvatore La Torre Italy 12 367 1.6× 224 1.2× 83 1.0× 172 2.6× 37 1.2× 53 462
Stephan Tobies Germany 8 106 0.5× 287 1.5× 111 1.3× 69 1.0× 93 3.0× 16 361
Tommi Junttila Finland 9 269 1.2× 204 1.1× 59 0.7× 181 2.7× 17 0.5× 27 345
Richard Mayr United Kingdom 11 408 1.8× 316 1.7× 93 1.1× 113 1.7× 20 0.6× 44 505

Countries citing papers authored by Jiřı́ Srba

Since Specialization
Citations

This map shows the geographic impact of Jiřı́ Srba's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jiřı́ Srba with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jiřı́ Srba more than expected).

Fields of papers citing papers by Jiřı́ Srba

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jiřı́ Srba. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jiřı́ Srba. The network helps show where Jiřı́ Srba may publish in the future.

Co-authorship network of co-authors of Jiřı́ Srba

This figure shows the co-authorship network connecting the top 25 collaborators of Jiřı́ Srba. A scholar is included among the top collaborators of Jiřı́ Srba based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jiřı́ Srba. Jiřı́ Srba is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Jensen, Peter Gjøl, et al.. (2025). Towards model-driven heat pump control in a multi-story building. Journal of Building Performance Simulation. 18(7). 743–766.
2.
Larsen, Kim G., et al.. (2024). SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. VBN Forskningsportal (Aalborg Universitet). 2398–2407. 1 indexed citations
3.
Jensen, Peter Gjøl, et al.. (2023). A toolchain for domestic heat-pump control using Uppaal Stratego. Science of Computer Programming. 230. 102987–102987. 4 indexed citations
4.
Jensen, Peter Gjøl, et al.. (2023). Methods for Efficient Unfolding of Colored Petri Nets. Fundamenta Informaticae. 189(3-4). 297–320. 1 indexed citations
5.
Larsen, Kim G., et al.. (2021). Extended abstract dependency graphs. International Journal on Software Tools for Technology Transfer. 24(1). 49–65.
6.
Larsen, Kim G. & Jiřı́ Srba. (2019). Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). Journal of Logical and Algebraic Methods in Programming. 107. 177–178.
7.
Jensen, Peter Gjøl, et al.. (2018). Stubborn versus structural reductions for Petri nets. Journal of Logical and Algebraic Methods in Programming. 102. 46–63. 6 indexed citations
8.
Schmid, Stefan & Jiřı́ Srba. (2018). Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. VBN Forskningsportal (Aalborg Universitet). 1799–1807. 9 indexed citations
9.
Srba, Jiřı́, et al.. (2013). TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Theoretical Computer Science. 537. 3–28. 1 indexed citations
10.
Larsen, Kim G., et al.. (2012). Modal transition systems with weight intervals. The Journal of Logic and Algebraic Programming. 81(4). 408–421. 7 indexed citations
11.
Beneš, Nikola, Jan Křetínský, Kim G. Larsen, & Jiřı́ Srba. (2012). EXPTIME-completeness of thorough refinement on modal transition systems. Information and Computation. 218. 54–68. 2 indexed citations
12.
Srba, Jiřı́. (2010). CompSysTech '10 Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies. 1 indexed citations
13.
Beneš, Nikola, Jan Křetínský, Kim G. Larsen, & Jiřı́ Srba. (2009). On determinism in modal transition systems. Theoretical Computer Science. 410(41). 4026–4043. 23 indexed citations
14.
Aceto, Luca, Anna Ingólfsdóttir, Kim G. Larsen, & Jiřı́ Srba. (2007). Reactive Systems: Modelling, Specification and Verification. VBN Forskningsportal (Aalborg Universitet). 68(2). 122–6. 73 indexed citations
15.
Hüttel, Hans & Jiřı́ Srba. (2004). Recursive Ping-Pong Protocols. VBN Forskningsportal (Aalborg Universitet). 129–140. 1 indexed citations
16.
Hüttel, Hans & Jiřı́ Srba. (2004). Recursion vs. Replication in Simple Cryptographic Protocols. BRICS Report Series. 11(23). 7 indexed citations
17.
Moller, Faron, Scott A. Smolka, & Jiřı́ Srba. (2004). On the computational complexity of bisimulation, redux. Information and Computation. 194(2). 129–143. 3 indexed citations
18.
Jurdziński, Marcin, Mogens Nielsen, & Jiřı́ Srba. (2003). Undecidability of domino games and hhp-bisimilarity. Information and Computation. 184(2). 343–368. 10 indexed citations
19.
Hüttel, Hans & Jiřı́ Srba. (2003). Recursive Ping-Pong Protocols. BRICS Report Series. 10(47). 3 indexed citations
20.
Srba, Jiřı́. (2002). Roadmap of Infinite Results. VBN Forskningsportal (Aalborg Universitet). 2(1). 163–175. 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Ruggero Lanotte Breakdown of academic impact, for papers by Frédéric Lang Breakdown of academic impact, for papers by Gilles Audemard Breakdown of academic impact, for papers by Viktor Schuppan Breakdown of academic impact, for papers by C.A. Middelburg Breakdown of academic impact, for papers by Sven Schewe Breakdown of academic impact, for papers by Salvatore La Torre Breakdown of academic impact, for papers by Stephan Tobies Breakdown of academic impact, for papers by Tommi Junttila Breakdown of academic impact, for papers by Richard Mayr
Rankless by CCL
2026