Mario Román

According to our database, Mario Román authored at least 30 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Monoidal categories graded by partial commutative monoids.

Matthew Earnshaw, Chad Nester, Mario Román

CoRR, March, 2026

Resourceful Traces for Commuting Processes.

Matthew Earnshaw, Chad Nester, Mario Román

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Order in Partial Markov Categories.

Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, July, 2025

Program Logics via Distributive Monoidal Categories.

Filippo Bonchi, Elena Di Lavore, Mario Román, Sam Staton

CoRR, July, 2025

Timing via Pinwheel Double Categories.

Elena Di Lavore, Mario Román

CoRR, April, 2025

Partial Markov Categories.

Elena Di Lavore, Mario Román, Pawel Sobocinski

CoRR, February, 2025

String Diagrams for Premonoidal Categories.

Mario Román, Pawel Sobocinski

Log. Methods Comput. Sci., 2025

Coinductive Streams in Monoidal Categories.

Elena Di Lavore, Giovanni de Felice, Mario Román

Log. Methods Comput. Sci., 2025

Effectful Mealy Machines: Bisimulation and Trace.

Filippo Bonchi, Elena Di Lavore, Mario Román

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Context-Free Languages of String Diagrams.

Matt Earnshaw, Mario Román

Proceedings of the Foundations of Software Science and Computation Structures, 2025

Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk).

Filippo Bonchi, Elena Di Lavore, Mario Román

Proceedings of the 11th Conference on Algebra and Coalgebra in Computer Science, 2025

2024

A Simple Formal Language for Probabilistic Decision Problems.

Elena Di Lavore, Bart Jacobs, Mario Román

CoRR, 2024

Monoidal Context Theory.

Mario Román

CoRR, 2024

Profunctor Optics, a Categorical Update.

Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román

Compositionality, 2024

The Produoidal Algebra of Process Decomposition.

Matt Earnshaw, James Hefford, Mario Román

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Span(Graph): a canonical feedback algebra of open transition systems.

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski

Softw. Syst. Model., April, 2023

Optics for Premonoidal Categories.

James Hefford, Mario Román

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Collages of String Diagrams.

Dylan Braithwaite, Mario Román

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Evidential Decision Theory via Partial Markov Categories.

Elena Di Lavore, Mario Román

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Promonads and String Diagrams for Effectful Categories.

Mario Román

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Cornering Optics.

Guillaume Boisseau, Chad Nester, Mario Román

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Monoidal Streams for Dataflow Programming.

Elena Di Lavore, Giovanni de Felice, Mario Román

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

A Canonical Algebra of Open Transition Systems.

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2020

Functorial Language Games for Question Answering.

Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Open Diagrams via Coend Calculus.

Mario Román

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Comb Diagrams for Discrete-Time Feedback.

Mario Román

CoRR, 2020

Profunctor optics and traversals.

Mario Román

CoRR, 2020

2017

Ranking Programming Languages for Evolutionary Algorithm Operations.

Juan Julián Merelo Guervós, Israel Blancas-Alvarez, Pedro A. Castillo, Gustavo Romero, Pablo García-Sánchez, Víctor M. Rivas, Mario García Valdez, Amaury Hernández-Águila, Mario Román

Proceedings of the Applications of Evolutionary Computation - 20th European Conference, 2017

2016

Ranking the Performance of Compiled and Interpreted Languages in Genetic Algorithms.

Juan Julián Merelo Guervós, Israel Blancas-Alvarez, Pedro A. Castillo, Gustavo Romero, Pablo García-Sánchez, Víctor Manuel Rivas Santos, Mario García Valdez, Amaury Hernández-Águila, Mario Román

Proceedings of the 8th International Joint Conference on Computational Intelligence, 2016

A comparison of implementations of basic evolutionary algorithm operations in different languages.

Juan Julián Merelo Guervós, Israel Blancas-Alvarez, Pedro A. Castillo, Gustavo Romero, Víctor M. Rivas, Mario García Valdez, Amaury Hernandez-Aguila, Mario Román

Proceedings of the IEEE Congress on Evolutionary Computation, 2016