Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by André de Matos Pedro
Monitoring for a Decidable Fragment of MTL- $$\Int $$
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Calculus of Constituents: A Decidable Fragment of Second Order PL
Journal of Automatic Control
A Decidable Analysis of Security Protocols
A Survey on Decidable Equivalence Problems for Tree Transducers
International Journal of Foundations of Computer Science
Computer Science
Decidable Containment of Recursive Queries
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammars
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Role of MTL-1, MTL-2, and CDR-1 in Mediating CadmiumSensitivity in Caenorhabditis Elegans
Toxicological Sciences
Toxicology
Decidable Problems for Probabilistic Automata on Infinite Words
Decidable Description Logics of Context With Rigid Roles
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decidable Relationships Between Consistency Notions for Constraint Satisfaction Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
