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., Apr 2021, Hagenberg, Linz: RISC, JKU, 29 p. (RISC Report Series; no. 21-07).Research output: Working paper and reports › Preprint
-
A Heuristic Prover for Elementary Analysis in Theorema
Jebelean, T., Jul 2021, Intelligent Computer Mathematics, 14th International Conference, CICM 2021, Timisoara, Romania. F. Kamaredine, C. Sacerdoti Coen (ed.). Springer, Vol. 12833. p. 130-134 5 p. (Lecture Notes in Artificial Intelligence (LNAI)).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
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)
-
Alessandro Serra (14.09.2023-15.09.2023)
Jebelean, T. (Host) & Serra, A. (Host)
14 Sept 2023 → 15 Sept 2023Activity: Other › Incoming (legacy data)