Norihiro Kamide

889 total citations
127 papers, 512 citations indexed

About

Norihiro Kamide is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Norihiro Kamide has authored 127 papers receiving a total of 512 indexed citations (citations by other indexed papers that have themselves been cited), including 115 papers in Artificial Intelligence, 112 papers in Computational Theory and Mathematics and 8 papers in Software. Recurrent topics in Norihiro Kamide's work include Logic, Reasoning, and Knowledge (100 papers), Logic, programming, and type systems (87 papers) and Advanced Algebra and Logic (67 papers). Norihiro Kamide is often cited by papers focused on Logic, Reasoning, and Knowledge (100 papers), Logic, programming, and type systems (87 papers) and Advanced Algebra and Logic (67 papers). Norihiro Kamide collaborates with scholars based in Japan, Germany and United States. Norihiro Kamide's co-authors include Heinrich Wansing, Ken Kaneiwa, Yaroslav Shramko, Yoni Zohar, Yuki Yano and Sara Negri and has published in prestigious journals such as Information Sciences, Theoretical Computer Science and International Journal of Approximate Reasoning.

In The Last Decade

Norihiro Kamide

107 papers receiving 461 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Norihiro Kamide Japan 10 483 454 54 22 9 127 512
Thomas Ehrhard France 14 606 1.3× 467 1.0× 19 0.4× 8 0.4× 7 0.8× 50 673
Matthias Baaz Austria 14 507 1.0× 517 1.1× 9 0.2× 8 0.4× 3 0.3× 60 574
Bengt Nordström Sweden 6 411 0.9× 280 0.6× 26 0.5× 36 1.6× 3 0.3× 14 441
Laurent Régnier France 11 444 0.9× 350 0.8× 12 0.2× 5 0.2× 5 0.6× 15 482
Peter Burmeister Germany 8 145 0.3× 178 0.4× 23 0.4× 12 0.5× 13 1.4× 21 230
René Thiemann Austria 9 267 0.6× 205 0.5× 44 0.8× 39 1.8× 3 0.3× 49 290
Kent Petersson Sweden 5 349 0.7× 230 0.5× 26 0.5× 27 1.2× 1 0.1× 7 375
Paulo Oliva United Kingdom 9 213 0.4× 246 0.5× 7 0.1× 5 0.2× 1 0.1× 39 280
Thomas Streicher Germany 12 331 0.7× 278 0.6× 7 0.1× 7 0.3× 1 0.1× 53 394
Bartek Klin Poland 9 241 0.5× 247 0.5× 12 0.2× 4 0.2× 5 0.6× 37 292

Countries citing papers authored by Norihiro Kamide

Since Specialization
Citations

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

Fields of papers citing papers by Norihiro Kamide

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Norihiro Kamide

This figure shows the co-authorship network connecting the top 25 collaborators of Norihiro Kamide. A scholar is included among the top collaborators of Norihiro Kamide 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 Norihiro Kamide. Norihiro Kamide 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.
Kamide, Norihiro & Sara Negri. (2024). A Unified Gentzen-style Framework for Until-free LTL. Electronic Proceedings in Theoretical Computer Science. 415. 165–179.
2.
Kamide, Norihiro. (2021). Notes on Avron's Self-extensional Four-valued Paradefinite Logic. 43–49. 1 indexed citations
3.
Kamide, Norihiro. (2020). Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.. 8. 1101–1122. 1 indexed citations
4.
Kamide, Norihiro. (2020). Some Properties for First-order Nelsonian Paraconsistent Quantum Logic.. 7. 59–88. 3 indexed citations
5.
Kamide, Norihiro. (2019). A Substructural View of Multilattice Logic.. 33. 239–270. 1 indexed citations
6.
Kamide, Norihiro. (2018). Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach. Mathematical logic quarterly. 64(4-5). 371–386. 4 indexed citations
7.
Kamide, Norihiro & Heinrich Wansing. (2016). Completeness of Connexive Heyting-Brouwer Logic.. 3. 441–466. 6 indexed citations
8.
Kamide, Norihiro. (2015). Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic.. 9. 73–92.
9.
10.
Kamide, Norihiro. (2011). A logic of sequences. 46(46). 29–57. 1 indexed citations
11.
Kamide, Norihiro & Heinrich Wansing. (2011). Completeness and cut-elimination theorems for trilattice logics. Annals of Pure and Applied Logic. 162(10). 816–835. 6 indexed citations
12.
Kamide, Norihiro. (2011). Bounded linear-time temporal logic: A proof-theoretic investigation. Annals of Pure and Applied Logic. 163(4). 439–466. 3 indexed citations
13.
Kamide, Norihiro. (2010). Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. 45. 3–21. 3 indexed citations
14.
Kamide, Norihiro, et al.. (2010). A Compatible Approach to Temporal Description Logics. CEUR Workshop Proceedings. 573. 396–407. 2 indexed citations
15.
Kamide, Norihiro. (2010). Paraconsistent Description Logics Revisited.. Description Logics. 6 indexed citations
16.
Kamide, Norihiro. (2007). A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming.. 2007. 1 indexed citations
17.
Kamide, Norihiro. (2005). Linear and affine logics with temporal, spatial and epistemic operators. Theoretical Computer Science. 353(1-3). 165–207. 15 indexed citations
18.
Kamide, Norihiro. (2002). A canonical model construction for substructural logics with strong negation. 36. 95–116. 9 indexed citations
19.
Kamide, Norihiro. (2001). A note on decision problems for implicational sequent calculi. 30(3). 129–138. 1 indexed citations
20.
Kamide, Norihiro, et al.. (1997). A family of substructural implicational logics. JAIST Repository. 97. 1–66. 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

Breakdown of academic impact, for papers by Thomas Ehrhard Breakdown of academic impact, for papers by Matthias Baaz Breakdown of academic impact, for papers by Bengt Nordström Breakdown of academic impact, for papers by Laurent Régnier Breakdown of academic impact, for papers by Peter Burmeister Breakdown of academic impact, for papers by René Thiemann Breakdown of academic impact, for papers by Kent Petersson Breakdown of academic impact, for papers by Paulo Oliva Breakdown of academic impact, for papers by Thomas Streicher Breakdown of academic impact, for papers by Bartek Klin
Rankless by CCL
2026