Jan M. Smith
Impact in
-
- Formal Methods in Verification
- Advanced Algebra and Logic
- Computability, Logic, AI Algorithms
- Artificial Intelligence top 2%
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
Papers in
-
- Logic, programming, and type systems 14
- Logic, Reasoning, and Knowledge 10
-
- Advanced Algebra and Logic 6
- Formal Methods in Verification 4
- Computability, Logic, AI Algorithms 3
- Co-authors
- Bengt Nordström (6 shared papers)Kent Petersson (4 shared papers)Giovanni Sambin (4 shared papers)Thierry Coquand (3 shared papers)Silvio Valentini (1 shared paper)Vicki L. Almstrum (3 shared papers)Thomas B. Hilburn (3 shared papers)Marita Kloseck (1 shared paper)
- Journals
- Journal of Symbolic Logic (3 papers)Canadian Journal on Aging / La Revue canadienne du vieillissement (1 paper)Notre Dame Journal of Formal Logic (1 paper)Annals of Pure and Applied Logic (1 paper)BIT Numerical Mathematics (1 paper)
- Partner nations
- SwedenItalyUnited Kingdom
In The Last Decade
Jan M. Smith
22 papers receiving 589 citations
Peers
Comparison fields: 5 of 49
- Computational Theory and Mathematics 375
- Artificial Intelligence 549
- Theoretical Computer Science 13
- Mathematical Physics 97
- Algebra and Number Theory 39
Countries citing papers authored by Jan M. Smith
This map shows the geographic impact of Jan M. Smith'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 Jan M. Smith with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jan M. Smith more than expected).
Fields of papers citing papers by Jan M. Smith
This network shows the impact of papers produced by Jan M. Smith. 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 Jan M. Smith. The network helps show where Jan M. Smith may publish in the future.
Co-authors
The 11 scholars most cited alongside Jan M. Smith, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 22 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Programming in Martin-Löf's type theory an introduction | 1990 | 215 |
| 2 | Programming in Martin-Löf's Type Theory | 1990 | 123 |
| 3 | 1998 | 93 | |
| 4 | 2003 | 78 | |
| 5 | 1984 | 24 | |
| 6 | 1988 | 21 | |
| 7 | 2001 | 16 | |
| 8 | 1984 | 15 | |
| 9 | 2005 | 11 | |
| 10 | 2000 | 11 | |
| 11 | 1989 | 7 | |
| 12 | 2003 | 6 | |
| 13 | Type Theorie Programming. | 1994 | 4 |
| 14 | 1998 | 4 | |
| 15 | 2001 | 4 | |
| 16 | 1986 | 4 | |
| 17 | Support for Teaching Formal Methods Report of the ITiCSE 2000 Working Group on Formal Methods Education | 2000 | 4 |
| 18 | Types for proofs and programs: selected papers; International workshop TYPES ´94; Båstad, Sweden, June 6 -10, 1994 (Lecture Notes in Computer Science; Vol 996) | 1995 | 3 |
| 19 | Martin-Löf’s Type Theory, Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 2001 | 2 |
| 20 | On the relation between a type theoretic and a logical formulation of the theory of constructions | 1978 | 2 |
About Jan M. Smith
Jan M. Smith is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Science Applications and Information Systems, having authored 22 papers that have together received 649 indexed citations. Recurring topics across this work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (10 papers), Advanced Algebra and Logic (6 papers), Formal Methods in Verification (4 papers), Model-Driven Software Engineering Techniques (4 papers), Computability, Logic, AI Algorithms (3 papers), Teaching and Learning Programming (3 papers) and Embedded Systems Design Techniques (2 papers). The work is most often cited by research in Computational Theory and Mathematics (375 citations), Artificial Intelligence (549 citations), Theoretical Computer Science (13 citations), Mathematical Physics (97 citations) and Algebra and Number Theory (39 citations). Jan M. Smith has collaborated with scholars based in Sweden, Italy and United Kingdom. Frequent co-authors include Bengt Nordström, Kent Petersson, Giovanni Sambin, Thierry Coquand, Silvio Valentini, Vicki L. Almstrum, Thomas B. Hilburn, Marita Kloseck, Richard G. Crilly and Björn von Sydow. Their work appears in journals such as Journal of Symbolic Logic, Canadian Journal on Aging / La Revue canadienne du vieillissement, Notre Dame Journal of Formal Logic, Annals of Pure and Applied Logic and BIT Numerical Mathematics.
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.