Biblioteca de la Universidad Complutense de Madrid

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 20.

Gregorio Rodríguez, Carlos (2015) Implementación y puesta en práctica de técnicas de evaluación masiva, evaluación por pares y autoevaluación para MOOCs. [Proyecto de Innovación Docente]

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2009) (Bi)simulations up-to characterise process semantics. Information and computation, 207 (2). pp. 146-170. ISSN 0890-5401

Martín Martín, Enrique y Riesco Rodríguez, Adrián y Montenegro Montes, Manuel y Tamarit Muñoz, Salvador y Sánchez Hernández, Jaime y Gregorio Rodríguez, Carlos (2016) Aprendizaje de lenguajes de programación mediante tutoriales interactivos: diseño y aplicabilidad. [Proyecto de Innovación Docente]

Aceto , Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Ingolfsdottir, Anna (2011) Axiomatizing Weak Ready Simulation Semantics over BCCSP. In Theoretical Aspects of Computing – ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Lecture notes in computer science (6916). Springer, pp. 7-24. ISBN 978-3-642-23282-4

Aceto, Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2014) Axiomatizing weak simulation semantics over BCCSP. Theoretical computer science, 537 . pp. 42-71. ISSN 0304-3975

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2005) Bisimulations Up-to for the Linear Time Branching Time Spectrum. In CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Lecture notes in computer science (3653). Springer, pp. 278-292. ISBN 978-3-540-28309-6

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2008) Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences. Electronic Notes in Theoretical Computer Science, 212 . pp. 149-162. ISSN 15710661

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2008) Constrained simulations, nested simulation semantics and counting bisimulations. In Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007). Electronic Notes in Theoretical Computer Science (206). Elsevier Science , pp. 41-58. ISBN 1571-0661

Frutos Escrig, David de y Rosa Velardo, Fernando y Gregorio Rodríguez, Carlos (2007) New Bisimulation Semantics for Distributed Systems. In Formal Techniques for Networked and Distributed Systems – FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture notes in computer science (4574). Springer, pp. 143-159. ISBN 978-3-540-73195-5

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2009) On the unification of process semantics: equational semantics. Electronic Notes in Theoretical Computer Science, 249 . pp. 243-267. ISSN 15710661

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2009) On the unification of process semantics: observational semantics. In SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Lecture notes in computer science (5404). Springer, pp. 279-290. ISBN 978-3-540-95890-1

Bustamante Donas , Javier y Gregorio Rodríguez, Carlos y Sanz Cabrerizo, Amelia (2007) Plataformas en código abierto o en código cerrado para la UCM. In III jornada Campus Virtual UCM : Innovación en el Campus Virtual metodologías y herramientas. Editorial Complutense, Madrid, pp. 261-263. ISBN 978-84-7491-811-3

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2005) Preserving contexts for soft conformance relation. In Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture notes in computer science (3395). Springer, pp. 33-48. ISBN 978-3-540-25109-5

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2006) Process equivalences as global bisimulations. Journal of universal computer science, 12 (11). pp. 1521-1550. ISSN 0948-695x

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel (2009) Ready to preorder: an algebraic and general proof. Journal of Logic and Algebraic Programming , 78 (7). pp. 539-551. ISSN 1567-8326

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2007) Simulations up-to and canonical preorders. Electronic Notes in Theoretical Computer Science, 192 (1). pp. 13-28. ISSN 15710661

Aceto , Luca y Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Ingolfsdottir, Anna (2012) The equational theory of weak complete simulation semantics over BCCSP. In SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. Lecture notes in computer science (7147). Springer, pp. 141-152. ISBN 978-3-642-27659-0

Cleva Millor, José Miguel y Gregorio Rodríguez, Carlos y Rosa Velardo, Fernando (2005) Un campus virtual alternativo. In II Jornada Campus Virtual UCM: cómo integrar investigación y docencia en el CV-UCM. Editorial Complutense, Madrid, pp. 222-232. ISBN 84-7491-787-5

Frutos Escrig, David de y Gregorio Rodríguez, Carlos y Palomino, Miguel y Romero Hernández, David (2013) Unifying the linear time-branching time spectrum of strong process semantics. Logical methods in computer science, 9 (2). ISSN 1860-5974

Frutos Escrig, David de y Gregorio Rodríguez, Carlos (2008) Universal Coinductive Characterisations of Process Semantics. In Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 :. IFIP International Federation for Information Processing, Part I (273). Springer, pp. 397-412. ISBN 978-0-387-09679-7

Esta lista fue generada el Fri Dec 2 02:44:02 2016 CET.