From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “parallelism” 547

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

MetaHOPE: A Metaphor-Oriented Evaluation Framework for Analysing MT and LLM Translation Errors
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Jiahui Liang, Lifeng Han

0

citations
Weisfeiler-Leman Indistinguishability of Graphons
2021 RWTH Publications (RWTH Aachen) article Computer Science Advanced Graph Theory Research Open access

Jan Böker

0

citations
A Compressed $$\varSigma $$-Protocol Theory for Lattices
2021 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Ronald Cramer, Lisa Kohl

75

citations
Fiat-Shamir Transformation of Multi-round Interactive Proofs
2022 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Fehr, Michael Klooß

56

citations
Fiat–Shamir Transformation of Multi-Round Interactive Proofs (Extended Version)
2023 Journal of Cryptology article Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Fehr, Michael Klooß

15

citations
DataRaceOnAccelerator – A Micro-benchmark Suite for Evaluating Correctness Tools Targeting Accelerators
2020 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

Adrian Schmitz, Joachim Protze, Lechen Yu, Simon Schwitanski

10

citations
Fundamentals of Software Engineering
2023 Lecture notes in computer science conference-paper Computer Science Software Engineering Techniques and Practices

Hossein Hojjat, Erika Ábrahám

9

citations
Generalized Special-Sound Interactive Proofs and Their Knowledge Soundness
2023 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Thomas Attema, Serge Fehr, Nicolas Resch

8

citations
MPI-BugBench: A Framework for Assessing MPI Correctness Tools
2024 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques Open access

Tim Jammer, Emmanuelle Saillard, Simon Schwitanski, Joachim Jenke, Radjasouria Vinayagame, Alexander Hück, +1 more

8

citations
Improved Single-Round Secure Multiplication Using Regenerating Codes
2021 Lecture notes in computer science conference-paper Computer Science Cryptography and Data Security Open access

Mark Abspoel, Ronald Cramer, Daniel E. Escudero, Ivan Damgård, Chaoping Xing

7

citations
Multiprocessor jobs, preemptive schedules, and one-competitive online algorithms
2023 Operations Research Letters article Computer Science Optimization and Search Problems

Jiřı́ Sgall, Gerhard J. Woeginger

4

citations
On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work
2021 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Kai-Min Chung, Serge Fehr, Yu‐Hsuan Huang, Tai-Ning Liao

3

citations
Verifying MPI API Usage Requirements with Contracts
2025 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

Yussur Mustafa Oraji, Simon Schwitanski, Alexander Hück, Joachim Jenke, Sebastian Kreutzer, Christian H Bischof

2

citations
A Decision Diagram Operation for Reachability
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Sebastiaan Brand, Thomas Bäck, Alfons Laarman

2

citations
Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead
2025 conference-paper Computer Science Software Testing and Debugging Techniques

Yussur Mustafa Oraji, Simon Schwitanski, Semih Burak, Christian H Bischof, Matthias Mueller

1

citations
Challenges in Understanding Metadata Performance: A Case of Metadata Analysis Using Score-P
2024 IEEE International Conference on Cluster Computing Workshops (CLUSTER Workshops) conference-paper Computer Science Advanced Data Storage Technologies

Boris Kosmynin, Radita Liem

1

citations
Incremental Property Directed Reachability
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Max Blankestijn, Alfons Laarman

1

citations
Code and experiment data of the SoCS 2026 paper "Parallelizing Classical Planning: Critical Path Heuristics on the GPU"
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science AI-based Problem Solving and Planning Open access

Markus Fritzsche, David Speck, Daniel Gnad, Simon Ståhlberg

0

citations
GP-GOMEA with GPU-Based Fitness Evaluations: Design and Performance Analysis
2026 Lecture notes in computer science conference-paper Computer Science Evolutionary Algorithms and Applications Open access

Jasper Post, Johannes Koch, Anton Bouter, Tanja Alderliesten, Peter A. N. Bosman

0

citations
Diagnostic Expert Advisor
2023 SSRN Electronic Journal preprint Computer Science Machine Learning in Healthcare Open access

Richard Polzin, Sebastian Johannes Fritsch, Konstantin Sharafutdinov, Gernot Marx, Andreas Schuppert

0

citations
Towards an Optimal IO500 Configuration: Literature Meets Empirical Evaluation
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Advanced Data Storage Technologies Open access

0

citations
Code and experiment data of the SoCS 2026 paper "Parallelizing Classical Planning: Critical Path Heuristics on the GPU"
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science AI-based Problem Solving and Planning Open access

Markus Fritzsche, David Speck, Daniel Gnad, Simon Ståhlberg

0

citations
Prolog
2025 Springer eBooks book-chapter Computer Science Quantum Computing Algorithms and Architecture

Johannes Knörzer, Patrick Emonts

0

citations
Towards an Optimal IO500 Configuration: Literature Meets Empirical Evaluation
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Advanced Data Storage Technologies Open access

0

citations
Beyond Concurrent Separation Logic: Who is Afraid of Completeness Proofs?
2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

Frank S. de Boer, Hans-Dieter A. Hiep

0

citations