Magdalena Kacprzak

467 total citations
26 papers, 164 citations indexed

About

Magdalena Kacprzak is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Management Science and Operations Research. According to data from OpenAlex, Magdalena Kacprzak has authored 26 papers receiving a total of 164 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 4 papers in Management Science and Operations Research. Recurrent topics in Magdalena Kacprzak's work include Logic, Reasoning, and Knowledge (16 papers), Multi-Agent Systems and Negotiation (15 papers) and Formal Methods in Verification (9 papers). Magdalena Kacprzak is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Multi-Agent Systems and Negotiation (15 papers) and Formal Methods in Verification (9 papers). Magdalena Kacprzak collaborates with scholars based in Poland, United Kingdom and Germany. Magdalena Kacprzak's co-authors include Wojciech Penczek, Katarzyna Budzyńska, Alessio Lomuscio, Maciej Szreter, Agata Półrola, Andrzej Zbrzezny, Bożena Woźna-Szcześniak, Franco Raimondi, Witold Kosiński and Mariusz Urbański and has published in prestigious journals such as Synthese, Autonomous Agents and Multi-Agent Systems and Fundamenta Informaticae.

In The Last Decade

Magdalena Kacprzak

22 papers receiving 153 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Magdalena Kacprzak Poland	7	146	92	23	11	10	26	164
Richard Owens United Kingdom	5	113 0.8×	46 0.5×	19 0.8×	20 1.8×	7 0.7×	14	139
Pavlos Peppas Greece	11	298 2.0×	93 1.0×	4 0.2×	19 1.7×	7 0.7×	48	338
Calogero G. Zarba Italy	6	120 0.8×	114 1.2×	35 1.5×	12 1.1×	11 1.1×	17	144
Benjamin Aminof Italy	9	133 0.9×	132 1.4×	31 1.3×	15 1.4×	3 0.3×	27	175
Alexander Bochman Israel	9	253 1.7×	100 1.1×	3 0.1×	28 2.5×	14 1.4×	39	273
Beata Konikowska Poland	9	225 1.5×	210 2.3×	9 0.4×	13 1.2×	3 0.3×	30	248
Andrea Turrini China	7	74 0.5×	70 0.8×	25 1.1×	11 1.0×	5 0.5×	24	101
Martin C. Henson United Kingdom	8	103 0.7×	88 1.0×	40 1.7×	26 2.4×	4 0.4×	31	151
Michał Walicki Norway	8	111 0.8×	77 0.8×	9 0.4×	10 0.9×	1 0.1×	35	145
Grigori Mint︠s︡ United States	9	250 1.7×	194 2.1×	3 0.1×	29 2.6×	10 1.0×	30	283

Countries citing papers authored by Magdalena Kacprzak

Since Specialization

Citations

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

Fields of papers citing papers by Magdalena Kacprzak

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Magdalena Kacprzak

This figure shows the co-authorship network connecting the top 25 collaborators of Magdalena Kacprzak. A scholar is included among the top collaborators of Magdalena Kacprzak 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 Magdalena Kacprzak. Magdalena Kacprzak 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

Kacprzak, Magdalena, et al.. (2021). Satisfiability Checking of Strategy Logic with Simple Goals. 400–410.

Kacprzak, Magdalena, et al.. (2020). MsATL: A Tool for SAT-Based ATL Satisfiability Checking. arXiv (Cornell University). 2111–2113. 1 indexed citations

Budzyńska, Katarzyna, et al.. (2013). Proving Propositional Tautologies in a Natural Dialogue. Fundamenta Informaticae. 128(1-2). 239–253. 9 indexed citations

Kacprzak, Magdalena, et al.. (2012). Rules for Formal and Natural Dialogues in Agent Communication.. 416–427. 2 indexed citations

Kacprzak, Magdalena & Witold Kosiński. (2012). MODELLING FUZZY BELIEFS OF AGENTS. 45–60. 1 indexed citations

Budzyńska, Katarzyna & Magdalena Kacprzak. (2011). Model Checking of Persuasion in Multi-Agent Systems. Discovery Research Portal (University of Dundee). 2 indexed citations

Kacprzak, Magdalena & Witold Kosiński. (2011). On lattice structure and implications on ordered fuzzy numbers. 3 indexed citations

Budzyńska, Katarzyna, et al.. (2010). Update of Probabilistic Beliefs: Implementation and Parametric Verification. Fundamenta Informaticae. 102(1). 35–48. 1 indexed citations

Budzyńska, Katarzyna, et al.. (2009). Perseus. Software for Analyzing Persuasion Process. Fundamenta Informaticae. 93(1-3). 65–79. 5 indexed citations

10.

Budzyńska, Katarzyna, et al.. (2008). Modeling Persuasiveness: change of uncertainty through agents' interactions. Discovery Research Portal (University of Dundee). 85–96. 4 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.

Budzyńska, Katarzyna & Magdalena Kacprzak. (2008). A Logic for Reasoning about Persuasion. Fundamenta Informaticae. 85(1-4). 51–65. 6 indexed citations

13.

Kacprzak, Magdalena. (2006). A Strong Completeness Result for a MAS Logic. Fundamenta Informaticae. 72(1). 197–213. 2 indexed citations

14.

Kacprzak, Magdalena, et al.. (2006). Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. UCL Discovery (University College London). 72(1). 215–234. 27 indexed citations

15.

Kacprzak, Magdalena & Wojciech Penczek. (2005). Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1. Autonomous Agents and Multi-Agent Systems. 11(1). 69–89. 11 indexed citations

16.

Kacprzak, Magdalena, Alessio Lomuscio, & Wojciech Penczek. (2004). From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. Fundamenta Informaticae. 63(2). 221–240. 18 indexed citations

17.

Kacprzak, Magdalena. (2003). Unbounded Model Checking for Knowledge and Time. 9(1). 1–27. 3 indexed citations

18.

Kacprzak, Magdalena, Alessio Lomuscio, & Wojciech Penczek. (2003). Bounded versus Unbounded Model Checking for Interpreted Systems. UCL Discovery (University College London). 1 indexed citations

19.

Kacprzak, Magdalena. (2003). Formalization of multiagent reasoning. 1229. 82–86.

20.

Kacprzak, Magdalena. (2002). Undecidability of a Multi-Agent Logic. Fundamenta Informaticae. 54(2). 213–220. 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