The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michell Guzmán" ( http://dblp.L3S.de/Authors/Michell_Guzmán )

  Author page on DBLP  Author page in RDF  Community of Michell Guzmán in ASPL-2

Publication years (Num. hits)
2013-2019 (10)
Publication types (Num. hits)
article(4) inproceedings(5) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 11 publication records. Showing 10 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alessandro 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. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul 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. Search on Bibsonomy EuCNC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. Search on Bibsonomy CONCUR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia Characterizing right inverses for spatial constraint systems with applications to modal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michell Guzmán On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales). Search on Bibsonomy 2017   RDF
1Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia Deriving Inverse Operators for Modal Logic. Search on Bibsonomy ICTAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michell Guzmán, Frank D. Valencia On the Expressiveness of Spatial Constraint Systems. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaime Arias, Michell Guzmán, Carlos Olarte A Symbolic Model for Timed Concurrent Constraint Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte Simulating Signalling Pathways With BioWayS. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license