Mario Román - RankMe

39 papers A* 3B 6Journal 21Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Monoidal categories graded by partial commutative monoids. CoRR Matthew Earnshaw, Chad Nester, Mario Román
2026	B	`conf`	Resourceful Traces for Commuting Processes. CSL Matthew Earnshaw, Chad Nester, Mario Román
2025	J	`jnl`	Coinductive Streams in Monoidal Categories. Log. Methods Comput. Sci. Elena Di Lavore, Giovanni de Felice, Mario Román
2025	B	`conf`	Context-Free Languages of String Diagrams. FoSSaCS Matt Earnshaw, Mario Román
2025	A*	`conf`	Effectful Mealy Machines: Bisimulation and Trace. LICS Filippo Bonchi, Elena Di Lavore, Mario Román
2025	B	`conf`	Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). CALCO Filippo Bonchi, Elena Di Lavore, Mario Román
2025	B	`conf`	Order in Partial Markov Categories. MFPS Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles
2025	J	`jnl`	Partial Markov Categories. CoRR Elena Di Lavore, Mario Román, Pawel Sobocinski
2025	J	`jnl`	Program Logics via Distributive Monoidal Categories. CoRR Filippo Bonchi, Elena Di Lavore, Mario Román, Sam Staton
2025	J	`jnl`	Resourceful Traces for Commuting Processes. CoRR Matthew Earnshaw, Chad Nester, Mario Román
2025	J	`jnl`	String Diagrams for Premonoidal Categories. Log. Methods Comput. Sci. Mario Román, Pawel Sobocinski
2025	J	`jnl`	Timing via Pinwheel Double Categories. CoRR Elena Di Lavore, Mario Román
2024	J	`jnl`	A Simple Formal Language for Probabilistic Decision Problems. CoRR Elena Di Lavore, Bart Jacobs, Mario Román
2024	J	`jnl`	Context-Free Languages of String Diagrams. CoRR Matt Earnshaw, Mario Román
2024	J	`jnl`	Effectful Mealy Machines: Bisimulation and Trace. CoRR Filippo Bonchi, Elena Di Lavore, Mario Román
2024	J	`jnl`	Monoidal Context Theory. CoRR Mario Román
2024	J	`jnl`	Profunctor Optics, a Categorical Update. Compositionality Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
2024	B	`conf`	The Produoidal Algebra of Process Decomposition. CSL Matt Earnshaw, James Hefford, Mario Román
2023	—	`conf`	Collages of String Diagrams. ACT Dylan Braithwaite, Mario Román
2023	A*	`conf`	Evidential Decision Theory via Partial Markov Categories. LICS Elena Di Lavore, Mario Román
2023	J	`jnl`	Evidential Decision Theory via Partial Markov Categories. CoRR Elena Di Lavore, Mario Román
2023	—	`conf`	Optics for Premonoidal Categories. ACT James Hefford, Mario Román
2023	J	`jnl`	Span(Graph): a canonical feedback algebra of open transition systems. Softw. Syst. Model. Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2023	J	`jnl`	The Produoidal Algebra of Process Decomposition. CoRR Matt Earnshaw, James Hefford, Mario Román
2022	J	`jnl`	Coinductive Streams in Monoidal Categories. CoRR Elena Di Lavore, Giovanni de Felice, Mario Román
2022	—	`conf`	Cornering Optics. ACT Guillaume Boisseau, Chad Nester, Mario Román
2022	A*	`conf`	Monoidal Streams for Dataflow Programming. LICS Elena Di Lavore, Giovanni de Felice, Mario Román
2022	J	`jnl`	Monoidal Streams for Dataflow Programming. CoRR Elena Di Lavore, Giovanni de Felice, Mario Román
2022	—	`conf`	Promonads and String Diagrams for Effectful Categories. ACT Mario Román
2021	—	`conf`	A Canonical Algebra of Open Transition Systems. FACS Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2020	J	`jnl`	A canonical algebra of open transition systems. CoRR Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski
2020	J	`jnl`	Comb Diagrams for Discrete-Time Feedback. CoRR Mario Román
2020	—	`conf`	Functorial Language Games for Question Answering. ACT Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi
2020	—	`conf`	Open Diagrams via Coend Calculus. ACT Mario Román
2020	J	`jnl`	Profunctor optics and traversals. CoRR Mario Román
2020	J	`jnl`	Profunctor optics, a categorical update. CoRR Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
2017	—	`conf`	Ranking Programming Languages for Evolutionary Algorithm Operations. EvoApplications (1) 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
2016	B	`conf`	A comparison of implementations of basic evolutionary algorithm operations in different languages. CEC 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
2016	—	`conf`	Ranking the Performance of Compiled and Interpreted Languages in Genetic Algorithms. IJCCI (ECTA) 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