Wolfram Schulte
- Software top 0.2%
- Software Testing and Debugging Techniques 42
- Software Reliability and Analysis Research 25
- Model-Driven Software Engineering Techniques 11
- Hardware and Architecture top 1%
- Parallel Computing and Optimization Techniques 24
- Information Systems top 0.5%
- Software Engineering Research 24
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification 47
-
- Logic, programming, and type systems 34
- Advanced Software Engineering Methodologies 16
- Co-authors
- Nikolai TillmannMargus VeanesDaan LeijenSebastian BurckhardtMike BarnettTao XieJonathan de HalleuxWolfgang Grieskamp
- Journals
- IEEE Software (4 papers)ACM SIGPLAN Notices (4 papers)Science of Computer Programming (1 paper)
- Partner nations
- United StatesUnited KingdomGermany
In The Last Decade
Wolfram Schulte
111 papers receiving 2.4k citations
Peers
Comparison fields: 5 of 78
- Software 1.4k
- Hardware and Architecture 664
- Information Systems 1.1k
- Computational Theory and Mathematics 647
- Computer Networks and Communications 819
Countries citing papers authored by Wolfram Schulte
This map shows the geographic impact of Wolfram Schulte'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 Wolfram Schulte with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Wolfram Schulte more than expected).
Fields of papers citing papers by Wolfram Schulte
This network shows the impact of papers produced by Wolfram Schulte. 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 Wolfram Schulte. The network helps show where Wolfram Schulte may publish in the future.
Co-authorship network
The 25 scholars most cited alongside Wolfram Schulte, 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 | Uncovering bugs in distributed storage systems during testing (not in production | 2016 | 6 |
| 2 | 2013 | 44 | |
| 3 | 2012 | 4 | |
| 4 | 2012 | 1 | |
| 5 | Data Parallel Programming for Irregular Tree Computations | 2011 | 3 |
| 6 | C3: an experimental, extensible, reconfigurable platform for HTML-based applications | 2011 | 6 |
| 7 | FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 | 2011 | 0 |
| 8 | Symbolic Bounded Model Checking of Abstract State Machines. | 2009 | 11 |
| 9 | A Statically Verifiable Programming Model for Concurrent ObjectOriented Programs | 2006 | 5 |
| 10 | 2005 | 9 | |
| 11 | Iterators revisited: proof rules and implementation | 2005 | 10 |
| 12 | 2005 | 55 | |
| 13 | Testing concurrent object-oriented systems with Spec Explorer | 2005 | 5 |
| 14 | 2004 | 11 | |
| 15 | Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science) | 2004 | 1 |
| 16 | Serious Specification for Composing Components | 2003 | 7 |
| 17 | The essence of data access in Cω -- The power is in the dot! | 2002 | 0 |
| 18 | The ABCs of specification: asml, behavior, and components. | 2001 | 11 |
| 19 | 2001 | 4 | |
| 20 | 1996 | 7 |
About Wolfram Schulte
Wolfram Schulte is a scholar working on Software, Hardware and Architecture, Computational Theory and Mathematics, Artificial Intelligence and Information Systems, having authored 117 papers that have together received 2.7k indexed citations. Recurring topics across this work include Formal Methods in Verification (47 papers), Software Testing and Debugging Techniques (42 papers), Logic, programming, and type systems (34 papers), Software Reliability and Analysis Research (25 papers), Software Engineering Research (24 papers), Parallel Computing and Optimization Techniques (24 papers), Advanced Software Engineering Methodologies (16 papers) and Model-Driven Software Engineering Techniques (11 papers). The work is most often cited by research in Software (1.4k citations), Hardware and Architecture (664 citations), Information Systems (1.1k citations), Computational Theory and Mathematics (647 citations) and Computer Networks and Communications (819 citations). Wolfram Schulte has collaborated with scholars based in United States, United Kingdom and Germany. Frequent co-authors include Nikolai Tillmann, Margus Veanes, Daan Leijen, Sebastian Burckhardt, Mike Barnett, Tao Xie, Jonathan de Halleux, Wolfgang Grieskamp, K. Rustan M. Leino and Yuri Gurevich. Their work appears in journals such as IEEE Software, ACM SIGPLAN Notices, Science of Computer Programming, Computer and ACM Transactions on Programming Languages and Systems.
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.