AiRobo

From zero to expert! Introducing the potential of AI and Robotics for all!

Publications

Dive into innovation on our Publications page. Discover insightful articles and case studies covering robotics and emerging technologies. Stay informed and inspired with our curated content for tech enthusiasts and industry professionals.
  1. 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
  2. ΙΩ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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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