From

Institution

Field

Type

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

Reset

Papers matching “state system” 129

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Going Viral: The Social Credit System and COVID-19
2021 SSRN Electronic Journal preprint Computer Science COVID-19 Digital Contact Tracing Open access

Rogier J. E. H. Creemers

28

citations
ManQala: Game-Inspired Strategies for Quantum State Engineering
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Onur Danaci, Wenlei Zhang, William Djakam, Michaela Amoo, Ryan T. Glasser, Brian T. Kirby, +2 more

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
Verifying LTL for Infinite State Systems via Termination Analysis
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Lommen, Moritz Leven Rosarius, Jürgen Giesl

0

citations
The RWTH ASR System for TED-LIUM Release 2: Improving Hybrid HMM with SpecAugment
2020 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Wei Guo Zhou, Wilfried Michel, Kazuki Irie, Markus Kitza, Ralf Schlüter, Hermann Ney

1

citations
Fast and General Automatic Differentiation for Finite-State Methods
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lucas Ondel Yang, Tina Raissi, Martin Kocour, Pablo Riera, Caio Corro

0

citations
Strengths and Weaknesses of 3D Pose Estimation and Inertial Motion Capture System for Movement Therapy
2023 arXiv (Cornell University) preprint Computer Science Human Pose and Action Recognition Open access

Shawan Mohammed, Hannah Lena Siebers, Ted Preuß

0

citations
Spatial State-Action Features for General Games
2022 arXiv (Cornell University) preprint Computer Science Artificial Intelligence in Games Open access

Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson, Cameron Browne

0

citations
Metropolitan-scale heralded entanglement of solid-state qubits
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Arian Stolk, Kian L. van der Enden, Marie-Christine Slater, Ingmar te Raa, Pieter Botma, Joris van Rantwijk, +17 more

6

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Conformer-based Hybrid ASR System for Switchboard Dataset
2021 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Mohammad Zeineldeen, Jingjing Xu, Wilfried Michel, Alexander Gerstenberger, Ralf Schlüter, Hermann Ney

0

citations
End-to-end resource analysis for quantum interior point methods and portfolio optimization
2022 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Alexander M. Dalzell, B. D. Clader, Grant Salton, Mario Berta, Cedric Yen-Yu Lin, David A. Bader, +5 more

3

citations
Finite-Time Analysis of Natural Actor-Critic for POMDPs
2022 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Semih Çaycı, Niao He, R. Srikant

0

citations
CPN-Py: A Python-Based Tool for Modeling and Analyzing Colored Petri Nets
2025 preprint Computer Science Petri Nets in System Modeling Open access

Alessandro Berti, Wil M. P. van der Aalst

1

citations
Optimal Fidelity Estimation from Binary Measurements for Discrete and Continuous Variable Systems
2024 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Omar Fawzi, Aadil Oufkir, Robert Salzmann

0

citations
Experimental certification of multipartite Bell correlations using only few-body symmetric correlations
2026 arXiv (Cornell University) preprint Computer Science Quantum Information and Cryptography Open access

Jiacheng Sun, Mengyao Hu, Paweł Cieśliński, Jinfu Chen, Fei Shi, Bowen Wang, +5 more

0

citations
Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alessandro Riccardi, Thom Badings, Luca Laurenti, Alessandro Abate, Bart De Schutter

0

citations
Receding Horizon Control Using Graph Search for Multi-Agent Trajectory Planning
2021 preprint Computer Science Robotic Path Planning Algorithms Open access

Patrick Scheffe, Matheus V. A. Pedrosa, Kathrin Flaßkamp, Bassam Alrifaee

9

citations
Receding Horizon Control Using Graph Search for Multi-Agent Trajectory Planning
2021 preprint Computer Science Robotic Path Planning Algorithms Open access

Patrick Scheffe, Matheus V. A. Pedrosa, Kathrin Flaßkamp, Bassam Alrifaee

3

citations
Qubit-Efficient Randomized Quantum Algorithms for Linear Algebra
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Samson Wang, Sam McArdle, Mario Berta

2

citations
Receding Horizon Control Using Graph Search for Multi-Agent Trajectory Planning
2022 preprint Computer Science Robotic Path Planning Algorithms Open access

Patrick Scheffe, Matheus V. A. Pedrosa, Kathrin Flaßkamp, Bassam Alrifaee

0

citations
Convolutional Neural Networks as 2-D systems
2023 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Dennis Gramlich, Patricia Pauli, Carsten W. Scherer, Frank Allgöwer, Christian Ebenbauer

3

citations
A Rewriting Framework for Interacting Cyber-Physical Agents
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

0

citations
Simulating quantum error mitigation in fermionic encodings
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Riley W. Chien, Kanav Setia, Xavier Bonet-Monroig, Mark Steudtner, James Daniel Whitfield

5

citations
Integrability and chaos in the quantum brachistochrone problem
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Savvas Malikis, Vadim Cheianov

0

citations