In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.
In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1079-1097, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 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.
In: 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2024), September 10-13, Padova, Italy, Pages 1-8, IEEE, 2024.
Andrea Micheli; Alexandre Arnold; Arthur Bit-Monnot; Luigi Bonassi; Luca Framba; Alfonso Emilio Gerevini; Selvakumar Hastham Sathiya Satchi; Malte Helmert; Felix Ingrand; Luca Iocchi; Uwe Köckemann; Oscar Lima; Fabio Patrizi; Federico Pecora; Guillaume Poveda; Gabriele Röger; Alessandro Saetti; Alessandro Saffiotti; Enrico Scala; Ivan Serina; Sebastian Stock; Florent Teichteil-Koenigsbuch; Alessandro Trapasso; Paolo Traverso; Alessandro Valentini
In: Sylvie Thiébaux; William Yeoh; Akshat Kumar; Pradeep Varakantham (Hrsg.). Proceedings of the 32nd International Conference on Automated Planning and Scheduling, System Demonstration. International Conference on Automated Planning and Scheduling (ICAPS-2022), System Demonstration, located at ICAPS, June 13-24, virtual, Singapore, AAAI Press, Palo Alto, California, USA, 2022.
Ivana Kruijff; Thomas Barz; Alexander Berrang; Marius Beul; Kevin Daun; Floris Ernst; Frank Friede; Philipp Gorczak; Stefan Grobelny; Nils Heidemann; Constantin Houy; Artur Leinweber; Alexander Lel; Alexander Miller; Jan Quenzel; Stefan Rilling; Gerhard Senkowski; Daniel Schleich; Marius Schnaubelt; Dominik Slomma; Stefan Soltau; Jani Tiemann; Marc Thurow; Brian Willems; Christian Willms; Sven Behnke; Ralf Bruder; Robert Grafe; Christof Röhrig; Hartmut Surmann; Oskar von Stryk; Christian Wietfeld; Dirk Aschenbrenner
In: 29th International Joint Conference on Artificial Intelligence (IJCAI) and the 17th Pacific Rim International Conference on Artificial Intelligence (PRICAI). International Joint Conference on Artificial Intelligence (IJCAI-2020), Accepted Robot Exhibition, January 7-15, Yokohama, Japan, Online-Conference, 1/2021.
In: 2nd Federated Learning Technologies and Applications Conference 2024. International Conference on Federated Learning Technologies and Applications (FLTA-2024), September 17-19, Valencia, Spain, IEEEXplore, 2024.