Agata Półrola

13 papers and 84 indexed citations i.

Agata Półrola has authored 13 papers that have received a total of 84 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 8 papers in Software and 4 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Model-Driven Software Engineering Techniques (7 papers) and Petri Nets in System Modeling (6 papers). Agata Półrola is often cited by papers focused on Formal Methods in Verification (10 papers), Model-Driven Software Engineering Techniques (7 papers) and Petri Nets in System Modeling (6 papers) and collaborates with scholars based in Poland. Agata Półrola's co-authors include Wojciech Penczek, Andrzej Zbrzezny, Piotr Dembiński, Wojciech Horzelski and Magdalena Kacprzak and has published in prestigious journals such as Fundamenta Informaticae and Control and Cybernetics