Search - Archive ouverte HAL Access content directly

Filter your results

8 Results
Image document

Proof–based Synthesis of Sorting Algorithms for Trees

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
140th International Conference on Language and Automata Theory and Applications (LATA 2016), Mar 2016, Prague, Czech Republic. pp.562-575, ⟨10.1007/978-3-319-30000-9_43⟩
Conference papers hal-01590645v1
Image document

Theory Exploration of Binary Trees

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
13th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2015, Sep 2015, Subotica, Serbia. pp.139-144
Conference papers hal-01235173v1
Image document

Experiments with Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
CICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Conference papers hal-03781994v1
Image document

Mechanical Synthesis of Sorting Algorithms for Binary Trees by Logic and Combinatorial Techniques

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
Journal of Symbolic Computation, 2019, 90, pp.3-41. ⟨10.1016/j.jsc.2018.04.002⟩
Journal articles hal-01590654v1
Image document

ARC: An Educational Project on Automated Reasoning in the Class

Isabela Drămnesc , Tudor Jebelean , Erika Ábrahám , Gábor Kusper , Sorin Stratulat
EdMedia + Innovate Learning 2022 - AACE Conferences, Jun 2022, New York, United States
Conference papers hal-03900003v1
Image document

A Case Study on Algorithm Discovery from Proofs: The Insert Function on Binary Trees

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
SACI 2016: 11th IEEE International Symposium on Applied Computational Intelligence and Informatics, May 2016, Timisoara, Romania
Conference papers hal-01590637v1
Image document

Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms

Isabela Dramnesc , Tudor Jebelean , Sorin Stratulat
SYNASC 2015: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2015, Timisoara, Romania
Conference papers hal-01590633v1
Image document

Automated Reasoning in the Class

Isabela Drămnesc , Erika Ábrahám , Tudor Jebelean , Gábor Kusper , Sorin Stratulat
Computer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles hal-03886685v1