Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Lambolais
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction
Related publications
Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Video Liveness Verification
International Journal of Trend in Scientific Research and Development
Modeling, Optimization, and Verification for Complex Systems
Mathematical Problems in Engineering
Mathematics
Engineering
Statistically Sound Verification and Optimization for Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
VeriAbs: Verification by Abstraction and Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Liveness Redux: On Media and Their Claim to Be Live
Media, Culture and Society
Communication
Sociology
Political Science
Designing Value Through Less by Integrating Sustainability Strategies Into Lifestyles
International Journal of Sustainable Design
Integrating Shape and Texture for Hand Verification
International Journal of Image and Graphics
Computer Science Applications
Pattern Recognition
Computer Vision
Computer Graphics
Computer-Aided Design
