Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frédéric Herbreteau
Decidable Topologies for Communicating Automata With FIFO and Bag Channels
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient On-The-Fly Emptiness Check for Timed Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Decidable Problems for Probabilistic Automata on Infinite Words
Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
GOTICA - Generation of Optimal Topologies by Irregular Cellular Automata
Structural and Multidisciplinary Optimization
Control
Systems Engineering
Computer Graphics
Optimization
Computer Science Applications
Computer-Aided Design
Software
Communicating on MIMO Channels With Covariance Information: Antenna Correlation and Coupling
Communicating With Waves Between Volumes: Evaluating Orthogonal Spatial Channels and Limits on Coupling Strengths
Applied Optics
Decidable Description Logics of Context With Rigid Roles
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Decidable Containment of Recursive Queries
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Communicating With Patients
