Tim Wahls

474 citations
27 papers · 351 · h-index 10

Impact in

Papers in

Tim Wahls

26 papers receiving 337 citations

Peers

Tim Wahls
Comparison fields: 5 of 38
  • Computer Science Applications 175
  • Software 103
  • Developmental and Educational Psychology 77
  • Information Systems 138
  • Computational Theory and Mathematics 76
Replace Steve Roach with:
Steve Roach United States
A. T. Chamillard United States
Thomas P. Murtagh United States
Linda M. Seiter United States
Veronika Thurner Germany
Joseph E. Hollingsworth United States
Michael T. Grinder United States
Doug Baldwin United States
Tobias Kohn Germany
Ann E. Kelley Sobel United States
Tim Wahls relative to Steve Roach United States Steve Roach's profile →
Citations per field
00.5×1.5×1.9×
Steve Roach · 1×
Citations per year

Countries citing papers authored by Tim Wahls

Since Specialization
Citations

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

Fields of papers citing papers by Tim Wahls

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authors

The 11 scholars most cited alongside Tim Wahls, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Tim Wahls Line = papers co-authored together Tim Wahls links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown

Showing the 20 most-cited of 27 papers — load more, or switch the sort, to bring in the rest.

#Work
1 201185
2 200854
3 201044
4 201537
5 200823
6 200718
7 200015
8 200912
9 201212
10 199911
11
The Direct Execution of SPECS-C++: A Model-Based Specification Language for C++ Classes
19945
12 20055
13 20054
14
An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
19964
15 20143
16
Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages
19963
17 20152
18 20012
19
Teaching objects in context
20082
20
Executing Formal Specifications with Constraint Programming
20002

About Tim Wahls

Tim Wahls is a scholar working on Software, Computer Science Applications, Computational Theory and Mathematics, Artificial Intelligence and Information Systems, having authored 27 papers that have together received 351 indexed citations. Recurring topics across this work include Formal Methods in Verification (12 papers), Logic, programming, and type systems (12 papers), Teaching and Learning Programming (7 papers), Advanced Software Engineering Methodologies (7 papers), Model-Driven Software Engineering Techniques (6 papers), Software Testing and Debugging Techniques (6 papers), Software Engineering Research (4 papers) and Software Engineering Techniques and Practices (4 papers). The work is most often cited by research in Computer Science Applications (175 citations), Software (103 citations), Developmental and Educational Psychology (77 citations), Information Systems (138 citations) and Computational Theory and Mathematics (76 citations). Tim Wahls has collaborated with scholars based in United States, Portugal and Colombia. Frequent co-authors include Grant Braught, John MacCormick, Albert L. Baker, Camilo Rueda, Ben Krause, Gary T. Leavens, Gary T. Leavens, Qi Wang, William G. Combs and Robert D. Hawkins. Their work appears in journals such as Information and Software Technology, International Journal on Software Tools for Technology Transfer, Automated Software Engineering, ACM Transactions on Computing Education and Lecture notes in computer science.

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