In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.
Sahar Abdelnabi; Amr Gomaa; Sarath Sivaprasad; Lea Schönherr; Mario Fritz
In: Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), located at The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track, December 10-15, Vancouver, British Columbia, Canada, NeurIPS, 2024.
In: 2024 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2024), 33nd IEEE International Conference on Robot and Human Interactive Communication, August 26-30, Pasadena, CA, USA, IEEE, 2024.
Max Pascher; Kirill Kronhardt; Felix Goldau; Udo Frese; Jens Gerken
In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2023), Piscataway, NJ, Pages 2300-2307, Institute of Electrical and Electronics Engineers (IEEE), 2023.
Felix Goldau; Yashaswini Shivashankar; Annalies Baumeister; Lennart Drescher; Patrizia Tolle; Udo Frese
In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2023), The Next Generation of Robotics, October 1-5, Detroit, Michigan, USA, IEEE, 2023.
In: International Conference on Digital Image Computing: Techniques and Applications (DICTA 2024). International Conference on Digital Image Computing Techniques and Applications (DICTA-2024), November 27-29, Pert, Australia, IEEE Xplore, 2025.
In: 2024 IEEE Globecom Workshops (GC Wkshps): BlockSecSDN: Blockchain for Secure Software-defined Networking in Smart Communities. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2024), December 8-12, Capetown, South Africa, IEEE, 12/2024.
Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez
In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.