A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “type locality” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

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

0

citations
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Artifact Evaluation)
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

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

0

citations
SuperElastix/elastix: 5.3.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Medical Image Segmentation Techniques Open access

Niels Dekker, Marius Staring, Stefan Klein, Kasper Marstal, Coert Metz, Denis P. Shamonin, +24 more

0

citations
qutil
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

0

citations
qutil
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Tobias Hangleiter, Simon Humpohl, Paul Surrey, Han Na We

0

citations

5 results