Mario Román

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 25

Top Topics

Transition Systems

Programming Language

Evolutionary Algorithm

Transactional Data

Top Venues

Compositionality

Publications

Matt Earnshaw, James Hefford, Mario Román
The Produoidal Algebra of Process Decomposition. CSL (2024)
Matt Earnshaw, Mario Román
Context-Free Languages of String Diagrams. CoRR (2024)
Mario Román
Monoidal Context Theory. CoRR (2024)
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
Profunctor Optics, a Categorical Update. Compositionality 6 (2024)
Matt Earnshaw, James Hefford, Mario Román
The Produoidal Algebra of Process Decomposition. CoRR (2023)
James Hefford, Mario Román
Optics for Premonoidal Categories. CoRR (2023)
Dylan Braithwaite, Mario Román
Collages of String Diagrams. ACT (2023)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. 22 (2) (2023)
Elena Di Lavore, Mario Román
Evidential Decision Theory via Partial Markov Categories. CoRR (2023)
Elena Di Lavore, Mario Román
Evidential Decision Theory via Partial Markov Categories. LICS (2023)
Mario Román
Promonads and String Diagrams for Effectful Categories. CoRR (2022)
Guillaume Boisseau, Chad Nester, Mario Román
Cornering Optics. CoRR (2022)
Elena Di Lavore, Giovanni de Felice, Mario Román
Coinductive Streams in Monoidal Categories. CoRR (2022)
Elena Di Lavore, Giovanni de Felice, Mario Román
Monoidal Streams for Dataflow Programming. CoRR (2022)
Elena Di Lavore, Giovanni de Felice, Mario Román
Monoidal Streams for Dataflow Programming. LICS (2022)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A Canonical Algebra of Open Transition Systems. FACS (2021)
Mario Román
Profunctor optics and traversals. CoRR (2020)
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
A canonical algebra of open transition systems. CoRR (2020)
Mario Román
Comb Diagrams for Discrete-Time Feedback. CoRR (2020)
Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi
Functorial Language Games for Question Answering. ACT (2020)
Mario Román
Open Diagrams via Coend Calculus. ACT (2020)
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
Profunctor optics, a categorical update. CoRR (2020)
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
Ranking Programming Languages for Evolutionary Algorithm Operations. EvoApplications (1) (2017)
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
Ranking the Performance of Compiled and Interpreted Languages in Genetic Algorithms. IJCCI (ECTA) (2016)
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
A comparison of implementations of basic evolutionary algorithm operations in different languages. CEC (2016)