Frank Tip

7.0k total citations · 2 hit papers
113 papers, 4.7k citations indexed

About

Frank Tip is a scholar working on Information Systems, Software and Artificial Intelligence. According to data from OpenAlex, Frank Tip has authored 113 papers receiving a total of 4.7k indexed citations (citations by other indexed papers that have themselves been cited), including 78 papers in Information Systems, 66 papers in Software and 63 papers in Artificial Intelligence. Recurrent topics in Frank Tip's work include Software Engineering Research (65 papers), Software Testing and Debugging Techniques (64 papers) and Logic, programming, and type systems (40 papers). Frank Tip is often cited by papers focused on Software Engineering Research (65 papers), Software Testing and Debugging Techniques (64 papers) and Logic, programming, and type systems (40 papers). Frank Tip collaborates with scholars based in United States, Canada and Germany. Frank Tip's co-authors include Julian Dolby, Barbara G. Ryder, Shay Artzi, Xiaoxia Ren, Mandana Vaziri, Gregor Snelting, Jens Palsberg, Adam Kieżun, Peter F. Sweeney and Max Schäfer and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Information and Software Technology.

In The Last Decade

Frank Tip

109 papers receiving 4.4k citations

Hit Papers

A Survey of Program Slicing Techniques. 1994 2026 2004 2015 1994 2023 200 400 600

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Frank Tip United States 38 3.3k 3.1k 1.6k 1.3k 861 113 4.7k
Yannis Smaragdakis United States 35 2.4k 0.7× 2.0k 0.6× 2.0k 1.2× 1.4k 1.1× 1.0k 1.2× 128 4.4k
Sarfraz Khurshid United States 38 3.2k 1.0× 4.5k 1.5× 1.5k 0.9× 1.1k 0.8× 811 0.9× 186 5.7k
Eran Yahav Israel 31 1.5k 0.5× 1.3k 0.4× 1.3k 0.8× 1.0k 0.8× 755 0.9× 109 2.9k
Manu Sridharan United States 26 1.4k 0.4× 1.5k 0.5× 1.3k 0.8× 855 0.7× 938 1.1× 77 2.8k
Mauro Pezzè Italy 34 2.1k 0.7× 2.4k 0.8× 908 0.6× 1.2k 0.9× 394 0.5× 184 3.6k
Cristian Cadar United Kingdom 25 2.1k 0.6× 3.4k 1.1× 1.5k 0.9× 1.2k 0.9× 1.7k 2.0× 70 4.8k
Yvan Labiche Canada 36 3.1k 0.9× 3.6k 1.2× 1.2k 0.7× 958 0.8× 303 0.4× 124 4.5k
Mira Mezini Germany 31 3.0k 0.9× 1.0k 0.3× 2.5k 1.6× 1.3k 1.0× 663 0.8× 230 4.0k
Danny Dig United States 35 2.7k 0.8× 1.7k 0.6× 1.0k 0.6× 1.5k 1.2× 502 0.6× 100 3.6k
Eric Bodden Germany 30 3.1k 1.0× 2.5k 0.8× 2.1k 1.3× 1.8k 1.4× 3.8k 4.4× 166 5.2k

Countries citing papers authored by Frank Tip

Since Specialization
Citations

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

Fields of papers citing papers by Frank Tip

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Frank Tip

This figure shows the co-authorship network connecting the top 25 collaborators of Frank Tip. A scholar is included among the top collaborators of Frank Tip 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 Frank Tip. Frank Tip is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Tip, Frank, et al.. (2023). Code Coverage Criteria for Asynchronous Programs. 1307–1319. 1 indexed citations
2.
Nadi, Sarah, et al.. (2023). An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation. IEEE Transactions on Software Engineering. 50(1). 85–105. 129 indexed citations breakdown →
3.
Madsen, Magnus, et al.. (2016). Feedback-directed instrumentation for deployed JavaScript applications. 899–910. 15 indexed citations
4.
Schäfer, Max, et al.. (2013). Efficient construction of approximate call graphs for JavaScript IDE services. 2013 35th International Conference on Software Engineering (ICSE). 752–761. 43 indexed citations
5.
Schäfer, Max, et al.. (2013). Efficient construction of approximate call graphs for JavaScript IDE services. International Conference on Software Engineering. 752–761. 53 indexed citations
6.
Marino, Daniel, Christian Hammer, Julian Dolby, et al.. (2013). Detecting deadlock in programs with data-centric synchronization. International Conference on Software Engineering. 322–331. 16 indexed citations
7.
Tip, Frank. (2013). Infeasible paths in object-oriented programs. Science of Computer Programming. 97. 91–97. 4 indexed citations
8.
Schäfer, Max, et al.. (2012). Automated repair of HTML generation errors in PHP applications using string constraint solving. International Conference on Software Engineering. 277–287. 83 indexed citations
9.
Hammer, Christian, Julian Dolby, Mandana Vaziri, & Frank Tip. (2008). Dynamic detection of atomic-set-serializability violations. 231–240. 74 indexed citations
10.
Nipkow, Tobias, et al.. (2006). An operational semantics and type safety prooffor multiple inheritance in C++. 345–362. 21 indexed citations
11.
Tip, Frank, et al.. (2003). Chianti: a prototype change impact analysis tool for Java. View. 27 indexed citations
12.
Snelting, Gregor & Frank Tip. (2002). Semantics-based Composition of Class Hierarchies. 6 indexed citations
13.
Ball, Thomas, et al.. (1998). Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering.
14.
Tip, Frank & Peter F. Sweeney. (1997). Class hierarchy specialization. 271–285. 23 indexed citations
15.
Tip, Frank & Peter F. Sweeney. (1997). Class hierarchy specialization. ACM SIGPLAN Notices. 32(10). 271–285. 10 indexed citations
16.
Tip, Frank, et al.. (1997). A slicing-based approach for locating type errors. Data Archiving and Networked Services (DANS). 1–24. 6 indexed citations
17.
Tip, Frank. (1995). Generation of Program Analysis Tools. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 33 indexed citations
18.
Tip, Frank. (1994). A Survey of Program Slicing Techniques.. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 3. 1–58. 714 indexed citations breakdown →
19.
Deursen, Arie van, Paul Klint, & Frank Tip. (1993). Origin tracking. Journal of Symbolic Computation. 15(5-6). 523–545. 56 indexed citations
20.
Tip, Frank, et al.. (1992). Animators and error reporters for generated programming environments. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–98. 9 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

Rankless by CCL
2026