Tudor Jebelean

808 total citations
46 papers, 337 citations indexed

About

Tudor Jebelean is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Tudor Jebelean has authored 46 papers receiving a total of 337 indexed citations (citations by other indexed papers that have themselves been cited), including 35 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 8 papers in Computer Networks and Communications. Recurrent topics in Tudor Jebelean's work include Logic, programming, and type systems (26 papers), Formal Methods in Verification (17 papers) and Logic, Reasoning, and Knowledge (11 papers). Tudor Jebelean is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (17 papers) and Logic, Reasoning, and Knowledge (11 papers). Tudor Jebelean collaborates with scholars based in Austria, Romania and France. Tudor Jebelean's co-authors include Laura Kovács, Bruno Buchberger, Temur Kutsia, Florina Piroi, Markus Rosenkranz, Koji Nakagawa, Boris Konev, Erich Peter Klement, Alois Ferscha and Michael Affenzeller and has published in prestigious journals such as SHILAP Revista de lepidopterología, Mathematics and Computers in Simulation and Journal of Symbolic Computation.

In The Last Decade

Tudor Jebelean

36 papers receiving 273 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Tudor Jebelean Austria 11 279 231 66 42 31 46 337
Michael Kaminski Israel 10 335 1.2× 282 1.2× 62 0.9× 47 1.1× 29 0.9× 66 428
Bruno Barras France 6 395 1.4× 276 1.2× 53 0.8× 82 2.0× 45 1.5× 6 478
Alexandra Silva Netherlands 11 313 1.1× 265 1.1× 51 0.8× 86 2.0× 35 1.1× 68 399
Cezary Kaliszyk Austria 11 294 1.1× 175 0.8× 53 0.8× 29 0.7× 45 1.5× 48 343
Harry G. Mairson United States 15 429 1.5× 315 1.4× 38 0.6× 104 2.5× 35 1.1× 37 476
Judicaël Courant France 3 369 1.3× 263 1.1× 58 0.9× 87 2.1× 45 1.5× 5 447
C. Barry Jay Australia 9 232 0.8× 91 0.4× 53 0.8× 69 1.6× 41 1.3× 28 289
Eduardo Giménez 2 368 1.3× 267 1.2× 53 0.8× 77 1.8× 46 1.5× 2 444
Pierre Castéran France 2 432 1.5× 329 1.4× 80 1.2× 96 2.3× 82 2.6× 2 551
C. R. Murthy United States 5 441 1.6× 339 1.5× 54 0.8× 82 2.0× 45 1.5× 6 525

Countries citing papers authored by Tudor Jebelean

Since Specialization
Citations

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

Fields of papers citing papers by Tudor Jebelean

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Tudor Jebelean

This figure shows the co-authorship network connecting the top 25 collaborators of Tudor Jebelean. A scholar is included among the top collaborators of Tudor Jebelean 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 Tudor Jebelean. Tudor Jebelean 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.
Jebelean, Tudor, et al.. (2024). Certification of Tail Recursive Bubble--Sort in Theorema and Coq. 18. 53–36. 1 indexed citations
2.
Jebelean, Tudor, et al.. (2022). AUTOMATED REASONING IN THE CLASS: AN EDUCATIONAL PROJECT FOR SOFTWARE ENGINEERS. INTED proceedings. 1. 6224–6228.
3.
Jebelean, Tudor, et al.. (2018). Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques. Journal of Symbolic Computation. 90. 3–41. 5 indexed citations
4.
Jebelean, Tudor, et al.. (2015). A case study in proof based synthesis of algorithms on monotone lists. 483–488. 1 indexed citations
5.
Jebelean, Tudor, et al.. (2014). Synthesis of list algorithms by mechanical proving. Journal of Symbolic Computation. 69. 61–92. 10 indexed citations
6.
Buchberger, Bruno, et al.. (2014). Theorema 2.0: Computer-Assisted Natural-Style Mathematics. SHILAP Revista de lepidopterología. 15 indexed citations
7.
Jebelean, Tudor, et al.. (2011). Proof Techniques for Synthesis of Sorting Algorithms. 1. 101–109. 8 indexed citations
8.
Jebelean, Tudor, et al.. (2008). Combining logical and algebraic techniques for natural style proving in elementary analysis. Mathematics and Computers in Simulation. 79(8). 2310–2316. 4 indexed citations
9.
Kovács, Laura, et al.. (2006). Combining Logic and Algebraic Techniques for Program Verification in Theorema. 67–74. 4 indexed citations
10.
Buchberger, Bruno, Tudor Jebelean, Laura Kovács, et al.. (2005). Theorema: Towards computer-aided mathematical theory exploration. Journal of Applied Logic. 4(4). 470–504. 51 indexed citations
11.
Jebelean, Tudor, et al.. (2005). Verification Environment in Theorema. 1 indexed citations
12.
Kovács, Laura & Tudor Jebelean. (2004). Automated Generation of Loop Invariants by Recurrence Solving in Theorema. 11 indexed citations
13.
Jebelean, Tudor, et al.. (2004). A Practical Approach to Proving Termination of Recursive Programs in Theorema. 2 indexed citations
14.
Jebelean, Tudor. (2002). Systolic normalization of rational numbers. 2. 502–513. 1 indexed citations
15.
Buchberger, Bruno, et al.. (2001). The TH ∃ OREM ∀ project: a progress report. 98–113. 2 indexed citations
16.
Konev, Boris & Tudor Jebelean. (2001). Using meta-variables for natural deduction in theorema. 159–174. 6 indexed citations
17.
Jebelean, Tudor, et al.. (1996). Bidirectional Exact Integer Division. Journal of Symbolic Computation. 21(4-6). 441–455. 7 indexed citations
18.
Jebelean, Tudor. (1995). A Double-Digit Lehmer-Euclid Algorithm for Finding the GCD of Long Integers. Journal of Symbolic Computation. 19(1-3). 145–157. 16 indexed citations
19.
Jebelean, Tudor. (1994). Rational Arithmetic using FPGAS. 262–273.
20.
Jebelean, Tudor. (1993). An Algorithm for Exact Division. Journal of Symbolic Computation. 15(2). 169–180. 28 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 Michael Kaminski Breakdown of academic impact, for papers by Bruno Barras Breakdown of academic impact, for papers by Alexandra Silva Breakdown of academic impact, for papers by Cezary Kaliszyk Breakdown of academic impact, for papers by Harry G. Mairson Breakdown of academic impact, for papers by Judicaël Courant Breakdown of academic impact, for papers by C. Barry Jay Breakdown of academic impact, for papers by Eduardo Giménez Breakdown of academic impact, for papers by Pierre Castéran Breakdown of academic impact, for papers by C. R. Murthy
Rankless by CCL
2026