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 “path explosion” 5

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Software Testing and Debugging Techniques Open access

Daniel Schemmel, Julian Büning, César Rodríguez, Klaus Wehrle

15

citations
Alignment Approximation for Process Trees
2021 Lecture notes in business information processing conference-paper Business, Management and Accounting Business Process Modeling and Analysis Open access

9

citations
Preliminary results of Antimilos geology and volcanic hazard assessment
2022 Zenodo (CERN European Organization for Nuclear Research) conference-paper Earth and Planetary Sciences Geological and Geophysical Studies Open access

G. Vougioukalakis, C. Kanellopoulos, L. Francalanci, I. Koufogiannis

0

citations
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

12

citations
Investigating Influence of Complexity and Stressors on Human Performance during Remote Navigation of a Robot Plattform in a Virtual 3D Maze
2020 International Conference on Human System Interaction (HSI) conference-paper Psychology Human-Automation Interaction and Safety

Jochen Nelles, Matthias G. Arend, Alexander Mertens, Christopher Brandl, Verena Nitsch

1

citations

5 results