From

Institution

Field

Type

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

Reset

Papers matching “transitivity” 238

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
An Approach to Colour Morphological Supremum Formation using the LogSumExp Approximation
2023 arXiv (Cornell University) preprint Computer Science Digital Image Processing Techniques Open access

Marvin Kahra, Michael Breuß, Andreas Kleefeld, Martin Welk

0

citations
Netherlands Cryptolands; Starting point of the crypto-communications roadmap: an overview of 4 important developments in cryptography
2021 Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands other Computer Science Cryptography and Data Security Open access

Y. Meijaard, M. Heesch, R.J.F. (Ronald) Cramer, J. (Jelger) Groenland

0

citations
An Approach to Colour Morphological Supremum Formation Using the LogSumExp Approximation
2024 Lecture notes in computer science conference-paper Computer Science Digital Image Processing Techniques

Marvin Kahra, Michael Breuß, Andreas Kleefeld, Martin Welk

2

citations
GERALD: A novel dataset for the detection of German mainline railway signals
2023 Proceedings of the Institution of Mechanical Engineers Part F Journal of Rail and Rapid Transit article Computer Science Advanced Neural Network Applications

Philipp Leibner, Christian Schindler

16

citations
Two-step and explosive synchronization in frequency-weighted Kuramoto model
2024 Physica D Nonlinear Phenomena article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Sara Ameli, Keivan Aghababaei Samani

6

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
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
Robust Shielding for Safe Reinforcement Learning
2026 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Edwin Hamel-De le Court, Thom Badings, Alessandro Abate, Francesco Belardinelli, Francesco Fabiano

0

citations
Just Trading Opportunists? How Crypto Token Airdrops Shape Platform Contributions
2026 Academy of Management Proceedings conference-abstract Computer Science Open Source Software Innovations

Georg Schiffner, Patrick Pollok

0

citations
The Participant Journey Map: Understanding the Design of Interactive Augmented Play Spaces
2021 Frontiers in Computer Science article Computer Science Innovative Human-Technology Interaction Open access

Danića Mast, Sanne I. de Vries, Joost Broekens, Fons J. Verbeek

12

citations
Handheld Tools Unleashed: Mixed-Initiative Physical Sketching with a Robotic Printer
2023 CHI Conference on Human Factors in Computing Systems conference-paper Computer Science Interactive and Immersive Displays Open access

Narjes Pourjafarian, Fjolla Mjaku, Marion Koelle, Martin Schmitz, Jan Borchers, Jürgen Steimle

9

citations
Requirements for Playbook-Assisted Cyber Incident Response, Reporting and Automation
2024 Digital Threats Research and Practice article Computer Science Information and Cyber Security Open access

Mehdi Akbari Gurabi, Lasse Nitz, Andrej Bregar, Jan Popanda, Christian Siemers, Roman Matzutt, +1 more

9

citations
Deep Model-Based Reinforcement Learning for High-Dimensional Problems, a Survey
2020 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Aske Plaat, Walter A. Kosters, Mike Preuß

6

citations
LD-PA: Distilling Univariate Leakage for Deep Learning-Based Profiling Attacks
2024 IEEE Transactions on Information Forensics and Security article Computer Science Cryptographic Implementations and Security

Changcheng Xiao, Ming Tang, Sengim Karayalçın, Wei Cheng

5

citations
Period tripling due to Josephson parametric down-conversion beyond the rotating-wave approximation
2022 Physical review. B./Physical review. B article Computer Science Quantum Information and Cryptography Open access

Lisa Arndt, Fabian Hassler

4

citations
Companions and an Essential Motion of a Reaction System
2020 Fundamenta Informaticae article Computer Science semigroups and automata theory

Daniela Genova, Hendrik Jan Hoogeboom, Nataša Jonoska

0

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
Efficient Lookahead Encoding and Abstracted Width for Learning General Policies in Classical Planning
2026 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Michael Aichmüller, Simon Ståhlberg, Martin Funkquist, Hector Geffner

0

citations
Phase Transitions in Attention: A Bayesian Theory of Copy Head Emergence
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Itay Lavie, Kirsten Fischer, Andrey Lekov, Frederic Van Maele, Zohar Ringel, Moritz Helias

0

citations
Modelling of two-scale contact - Investigation of leakage in polymer seals at cryogenic temperatures
2022 European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS) conference-paper Computer Science Contact Mechanics and Variational Inequalities Open access

K. Martin, J. Waimann, Stefanie Reese

0

citations
Companions and an Essential Motion of a Reaction System
2020 IOS Press eBooks book-chapter Computer Science semigroups and automata theory

Daniela Genova, Hendrik Jan Hoogeboom, Nataša Jonoska

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
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