Mario Román

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

Collaborative distances:

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

2024

A Simple Formal Language for Probabilistic Decision Problems.

Elena Di Lavore, Bart Jacobs, Mario Román

CoRR, 2024

Effectful Mealy Machines: Bisimulation and Trace.

Filippo Bonchi, Elena Di Lavore, Mario Román

CoRR, 2024

Context-Free Languages of String Diagrams.

Matt Earnshaw, 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

Coinductive Streams in Monoidal Categories.

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

CoRR, 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