Michael Sperber
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Hardware and Architecture top 5%
- Parallel Computing and Optimization Techniques
Papers in
-
- Logic, programming, and type systems 21
- Logic, Reasoning, and Knowledge 3
-
- Parallel Computing and Optimization Techniques 14
- Embedded Systems Design Techniques 2
- Co-authors
- Peter Thiemann (12 shared papers)Matthias Neubauer (4 shared papers)Jacob Matthews (1 shared paper)Matthew Flatt (1 shared paper)R. Kent Dybvig (1 shared paper)Bruce H. Price (1 shared paper)Robert Glück (1 shared paper)Stefan Monnier (1 shared paper)
- Journals
- ACM SIGPLAN Notices (5 papers)Journal of Functional Programming (2 papers)Psychosomatic Medicine (2 papers)ACM Transactions on Programming Languages and Systems (1 paper)Proceedings of the ACM on Programming Languages (1 paper)
- Partner nations
- GermanyUnited StatesSwitzerland
In The Last Decade
Michael Sperber
36 papers receiving 291 citations
Peers
Comparison fields: 5 of 62
- Software 60
- Hardware and Architecture 101
- Artificial Intelligence 209
- Computational Theory and Mathematics 90
- Computer Science Applications 30
Countries citing papers authored by Michael Sperber
This map shows the geographic impact of Michael Sperber'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 Sperber with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael Sperber more than expected).
Fields of papers citing papers by Michael Sperber
This network shows the impact of papers produced by Michael Sperber. 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 Sperber. The network helps show where Michael Sperber may publish in the future.
Co-authors
The 15 scholars most cited alongside Michael Sperber, 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 43 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2009 | 73 | |
| 2 | 2002 | 22 | |
| 3 | A Functional Notation for Functional Dependencies | 2001 | 22 |
| 4 | 2011 | 21 | |
| 5 | 2002 | 21 | |
| 6 | 1996 | 17 | |
| 7 | 1997 | 17 | |
| 8 | 1995 | 15 | |
| 9 | 1974 | 13 | |
| 10 | 1972 | 11 | |
| 11 | Asperger syndrome revisited. | 2006 | 9 |
| 12 | 2008 | 8 | |
| 13 | 2010 | 8 | |
| 14 | 2000 | 7 | |
| 15 | 2005 | 6 | |
| 16 | 2001 | 6 | |
| 17 | 1996 | 5 | |
| 18 | 1997 | 4 | |
| 19 | 2001 | 4 | |
| 20 | 2007 | 4 |
About Michael Sperber
Michael Sperber is a scholar working on Artificial Intelligence, Hardware and Architecture, Information Systems, Computational Theory and Mathematics and Computer Networks and Communications, having authored 43 papers that have together received 325 indexed citations. Recurring topics across this work include Logic, programming, and type systems (21 papers), Parallel Computing and Optimization Techniques (14 papers), Software Engineering Research (6 papers), Formal Methods in Verification (6 papers), Teaching and Learning Programming (5 papers), Software Testing and Debugging Techniques (4 papers), Logic, Reasoning, and Knowledge (3 papers) and Embedded Systems Design Techniques (2 papers). The work is most often cited by research in Software (60 citations), Hardware and Architecture (101 citations), Artificial Intelligence (209 citations), Computational Theory and Mathematics (90 citations) and Computer Science Applications (30 citations). Michael Sperber has collaborated with scholars based in Germany, United States and Switzerland. Frequent co-authors include Peter Thiemann, Matthias Neubauer, Jacob Matthews, Matthew Flatt, R. Kent Dybvig, Bruce H. Price, Robert Glück, Stefan Monnier, Annette Bieniusa and Frank McCabe. Their work appears in journals such as ACM SIGPLAN Notices, Journal of Functional Programming, Psychosomatic Medicine, ACM Transactions on Programming Languages and Systems and Proceedings of the ACM on Programming Languages.
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.