Biblioteca de la Universidad Complutense de Madrid

Consultar por Facultad y Departamento

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

Llana Díaz, Luis Fernando y Marín Marín, Enrique y Pareja Flores, Cristóbal y Velázquez Iturbide, J. Ángel (2014) FLOP: a user-friendly system for automated program assessment. Journal of Universal Computer Science, 20 (9). pp. 1304-1326. ISSN 0948695x

Romero Hernandez, David y Frutos Escrig, David de (2014) Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (8461). Springer, Berlin, pp. 249-265. ISBN 978-3-662-43613-4

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

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2012) A formal framework to test soft and hard deadlines in timed systems. Software testing verification & reliability, 22 (8). pp. 583-608. ISSN 0960-0833

Fábregas Alfaro, Ignacio (2012) Técnicas Coalgebraicas y Categóricas para el estudio de las semánticas de procesos. [Tesis Doctoral]

Andrés Sánchez, César y García Merayo, Mercedes y Núñez , M. (2012) Formal passive testing of timed systems: theory and tools. Software testing verification & reliability, 22 (6). pp. 365-405. ISSN 0960-0833

Bradley Delso, Margarita (2012) A logic of exceptions : using the economics pack "Applications of Mathematica" for elementary logic [book review]. European Mathematical Society.

Sandoval Orozco, Ana Lucila y García Matesanz, Julián y García Villalba, Luis Javier y Márquez Díaz, José Duván y Kim, T.H. (2012) Security Issues in Mobile Ad Hoc Networks. International Journal of Distributed Sensor Networks, 2012 . ISSN 1550-1329

López Sánchez, Paloma (2011) Aprendizaje colaborativo para la gestión de conocimiento en redes educativas en la Web 2.0. [Tesis Doctoral]

García Villalba, Luis Javier y García Matesanz, Julián y Sandoval Orozco, Ana Lucila y Márquez Díaz, José Duván (2011) Auto-Configuration Protocols in Mobile Ad Hoc Networks. Sensors, 11 (4). pp. 3652-3666. ISSN 1424-8220

García Villalba, Luis Javier y García Matesanz, Julián y Sandoval Orozco, Ana Lucila y Márquez Díaz, José Duván (2011) Distributed Dynamic Host Configuration Protocol (D2HCP). Sensors, 11 (4). pp. 4438-4461. ISSN 1424-8220

García Villalba, L.J. y García Matesanz, Julián y Rupérez Cañas, D. y Sandoval Orozco, Ana Lucila (2011) Secure extension to the optimised link state routing protocol. IET Information Security, 5 (3). pp. 163-169. ISSN 1751-8709

Main Yaque, Paloma y Navarro Veguillas, Hilario (2009) Analyzing the effect of introducing a kurtosis parameter in Gaussian Bayesian networks. Reliability engineering & systems safety , 94 (5). pp. 922-926. ISSN 0951-8320

Hierons, Robert M. y García Merayo, Mercedes y Nuñez García, Manuel (2009) Testing from a stochastic timed system with a fault model. Journal of Logic and Algebraic Programming , 78 (2). pp. 98-115. ISSN 1567-8326

López Sánchez, Paloma y Fernández Sánchez, Javier y Gallego Gil, Domingo José (2009) Aprendizaje colaborativo en la web 2.0. In Actas del XIV Congreso Internacional de Tecnologías para la Educación y el Conocimiento. Universidad Nacional de Educación a Distancia. ISBN 978-84-692-3571-3

Hidalgo Herrero, Mercedes y Ortega Mallen, Yolanda (2009) To be or not to be. . . lazy (In a Parallel Context)1. Electronic Notes in Theoretical Computer Science, 258 . pp. 21-39. ISSN 1571-0661

Fernández Camacho, María Inés y Sánchez Couso, José Ramón (2007) Binary search trees, recurrent properties and wave equations. Fundamenta informaticae, 81 (4). pp. 409-439. ISSN 0169-2968

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda y Rubio, Fernando (2007) Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. In Implementation and Application of Functional Languages. Lecture Notes in Computer Science, 4449 . Board, Berlin, pp. 55-72. ISBN 978-3-540-74129-9

Artal Bartolo, Enrique y Carmona Ruber, Jorge y Cogolludo Agustín , José Ignacio (2007) Effective invariants of braid monodromy. Transactions of the American Mathematical Society, 359 (1). pp. 165-183. ISSN 0002-9947

Hidalgo Herrero, Mercedes y Verdejo López, José Alberto y Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2005) Dealing Denotationally With Stream-based Communication. Electronic Notes in Theoretical Computer Science, 137 . pp. 47-68. ISSN 15710661

Loogen, Rita y Ortega Mallén, Yolanda y Peña Marí, Ricardo (2005) Parallel functional programming in Eden. Journal of Functional Programming, 15 (3). pp. 431-475. ISSN 0956-7968

Hidalgo Herrero, Mercedes (2005) Semánticas formales para un lenguaje funcional paralelo. [Tesis Doctoral]

Artal Bartolo, Enrique y Carmona Ruber, Jorge y Cogolludo Agustín , José Ignacio y Marcos Buzunáriz, Miguel Ángel (2005) Topology and combinatorics of real line arrangements. Compositio Mathematica, 141 (6). pp. 1578-1588. ISSN 0010-437X

Segura Díaz, Clara María (2004) Análisis de programas en lenguajes funcionales paralelos. [Tesis Doctoral]

Navarro Martín, Antonio (2004) Conceptualización, prototipado y proceso de aplicaciones hipermedia. [Tesis Doctoral]

López Barquilla, Natalia (2004) Semánticas para álgebras de procesos estocásticos no markovianos. [Tesis Doctoral]

Pita Andreu, María Isabel (2004) Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura. [Tesis Doctoral]

Meseguer Guaita, José y Palomino, Miguel y Martí Oliet, Narciso (2003) Notes on Model Checking and Abstraction in Rewriting Logic. (No publicado)

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2003) Continutation Semantics for Parallel Haskell Dialects. In Programming Languages and Systems: first Asian Symposium, APLAS 2003, Beijing, China, November 2003. Lecture Notes in Computer Science, (2895 ). Springer, Berlin, pp. 303-321. ISBN 978-3-540-20536-4

Martín de la Calle, Pedro Jesús (2003) Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas. [Tesis Doctoral]

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2002) An Operational Semantics for the Parallel Language Eden. Parallel Processing Letters, 12 (2). pp. 211-228. ISSN 0129-6264

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2000) A Distributed Operational Semantics for a Parallel Functional Language. In Trends in Functional Programming. Intellect Books, Bristol , pp. 89-102. ISBN 1-84150-058-5

Artal Bartolo, Enrique y Carmona Ruber, Jorge (1998) Zariski pairs, fundamental groups and Alexander polynomials. Journal of the mathematical society of japan, 50 (3). pp. 521-543. ISSN 0025-5645

Esta lista fue generada el Wed Jul 8 02:10:59 2015 CEST.