From

Institution

Field

Type

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

Reset

Papers matching “proof simplification” 6

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Simplification and the level of protection—primary law limits and legislative discretion in the Food and Feed Safety Omnibus
2026 Environmental Sciences Europe article Agricultural and Biological Sciences Agricultural safety and regulations Open access

Kim Oelkers, Thomas Backhaus

1

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Philipp Schröer, Darion Haase, Joost-Pieter Katoen

1

citations
3D-CFD Study of Oblique Streamlining Membranes on the Roof-Top of a Low-Rise Building, Targeting Pedestrian Comfort-A Case Study
2020 Green Building & Construction Economics article Environmental Science Wind and Air Flow Studies Open access

Alireza Mani

1

citations
Density-based phase-field modeling of grain boundary segregation and structural transitions
2025 RWTH Publications (RWTH Aachen) dissertation Materials Science Solidification and crystal growth phenomena Open access

Theophilus Wallis

0

citations
Substrate topography as a powerful tool to modify glial cell biology and interactions
2024 Neural Regeneration Research article Neuroscience Nerve injury and regeneration Open access

Pascal Achenbach, Haktan Altinova, Gary Anthony Brook

0

citations

6 results