Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Tijs Slaats
Type Checking Liveness for Collaborative Processes With Bounded and Unbounded Recursion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Unbounded-2-Bounded: A Two-Phase Approximation for Model Checking Unbounded Until Properties of Probabilistic Systems
Monitor Circuits for LTL With Bounded and Unbounded Future
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Dimensionality of Niche Space Allows Bounded and Unbounded Processes to Jointly Influence Diversification
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
Model Checking Liveness Properties of Genetic Regulatory Networks
Breaking ofPTSymmetry in Bounded and Unbounded Scattering Systems
Physical Review X
Astronomy
Physics
Kolmogorov’s Equations for Jump Markov Processes With Unbounded Jump Rates
Annals of Operations Research
Management Science
Decision Sciences
Operations Research
A Direct Algorithm for Multi-Valued Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Characterizations of Time-Bounded Computations by Limited Primitive Recursion
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
