Jan M. Smith

1.3k total citations
22 papers, 649 citations indexed

About

Jan M. Smith is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Jan M. Smith has authored 22 papers receiving a total of 649 indexed citations (citations by other indexed papers that have themselves been cited), including 15 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 4 papers in Software. Recurrent topics in Jan M. Smith's work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (10 papers) and Advanced Algebra and Logic (6 papers). Jan M. Smith is often cited by papers focused on Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (10 papers) and Advanced Algebra and Logic (6 papers). Jan M. Smith collaborates with scholars based in Sweden, Italy and United Kingdom. Jan M. Smith's co-authors include Bengt Nordström, Kent Petersson, Giovanni Sambin, Thierry Coquand, Silvio Valentini, Vicki L. Almstrum, Thomas B. Hilburn, Richard G. Crilly, Marita Kloseck and Peter Dybjer and has published in prestigious journals such as BIT Numerical Mathematics, Journal of Symbolic Logic and Canadian Journal on Aging / La Revue canadienne du vieillissement.

In The Last Decade

Jan M. Smith

22 papers receiving 589 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Jan M. Smith Sweden	10	549	375	97	61	59	22	649
Peter Dybjer Sweden	13	565 1.0×	354 0.9×	54 0.6×	74 1.2×	19 0.3×	34	602
Bengt Nordström Sweden	6	411 0.7×	280 0.7×	30 0.3×	45 0.7×	20 0.3×	14	441
Thomas Ehrhard France	14	606 1.1×	467 1.2×	60 0.6×	66 1.1×	40 0.7×	50	673
Thorsten Altenkirch United Kingdom	14	590 1.1×	361 1.0×	63 0.6×	92 1.5×	28 0.5×	51	633
Kent Petersson Sweden	5	349 0.6×	230 0.6×	30 0.3×	41 0.7×	19 0.3×	7	375
Martin Hyland United Kingdom	16	542 1.0×	382 1.0×	134 1.4×	52 0.9×	101 1.7×	28	627
J. I. Zucker Canada	12	383 0.7×	400 1.1×	21 0.2×	67 1.1×	27 0.5×	35	519
Freek Wiedijk Netherlands	12	241 0.4×	195 0.5×	54 0.6×	32 0.5×	42 0.7×	45	365
Marcelo Fiore United Kingdom	16	816 1.5×	557 1.5×	151 1.6×	116 1.9×	55 0.9×	67	903
J. M. E. Hyland United Kingdom	10	533 1.0×	423 1.1×	71 0.7×	44 0.7×	53 0.9×	13	611

Countries citing papers authored by Jan M. Smith

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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-authorship network of co-authors of Jan M. Smith

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

Crilly, Richard G., et al.. (2005). Patient Outcomes after Discharge from a Geriatric Day Hospital. Canadian Journal on Aging / La Revue canadienne du vieillissement. 24(3). 305–309. 11 indexed citations

Coquand, Thierry, Giovanni Sambin, Jan M. Smith, & Silvio Valentini. (2003). Inductively generated formal topologies. Annals of Pure and Applied Logic. 124(1-3). 71–106. 78 indexed citations

Smith, Jan M., et al.. (2003). The strength of the subset type in Martin-Lof's type theory. 384–391. 6 indexed citations

Almstrum, Vicki L., et al.. (2001). Support for teaching formal methods. 71–88. 4 indexed citations

Almstrum, Vicki L., et al.. (2001). Support for teaching formal methods. ACM SIGCSE Bulletin. 33(2). 71–88. 16 indexed citations

Nordström, Bengt, Kent Petersson, & Jan M. Smith. (2001). Martin-Löf’s Type Theory, Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods. 2 indexed citations

Coquand, Thierry, et al.. (2000). Formal topologies on the set of first-order formulae. Journal of Symbolic Logic. 65(3). 1183–1192. 11 indexed citations

Almstrum, Vicki L., et al.. (2000). Support for Teaching Formal Methods Report of the ITiCSE 2000 Working Group on Formal Methods Education. 4 indexed citations

Sambin, Giovanni & Jan M. Smith. (1998). Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995. Medical Entomology and Zoology. 109(12). 1194–1197. 4 indexed citations

10.

Sambin, Giovanni & Jan M. Smith. (1998). Twenty Five Years of Constructive Type Theory. Oxford University Press eBooks. 93 indexed citations

11.

Dybjer, Peter, Bengt Nordström, & Jan M. Smith. (1995). 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). Chalmers Research (Chalmers University of Technology). 3 indexed citations

12.

Coquand, Thierry, Bengt Nordström, Jan M. Smith, & Björn von Sydow. (1994). Type Theorie Programming.. Bulletin of the European Association for Theoretical Computer Science. 52. 203–228. 4 indexed citations

13.

Smith, Jan M.. (1993). An interpretation of Kleene's slash in type theory. 189–197. 1 indexed citations

14.

Smith, Jan M.. (1991). Peer Review: A Vital Ingredient. Serials The Journal for the Serials Community. 4(2). 9–12. 1 indexed citations

15.

Nordström, Bengt, Kent Petersson, & Jan M. Smith. (1990). Programming in Martin-Löf's type theory an introduction. 215 indexed citations

16.

Nordström, Bengt, Kent Petersson, & Jan M. Smith. (1990). Programming in Martin-Löf's Type Theory. Chalmers Publication Library (Chalmers University of Technology). 123 indexed citations

17.

Smith, Jan M.. (1989). Propositional functions and families of types.. Notre Dame Journal of Formal Logic. 30(3). 7 indexed citations

18.

Petersson, Kent & Jan M. Smith. (1986). Program derivation in type theory: A partitioning problem. Computer Languages. 11(3-4). 161–172. 4 indexed citations

19.

Nordström, Bengt & Jan M. Smith. (1984). Propositions and specifications of programs in Martin-Löf's type theory. BIT Numerical Mathematics. 24(3). 288–301. 15 indexed citations

20.

Smith, Jan M.. (1984). An interpretation of Martin-Löf's type theory in a type-free theory of propositions. Journal of Symbolic Logic. 49(3). 730–753. 24 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