In: Jianwu Wang; Sahara Ali; Yanan Xin (Hrsg.). 32nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis (STCausal-2024), 1st ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis, located at 32nd ACM SIGSPATIAL, October 29 - November 1, Atlanta, GA, USA, ISBN 979-8-4007-1154-1/24/10, Association for Computing Machinery, New York, NY, United States, 11/2024.
Alberto Acebes; Serge Autexier; Marjolein Brusse-Keizer; Agni Delvinioti; Thrasyvoulos Giannakopoulos; Christiane Grünloh; Florian Hahn; Rain Jögi; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Kostas Lamprinoudakis; Jakob Lehmann; Danae Lekka; Anke Lenferink; Federico Mazzone; Guilio Pagliari; Stefano Patarnello; Aristodemos Pnevmatikakis; Jarno Raid; Monique Tabak; Job Van Der Palen; Gesa Wimberg
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.
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.