Michael A. Warren

758 total citations
20 papers, 285 citations indexed

About

Michael A. Warren is a scholar working on Mathematical Physics, Geometry and Topology and Artificial Intelligence. According to data from OpenAlex, Michael A. Warren has authored 20 papers receiving a total of 285 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Mathematical Physics, 8 papers in Geometry and Topology and 7 papers in Artificial Intelligence. Recurrent topics in Michael A. Warren's work include Homotopy and Cohomology in Algebraic Topology (11 papers), Algebraic structures and combinatorial models (6 papers) and Logic, programming, and type systems (5 papers). Michael A. Warren is often cited by papers focused on Homotopy and Cohomology in Algebraic Topology (11 papers), Algebraic structures and combinatorial models (6 papers) and Logic, programming, and type systems (5 papers). Michael A. Warren collaborates with scholars based in United States and Canada. Michael A. Warren's co-authors include Steve Awodey, Paula M. Popovich, Jeffrey B. Vancouver, Peter LeFanu Lumsdaine, Nicole L. Gullekson, Brendan J. Morse, Álvaro Pelayo, Sicun Gao, Vladimir Voevodsky and Dorette Pronk and has published in prestigious journals such as Human Resource Management Review, Human Performance and Annals of Pure and Applied Logic.

In The Last Decade

Michael A. Warren

20 papers receiving 244 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Michael A. Warren United States	8	135	101	90	45	40	20	285
Edward Barbeau Canada	8	35 0.3×	20 0.2×	36 0.4×	28 0.6×	9 0.2×	24	247
Richard Garner Australia	13	238 1.8×	109 1.1×	190 2.1×	63 1.4×	2 0.1×	54	503
Stephen P. Humphries United States	10	102 0.8×	41 0.4×	132 1.5×	31 0.7×	21 0.5×	59	422
Matti Jutila Finland	18	324 2.4×	67 0.7×	233 2.6×	15 0.3×	9 0.2×	52	797
Ramón Flores Spain	9	53 0.4×	27 0.3×	49 0.5×	9 0.2×	36 0.9×	39	238
D. Kirby United Kingdom	13	154 1.1×	33 0.3×	422 4.7×	149 3.3×	5 0.1×	51	723
Constance Reid United States	8	13 0.1×	23 0.2×	19 0.2×	28 0.6×	5 0.1×	32	302
Daniel Bernardi United States	4	20 0.1×	20 0.2×	34 0.4×	19 0.4×	37 0.9×	11	204
Alfred B. Manaster United States	10	22 0.2×	31 0.3×	45 0.5×	79 1.8×	3 0.1×	29	433
William B. Hart United Kingdom	6	11 0.1×	35 0.3×	19 0.2×	26 0.6×	7 0.2×	16	175

Countries citing papers authored by Michael A. Warren

Since Specialization

Citations

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

Fields of papers citing papers by Michael A. Warren

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael A. Warren

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

Warren, Michael A., et al.. (2023). Assured Point Cloud Perception. abs 2201 12296. 119–128. 1 indexed citations

Warren, Michael A., et al.. (2021). Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving. IEEE Control Systems Letters. 6. 1507–1512. 1 indexed citations

Gao, Sicun, et al.. (2020). RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. 27–33. 2 indexed citations

Awodey, Steve, Henrik Forssell, & Michael A. Warren. (2018). Algebraic Models of Sets and Classes in Categories of Ideals. Figshare. 1 indexed citations

Pelayo, Álvaro & Michael A. Warren. (2016). HOMOTOPY TYPE THEORY AND VOEVODSKY’S UNIVALENT FOUNDATIONS. 9 indexed citations

Pelayo, Álvaro, Vladimir Voevodsky, & Michael A. Warren. (2015). A univalent formalization of the p-adic numbers. Mathematical Structures in Computer Science. 25(5). 1147–1171. 3 indexed citations

Lumsdaine, Peter LeFanu & Michael A. Warren. (2015). The Local Universes Model. ACM Transactions on Computational Logic. 16(3). 1–31. 9 indexed citations

Lumsdaine, Peter LeFanu & Michael A. Warren. (2014). The local universes model: an overlooked coherence construction for dependent type theories. arXiv (Cornell University). 10 indexed citations

Pronk, Dorette & Michael A. Warren. (2014). Bicategorical fibration structures and stacks. Theory and applications of categories. 29. 836–873. 2 indexed citations

10.

Vancouver, Jeffrey B., Nicole L. Gullekson, Brendan J. Morse, & Michael A. Warren. (2014). Finding a Between-Person Negative Effect of Self-Efficacy on Performance: Not Just a Within-Person Effect Anymore. Human Performance. 27(3). 243–261. 36 indexed citations

11.

Warren, Michael A., et al.. (2013). Combinatorial realizability models of type theory. Annals of Pure and Applied Logic. 164(10). 957–988. 2 indexed citations

12.

Awodey, Steve, et al.. (2013). Martin-Löf complexes. Annals of Pure and Applied Logic. 164(10). 928–956. 2 indexed citations

13.

Vancouver, Jeffrey B. & Michael A. Warren. (2012). This Is How We Do Research Around Here: Socializing Methodological and Measurement Issues. Oxford University Press eBooks. 4 indexed citations

14.

Warren, Michael A.. (2010). Identifying the Relationship Between Employee Sabotage and Organizational Justice. OhioLink ETD Center (Ohio Library and Information Network). 3 indexed citations

15.

Awodey, Steve & Michael A. Warren. (2009). Homotopy Theoretic Models of Identity Types. Figshare. 98 indexed citations

16.

Popovich, Paula M. & Michael A. Warren. (2009). The role of power in sexual harassment as a counterproductive behavior in organizations. Human Resource Management Review. 20(1). 45–53. 48 indexed citations

17.

Warren, Michael A.. (2008). Homotopy Theoretic Aspects of Constructive Type Theory. 37 indexed citations

18.

Warren, Michael A.. (2007). Coalgebras in a category of classes. Annals of Pure and Applied Logic. 146(1). 60–71. 4 indexed citations

19.

Awodey, Steve, Nicola Gambino, Peter LeFanu Lumsdaine, & Michael A. Warren. (2007). A general construction of internal sheaves in algebraic set theory. Dipòsit Digital de Documents de la UAB (Universitat Autònoma de Barcelona). 1 indexed citations

20.

Awodey, Steve & Michael A. Warren. (2005). Predicative Algebraic Set Theory. Theory and applications of categories. 15. 1–39. 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