Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alex Klinkhamer
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes
IEEE Transactions on Software Engineering
Software
Related publications
Self-Stabilizing Ring Orientation Using Constant Space
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Constant-Space P Systems With Active Membranes
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Parameterized Synthesis
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Self-Stabilizing Fault Tolerance Distributed Cyber Physical Systems
Annals of DAAAM and Proceedings of the International DAAAM Symposium
Control
Systems Engineering
Industrial
Mechanical Engineering
Electronic Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
Discovering Parameter Values by Measuring Self-Similar Structures in the Phase-Space of Dissipative Systems With Constant Jacobian
Europhysics Letters
Astronomy
Physics
Self-Stabilizing Philosophers With Generic Conflicts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Space Complexity of Parameterized Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Topology Synthesis of Distributed Actuation Systems for Morphing Wing Structures
Journal of Aircraft
Aerospace Engineering
