Manuel Mazo Jr.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. | Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya |
| 2011 | DCOSS | Self-triggered control over wireless sensor and actuator networks. | Jos Araujo, Adolfo Anta Martinez, Manuel Mazo Jr., Joo Faria, Aitor Hernandez, Paulo Tabuada, Karl Henrik Johansson |
| 2010 | CAV | PESSOA: A Tool for Embedded Controller Synthesis. | Manuel Mazo Jr., Anna Davitian, Paulo Tabuada |
| 2004 | ICRA | Multi-robot Tracking of a Moving Object Using Directional Sensors. | Manuel Mazo Jr., Alberto Speranzon, Karl Henrik Johansson, Xiaoming Hu |