From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “Z3” 15

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements
2023 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

18

citations
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, +2 more

7

citations
Towards Transformation of Formal Descriptions into SMT Models for Modular Plant Configurations
2025 conference-paper Engineering Flexible and Reconfigurable Manufacturing Systems

Michael Winter, Bowen Chen, Tobias Kleinert

1

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Daham-Mustaf/odrl-ufol-grounding: Mechanized verification benchmark and OWL profile for ODRL grounded in UFO-L
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations
Daham-Mustaf/odrl-ufol-grounding: Mechanized verification benchmark and OWL profile for ODRL grounded in UFO-L
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations
Direct control of magnetic chirality in NdMn2O5 by external electric field
2020 Physical review. B./Physical review. B article Materials Science Multiferroics and related materials Open access

I.A. Zobkalo, A. N. Matveeva, Andrew Sazonov, Sergey N. Barilo, S. V. Shiryaev, Bjørn Pedersen, +1 more

6

citations
Magnetic Phases and Chirality Control in Magnetic Multiferroics Nd0.8Tb0.2Mn₂O₅ by the Neutron Scattering
2021 IEEE Transactions on Magnetics article Materials Science Multiferroics and related materials

I.A. Zobkalo, Sergey Gavrilov, A. N. Matveeva, Andrew Sazonov, Sergey N. Barilo, S. V. Shiryaev, +1 more

2

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 Lecture notes in computer science conference-paper Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Daham Mohammed Mustafa, Diego Collarana, Sabrina Kirrane, Christoph Lange, Christoph Quix, Rafiqul Haque, +2 more

0

citations
What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
2026 arXiv (Cornell University) preprint Computer Science Multi-Agent Systems and Negotiation Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations
Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
2026 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Daham Mohammed Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, +1 more

0

citations
What Does ODRL Mean? A Cross-Level Ontological Grounding of Permissions, Prohibitions, and Duties in UFO-L
2026 Frontiers in artificial intelligence and applications book-chapter Computer Science Multi-Agent Systems and Negotiation Open access

Daham Mohammed Mustafa, Christoph Lange, Giancarlo Guizzardi, Diego Collarana, Christoph Quix, Stefan Decker

0

citations

15 results