James Ortiz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCAI | Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions. | Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz |
| 2023 | ICST | MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. | Jaime Cuartas, Jess Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens |