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 “predicate abstraction” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

IC3 for Loop Invariant Generation in Deductive Analysis
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Niklas van de Sand, Marcus Völker

0

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Mixture toxicity analysis in zebrafish embryo: a time and concentration resolved study on mixture effect predictivity
2020 Environmental Sciences Europe article Environmental Science Environmental Toxicology and Ecotoxicology Open access

Gianina Jakobs, Janet Krüger, Andreas Schüttler, Rolf Altenburger, Wibke Busch

27

citations
In Defence of “Serious Actualism”
2024 Grazer Philosophische Studien article Arts and Humanities Philosophical Ethics and Theory

Maria Elisabeth Reicher

0

citations

4 results