- I. Drămnesc, E. Ábrahám, L. Antal, P. Csóka, N. Fachantidis, T. Jebelean, G. Kusper, K. Papadopoulos, Artificial Intelligence based robotic applications for higher education, Annales Mathematicae et Informaticae, (2025) 61. pp. 68-79. ISSN 1787-6117, https://doi.org/10.33039/ami.2025.10.009
- C. Bărbieru and I. Drămnesc, A Web-Controlled, Modular 3D-Printed Exoskeleton for Upper Limb Stroke Recovery. In Proceedings of ICINCO 2025: the 22nd International Conference on Informatics in Control, Automation and Robotics – Volume 2: ICINCO; ISBN 978-989-758-770-2; ISSN 2184-2809, SciTePress, pages 150-157. Marbella, Spain, October 20-22, 2025, https://doi.org/10.5220/0013835400003982
- D. Ivaşcu and I. Drămnesc, Improving Assistive Technologies Using EEG Headsets. In Proceedings of ICINCO 2025: the 22nd International Conference on Informatics in Control, Automation and Robotics – Volume 1: ICINCO; ISBN 978-989-758-770-2; ISSN 2184-2809, SciTePress, pages 362-368. Marbella, Spain, October 20-22, 2025, https://doi.org/10.5220/0013788400003982
- I. Dramnesc, E. Abraham, N. Fachantidis, T. Jebelean, G. Kusper, S. Stratulat, AIROBO: A EUROPEAN PROJECT FOR SOFTWARE ENGINEERS, In Proceedings of EDULEARN25: 17th International Conference on Education and New Learning Technologies, pp. 1221-1228, Palma, Spain, 30 June – 2 July 2025, IATED, ISBN: 978-84-09-74218-9, https://doi.org/10.21125/
edulearn.2025.0394 - I. Dramnesc, E. Abraham, N. Fachantidis, T. Jebelean, G. Kusper, S. Stratulat, AiRobo: A EU Project on Artificial Intelligence and Robotics for Higher Education. In T. Bastiaens (Ed.), Proceedings of EdMedia 2025 Innovate Learning: World Conference on Educational Media & Technology, pp. 1186-1191, Barcelona, Spain, May 19-23, 2025, Association for the Advancement of Computing in Education (AACE) https://www.
learntechlib.org/primary/p/ 226258/ - 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, 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 - 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 - 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