From

Institution

Field

Type

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

Reset

Papers matching “transition state” 89

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

End-To-End Training of a Neural HMM with Label and Transition Probabilities
2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU) conference-paper Computer Science Speech Recognition and Synthesis

Tina Raissi, Wilfried Michel, Ralf Schlüter, Hermann Ney

4

citations
End-to-End Training of a Neural HMM with Label and Transition Probabilities
2023 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Tina Raissi, Wilfried Michel, Ralf Schlüter, Hermann Ney

0

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations
Secure integration of 5G in industrial networks: State of the art, challenges and opportunities
2024 Future Generation Computer Systems article Computer Science Cybersecurity and Information Systems Open access

Sotiris Michaelides, Stefan Lenz, Thomas Vogt, Martin Henze

27

citations
Artificial intelligence in digital pathology of cutaneous lymphomas: A review of the current state and future perspectives
2023 Seminars in Cancer Biology article Computer Science AI in cancer detection Open access

Thom Doeleman, Liesbeth M. Hondelink, Maarten H. Vermeer, Marijke R. van Dijk, Anne M.R. Schrader

26

citations
Simulation of the 1d XY model on a quantum computer
2025 SciPost Physics Lecture Notes article Computer Science Quantum Computing Algorithms and Architecture Open access

Marc Farreras, Alba Cervera-Lierta

3

citations
Report on 2410.21143v2
2025 peer-review Computer Science Quantum Computing Algorithms and Architecture Open access

0

citations
Latticed k-Induction with an Application to Probabilistic Programs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer

21

citations
Safe Reinforcement Learning-Based Control for Hydrogen Diesel Dual-Fuel Engines
2025 IFAC-PapersOnLine article Computer Science Reinforcement Learning in Robotics Open access

Alexander Winkler, Armin Norouzi, Hongsheng Guo, Jakob Andert, David C. Gordon

3

citations
Safe Reinforcement Learning-based Control for Hydrogen Diesel Dual-Fuel Engines
2025 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Alexander Winkler, Armin Norouzi, Jakob Andert, David C. Gordon, Hongsheng Guo

0

citations
Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Maurice Laveaux, Jan Martens

0

citations
Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Maurice Laveaux, Jan Martens

0

citations
Artifact for Faster Signature Refinement for Branching Bisimilarity Minimization
2025 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Maurice Laveaux, Jan Martens

0

citations
Noise-Aware Variational Eigensolvers: A Dissipative Route for Lattice Gauge Theories
2024 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Jesús Cobos, David F. Locher, A. Bermúdez, Markus Michael Müller, E. Rico

5

citations
Noise-aware variational eigensolvers: a dissipative route for lattice gauge theories
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

David F. Locher, A. Bermúdez, Markus Michael Müller, E. Rico

0

citations
Analysing transitions from a Turing instability to large periodic patterns in a reaction-diffusion system
2023 Nonlinearity article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Christopher Andrew Brown, Gianne Derks, Peter van Heijster, David J. B. Lloyd

4

citations
The Role of Open-Source Software in the Energy Sector
2023 Energies article Computer Science Open Source Software Innovations Open access

Jonathan Klimt, Niklas Eiling, Felix Wege, Jonas Baude, Antonello Monti

9

citations
moves-rwth/storm: v1.12
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper)
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

6

citations
Quantum convolutional neural network for phase recognition in two dimensions
2025 Physical Review Research article Computer Science Quantum Computing Algorithms and Architecture Open access

Leon C. Sander, Nathan A. McMahon, Petr Zapletal, Michael J. Hartmann

3

citations
Proving Non-Termination by Acceleration Driven Clause Learning
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

2

citations
Structure-preserving Gaussian Process Dynamics
2021 RWTH Publications (RWTH Aachen) conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access

Katharina Ensinger, Friedrich Solowjow, Sebastian Ziesche, Sebastian Trimpe

1

citations
Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

0

citations
Quantum digital cooling
2021 Physical Review A article Computer Science Quantum Computing Algorithms and Architecture Open access

Stefano Polla, Yaroslav Herasymenko, Thomas E. O’Brien

33

citations
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
2024 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Dominik Drexler, Héctor Geffner

0

citations