Mark Trakhtenbrot

1.3k total citations · 1 hit paper
17 papers, 775 citations indexed

About

Mark Trakhtenbrot is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Mark Trakhtenbrot has authored 17 papers receiving a total of 775 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Computational Theory and Mathematics, 9 papers in Software and 7 papers in Artificial Intelligence. Recurrent topics in Mark Trakhtenbrot's work include Teaching and Learning Programming (6 papers), Software Testing and Debugging Techniques (6 papers) and Formal Methods in Verification (6 papers). Mark Trakhtenbrot is often cited by papers focused on Teaching and Learning Programming (6 papers), Software Testing and Debugging Techniques (6 papers) and Formal Methods in Verification (6 papers). Mark Trakhtenbrot collaborates with scholars based in Israel and Russia. Mark Trakhtenbrot's co-authors include R. W. Sherman, David Harel, Amir Pnueli, Judith Gal‐Ezer and Bruria Haberman and has published in prestigious journals such as IEEE Transactions on Software Engineering, Theoretical Computer Science and Computer Science Education.

In The Last Decade

Mark Trakhtenbrot

17 papers receiving 671 citations

Hit Papers

STATEMATE: a working environment for the development of c... 1990 2026 2002 2014 1990 200 400 600
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. STATEMATE: a working environment for the development of complex reactive systems
    1990 704 citations David Harel, Amir Pnueli et al. IEEE Transactions on Software Engineering profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Mark Trakhtenbrot Israel 5 340 340 282 232 205 17 775
Paul T. Ward United States 9 235 0.7× 285 0.8× 385 1.4× 233 1.0× 242 1.2× 17 778
Jonathan S. Ostroff Canada 14 651 1.9× 286 0.8× 268 1.0× 291 1.3× 120 0.6× 44 892
Béatrice Bérard France 11 521 1.5× 246 0.7× 256 0.9× 153 0.7× 90 0.4× 31 760
R. W. Sherman Israel 7 498 1.5× 427 1.3× 445 1.6× 291 1.3× 266 1.3× 8 1.0k
Marjan Sirjani Iran 17 434 1.3× 281 0.8× 456 1.6× 222 1.0× 253 1.2× 102 940
Ursula Goltz Germany 15 364 1.1× 216 0.6× 387 1.4× 75 0.3× 165 0.8× 60 727
Jifeng He China 16 290 0.9× 260 0.8× 437 1.5× 126 0.5× 253 1.2× 102 780
Elvinia Riccobene Italy 15 250 0.7× 417 1.2× 448 1.6× 183 0.8× 361 1.8× 101 958
Robert F. Stärk Switzerland 9 290 0.9× 152 0.4× 450 1.6× 125 0.5× 148 0.7× 31 659
Laure Petrucci France 7 364 1.1× 191 0.6× 179 0.6× 109 0.5× 99 0.5× 38 569

Countries citing papers authored by Mark Trakhtenbrot

Since Specialization
Citations

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

Fields of papers citing papers by Mark Trakhtenbrot

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Mark Trakhtenbrot

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

All Works

17 of 17 papers shown
1.
Trakhtenbrot, Mark. (2017). Mutation Patterns for Temporal Requirements of Reactive Systems. 74. 116–121. 4 indexed citations
2.
Gal‐Ezer, Judith & Mark Trakhtenbrot. (2016). Reduction Patterns. 355–355. 1 indexed citations
3.
Gal‐Ezer, Judith & Mark Trakhtenbrot. (2016). Identification and addressing reduction-related misconceptions. Computer Science Education. 26(2-3). 89–103. 11 indexed citations
4.
Trakhtenbrot, Mark. (2013). Students misconceptions in analysis of algorithmic and computational complexity of problems. 353–354. 3 indexed citations
5.
Trakhtenbrot, Mark, et al.. (2011). Analysis of Applicability for Synchronization Complexity Metric. 121. 24–33. 1 indexed citations
6.
Trakhtenbrot, Mark, et al.. (2010). Synchronization Complexity Metric.. Software Engineering and Knowledge Engineering. 147–152. 1 indexed citations
7.
Trakhtenbrot, Mark. (2010). Implementation-Oriented Mutation Testing of Statechart Models. 4800. 120–125. 6 indexed citations
8.
9.
10.
Haberman, Bruria & Mark Trakhtenbrot. (2005). An Undergraduate Program in Embedded Systems Engineering. 19. 103–110. 14 indexed citations
11.
Trakhtenbrot, Mark. (2005). Use of verification for testing and debugging of complex reactive systems. 1641. 13–22. 2 indexed citations
12.
Gal‐Ezer, Judith & Mark Trakhtenbrot. (2005). Challenges in teaching the pumping lemma in automata theory course. ACM SIGCSE Bulletin. 37(3). 369–369. 1 indexed citations
13.
Gal‐Ezer, Judith & Mark Trakhtenbrot. (2005). Challenges in teaching the pumping lemma in automata theory course. 369–369. 3 indexed citations
14.
Gal‐Ezer, Judith & Mark Trakhtenbrot. (2004). Use of visual tools in distance teaching of computational models. 1. T4F_1–T4F_1. 1 indexed citations
15.
Trakhtenbrot, Mark. (2003). Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning. ACM SIGCSE Bulletin. 35(3). 241–241. 2 indexed citations
16.
Harel, David, et al.. (1990). STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering. 16(4). 403–414. 704 indexed citations breakdown →
17.
Trakhtenbrot, Mark. (1976). Relationships between classes of monotonic functions. Theoretical Computer Science. 2(2). 225–247. 3 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

Breakdown of academic impact, for papers by Paul T. Ward Breakdown of academic impact, for papers by Jonathan S. Ostroff Breakdown of academic impact, for papers by Béatrice Bérard Breakdown of academic impact, for papers by R. W. Sherman Breakdown of academic impact, for papers by Marjan Sirjani Breakdown of academic impact, for papers by Ursula Goltz Breakdown of academic impact, for papers by Jifeng He Breakdown of academic impact, for papers by Elvinia Riccobene Breakdown of academic impact, for papers by Robert F. Stärk Breakdown of academic impact, for papers by Laure Petrucci
Rankless by CCL
2026