From

Institution

Field

Type

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

Reset

Papers matching “deterministic algorithms” 20

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Minimal History-Deterministic Co-Büchi Automata: Congruences and Passive Learning
2025 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science semigroups and automata theory Open access

Christof Löding, Igor Walukiewicz

3

citations
Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability
2025 conference-paper Computer Science Quantum Computing Algorithms and Architecture

L. Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille

0

citations
Experimental deterministic correction of qubit loss [1]
2021 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC) conference-paper Computer Science Quantum Computing Algorithms and Architecture

Roman Stricker, Davide Vodola, Alexander Erhard, Lukas Postler, M. Meth, Martin Ringbauer, +4 more

3

citations
Cow Path by Finite Agent: Time vs Pebbles
2026 Lecture notes in computer science conference-paper Computer Science Optimization and Search Problems

Stefan Dobrev, Rastislav Kráľovič, Richard Královič, Dana Pardubská, Peter Rossmanith

0

citations
Fast Equivalence Checking of Quantum Circuits of Clifford Gates
2023 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Dimitrios Thanos, Tim Coopmans, Alfons Laarman

11

citations
Interval-Constrained Bipartite Matching over Time
2025 Lecture notes in computer science conference-paper Computer Science Optimization and Search Problems

Andreas Abels, Mariia Anapolska, Christina Büsing

0

citations
Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs
2025 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Muhammad Osama, Dimitrios Thanos, Alfons Laarman

0

citations
GPU based model-predictive path control for self-driving vehicles
2021 IEEE Intelligent Vehicles Symposium conference-paper Engineering Vehicle Dynamics and Control Systems

Eduard Chajan, Joschua Schulte-Tigges, Michael Reke, Alexander Ferrein, Dominik Matheis, Thomas J. Walter

9

citations
Reinforcement Learning-Based Control of a Hydraulic Press With Multiple Actuators
2023 ASME/BATH Symposium on Fluid Power and Motion Control (FPMC) conference-paper Computer Science Reinforcement Learning in Robotics

Faried Makansi, Jingkai Huang, Katharina Schmitz

2

citations
Simulation of strategic bidding for battery storage and e-mobility in local flexibility markets with multi-agent reinforcement learning
2022 IET conference proceedings. conference-paper Engineering Smart Grid Energy Management

J. Tran, L. Gajewski, P. Pfeifer, S. Krahl, A. Moser

0

citations
neuroAIx: FPGA Cluster for Reproducible and Accelerated Neuroscience Simulations of SNNs
2023 IEEE Nordic Circuits and Systems Conference (NorCAS) conference-paper Engineering Advanced Memory and Neural Computing

Kevin Kauth, Tim Stadtmann, Vida Sobhani, Tobias Gemmeke

8

citations
Learning One-Clock Timed Automata
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang

33

citations
Optimal Stopping of Batch Processes with Stochastic Dynamics – A Study of When to Act under Uncertainty
2026 Systems and Control Transactions conference-paper Economics, Econometrics and Finance Stochastic processes and financial applications Open access

Rafif S. Ramadhan, Luca Antonia Grebe, Maximilian Maschmeier, Johannes Pastoors, Eike Cramer

0

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
Towards verifiable Benchmarks for Reinforcement Learning
2022 IEEE Conference on Games (CoG) conference-paper Computer Science Reinforcement Learning in Robotics

Matthias Müller-Brockhausen, Aske Plaat, Mike Preuß

3

citations
Data-Driven Surrogate Models for Bearing Capacity of Spatially Random Soils
2024 conference-paper Engineering Geotechnical Engineering and Analysis

Hoang Nguyen, Hao Feng Xu, Xuzhen He, Xiaojun Chen, Rita Leal Sousa

3

citations
A First-Order Logic with Frames
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science semigroups and automata theory Open access

1

citations
Leakage-Free Probabilistic Jasmin Programs
2025 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

José Bacelar Almeida, Denis Firsov, Tiago Ribeiro De Oliveira, Dominique Unruh

0

citations
Design and Analysis of a Torque Controller for an IPMSM using Reinforcement Learning
2023 IEEE Transportation Electrification Conference and Expo, Asia-Pacific (ITEC Asia-Pacific) conference-paper Engineering Sensorless Control of Electric Motors

Hafsa Murtaza Kaboolio, Anne von Hoegen, Rik W. De Doncker, Nisai H. Fuengwarodsakul

0

citations
Leakage-Free Probabilistic Jasmin Programs
2025 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) conference-paper Computer Science Logic, programming, and type systems Open access

José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

0

citations

20 results