-
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 (Hrsg.). EasyChair, Band 18. S. 107--116 10 S. (Kalpa Publications in Computing).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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 (Hrsg.). Springer, Band 14991. S. 38--56 19 S. (Lecture Notes in Artificial Intelligence).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
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 (Hrsg.). EasyChair, Band 18. S. 53--68 16 S. (Kalpa Publications in Computing).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
A Heuristic Prover for Elementary Analysis in Theorema
Jebelean, T., Apr. 2021, Hagenberg, Linz: RISC, JKU, 29 S. (RISC Report Series; Nr. 21-07).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
-
A Heuristic Prover for Elementary Analysis in Theorema
Jebelean, T., Juli 2021, Intelligent Computer Mathematics, 14th International Conference, CICM 2021, Timisoara, Romania. Kamareddine, F. & Sacerdoti Coen, C. (Hrsg.). Springer, Band 12833. S. 130-134 5 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12833 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Projekte
- 10 Abgeschlossen
-
ARC: Automated Reasoning in The Class [Erasmus+ Project]
et al. (Forscher*in) & Jebelean, T. (Projektleiter*in)
01.10.2019 → 31.08.2022
Projekt: Geförderte Forschung › EU - Europäische Union
-
SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems
Buchberger, B. (Projektleiter*in), Jebelean, T. (Projektleiter*in) & Paule, P. (Projektleiter*in)
01.07.2016 → 31.08.2018
Projekt: Geförderte Forschung › EU - Europäische Union
-
OntoJob - Ontologie- und Persönlichkeitsmodell basierter Abgleich von Bewerberprofilen und Stellenangeboten zur Effizienzsteigerung
Buttinger, C. (Forscher*in), Küng, J. (Forscher*in), Jebelean, T. (Projektleiter*in) & Pröll, B. (Projektleiter*in)
01.11.2010 → 31.12.2012
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
TASCo - Timing Analysis and Symbolic Computation
Jebelean, T. (Projektleiter*in)
01.02.2009 → 28.02.2014
Projekt: Anderes › Sonstiges Projekt
-
iEAT: Institute e-Austria Timisoara: Mathematical Theory Exploration for Industrial Applications
Jebelean, T. (Projektleiter*in)
01.03.2008 → 28.02.2011
Projekt: Geförderte Forschung › Bund / Land / Gemeinden
Aktivitäten
-
Isabela Dramnesc
Jebelean, T. (Gastgeber*in)
24 März 2025 → 28 März 2025Aktivität: Betreuung von Gästen
-
Dr. Madalina Erascu (23.09.2024-29.09.2024)
Jebelean, T. (Gastgeber*in) & Erascu, M. (Gastgeber*in)
23 Sep. 2024 → 29 Sep. 2024Aktivität: Sonstige › Aufenthalt an der JKU (Altdaten)
-
Dr. Isabela Dramnesc (22.01.2024-26.01.2024)
Jebelean, T. (Gastgeber*in) & Dramnesc, I. (Gastgeber*in)
22 Jän. 2024 → 26 Jän. 2024Aktivität: Sonstige › Aufenthalt an der JKU (Altdaten)
-
Dr. Mircea Dragan (10.10.2023-11.10.2023)
Jebelean, T. (Gastgeber*in) & Dragan, M. (Gastgeber*in)
10 Okt. 2023 → 11 Okt. 2023Aktivität: Sonstige › Aufenthalt an der JKU (Altdaten)
-
Prof. Dr. Viorel Negru (14.09.2023-15.09.2023)
Jebelean, T. (Gastgeber*in) & Negru, V. (Gastgeber*in)
14 Sep. 2023 → 15 Sep. 2023Aktivität: Sonstige › Aufenthalt an der JKU (Altdaten)