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 “representative days” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Inductive Synthesis for Probabilistic Programs Reaches New Horizons
2021 other Computer Science Formal Methods in Verification

Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen

2

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Computer Science Psychiatry, Mental Health, Neuroscience Open access

Eric Horvitz

0

citations

2 results