Mario Romn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Resourceful Traces for Commuting Processes. | Matthew Earnshaw, Chad Nester, Mario Romn |
| 2025 | CALCO | Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2025 | FOSSACS | Context-Free Languages of String Diagrams. | Matt Earnshaw, Mario Romn |
| 2025 | LICS | Effectful Mealy Machines: Bisimulation and Trace. | Filippo Bonchi, Elena Di Lavore, Mario Romn |
| 2024 | CSL | The Produoidal Algebra of Process Decomposition. | Matt Earnshaw, James Hefford, Mario Romn |
| 2023 | LICS | Evidential Decision Theory via Partial Markov Categories. | Elena Di Lavore, Mario Romn |
| 2022 | LICS | Monoidal Streams for Dataflow Programming. | Elena Di Lavore, Giovanni de Felice, Mario Romn |
| 2016 | CEC | A comparison of implementations of basic evolutionary algorithm operations in different languages. | Juan Julin Merelo Guervs, Israel Blancas-Alvarez, Pedro A. Castillo, Gustavo Romero, Vctor M. Rivas, Mario Garca Valdez, Amaury Hernandez-Aguila, Mario Romn |
| 2016 | IJCCI | Ranking the Performance of Compiled and Interpreted Languages in Genetic Algorithms. | Juan Julin Merelo Guervs, Israel Blancas-Alvarez, Pedro A. Castillo, Gustavo Romero, Pablo Garca-Snchez, Vctor Manuel Rivas Santos, Mario Garca Valdez, Amaury Hernndez-guila, Mario Romn |