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 -
XT-Based Decomposition of a PLC Controller Program in Distributed Control Application Using Petri Nets for Implementation Employing SFC Language2026 International Conference on Methods and Models in Automation and Robotics conference-paper Computer Science Petri Nets in System Modeling
Łukasz Stefanowicz, Mariusz Buciakowski, Szymon Wermiński, Marcin Witczak
0citations -
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''0citations
-
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 -
Memristive ternary Łukasiewicz logic based on reading-based ratioed resistive states (3R)2025 Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences article Engineering Advanced Memory and Neural Computing Open access
Feng Liu, Leon Brackmann, Xianyue Zhao, Nan Du, Rainer Waser, Stephan Menzel
0citations