Michał Walicki

427 total citations
35 papers, 145 citations indexed

About

Michał Walicki is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Michał Walicki has authored 35 papers receiving a total of 145 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 3 papers in Information Systems. Recurrent topics in Michał Walicki's work include Logic, Reasoning, and Knowledge (18 papers), Semantic Web and Ontologies (12 papers) and Advanced Algebra and Logic (7 papers). Michał Walicki is often cited by papers focused on Logic, Reasoning, and Knowledge (18 papers), Semantic Web and Ontologies (12 papers) and Advanced Algebra and Logic (7 papers). Michał Walicki collaborates with scholars based in Norway, Netherlands and Portugal. Michał Walicki's co-authors include Diogo R. Ferreira, Thomas Ågotnes, Manfred Broy, Marc Bezem, Yngve Lamo and Uwe Wolter and has published in prestigious journals such as ACM Computing Surveys, SIAM Journal on Computing and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Michał Walicki

27 papers receiving 137 citations

Peers

Michał Walicki

AI

CTM

MIS

IS

ECP

Gianluigi Bellin Italy

Irène Guessarian France

Ruy J. G. B. de Queiroz Brazil

Pierre-Alain Reynier France

Wolfgang Rautenberg Germany

Uwe Egly Austria

Corina Ĉırstea United Kingdom

Cecylia Rauszer Poland

Grigori Mint︠s︡ United States

Astrid Kiehn Germany

Gianluigi Bellin Italy

Michał Walicki

287 ×2.6

AI

201 ×2.6

CTM

6 ×0.3

MIS

15 ×0.9

IS

17 ×1.3

ECP

Citations per year, relative to Michał Walicki Michał Walicki (= 1×) peers Gianluigi Bellin

Countries citing papers authored by Michał Walicki

Since Specialization

Citations

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

Fields of papers citing papers by Michał Walicki

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michał Walicki

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

1.

Walicki, Michał. (2024). Paradoxes versus Contradictions in Logic of Sentential Operators. Logic and Logical Philosophy. 1–44.

2.

Walicki, Michał, et al.. (2022). Paraconsistent resolution. 19(3). 96–123.

3.

Walicki, Michał. (2020). Extensions in graph normal form. Logic Journal of IGPL. 30(1). 101–123.

4.

Walicki, Michał. (2018). Kernels of digraphs with finitely many ends. Discrete Mathematics. 342(2). 473–486. 2 indexed citations

5.

Walicki, Michał. (2016). Introduction to Mathematical Logic:Extended Edition. 1 indexed citations

6.

Walicki, Michał, et al.. (2013). Propositional discourse logic. Synthese. 191(5). 863–899. 8 indexed citations

7.

Walicki, Michał, et al.. (2012). Kernels in digraphs that are not kernel perfect. Discrete Mathematics. 312(16). 2498–2505. 1 indexed citations

8.

Bezem, Marc, et al.. (2011). Expressive power of digraph solvability. Annals of Pure and Applied Logic. 163(3). 200–213. 9 indexed citations

9.

Walicki, Michał, et al.. (2011). Finding kernels or solving SAT. Journal of Discrete Algorithms. 10. 146–164. 6 indexed citations

10.

Walicki, Michał, et al.. (2010). Expressive Power of Digraph Solvability. Utrecht University Repository (Utrecht University). 286. 1–23. 1 indexed citations

11.

Walicki, Michał. (2008). Modalities as interactions between the classical and the intuitionistic logics. Logic and Logical Philosophy. 15(3). 1 indexed citations

12.

Walicki, Michał. (2008). Reference, paradoxes and truth. Synthese. 171(1). 195–226. 7 indexed citations

13.

Walicki, Michał, et al.. (2006). THE CHOICE OF STANDARDS FOR A REPORTING LANGUAGE. 277–287. 1 indexed citations

14.

Lamo, Yngve & Michał Walicki. (2001). Modeling Partiality by Nondeterminism. 447–452.

15.

Lamo, Yngve & Michał Walicki. (2001). Specification of parameterized programs: persistency revisited. Nordic journal of computing. 8(3). 298–323. 1 indexed citations

16.

Walicki, Michał, et al.. (2001). Nondeterminism vs. Underspecification. 551–555. 3 indexed citations

17.

Walicki, Michał, et al.. (1998). Categories of Relational Structures. 1 indexed citations

18.

Walicki, Michał & Manfred Broy. (1995). Structured specifications and implementation of nondeterministic data types. Nordic journal of computing. 2(3). 358–395. 5 indexed citations

19.

Walicki, Michał, et al.. (1993). Sets and Nondeterminism.. International Conference on Lightning Protection. 2 indexed citations

20.

Walicki, Michał, et al.. (1958). Malarstwo europejskie w zbiorach Polskich, 1300-1800. Medical Entomology and Zoology.

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