Tudor Jebelean
About
Tudor Jebelean has authored 18 papers that have received a total of 113 indexed citations.
This includes 17 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (12 papers), Formal Methods in Verification (8 papers) and semigroups and automata theory (5 papers). Tudor Jebelean is often cited by papers focused on Logic, programming, and type systems (12 papers), Formal Methods in Verification (8 papers) and semigroups and automata theory (5 papers) and collaborates with scholars based in Austria, Romania and Hungary. Tudor Jebelean's co-authors include Laura Kovács, Bruno Buchberger, Temur Kutsia, Wolfgang Schreiner and Werner Krandick and has published in prestigious journals such as Mathematics and Computers in Simulation, Journal of Symbolic Computation and Journal of Applied Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Иван Григоров are published in Top fields papers by JinCheol Choi are about Top journals papers by Denis Ruellan are published in Top journals papers by Michael Mittelman are published in Top countries impacted by papers by Maria Eduarda Gonçalves Top authors papers by Carlo Knotz are co-authored with Top journals papers by S. James Anaya are published in Top countries impacted by papers by Mauricio Suárez‐Durán