Stephen L. Bloom
Impact in
- Computational Theory and Mathematics top 0.5%
- semigroups and automata theory
- Advanced Algebra and Logic
- Formal Methods in Verification
- Computability, Logic, AI Algorithms
- Artificial Intelligence top 1%
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Natural Language Processing Techniques
Papers in
-
- semigroups and automata theory 26
- Advanced Algebra and Logic 26
- Formal Methods in Verification 15
- Computability, Logic, AI Algorithms 10
- Polynomial and algebraic computation 4
-
- Logic, programming, and type systems 43
- Logic, Reasoning, and Knowledge 21
- Co-authors
- Zoltán ÉsikCalvin C. ElgotRalph TindellJesse B. WrightRoman SuszkoChristian ChoffrutErnest G. ManesDirk Taubner
- Journals
- Journal of Computer and System Sciences (9 papers)Theoretical Computer Science (9 papers)Studia Logica (6 papers)SIAM Journal on Computing (5 papers)Information and Computation (4 papers)
- Partner nations
- United StatesHungaryAustria
In The Last Decade
Stephen L. Bloom
73 papers receiving 868 citations
Peers
Comparison fields: 5 of 48
- Computational Theory and Mathematics 820
- Artificial Intelligence 853
- Mathematical Physics 97
- Software 35
- Algebra and Number Theory 42
Countries citing papers authored by Stephen L. Bloom
This map shows the geographic impact of Stephen L. Bloom'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 Stephen L. Bloom with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Stephen L. Bloom more than expected).
Fields of papers citing papers by Stephen L. Bloom
This network shows the impact of papers produced by Stephen L. Bloom. 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 Stephen L. Bloom. The network helps show where Stephen L. Bloom may publish in the future.
Co-authors
The 16 scholars most cited alongside Stephen L. Bloom, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Algebraic Ordinals | 2010 | 4 |
| 2 | Scattered Algebraic Linear Orderings. | 2009 | 1 |
| 3 | 2009 | 10 | |
| 4 | 2009 | 3 | |
| 5 | 2008 | 8 | |
| 6 | Axioms for Regular Words Extended Abstract | 2003 | 0 |
| 7 | Deciding whether the frontier of a regular tree is scattered | 2002 | 13 |
| 8 | Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract | 2000 | 2 |
| 9 | Two Axiomatizations of a Star Semiring Quasi-Variety. | 1996 | 2 |
| 10 | 1996 | 40 | |
| 11 | 1993 | 19 | |
| 12 | Cayley iff Stone. | 1991 | 1 |
| 13 | A note on zero-congruences | 1987 | 1 |
| 14 | 1985 | 19 | |
| 15 | Some varieties of iteration theories. | 1984 | 17 |
| 16 | 1983 | 7 | |
| 17 | 1983 | 11 | |
| 18 | 1976 | 28 | |
| 19 | 1976 | 92 | |
| 20 | Abstract logics . Classical abstract logics | 1973 | 1 |
About Stephen L. Bloom
Stephen L. Bloom is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Mathematical Physics, Algebra and Number Theory and Hardware and Architecture, having authored 79 papers that have together received 1.0k indexed citations. Recurring topics across this work include Logic, programming, and type systems (43 papers), semigroups and automata theory (26 papers), Advanced Algebra and Logic (26 papers), Logic, Reasoning, and Knowledge (21 papers), Formal Methods in Verification (15 papers), Computability, Logic, AI Algorithms (10 papers), Polynomial and algebraic computation (4 papers) and Homotopy and Cohomology in Algebraic Topology (4 papers). The work is most often cited by research in Computational Theory and Mathematics (820 citations), Artificial Intelligence (853 citations), Mathematical Physics (97 citations), Software (35 citations) and Algebra and Number Theory (42 citations). Stephen L. Bloom has collaborated with scholars based in United States, Hungary and Austria. Frequent co-authors include Zoltán Ésik, Calvin C. Elgot, Ralph Tindell, Jesse B. Wright, Roman Suszko, Christian Choffrut, Ernest G. Manes, Dirk Taubner, Werner Kuich and J. W. Thatcher. Their work appears in journals such as Journal of Computer and System Sciences, Theoretical Computer Science, Studia Logica, SIAM Journal on Computing and Information and Computation.
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.