From

Institution

Field

Type

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

Reset

Papers matching “state system” 545

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
2023 ACM SIGPLAN International Conference on Software Language Engineering (SLE) conference-paper Computer Science Model-Driven Software Engineering Techniques

Malte Heithoff, Nico Jansen, Jörg Christian Kirchhof, Judith Michael, Florian Rademacher, Bernhard Rumpe⋆

4

citations
Simulation of Hybrid Reo Connectors
2020 conference-paper Computer Science Formal Methods in Verification

Ebrahim Ardeshir-Larijani, Alireza Farhadi, Farhad Arbab

3

citations
Variant and Product Line Co-Evolution
2020 Springer eBooks book-chapter Computer Science Advanced Software Engineering Methodologies Open access

Jörg Christian Kirchhof, Michael Nieke, Ina Schaefer, David Schmalzing, Michael Schulze

3

citations
Does Joint Training Really Help Cascaded Speech Translation?
2022 Conference on Empirical Methods in Natural Language Processing (EMNLP) conference-paper Computer Science Speech Recognition and Synthesis Open access

Viet Anh Tran, David Thulke, Yingbo Gao, Christian Herold, Hermann Ney

2

citations
Detecting Various Types of Noise for Neural Machine Translation
2022 Findings of the Association for Computational Linguistics: ACL 2022 conference-paper Computer Science Natural Language Processing Techniques Open access

Christian Herold, Jan Rosendahl, Joris Vanvinckenroye, Hermann Ney

2

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
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

2

citations
Towards a resource for multilingual lexicons: an MT assisted and human-in-the-loop multilingual parallel corpus with multi-word expression annotation
2020 Research Explorer (The University of Manchester) reference-entry Computer Science Natural Language Processing Techniques Open access

Lifeng Han

2

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

2

citations
A Systematic Literature Review on Process-Aware Recommender Systems
2021 arXiv (Cornell University) review Computer Science Recommender Systems and Techniques Open access

Mansoureh Yari Eili, Jalal Rezaeenour, Mohammadreza Fani Sani

1

citations
The Manchester Bees at PerAnsSumm 2025: Iterative Self-Prompting with Claude and o1 for Perspective-aware Healthcare Answer Summarisation
2025 Workshop on Patient-Oriented Language Processing (CL4Health) conference-paper Computer Science Topic Modeling Open access

Libo Ren, Lifeng Han, Goran Nenadić

1

citations
Towards a resource for multilingual lexicons: an MT assisted and human-in-the-loop multilingual parallel corpus with multi-word expression annotation
2026 Language Resources and Evaluation article Computer Science Natural Language Processing Techniques Open access

Lifeng Han, Najet Hadj Mohamed, Malak Rassem, Gareth J. F. Jones, Alan F. Smeaton, Goran Nenadić

1

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Serverless Snapshot-Resume Performance in the Real-World
2024 IEEE/ACM International Conference on Utility and Cloud Computing (UCC) conference-paper Computer Science Cloud Computing and Resource Management

Weikang Weng, Yuxuan Zhao, Rob V. van Nieuwpoort, Alexandru Uta

1

citations
Digital enhancement of speech perception in noisy environments
2020 The Journal of the Acoustical Society of America conference-abstract Computer Science Speech and Audio Processing

Peter Vary, Markus Niermann

1

citations
Noise tolerance via reinforcement: learning a reinforced quantum dynamics
2025 Journal of Statistical Mechanics Theory and Experiment article Computer Science Quantum Computing Algorithms and Architecture Open access

Abolfazl Ramezanpour

1

citations
FAIR Digital Objects: FAIRtilizer for the Digital Harvest
2025 EPiC series in computing conference-paper Computer Science Research Data Management Practices Open access

Marius Politze, Benedikt Heinrichs, Sirieam Hunke, Ilona Lang, Thomas Eifert

1

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
Does Joint Training Really Help Cascaded Speech Translation?
2022 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Viet Anh Tran, David Thulke, Yingbo Gao, Christian Herold, Hermann Ney

0

citations
Schedulable Job-Level Dependencies for Cause-Effect Chains via Graph Neural Networks
2026 arXiv (Cornell University) preprint Computer Science Real-Time Systems Scheduling Open access

Silviu S. Craciunas, Christian Hakert, Jian-Jia Chen, Zdeněk Hanzálek, Paul Pop

0

citations
Deductive reasoning about concurrent probabilistic programs
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Ira Fesefeldt

0

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Zen and the Art of Persistent Identifier Service Development for Digital Specimen
2022 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Sharif Islam, Soulaine Theocharides, Wouter Addink

0

citations
Research Infrastructure Contact Zones: A method to visualise and align the activities of major biodiversity informatics initiatives
2021 Biodiversity Information Science and Standards article Computer Science Research Data Management Practices Open access

Vincent Smith, Aino Juslén, Ana Casino, François Dusoulier, Dimitrios Koureas, Patricia Mergen, +3 more

0

citations
Memory-centric architectures for energy-efficient cryptographic hardware in edge applications
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Cryptographic Implementations and Security Open access

Shutao Zhang

0

citations