Research output per year
Research output per year
-
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation
Jebelean, T., 2024, LPAR 2024 Complementary Volume. N. Bjørner, M. Heule, A. Voronkov (ed.). EasyChair, Vol. 18. p. 107--116 10 p. (Kalpa Publications in Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Certification of Sorting Algorithms Using Theorema and Coq
Dramnesc, I., Jebelean, T. & Statulat, S., 2024, SCSS 2024, Symbolic Computation in Software Science. S. M. Watt, T. Ida (ed.). Springer, Vol. 14991. p. 38--56 19 p. (Lecture Notes in Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Certification of Tail Recursive Bubble-Sort in Theorema and Coq
Dramnesc, I., Jebelean, T. & Statulat, S., 2024, LPAR 2024 Complementary Volume. N. Bjørner, M. Heule, A. Voronkov (ed.). EasyChair, Vol. 18. p. 53--68 16 p. (Kalpa Publications in Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
A Heuristic Prover for Elementary Analysis in Theorema
Jebelean, T., Jul 2021, Intelligent Computer Mathematics, 14th International Conference, CICM 2021, Timisoara, Romania. Kamareddine, F. & Sacerdoti Coen, C. (eds.). Springer, Vol. 12833. p. 130-134 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12833 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
A Heuristic Prover for Elementary Analysis in Theorema
Jebelean, T., Apr 2021, Hagenberg, Linz: RISC, JKU, 29 p. (RISC Report Series; no. 21-07).Research output: Working paper and reports › Preprint
Projects
- 10 Finished
-
ARC: Automated Reasoning in The Class [Erasmus+ Project]
et al. (Researcher) & Jebelean, T. (PI)
01.10.2019 → 31.08.2022
Project: Funded research › EU - European Union
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Buchberger, B. (PI), Jebelean, T. (PI) & Paule, P. (PI)
01.07.2016 → 31.08.2018
Project: Funded research › EU - European Union
-
OntoJob - Ontologie- und Persönlichkeitsmodell basierter Abgleich von Bewerberprofilen und Stellenangeboten zur Effizienzsteigerung
Buttinger, C. (Researcher), Küng, J. (Researcher), Jebelean, T. (PI) & Pröll, B. (PI)
01.11.2010 → 31.12.2012
Project: Funded research › FFG - Austrian Research Promotion Agency
-
TASCo - Timing Analysis and Symbolic Computation
Jebelean, T. (PI)
01.02.2009 → 28.02.2014
Project: Other › Other project
-
iEAT: Institute e-Austria Timisoara: Mathematical Theory Exploration for Industrial Applications
Jebelean, T. (PI)
01.03.2008 → 28.02.2011
Project: Funded research › Federal / regional / local authorities
Activities
-
Dr. Madalina Erascu (23.09.2024-29.09.2024)
Jebelean, T. (Host) & Erascu, M. (Host)
23 Sept 2024 → 29 Sept 2024Activity: Other › Incoming (legacy data)
-
Dr. Isabela Dramnesc (22.01.2024-26.01.2024)
Jebelean, T. (Host) & Dramnesc, I. (Host)
22 Jan 2024 → 26 Jan 2024Activity: Other › Incoming (legacy data)
-
Dr. Mircea Dragan (10.10.2023-11.10.2023)
Jebelean, T. (Host) & Dragan, M. (Host)
10 Oct 2023 → 11 Oct 2023Activity: Other › Incoming (legacy data)
-
Prof. Dr. Viorel Negru (14.09.2023-15.09.2023)
Jebelean, T. (Host) & Negru, V. (Host)
14 Sept 2023 → 15 Sept 2023Activity: Other › Incoming (legacy data)
-
Prof. Dr. Mircea Marin (14.09.2023-15.09.2023)
Jebelean, T. (Host) & Marin, M. (Host)
14 Sept 2023 → 15 Sept 2023Activity: Other › Incoming (legacy data)