Joo G. Martins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2019
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TABLEAUX | Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. | Joo G. Martins, Andr Platzer, Joo Leite |
| 2011 | ICFEM | Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. | Joo G. Martins, Andr Platzer, Joo Leite |
| 2011 | IJCAI | Social Abstract Argumentation. | Joo Leite, Joo G. Martins |