Not finding it? Sign in to also search OpenAlex live.
-
Conformance Checking Approximation Using Simulation2020 International Conference on Process Mining (ICPM) conference-paper Business, Management and Accounting Business Process Modeling and Analysis
Mohammadreza Fani Sani, Juan J. Garza Gonzalez, Sebastiaan J. van Zelst, Wil M. P. van der Aalst
23citations -
Supporting Artifact Evaluation with LLMs: A Study with Published Security Research Papers2025 IEEE International Conference on Big Data (BigData) conference-paper Decision Sciences Scientific Computing and Data Management Open access
David Heye, Karl Kindermann, Robin Decker, Johannes Lohmöller, Anastasiia Belova, Sandra Geisler, +2 more
0citations -
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations -
IceCube searches for GeV neutrino counterparts associated with high-energy starting events2025 International Cosmic Ray Conference conference-paper Physics and Astronomy Astrophysics and Cosmic Phenomena Open access
Christoph Raab, G. de Wasseige, M. Ackermann, Jenni Adams, Sanjib Kumar Agarwalla, Juanan Aguilar, +91 more
0citations
7 results