- I. Drămnesc, E. Abraham, T. Jebelean, N. Fachantidis, G. Kusper, S. Stratulat, A European Project on AI-based Robotics, In: Proceedings of TALE 2024: IEEE International Conference on Teaching, Assessment and Learning for Engineering, pp. 1-7, Bengaluru, India, December 9-12, 2024, IEEE Xplore, https://doi.org/10.1109/
TALE62452.2024.10834389 - ΙΩAΝΝΗΣ ΛΕΥΚΟΣ, ISABELA DRAMNESC, ERIKA ABRAHAM, TUDOR JEBELEAN, GABOR KUSPER, SORIN STRATULAT, ΝΙΚOΛΑΟΣ ΦΑΧΑΝΤΙΔΗΣ, AIROBO-ΕΥΡΩΠΑΪΚO EΡΓΟ ΕΚΠΑΙΔΕΥΣΗΣ ΓΙΑ ΤΗ ΡΟΜΠΟΤΙΚH ΜΕ ΒAΣΗ ΤΗΝ ΤΕΧΝΗΤH ΝΟΗΜΟΣΥΝΗ, In: Proceedings of 1ο Επιστημονικό Συνέδριο «Η Τεχνητή Νοημοσύνη (ΤΝ) στην Εκπαίδευση» (Υβριδικό), pp. 236-249, Thessaloniki, Greece, December 7-8, 2024, https://srv-dide-a.thess.sch.gr/AI & ΕΚΠΑΙΔ final.pdf
- T. Grumeza, T. Lazar, I. Drămnesc, G. Kusper, K, Papadopoulos, I. Lefkos, N. Fachantidis, A Case Study in Generating 3D Maps with Collaborative Robots, In: Proceedings of ICECCME 2024: 4th International Conference on Electrical, Computer, Communications and Mechatronics Engineering, pp. 1-8, Male, Maldives, November 4-6, 2024, IEEE, https://doi.org/10.1109/
ICECCME62383.2024.10796720 - I. Drămnesc, T. Jebelean, S. Stratulat, Certification of Insert-Sort and Merge-Sort in Coq, In: Proceedings of ICECCME 2024: 4th International Conference on Electrical, Computer, Communications and Mechatronics Engineering, pp. 1-6, Male, Maldives, November 4-6, 2024, IEEE, https://doi.org/10.1109/
ICECCME62383.2024.10796722 - T. Grumeza, T. Lazar, I. Drămnesc, G. Kusper, K, Papadoupoulos, N. Fachantidis, I. Lefkos, A Case Study in Building 2D Maps with Robots, In: Proceedings of ICINCO 2024: 21st International Conference on Informatics in Control, Automation and Robotics, vol. 2, pp. 228-235, Porto, Portugal, November 18-20, 2024, SCITEPRESS, https://doi.org/10.5220/
0013002200003822 - I. Drămnesc, T. Jebelean, S. Stratulat, Formal Certification of Synthesized Sorting Algorithms, Logic and Applications LAP 2024, pp. 22-23, Dubrovnik, Croatia, September 23-27, 2024, https://lap.math.hr/
LAP2024/files/LAP2024_Book_of_ abstracts.pdf#page=23 - I. Drămnesc, T. Jebelean, S. Stratulat, Certification of Sorting Algorithms Using Theorema and Coq, In: Proceedings of SCSS 2024: 10th International Symposium on Symbolic Computation in Software Science, vol. 14991, pp. 38-56, August 28-30, 2024, Tokyo, Japan, Lecture Notes in Computer Science, Springer, https://doi.org/10.1007/978-
3-031-69042-6_3 - I. Drămnesc, T. Jebelean, S. Stratulat, Certification of Tail Recursive Bubble-Sort in Theorema and Coq, In: Proceedings of LPAR 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Complementary Volume 2024, vol. 18, pp. 53-68, Port Luis, Mauritius, May 26-31, 2024, Kalpa Publications in Computing, https://doi.org/10.29007/spjs