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 “verification tools” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Introduction to the special issue for SPIN 2021
2023 International Journal on Software Tools for Technology Transfer editorial Computer Science Formal Methods in Verification Open access

Alfons Laarman

0

citations
Usage of Artificial Intelligence in Biomedical Publishing
2025 Archives of Molecular Biology and Genetics editorial Arts and Humanities Academic Writing and Publishing Open access

Ralf Weiskirchen, Amedeo

0

citations

2 results