From

Institution

Field

Type

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

Reset

Papers matching “dependence logic” 87

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence
2021 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Rafael Albert, Erich Grädel

0

citations
Separation logic and logics with team semantics
2021 Annals of Pure and Applied Logic article Computer Science Logic, programming, and type systems

Darion Haase, Erich Grädel, Richard Wilke

3

citations
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence
2022 Annals of Pure and Applied Logic article Physics and Astronomy Quantum Mechanics and Applications Open access

Rafael Albert, Erich Grädel

9

citations
A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

2

citations
A First-Order Logic with Frames
2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

6

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

13

citations
Provenance analysis for logic and games
2020 Moscow Journal of Combinatorics and Number Theory article Decision Sciences Scientific Computing and Data Management Open access

7

citations
Ge(Sn)-based vertical gate-all around nanowire MOSFETs and inverters for low power logic
2021 RWTH Publications (RWTH Aachen) dissertation Engineering Nanowire Synthesis and Applications Open access

Mingshan Liu

1

citations
Experimental Verification and Evaluation of Non-Stateful Logic Gates in Resistive RAM
2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing Open access

Leon Brackmann, Tobias Ziegler, Dirk J. Wouters, Stephan Menzel

7

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Erich Grädel, Val Tannen

1

citations
A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Engineering Safety Systems Engineering in Autonomy

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

citations
Explaining Boolean-Logic Driven Markov Processes using GSPNs
2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic
2023 IEEE Interregional NEWCAS Conference (NEWCAS) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security

Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more

3

citations
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access

Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more

0

citations
Logics with Multiteam Semantics
2022 ACM Transactions on Computational Logic article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Richard Wilke

8

citations
Logics with Multiteam Semantics
2020 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

0

citations
On the Presburger fragment of logics with multiteam semantics
2022 Annals of Pure and Applied Logic article Computer Science Logic, Reasoning, and Knowledge

Richard Wilke

1

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Preservation Theorems in Semiring Semantics
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Regimestabilität und raumbezogene Beharrungskräfte in etablierten Agri-Food Systemen : (kein) Wandel in der deutschen Schweinefleischbranche?
2026 RWTH Publications (RWTH Aachen) dissertation Agricultural and Biological Sciences Agricultural Economics and Policy Open access

Miriam Klein

0

citations
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Semantic Web and Ontologies Open access

Sophie Brinke, Anuj Dawar, Erich Grädel, Benedikt Pago

0

citations
Datenintegration und Metadatenmanagement in Data Lakes
2020 RWTH Publications (RWTH Aachen) dissertation Earth and Planetary Sciences Environmental Monitoring and Data Management Open access

Rihan Hai

2

citations
Locality Theorems in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Clotilde Bizière, Erich Grädel, Matthias Naaf

0

citations
Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

8

citations