From

Institution

Field

Type

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

Reset

Papers matching “presentation order” 231

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Systematic Review of Cryptographic Indexing Schemes for Encrypted Scientific Databases: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Cryptography and Data Security Open access

Emily L. Thompson, Karl Schneider, Alexei Petrov

0

citations
A real-time auralization framework for scientific experiments
2023 The Journal of the Acoustical Society of America conference-abstract Computer Science Speech and Audio Processing

Lukas Aspoeck, Pascal Palenda, Janina Fels, Michael Vorländer

0

citations
Solution of Church's Problem: A Tutorial Wolfgang Thomas
2025 Routledge eBooks book-chapter Computer Science semigroups and automata theory Open access

Wolfgang Thomas

0

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

1

citations
Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Joost-Pieter Katoen

0

citations
Levelwise construction of a single cylindrical algebraic cell
2023 Journal of Symbolic Computation article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

10

citations
Side-channel countermeasures utilizing dynamic logic reconfiguration: Protecting AES/Rijndael and Serpent encryption in hardware
2020 Microprocessors and Microsystems article Computer Science Cryptographic Implementations and Security Open access cited by 3 patents

Petr Socha, Jan Brejník, Josep Balasch, Martin Novotný, Nele Mentens

8

citations
A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Goedgebeur, Jorik Jooken, Edita Máčajová, Davide Mattiolo, Giuseppe Mazzuoccolo, Nikolay Ulyanov

1

citations
Compilation of product-formula Hamiltonian simulation via reinforcement learning
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Lea M. Trenkwalder, Eleanor Scerri, Thomas E. O’Brien, Vedran Dunjko

1

citations
Stochastic Games with Lexicographic Reachability-Safety Objectives
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler

20

citations
Cylindrical algebraic decomposition for nonlinear arithmetic problems
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Gereon Kremer

5

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
Emerging FAIR Ecosystem(s): A Practical Perspective
2022 Research Ideas and Outcomes article Computer Science Research Data Management Practices Open access

Erik Schultes, Arofan Gregory, Barbara Magagna

1

citations
Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach

0

citations
Letterplace
2020 International Symposium on Symbolic and Algebraic Computation conference-paper Computer Science Polynomial and algebraic computation

Viktor Levandovskyy, Hans Schönemann, Karim Abou Zeid

10

citations
Levelwise construction of a single cylindrical algebraic cell
2022 RWTH Publications (RWTH Aachen) article Computer Science Polynomial and algebraic computation Open access

Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England

0

citations
Deterministic Execution of ROS 2 Applications via Lingua Franca
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Harun Teper, Shaokai Lin, Shulu Li, Edward A. Lee, Jian-Jia Chen

0

citations
Enhancing full-system simulation: techniques for maximizing performance and accuracy
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Parallel Computing and Optimization Techniques Open access

0

citations
Digitale Histopathologie
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science AI in cancer detection Open access

Daniel Bug

0

citations
Application of time series data mining for the prediction of transition times in production
2020 Procedia CIRP article Computer Science Time Series Analysis and Forecasting Open access

Günther Schuh, Andreas Gützlaff, Frederick Sauermann, Theresa Theunissen

9

citations
Cost Minimizing Local Anisotropic Quad Mesh Refinement
2020 Computer Graphics Forum article Computer Science Computational Geometry and Mesh Generation Open access

David Bommes, Leif P. Kobbelt

6

citations
SymX: Energy-based Simulation from Symbolic Expressions
2025 ACM Transactions on Graphics article Computer Science Computer Graphics and Visualization Techniques Open access

José Antonio Fernández-Fernández, Fabian Löschner, Lukas Westhofen, Andreas Longva, Jan Bender

2

citations
Optimizing Automatic Differentiation with Deep Reinforcement Learning
2024 JuSER (Forschungszentrum Jülich) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Jamie Lohoff, Emre Neftci

2

citations
Linguistic Enrichment of Historical Dutch using Deep Learning
2020 Computational Linguistics in the Netherlands Journal article Computer Science Natural Language Processing Techniques Open access

Silke Creten, Peter Dekker, Vincent Vandeghinste

0

citations
Error Mitigation via Verified Phase Estimation
2021 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 1 patent

Stefano Polla, Sam McArdle

73

citations