Not finding it? Sign in to also search OpenAlex live.
-
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
Foundations for Entailment Checking in Quantitative Separation Logic (extended version)2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
0citations -
VPS: Excavating High-Level C++ Constructs from Low-Level Binaries to Protect Dynamic Dispatching2020 arXiv (Cornell University) preprint Computer Science Security and Verification in Computing Open access
Andre Pawlowski, Victor van der Veen, Dennis Andriesse, Erik van der Kouwe, Thorsten Holz, Cristiano Giuffrida, +1 more
0citations -
Immediate versus Postponed Intervention for Infected Necrotizing Pancreatitis2021 New England Journal of Medicine article Medicine Pancreatitis Pathology and Treatment Open access
Lotte Boxhoorn, Sven M. van Dijk, Janneke van Grinsven, Robert C. Verdonk, Marja A. Boermeester, Thomas L. Bollen, +37 more
277citations -
Industry Voices on Software Engineering Challenges in Cyber-Physical Production Systems Engineering2022 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Engineering Digital Transformation in Industry
Kevin Feichtinger, Kristof Meixner, Felix Rinker, István Koren, Holger Eichelberger, Tonja Heinemann, +8 more
31citations -
Modeling the Mental Lexicon as Part of Long-Term and Working Memory and Simulating Lexical Access in a Naming Task Including Semantic and Phonological Cues2020 Frontiers in Psychology article Neuroscience Neurobiology of Language and Bilingualism Open access
Catharina Marie Stille, Trevor Bekolay, Peter Blouw, Bernd J. Kröger
19citations