Michell Guzmán

ORCID

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 11

Top Venues

J. Log. Algebraic Methods Program.

CoRR

LSFA

Electron. Notes Theor. Comput. Sci.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning about distributed information with infinitely many agents. J. Log. Algebraic Methods Program. 121 (2021)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR (2020)
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Test4Enforcers: Test Case Generation for Software Enforcers. CoRR (2020)
Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Test4Enforcers: Test Case Generation for Software Enforcers. RV (2020)
Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. ESEC/SIGSOFT FSE (2019)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR (2019)
Paul Veitch, Adam Broadbent, Angelos Mimidis, José Soler, Marco Mobilio, Alessandro Tundo, Michell Guzmán, Steven van Rossem
NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service. EuCNC (2019)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Characterizing right inverses for spatial constraint systems with applications to modal logic. Theor. Comput. Sci. 744 (2018)
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. 86 (1) (2017)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Deriving Inverse Operators for Modal Logic. ICTAC (2016)
Michell Guzmán, Frank D. Valencia
On the Expressiveness of Spatial Constraint Systems. ICLP (Technical Communications) (2016)
Jaime Arias, Michell Guzmán, Carlos Olarte
A Symbolic Model for Timed Concurrent Constraint Programming. LSFA (2014)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
Simulating Signalling Pathways With BioWayS. Electron. Notes Theor. Comput. Sci. 293 (2013)

Michell Guzmán.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michell Guzmán