Marcin Szpyrka

763 citations
43 papers · 364 indexed · h-index 10
Topics
Petri Nets in System Modeling (26 papers)Formal Methods in Verification (23 papers)Real-Time Systems Scheduling (17 papers)
Journals
SHILAP Revista de lepidopterologíaIEEE AccessEnergies

In The Last Decade

Marcin Szpyrka

39 papers receiving 346 citations

Peers

Marcin Szpyrka
Comparison fields: 5 of 57
  • Computer Networks and Communications 159
  • Computational Theory and Mathematics 128
  • Artificial Intelligence 115
  • Information Systems 84
  • Hardware and Architecture 77
Replace Rachid Hadjidj with:
Rachid Hadjidj Canada
Antonio Cau United Kingdom
Andrew S. Miner United States
Felix Klaedtke Switzerland
Dilsun Kaynar United States
Djamel Eddine Saïdouni Algeria
Giovanni Chiola Italy
Panagiotis Katsaros Greece
Yosr Jarraya Canada
Brian Larson United States
Marcin Szpyrka relative to Rachid Hadjidj Canada Rachid Hadjidj's profile →
Citations per field
00.5×1.5×2.3×
Rachid Hadjidj · 1×
Citations per year

Countries citing papers authored by Marcin Szpyrka

Since Specialization
Citations

This map shows the geographic impact of Marcin Szpyrka'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 Marcin Szpyrka with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marcin Szpyrka more than expected).

Fields of papers citing papers by Marcin Szpyrka

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Marcin Szpyrka. 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 Marcin Szpyrka. The network helps show where Marcin Szpyrka may publish in the future.

Co-authorship network of co-authors of Marcin Szpyrka

This figure shows the co-authorship network connecting the top 25 collaborators of Marcin Szpyrka. A scholar is included among the top collaborators of Marcin Szpyrka 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 Marcin Szpyrka. Marcin Szpyrka 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
#WorkIndexed citations
1 1
2 2
3 3
4 10
5
Hierarchical Communication Diagrams
7
6 1
7 2
8 2
9 3
10 5
11
Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data.
1
12
Methods of Translation of Petri Nets to NuSMV Language.
17
13
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.
6
14
Alvis language with time dependence
10
15 4
16
D-nets - Petri net form of rule-based systems
3
17 0
18 1
19
A formal approach to modelling of real-time systems using RTCP-nets
3
20 8

About Marcin Szpyrka

Marcin Szpyrka is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Software, having authored 43 papers that have together received 364 indexed citations. Recurring topics across this work include Petri Nets in System Modeling (26 papers), Formal Methods in Verification (23 papers) and Real-Time Systems Scheduling (17 papers). The work is most often cited by research in Hardware and Architecture (77 citations), Computational Theory and Mathematics (128 citations) and Software (28 citations). Marcin Szpyrka has collaborated with scholars based in Poland, Czechia and United States. Frequent co-authors include Bartosz Kowalik, Leszek Kotulski, Grzegorz J. Nalepa, Edyta Brzychczy, Krzysztof Kluza, Jaroslav Zendulka, Friedemann Mattern, Urszula Bentkowska, David Hutchison and John C. Mitchell. Their work appears in journals such as SHILAP Revista de lepidopterología, IEEE Access and Energies.

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

Rankless by CCL
2026