Wolfram Schulte

8.0k total citations
117 papers, 2.7k citations indexed

About

Wolfram Schulte is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Wolfram Schulte has authored 117 papers receiving a total of 2.7k indexed citations (citations by other indexed papers that have themselves been cited), including 59 papers in Artificial Intelligence, 53 papers in Software and 51 papers in Computational Theory and Mathematics. Recurrent topics in Wolfram Schulte's work include Formal Methods in Verification (47 papers), Software Testing and Debugging Techniques (42 papers) and Logic, programming, and type systems (34 papers). Wolfram Schulte is often cited by papers focused on Formal Methods in Verification (47 papers), Software Testing and Debugging Techniques (42 papers) and Logic, programming, and type systems (34 papers). Wolfram Schulte collaborates with scholars based in United States, United Kingdom and Germany. Wolfram Schulte's 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 and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Computer.

In The Last Decade

Wolfram Schulte

111 papers receiving 2.4k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Wolfram Schulte United States	29	1.4k	1.1k	1.0k	819	664	117	2.7k
Hanne Riis Nielson Denmark	21	583 0.4×	754 0.7×	1.6k 1.6×	728 0.9×	494 0.7×	140	2.5k
Flemming Nielson Denmark	23	629 0.4×	785 0.7×	1.8k 1.8×	758 0.9×	548 0.8×	147	2.7k
Işıl Dillig United States	27	1.2k 0.8×	1.3k 1.2×	1.2k 1.2×	700 0.9×	312 0.5×	98	2.4k
Eran Yahav Israel	31	1.3k 0.9×	1.5k 1.4×	1.3k 1.3×	1.0k 1.3×	706 1.1×	109	2.9k
Klaus Havelund United States	27	2.1k 1.4×	750 0.7×	1.5k 1.5×	909 1.1×	787 1.2×	97	3.5k
Leonardo de Moura United States	17	1.1k 0.8×	1.0k 0.9×	827 0.8×	370 0.5×	203 0.3×	43	2.1k
Sriram K. Rajamani United States	33	2.0k 1.4×	1.3k 1.2×	2.0k 1.9×	798 1.0×	676 1.0×	115	3.9k
Kuo‐Chung Tai United States	22	1.4k 1.0×	698 0.6×	543 0.5×	654 0.8×	523 0.8×	90	2.2k
Tim Teitelbaum United States	23	783 0.5×	957 0.9×	1.3k 1.3×	594 0.7×	566 0.9×	45	2.2k
K. Rustan M. Leino United States	26	1.3k 0.9×	963 0.9×	2.5k 2.4×	588 0.7×	567 0.9×	82	3.3k

Countries citing papers authored by Wolfram Schulte

Since Specialization

Citations

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

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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 of co-authors of Wolfram Schulte

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

Thomson, Paul, Shuo Chen, Alastair F. Donaldson, et al.. (2016). Uncovering bugs in distributed storage systems during testing (not in production. Spiral (Imperial College London). 249–262. 6 indexed citations

Ren, Bin, Gagan Agrawal, James R. Larus, et al.. (2013). SIMD parallelization of applications that traverse irregular data structures. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1–10. 44 indexed citations

Sztipanovits, János, et al.. (2012). Cancer treatment planning: formal methods to the rescue. 19–25. 4 indexed citations

Schulte, Wolfram. (2012). Ten years of automated code analysis at Microsoft (invited industrial talk). International Conference on Software Engineering. 1001–1001. 1 indexed citations

Meyerovich, Leo A., Todd Mytkowicz, & Wolfram Schulte. (2011). Data Parallel Programming for Irregular Tree Computations. 3 indexed citations

Burg, Brian R., et al.. (2011). C3: an experimental, extensible, reconfigurable platform for HTML-based applications. 6–6. 6 indexed citations

Butler, Michael & Wolfram Schulte. (2011). FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. ePrints Soton (University of Southampton).

Veanes, Margus, Nikolaj Bjørner, Yuri Gurevich, & Wolfram Schulte. (2009). Symbolic Bounded Model Checking of Abstract State Machines.. 3. 149–170. 11 indexed citations

Jacobs, Bart, Jan Smans, Frank Piessens, & Wolfram Schulte. (2006). A Statically Verifiable Programming Model for Concurrent ObjectOriented Programs. Lirias (KU Leuven). 5 indexed citations

10.

Veanes, Margus, Colin Campbell, Wolfram Schulte, & Pushmeet Kohli. (2005). On-The-Fly Testing of Reactive Systems. 48(12). 802–8. 9 indexed citations

11.

Jacobs, Bart, Erik Meijer, Frank Piessens, & Wolfram Schulte. (2005). Iterators revisited: proof rules and implementation. 1–21. 10 indexed citations

12.

Gurevich, Yuri, Benjamin Rossman, & Wolfram Schulte. (2005). Semantic essence of AsmL. Theoretical Computer Science. 343(3). 370–412. 55 indexed citations

13.

Campbell, Colin, Wolfgang Grieskamp, Lev Nachmanson, et al.. (2005). Testing concurrent object-oriented systems with Spec Explorer. 5 indexed citations

14.

Rustan, K., Mirka Leino, & Wolfram Schulte. (2004). Exception safety for C. 218–227. 11 indexed citations

15.

Schulte, Wolfram, et al.. (2004). 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). Springer eBooks. 1 indexed citations

16.

Barnett, Mike, et al.. (2003). Serious Specification for Composing Components. 7 indexed citations

17.

Bierman, Gavin, Erik Meijer, & Wolfram Schulte. (2002). The essence of data access in Cω -- The power is in the dot!.

18.

Barnett, Michael P. & Wolfram Schulte. (2001). The ABCs of specification: asml, behavior, and components.. Informatica (slovenia). 25(4). 517–526. 11 indexed citations

19.

Grieskamp, Wolfgang, Yuri Gurevich, Wolfram Schulte, & Margus Veanes. (2001). Conformance Testing with Abstract State Machines. 44. 127–129. 4 indexed citations

20.

Schulte, Wolfram, et al.. (1996). Massive parallelization of divide-and-conquer algorithms over powerlists. Science of Computer Programming. 26(1-3). 59–78. 7 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