Michael Kaminski

1.1k total citations
66 papers, 428 citations indexed

About

Michael Kaminski is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Molecular Biology. According to data from OpenAlex, Michael Kaminski has authored 66 papers receiving a total of 428 indexed citations (citations by other indexed papers that have themselves been cited), including 52 papers in Artificial Intelligence, 44 papers in Computational Theory and Mathematics and 11 papers in Molecular Biology. Recurrent topics in Michael Kaminski's work include Logic, Reasoning, and Knowledge (26 papers), Logic, programming, and type systems (20 papers) and semigroups and automata theory (17 papers). Michael Kaminski is often cited by papers focused on Logic, Reasoning, and Knowledge (26 papers), Logic, programming, and type systems (20 papers) and semigroups and automata theory (17 papers). Michael Kaminski collaborates with scholars based in Israel, Hong Kong and Canada. Michael Kaminski's co-authors include Nissim Francez, Nader H. Bshouty, David Kirkpatrick, Tony Tan, Shlomit S. Pinter, Shmuel Katz, Orna Grümberg, Amir Averbuch, Shuly Wintner and Avram Sidi and has published in prestigious journals such as Artificial Intelligence, Journal of the ACM and SIAM Journal on Computing.

In The Last Decade

Michael Kaminski

56 papers receiving 388 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Michael Kaminski Israel 10 335 282 62 47 31 66 428
Harry G. Mairson United States 15 429 1.3× 315 1.1× 38 0.6× 104 2.2× 20 0.6× 37 476
Larry Wos United States 10 334 1.0× 232 0.8× 38 0.6× 72 1.5× 8 0.3× 56 459
Benjamin Rossman United States 10 215 0.6× 250 0.9× 65 1.0× 115 2.4× 31 1.0× 34 427
Alexandra Silva Netherlands 11 313 0.9× 265 0.9× 51 0.8× 86 1.8× 14 0.5× 68 399
Tudor Jebelean Austria 11 279 0.8× 231 0.8× 66 1.1× 42 0.9× 6 0.2× 46 337
Bala Ravikumar United States 10 287 0.9× 308 1.1× 24 0.4× 77 1.6× 102 3.3× 41 405
Hans Zantema Netherlands 12 487 1.5× 354 1.3× 42 0.7× 39 0.8× 23 0.7× 78 573
Kevin J. Compton United States 13 215 0.6× 259 0.9× 27 0.4× 46 1.0× 16 0.5× 33 393
Paweł Sobociński United Kingdom 12 290 0.9× 193 0.7× 51 0.8× 61 1.3× 19 0.6× 49 392
Rick Statman United States 8 357 1.1× 218 0.8× 66 1.1× 70 1.5× 32 1.0× 29 435

Countries citing papers authored by Michael Kaminski

Since Specialization
Citations

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

Fields of papers citing papers by Michael Kaminski

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael Kaminski

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

All Works

20 of 20 papers shown
1.
Kaminski, Michael & Nissim Francez. (2021). Calculi for Many-Valued Logics. Logica Universalis. 15(2). 193–226. 1 indexed citations
2.
Francez, Nissim & Michael Kaminski. (2019). On Poly-logistic Natural-deduction for Finitely-valued Propositional Logics.. 6. 255–290. 3 indexed citations
3.
Kaminski, Michael, et al.. (2016). LR(0) conjunctive grammars and deterministic synchronized alternating pushdown automata. Journal of Computer and System Sciences. 82(8). 1329–1359. 4 indexed citations
4.
Grümberg, Orna, Michael Kaminski, Shmuel Katz, & Shuly Wintner. (2009). Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Springer eBooks. 6 indexed citations
5.
6.
Kaminski, Michael. (2008). Invariance Under Stuttering in a Temporal Logic without the "Until" Operator. Fundamenta Informaticae. 82(1-2). 127–140. 1 indexed citations
7.
Kaminski, Michael. (2006). Invariance under stuttering in a temporal logic of actions. Theoretical Computer Science. 368(1-2). 50–63. 2 indexed citations
8.
Kaminski, Michael & Tony Tan. (2006). Regular Expressions for Languages over Infinite Alphabets. Fundamenta Informaticae. 69(3). 301–318. 2 indexed citations
9.
Cohen, Ariel, Michael Kaminski, & Johann A. Makowsky. (2005). Indistinguishability by Default.. Scandinavian Journal of Thoracic and Cardiovascular Surgery. 20(3). 415–428. 2 indexed citations
10.
Francez, Nissim & Michael Kaminski. (2003). An algebraic characterization of deterministic regular languages over infinite alphabets. Theoretical Computer Science. 306(1-3). 155–175. 6 indexed citations
11.
Kaminski, Michael, et al.. (2002). Revisiting quantification in autoepistemic logic. ACM Transactions on Computational Logic. 3(4). 542–561. 4 indexed citations
12.
Kaminski, Michael, et al.. (1999). The Expressive Power of Temporal Logic of Actions (Extended Abstract). 274–287.
13.
Kaminski, Michael. (1997). A note on the stable model semantics for logic programs. Artificial Intelligence. 96(2). 467–479. 8 indexed citations
14.
Kaminski, Michael. (1995). A comparative study of open default theories. Artificial Intelligence. 77(2). 285–319. 13 indexed citations
15.
Kaminski, Michael & Nissim Francez. (1994). Finite-memory automata. Theoretical Computer Science. 134(2). 329–363. 126 indexed citations
16.
Kaminski, Michael & Avram Sidi. (1991). Solution of an integer programming problem related to convergence of rows of Padé approximants. Applied Numerical Mathematics. 8(3). 217–223. 3 indexed citations
17.
Kaminski, Michael. (1989). A note on probabilistically verifying integer and polynomial products. Journal of the ACM. 36(1). 142–149. 3 indexed citations
18.
Kaminski, Michael. (1988). Cyclotomic polynomials and units in cyclotomic number fields. Journal of Number Theory. 28(3). 283–287. 3 indexed citations
19.
Kaminski, Michael. (1985). A lower bound for polynomial multiplication. Theoretical Computer Science. 40. 319–322. 11 indexed citations
20.
Kaminski, Michael. (1985). A classification of ω-regular languages. Theoretical Computer Science. 36. 217–229. 12 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

Breakdown of academic impact, for papers by Harry G. Mairson Breakdown of academic impact, for papers by Larry Wos Breakdown of academic impact, for papers by Benjamin Rossman Breakdown of academic impact, for papers by Alexandra Silva Breakdown of academic impact, for papers by Tudor Jebelean Breakdown of academic impact, for papers by Bala Ravikumar Breakdown of academic impact, for papers by Hans Zantema Breakdown of academic impact, for papers by Kevin J. Compton Breakdown of academic impact, for papers by Paweł Sobociński Breakdown of academic impact, for papers by Rick Statman
Rankless by CCL
2026