From

Institution

Field

Type

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

Reset

Papers matching “axiomatization” 19

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Dynamic Separation Logic
2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
The Logic of Separation Logic: Models and Proofs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

1

citations
A General Completeness Theorem for Skip-Free Star Algebras
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Tobias Kappé, Todd Schmid

1

citations
StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

0

citations
Axiomatizing Nuclides in ChEBI
2026 other Computer Science Semantic Web and Ontologies Open access

Charles Tapley Hoyt

0

citations
Axiomatizing Nuclides in ChEBI
2026 other Computer Science Semantic Web and Ontologies Open access

Charles Tapley Hoyt

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Tackling Intrinsic Antibiotic Resistance in Serratia marcescens with a Combination of Ampicillin/Sulbactam and Phage SALSA
2020 Antibiotics article Environmental Science Bacteriophages and microbial interactions Open access

Lorenz Weber, Mathias Jansen, Alex Krüttgen, Eva Miriam Buhl, Hans‐Peter Horz

20

citations
Properties of Group Fairness Measures for Rankings
2024 ACM Transactions on Social Computing article Social Sciences Ethics and Social Impacts of AI Open access

Tobias Schumacher, Marlene Lutz, Sandipan Sikdar, Markus Strohmaier

6

citations
Hydrodynamics without boost-invariance from kinetic theory: From perfect fluids to active flocks
2025 SciPost Physics article Physics and Astronomy High-Energy Particle Collisions Research Open access

Kevin T. Grosvenor, Niels A. Obers, Subodh P. Patil

4

citations
Asymptotic quantification of entanglement with a single copy
2026 Nature Physics article Computer Science Quantum Information and Cryptography Open access

Ludovico Lami, Mario Berta, Bartosz Regula

4

citations
Axiomatic Design for Analysis and Noniterative Engineering of Photoelectrochemical Cells for CO2 Conversion at High Photon to Product Yield
2025 Artificial photosynthesis. article Energy CO2 Reduction Techniques and Catalysts Open access

Suzanne Assen, G. J. A. Sevink, Huub J. M. de Groot

1

citations
Report on 2501.00025v2
2025 peer-review Mathematics Gas Dynamics and Kinetic Theory Open access

0

citations
A Logic of Only-Believing over Arbitrary Probability Distributions
2023 Adaptive Agents and Multi-Agents Systems conference-paper Computer Science Logic, Reasoning, and Knowledge

Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer

0

citations
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
2026 ACM Transactions on Computational Logic article Computer Science Logic, programming, and type systems Open access

Dominique Unruh, Benoît Valiron, Mingsheng Ying

0

citations
Axiomatizing Atomic Numbers in ChEBI
2026 other Computer Science Semantic Web and Ontologies Open access

Charles Tapley Hoyt

0

citations
Axiomatizing Atomic Numbers in ChEBI
2026 other Computer Science Semantic Web and Ontologies Open access

Charles Tapley Hoyt

0

citations
Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
2023 Research Square preprint Computer Science Logic, Reasoning, and Knowledge Open access

Radhakrishnan Delhibabu

0

citations
Revisiting the Coupling of Thermodynamics and Electromagnetics
2026 arXiv (Cornell University) preprint Physics and Astronomy Quantum and Classical Electrodynamics Open access

Stefanie Braun, Henning Struchtrup, Manuel Torrilhon

0

citations

19 results