Complutense University Library

Items where Division is "Fac. de CC. Matemáticas > Depto. de Sistemas Informáticos y Programación" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 32.

Frutos Escrig, David de and Gregorio Rodríguez, Carlos and Palomino, Miguel and 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 and Núñez García, Manuel and 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. [Thesis]

Andrés Sánchez, César and García Merayo, Mercedes and 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 and García Matesanz, Julián and García Villalba, Luis Javier and Márquez Díaz, José Duván and 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. [Thesis]

García Villalba, Luis Javier and García Matesanz, Julián and Sandoval Orozco, Ana Lucila and 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 and García Matesanz, Julián and Sandoval Orozco, Ana Lucila and 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. and García Matesanz, Julián and Rupérez Cañas, D. and 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 and 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. and García Merayo, Mercedes and 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 and Fernández Sánchez, Javier and 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 and 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 and 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 and Ortega Mallén, Yolanda and 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 and Carmona Ruber, Jorge and 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 and Verdejo López, José Alberto and 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 and 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 and Ortega Mallén, Yolanda and 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. [Thesis]

Artal Bartolo, Enrique and Carmona Ruber, Jorge and Cogolludo Agustín , José Ignacio and 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. [Thesis]

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

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

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

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

Hidalgo Herrero, Mercedes and 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. [Thesis]

Hidalgo Herrero, Mercedes and 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 and 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 and 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

This list was generated on Thu Oct 23 02:50:25 2014 CEST.