From

Institution

Field

Type

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

Reset

Papers matching “dependence logic” 97

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 Physics and Astronomy Quantum Mechanics and Applications Open access

Rafael Albert, Erich Grädel

0

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
Historical Roots of Hospital Nursing Centrism in China (1835–Present): A Path Dependence Analysis
2026 International Nursing Review article Nursing Nursing Education, Practice, and Leadership Open access

Jackie Zhanbiao Li, Duo Wang, Huohuo Dai, Xin Li, Yingqian Lao

7

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 Moscow Journal of Combinatorics and Number Theory article Computer Science Logic, Reasoning, and Knowledge Open access

7

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

citations
Ge(Sn)-based vertical gate-all around nanowire MOSFETs and inverters for low power logic
2021 RWTH Publications (RWTH Aachen) dissertation Engineering Advancements in Semiconductor Devices and Circuit Design 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
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
Logic-gated antibody pairs that selectively act on cells co-expressing two antigens
2022 Nature Biotechnology article Medicine Monoclonal and Polyclonal Antibodies Research Open access cited by 7 patents

Simone C. Oostindie, Derek A. Rinaldi, Gijs G. Zom, Michael J. Wester, Desiree Paulet, Kusai Al-Tamimi, +14 more

49

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
Preservation Theorems in Semiring Semantics
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Algebra and Logic 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 Advanced Algebra and Logic 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 Advanced Algebra and Logic 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 Environmental Science Sustainability and Climate Change Governance Open access

Miriam Klein

0

citations
Datenintegration und Metadatenmanagement in Data Lakes
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Database Systems and Queries Open access

Rihan Hai

2

citations
Locality Theorems in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic 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
How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

A. Soeteman, Michael Benedikt, Martin Grohe, Balder ten Cate

0

citations
Enhancing the Effectiveness of Public Sector Performance Regimes: A Proposed Causal Model for Aligning Governance Design with Performance Logics
2023 Perspectives on Public Management and Governance article Social Sciences Public Policy and Administration Research Open access

Altaf Virani, Zeger van der Wal

34

citations
Towards Rule Extraction for Sector-Coupled Energy Systems Based on Optimization Models
2023 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization Open access

David Wackerbauer, Dirk Müller

1

citations
Gestaltungsrahmen zur reifegradbasierten Ableitung und Priorisierung der Circular-Economy-Strategie unter Unsicherheitsfaktoren für produzierende Unternehmen
2026 RWTH Publications (RWTH Aachen) dissertation Business, Management and Accounting Sustainable Supply Chain Management Open access

Dennis Kreutzer

0

citations