Agata Półrola

468 total citations
20 papers, 169 citations indexed

About

Agata Półrola is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Agata Półrola has authored 20 papers receiving a total of 169 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Computational Theory and Mathematics, 10 papers in Software and 7 papers in Artificial Intelligence. Recurrent topics in Agata Półrola's work include Formal Methods in Verification (12 papers), Model-Driven Software Engineering Techniques (9 papers) and Petri Nets in System Modeling (8 papers). Agata Półrola is often cited by papers focused on Formal Methods in Verification (12 papers), Model-Driven Software Engineering Techniques (9 papers) and Petri Nets in System Modeling (8 papers). Agata Półrola collaborates with scholars based in Poland. Agata Półrola's co-authors include Wojciech Penczek, Andrzej Zbrzezny, Maciej Szreter, Bożena Woźna-Szcześniak, Magdalena Kacprzak, Wojciech Horzelski and Piotr Dembiński and has published in prestigious journals such as Fundamenta Informaticae, Studies in computational intelligence and Control and Cybernetics.

In The Last Decade

Agata Półrola

19 papers receiving 146 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Agata Półrola Poland	8	110	99	49	48	28	20	169
Maciej Szreter Poland	7	119 1.1×	127 1.3×	38 0.8×	45 0.9×	13 0.5×	19	181
Andrzej Zbrzezny Poland	11	213 1.9×	167 1.7×	38 0.8×	116 2.4×	15 0.5×	38	267
Kaïs Klai France	8	70 0.6×	44 0.4×	60 1.2×	35 0.7×	31 1.1×	21	142
Hernán Melgratti Italy	6	56 0.5×	116 1.2×	80 1.6×	24 0.5×	46 1.6×	23	167
Nils Gesbert France	7	127 1.2×	211 2.1×	63 1.3×	24 0.5×	18 0.6×	14	259
Benet Devereux Canada	6	175 1.6×	167 1.7×	40 0.8×	107 2.2×	13 0.5×	11	229
Jürgen Dingel Canada	8	45 0.4×	99 1.0×	78 1.6×	88 1.8×	15 0.5×	13	184
Ib Holm Sørensen United Kingdom	4	124 1.1×	174 1.8×	79 1.6×	55 1.1×	13 0.5×	9	231
Prasanna Thati United States	5	118 1.1×	118 1.2×	21 0.4×	46 1.0×	7 0.3×	6	174
Fabrice Kordon France	6	49 0.4×	33 0.3×	45 0.9×	34 0.7×	22 0.8×	27	108

Countries citing papers authored by Agata Półrola

Since Specialization

Citations

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

Fields of papers citing papers by Agata Półrola

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Agata Półrola. 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 Agata Półrola. The network helps show where Agata Półrola may publish in the future.

Co-authorship network of co-authors of Agata Półrola

This figure shows the co-authorship network connecting the top 25 collaborators of Agata Półrola. A scholar is included among the top collaborators of Agata Półrola 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 Agata Półrola. Agata Półrola is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Półrola, Agata, et al.. (2014). SMT-Based Reachability Checking for Bounded Time Petri Nets. Fundamenta Informaticae. 135(4). 467–482. 1 indexed citations

Horzelski, Wojciech, et al.. (2012). HarmonICS - a Tool for Composing Medical Services ?. 25–33. 9 indexed citations

Penczek, Wojciech, et al.. (2012). SMT-based Abstract Planning in PlanICS Ontology. 2 indexed citations

Penczek, Wojciech, et al.. (2012). Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. Fundamenta Informaticae. 120(2). 181–203. 2 indexed citations

Horzelski, Wojciech, et al.. (2011). Web Services composition - from ontology to plan by query †. Control and Cybernetics. 40(2). 315–336. 4 indexed citations

Półrola, Agata, et al.. (2011). Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets.. 72–91. 1 indexed citations

Horzelski, Wojciech, et al.. (2011). PlanICS - a Web Service Composition Toolset. Fundamenta Informaticae. 112(1). 47–71. 12 indexed citations

Penczek, Wojciech, et al.. (2011). BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. Fundamenta Informaticae. 109(3). 305–321.

Penczek, Wojciech, Agata Półrola, & Andrzej Zbrzezny. (2010). Towards Automatic Composition of Web Services: A SAT-Based Phase.. 453–473. 4 indexed citations

10.

Penczek, Wojciech, et al.. (2010). Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. Fundamenta Informaticae. 101(1-2). 9–27. 5 indexed citations

11.

Kacprzak, Magdalena, Wojciech Penczek, Agata Półrola, et al.. (2008). VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundamenta Informaticae. 85(1-4). 313–328. 45 indexed citations

12.

Zbrzezny, Andrzej & Agata Półrola. (2007). SAT-Based Reachability Checking for Timed Automata with Discrete Data. Fundamenta Informaticae. 79(3). 579–593. 11 indexed citations

13.

Penczek, Wojciech & Agata Półrola. (2006). Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence). Springer eBooks. 13 indexed citations

14.

Penczek, Wojciech & Agata Półrola. (2006). Advances in Verification of Time Petri Nets and Timed Automata. Studies in computational intelligence. 22 indexed citations

15.

Penczek, Wojciech & Agata Półrola. (2006). Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach. DIAL (Catholic University of Leuven). 14 indexed citations

16.

Półrola, Agata & Wojciech Penczek. (2003). Minimization Algorithms for Time Petri Nets. Fundamenta Informaticae. 60(1). 307–331. 3 indexed citations

17.

Dembiński, Piotr, Wojciech Penczek, Agata Półrola, et al.. (2003). Verics: A Tool for Verifying Timed Automata and Estelle Specifications. 17 indexed citations

18.

Półrola, Agata. (2003). Reachability Analysis for Timed Automata Based on Partitioning. 63(9). 1–23. 1 indexed citations

19.

Dembiński, Piotr, Wojciech Penczek, & Agata Półrola. (2002). Verification of timed automata based on similarity. Fundamenta Informaticae. 51(1). 59–89. 2 indexed citations

20.

Półrola, Agata, Wojciech Penczek, & Maciej Szreter. (2002). Reachability analysis for timed automata using partitioning algorithms. Fundamenta Informaticae. 55(2). 203–221. 1 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