From

Institution

Field

Type

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

Reset

Papers matching “state system” 553

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Buffer Sizes Reduction for Memory-efficient CNN Inference on Mobile and Embedded Devices
2020 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Advanced Neural Network Applications Open access

Svetlana Minakova, Todor P. Stefanov

10

citations
Explaining Boolean-Logic Driven Markov Processes using GSPNs
2020 European Dependable Computing Conference conference-paper Computer Science Petri Nets in System Modeling

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

5

citations
Parallel Golomb-Rice Decoder with 8-bit Unary Decoding for Weight Compression in TinyML Applications
2023 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Advanced Data Compression Techniques

Mounika Vaddeboina, Endri Kaja, Alper Yilmayer, Sebastian Siegfried Prebeck, Wolfgang Ecker

2

citations
A Compact 1,257-Gbps/W Byte-Serial AES Accelerator for IoT Applications in 22 nm
2023 IEEE Asian Solid-State Circuits Conference (A-SSCC) conference-paper Computer Science Cryptographic Implementations and Security

Shutao Zhang, Malte Wabnitz, Tobias Gemmeke

6

citations
Novel Bloom filter algorithms and architectures for ultra-high-speed network security applications
2020 Euromicro Conference on Digital System Design (DSD) conference-paper Computer Science Network Packet Processing and Optimization Open access

Arish Sateesan, Jo Vliegen, Joan Daemen, Nele Mentens

17

citations
The probabilistic termination tool amber
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács

5

citations
Integrating ADTs in KeY and their application to history-based reasoning about collection
2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

1

citations
Use-Case Studie eines auf der Nutzung von Handlungsfehlern basierenden AR-Lernsystems zur kritischen Reflexion der technischen Umsetzbarkeit
2020 Qucosa (Saxon State and University Library Dresden) conference-paper Computer Science Augmented Reality Applications Open access

Alexander Atanasyan, Jan-Phillip Herrmann, Martin Frenz, Marvin Goppold, Thilo Gamber, Sven M. Tackenberg

1

citations
Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
2026 arXiv (Cornell University) preprint Computer Science Petri Nets in System Modeling Open access

Thomas M. Prinz, Christopher T. Schwanen, Wil M. P. van der Aalst

0

citations
Artificial Intelligence for Diagnostic Support in Neuropathology
2026 Qucosa (Saxon State and University Library Dresden) dissertation Computer Science AI in cancer detection Open access

Katherine J. Hewitt

0

citations
Artificial General Intelligence (AGI)
2025 Underline Science Inc. other Computer Science Psychiatry, Mental Health, Neuroscience Open access

Eric Horvitz

0

citations
Dynamical systems and paradigms for bio-inspired computing
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Nonlinear Dynamics and Pattern Formation Open access

Pezhman Ebrahimzadeh

0

citations
Rapid Mixing of Quantum Gibbs Samplers for Weakly-Interacting Quantum Systems
2025 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Mario Berta, Roberto Bondesan

1

citations
Constant-time equilibration of observables under rapid Lindbladian dynamics
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Richard Meister, Mario Berta, Roberto Bondesan

0

citations
Encoding strongly-correlated many-boson wavefunctions on a photonic quantum computer: application to the attractive Bose-Hubbard model
2021 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Saad Yalouz, Bruno Senjean, Filippo M. Miatto, Vedran Dunjko

9

citations
Solarstrahlungs-Kürzestfrist-Vorhersagesystem für die Ertragsoptimierung eines Parabolrinnenkraftwerks
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Solar Radiation and Photovoltaics Open access

Bijan Nouri

1

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

9

citations
Comparing the Benefit of Synthetic Training Data for Various Automatic Speech Recognition Architectures
2021 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU) conference-paper Computer Science Speech Recognition and Synthesis Open access

Nick Rossenbach, Mohammad Zeineldeen, Benedikt Hilmes, Ralf Schlüter, Hermann Ney

4

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

0

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Javier Esparza, Vincent P. Grande

0

citations
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

citations
Linear Maps as Sufficient Criteria for Entanglement Depth and Compatibility in Many-Body Systems
2022 Open Systems & Information Dynamics article Computer Science Quantum Information and Cryptography Open access

Maciej Lewenstein, Guillem Müller-Rigat, Jordi Tura, Anna Sanpera

4

citations
Polynomial-time quantum Gibbs sampling for the weak and strong coupling regime of the Fermi-Hubbard model at any temperature
2025 Nature Communications article Computer Science Quantum Computing Algorithms and Architecture Open access

Štěpán Šmíd, Mario Berta, Roberto Bondesan

6

citations
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

3

citations