Not finding it? Sign in to also search OpenAlex live.
-
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations -
OrgMining 2.0: A Novel Framework for Organizational Model Mining from Event Logs2020 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access
Jing Yang, Chun Ouyang, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Yang Yu
0citations -
Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study2022 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access
Elisabetta Benevento, Marco Pegoraro, Mattia Antoniazzi, Harry H. Beyel, Viki Peeva, Paul Balfanz, +3 more
0citations -
Overcoming the hurdle of legal expertise: A reusable model for smartwatch privacy policies2025 arXiv (Cornell University) preprint Social Sciences Privacy, Security, and Data Protection Open access
Constantin Buschhaus, Arvid Butting, Judith Michael, Verena Nitsch, Sebastian Pütz, Bernhard Rumpe⋆, +2 more
0citations