2026-07-09 10:14 |
-
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
Geißler, D. (Corresponding author) ; Winkler, T.
Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim, Seiten/Artikel-Nr: C1-C1
DOI: 10.1007/978-3-032-11176-0_29
Contribution to a book (Erratum/Correction)/Contribution to a conference proceedings
2026 & 2025
|
2026-07-08 11:54 |
-
Deployment Challenges of Industrial Intrusion Detection Systems
Wolsing, K. (Corresponding author) ; Wagner, E. ; Basels, F. ; Wagner, P. ; ; et al
Computer security. ESORICS 2024 international workshops : DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024 : revised selected papers, Part I / Joaquin Garcia-Alfaro, Ken Barker, Guillermo Navarro-Arribas, Cristina Pérez-Solà, Sergi Delgado-Segura, Sokratis Katsikas, Frédéric Cuppens, Costas Lambrinoudakis, Nora Cuppens-Boulahia, Marek Pawlicki, Michał Choraś, editors, Seiten/Artikel-Nr: 453-473
DOI: 10.1007/978-3-031-82349-7_29
Contribution to a book/Contribution to a conference proceedings
2025 & 2024
|
2026-07-08 11:44 |
-
Exploring Anomaly Detection for Marine Radar Systems
Saillard, A. ; Wolsing, K. (Corresponding author) ; Wehrle, K. ; Bauer, J.
Computer security. ESORICS 2024 international workshops : DPM, CBT, and CyberICPS, Bydgoszcz, Poland, September 16-20, 2024 : revised selected papers, Part I / Joaquin Garcia-Alfaro, Ken Barker, Guillermo Navarro-Arribas, Cristina Pérez-Solà, Sergi Delgado-Segura, Sokratis Katsikas, Frédéric Cuppens, Costas Lambrinoudakis, Nora Cuppens-Boulahia, Marek Pawlicki, Michał Choraś, editors, Seiten/Artikel-Nr: 361-381
DOI: 10.1007/978-3-031-82349-7_24
Contribution to a book/Contribution to a conference proceedings
2025 & 2024
|
2026-07-08 09:56 |
-
Simple Numeric Planning with Two Variables Is Decidable
Helal, H. (Corresponding author) ; Lakemeyer, G.
28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) : Proceedings / Edited by Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani, Seiten/Artikel-Nr: 4881-4888
DOI: 10.3233/FAIA251398
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-07-07 14:44 |
|
2026-07-07 12:56 |
|
2026-07-07 12:53 |
|
2026-07-07 12:53 |
|
2026-07-07 12:21 |
-
Out of Babylon: Object-Centric Conformance Checking on Graph-Based Abstractions
Wrede, E. (Corresponding author) ; Van Detten, J. N. ; Liß, L. ; Leemans, S. J. J.
Cooperative Information Systems : 31st International Conference, CoopIS 2025, Marbella, Spain, October 20–22, 2025, Proceedings / edited by Cinzia Cappiello, Olaf Hartig, Mohamed Sellami, Ali Ouni, Seiten/Artikel-Nr: 183-201
DOI: 10.1007/978-3-032-15538-2_11
Contribution to a book/Contribution to a conference proceedings
2026 & 2025
|
2026-07-07 12:04 |
-
Discriminative Rule Learning for Outcome-Guided Process Model Discovery
Norouzifar, A. (Corresponding author) ; van der Aalst, W. M. P.
Cooperative Information Systems : 31st International Conference, CoopIS 2025, Marbella, Spain, October 20–22, 2025, Proceedings / edited by Cinzia Cappiello, Olaf Hartig, Mohamed Sellami, Ali Ouni, Seiten/Artikel-Nr: 15-32
DOI: 10.1007/978-3-032-15538-2_2
Contribution to a book/Contribution to a conference proceedings
2026 & 2025
|
|
|