Simulating Signalling Pathways With BioWayS. - Davide Chiarugi; Moreno Falaschi; Diana Hermith; Michell Guzmán; Carlos Olarte (CS2Bio, 2012)

A Symbolic Model for Timed Concurrent Constraint Programming. - Jaime Arias 001; Michell Guzmán; Carlos Olarte (LSFA, 2014)

On the Expressiveness of Spatial Constraint Systems. - Michell Guzmán; Frank D. Valencia (ICLP (Technical Communications), 2016)

Deriving Inverse Operators for Modal Logic. - Michell Guzmán; Salim Perchy; Camilo Rueda; Frank D. Valencia (ICTAC, 2016)

Belief, knowledge, lies and other utterances in an algebra for space and extrusion. - Michell Guzmán; Stefan Haar; Salim Perchy; Camilo Rueda; Frank D. Valencia (J. Log. Algebraic Methods Program., 2017)

On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales). - Michell Guzmán (2017)

Characterizing right inverses for spatial constraint systems with applications to modal logic. - Michell Guzmán; Salim Perchy; Camilo Rueda; Frank D. Valencia (Theor. Comput. Sci., 2018)

Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CONCUR, 2019)

NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service. - Paul Veitch; Adam Broadbent; Angelos Mimidis; José Soler; Marco Mobilio; Alessandro Tundo; Michell Guzmán; Steven van Rossem (EuCNC, 2019)

VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. - Alessandro Tundo; Marco Mobilio; Matteo Orrù; Oliviero Riganelli; Michell Guzmán; Leonardo Mariani (ESEC/SIGSOFT FSE, 2019)

Test4Enforcers: Test Case Generation for Software Enforcers. - Michell Guzmán; Oliviero Riganelli; Daniela Micucci; Leonardo Mariani (RV, 2020)

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (CoRR, 2020)

Reasoning about distributed information with infinitely many agents. - Michell Guzmán; Sophia Knight; Santiago Quintero; Sergio Ramírez; Camilo Rueda; Frank Valencia (J. Log. Algebraic Methods Program., 2021)

Risk-Based Safety Envelopes for Autonomous Vehicles Under Perception Uncertainty. - Julian Bernhard; Patrick Hart; Amit Sahu; Christoph Schöller; Michell Guzman Cancimance (IV, 2022)

TkT: Automatic Inference of Timed and Extended Pushdown Automata. - Fabrizio Pastore; Daniela Micucci; Michell Guzmán; Leonardo Mariani (IEEE Trans. Software Eng., 2022)

Enhancing Uncertainty Quantification for Runtime Safety Assurance Using Causal Risk Analysis and Operational Design Domain. - Radouane Bouchekir; Michell Guzman Cancimance (CoRR, 2025)