Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcus Nilsson
Transitive Closures of Regular Relations for Verifying Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On the Geometry of Orbit Closures for Representation-Infinite Algebras
Glasgow Mathematical Journal
Mathematics
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deadlock-Free Discrete Controller Synthesis for Infinite State Systems
Reachability Analysis for Some Models of Infinite-State Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
Verifying Computations With State
Inverses of Infinite Sign Regular Matrices
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
The State Space Isomorphism Theorem for Discrete-Time Infinite-Dimensional Systems
Integral Equations and Operator Theory
Number Theory
Analysis
Algebra
On ≪i>k</I>-Transitive Closures of Directed Paths
Advances in Pure Mathematics
