Artur Korniłowicz

1.5k total citations
66 papers, 527 citations indexed

About

Artur Korniłowicz is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology. According to data from OpenAlex, Artur Korniłowicz has authored 66 papers receiving a total of 527 indexed citations (citations by other indexed papers that have themselves been cited), including 40 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 11 papers in Geometry and Topology. Recurrent topics in Artur Korniłowicz's work include Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (17 papers) and Security and Verification in Computing (9 papers). Artur Korniłowicz is often cited by papers focused on Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (17 papers) and Security and Verification in Computing (9 papers). Artur Korniłowicz collaborates with scholars based in Poland, Ukraine and Japan. Artur Korniłowicz's co-authors include Adam Grabowski, Adam Naumowicz, Karol Pąk, Czesław Byliński, Grzegorz Bancerek, Roman Matuszewski, Roberto Sebastiani, Gilles Audemard, Alessandro Cimatti and Piergiorgio Bertoli and has published in prestigious journals such as SHILAP Revista de lepidopterología, Scientific Data and PeerJ Computer Science.

In The Last Decade

Artur Korniłowicz

55 papers receiving 473 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Artur Korniłowicz Poland	11	388	308	77	46	45	66	527
Adam Grabowski Poland	11	352 0.9×	328 1.1×	83 1.1×	35 0.8×	54 1.2×	74	556
Adam Naumowicz Poland	7	253 0.7×	177 0.6×	36 0.5×	35 0.8×	27 0.6×	27	341
Karol Pąk Poland	8	198 0.5×	159 0.5×	58 0.8×	29 0.6×	33 0.7×	62	312
Yuri Matiyasevich Russia	9	205 0.5×	283 0.9×	86 1.1×	15 0.3×	67 1.5×	61	473
Lev D. Beklemishev Russia	11	462 1.2×	505 1.6×	166 2.2×	5 0.1×	45 1.0×	56	762
Kenneth L. Manders United States	10	189 0.5×	209 0.7×	32 0.4×	17 0.4×	23 0.5×	20	349
Hugh C. Williams Canada	14	244 0.6×	101 0.3×	175 2.3×	10 0.2×	132 2.9×	46	481
J. L. Bell Canada	3	441 1.1×	303 1.0×	45 0.6×	15 0.3×	15 0.3×	3	533
Vasco Brattka Germany	15	232 0.6×	706 2.3×	265 3.4×	12 0.3×	9 0.2×	59	758
Rob Taylor United States	5	143 0.4×	168 0.5×	50 0.6×	6 0.1×	31 0.7×	12	305

Countries citing papers authored by Artur Korniłowicz

Since Specialization

Citations

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

Fields of papers citing papers by Artur Korniłowicz

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Artur Korniłowicz

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

Korniłowicz, Artur & Rafał Ziobro. (2024). Elementary Number Theory Problems. Part XIII. Formalized Mathematics. 32(1). 1–8. 1 indexed citations

Korniłowicz, Artur. (2024). Elementary Number Theory Problems. Part XIV – Diophantine Equations. Formalized Mathematics. 32(1). 47–63.

Korniłowicz, Artur, et al.. (2023). MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs. Scientific Data. 10(1). 791–791. 2 indexed citations

Korniłowicz, Artur, et al.. (2019). Partial Correctness of a Factorial Algorithm. SHILAP Revista de lepidopterología. 27(2). 181–187. 2 indexed citations

Korniłowicz, Artur, et al.. (2018). On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data. Formalized Mathematics. 26(2). 149–158. 6 indexed citations

Korniłowicz, Artur, et al.. (2018). On Algebras of Algorithms and Specifications over Uninterpreted Data. Formalized Mathematics. 26(2). 141–147. 5 indexed citations

Korniłowicz, Artur, et al.. (2018). An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates. Formalized Mathematics. 26(2). 159–164. 5 indexed citations

Korniłowicz, Artur, et al.. (2018). Partial Correctness of GCD Algorithm. Formalized Mathematics. 26(2). 165–173. 3 indexed citations

Korniłowicz, Artur & Karol Pąk. (2017). Vieta’s Formula about the Sum of Roots of Polynomials. Formalized Mathematics. 25(2). 87–92. 1 indexed citations

10.

Korniłowicz, Artur, et al.. (2017). An Approach To Formalization of an Extension of Floyd-Hoare Logic.. ICTERI. 504–523. 10 indexed citations

11.

Korniłowicz, Artur, Adam Naumowicz, & Adam Grabowski. (2017). All Liouville Numbers are Transcendental. Formalized Mathematics. 25(1). 49–54. 2 indexed citations

12.

Korniłowicz, Artur. (2016). Registrations vs Redefinitions in Mizar.. 17–20. 1 indexed citations

13.

Korniłowicz, Artur & Adam Naumowicz. (2016). Niven’s Theorem. Formalized Mathematics. 24(4). 301–308. 2 indexed citations

14.

Korniłowicz, Artur, et al.. (2014). Pseudo-Canonical Formulae are Classical. Formalized Mathematics. 22(2). 99–103. 1 indexed citations

15.

Korniłowicz, Artur, et al.. (2014). The First Isomorphism Theorem and Other Properties of Rings. Formalized Mathematics. 22(4). 291–301. 10 indexed citations

16.

Korniłowicz, Artur. (2012). Cayley-Dickson Construction. SHILAP Revista de lepidopterología. 20(4). 281–290. 1 indexed citations

17.

Korniłowicz, Artur. (2009). HOW TO DEFINE TERMS IN MIZAR EFFECTIVELY. Studies in Logic Grammar and Rhetoric. 67–77. 2 indexed citations

18.

Grabowski, Adam & Artur Korniłowicz. (2004). Some Properties of Cells and Gauges1. Die Rehabilitation. 43(4). 219–32.

19.

Audemard, Gilles, Piergiorgio Bertoli, Alessandro Cimatti, Artur Korniłowicz, & Roberto Sebastiani. (2002). A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. Unitn Eprints Research (Università Degli Studi di Trento). 18 indexed citations

20.

Audemard, Gilles, Alessandro Cimatti, Artur Korniłowicz, & Roberto Sebastiani. (2002). SAT-Based Bounded Model Checking for Timed Systems. Institutional Research Information System (Università degli Studi di Trento). 5 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