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 “behavioral equivalence” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

1

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Strongly Coupled Simulation of Magnetic Rigid Bodies
2024 Computer Graphics Forum article Computer Science Computer Graphics and Visualization Techniques Open access

Lukas Westhofen, José Antonio Fernández-Fernández, Stefan Rhys Jeske, Jan Bender

6

citations
Beyond words: The impact of static and animated faces as visual cues on memory performance and listening effort during two-talker conversations
2026 Acta Psychologica article Computer Science Speech and Audio Processing Open access

Chinthusa Mohanathasan, Plamenna Borisova Koleva, Jonathan Ehret, Andrea Bönsch, Janina Fels, Torsten Kuhlen, +1 more

0

citations
Quantifying Model Uncertainty with AutoML and Rashomon Partial Dependence Profiles: Enabling Trustworthy and Human-centered XAI
2026 Information Systems Frontiers article Computer Science Explainable Artificial Intelligence (XAI) Open access

Mustafa Çavuş, Jan N. van Rijn, Przemysław Biecek

0

citations

5 results