Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Tim A.C. Willemse

Invariants for Parameterised Boolean Equation Systems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2010English

Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2006English

Related publications

Solving Disjunctive/Conjunctive Boolean Equation Systems With Alternating Fixed Points

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Constructing Invariants for Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Local Unitary Invariants for Multipartite Quantum Systems

Communications in Theoretical Physics
AstronomyPhysics
2014English

Incremental Generation of Linear Invariants for Component-Based Systems

2013English

Structural Invariants of Two-Dimensional Systems

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2012English

Structural Invariants of 2-D Systems**

IFAC Proceedings Volumes
2011English

Perturbation to Noether Symmetries and Adiabatic Invariants for Birkhoffian Systems

Mathematical Problems in Engineering
MathematicsEngineering
2015English

Parameterised Structured Light Imaging for Depth Edge Detection

Electronics Letters
Electronic EngineeringElectrical
2010English

Symplectic Invariants for Parabolic Orbits and Cusp Singularities of Integrable Systems

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy