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
Agrupar por: Tipo de documento | No agrupar
Número de eprints en este nivel: 164.

Artículo

Fuster, Vicente y Zuluaga Arias, Pilar (2015) Regional differences in low birth weight in Spain: Biological, demographic and socioeconomic variables. Journal of biosocial science, 47 (1). pp. 90-104. ISSN 1469-7599

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

García Villalba, Luis Javier y Sandoval Orozco, Ana Lucila y García Matesanz, Julián y Kim, T.H. (2014) E-D2HCP: enhanced distributed dynamic host configuration protocol. Computing, 96 (9). pp. 777-791. ISSN 0010-485X

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

Chern, Hua-Huai y Fernández Camacho, María Inés y Hwang, Hsien-Kuei y Martínez, Conrado (2014) Psi-series method for equality of random trees and quadratic convolution recurrences. Random structures & algorithms, 44 (1). pp. 67-108. ISSN 1098-2418

Núñez, Alberto y García Merayo, Mercedes y Hierons, Robert M. y Núñez García, Manuel (2013) Using genetic algorithms to generate test sequences for complex timed systems. Soft Computing, 17 (2). pp. 301-315. ISSN 1432-7643

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

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

Botana, F. y Abánades, M. A. y Escribano Martínez, Jesús (2012) Using a free open source software to teach mathematics. Computer Applications in Engineering Education, 22 (4). pp. 728-735. ISSN 1061-3773

Frutos Escrig, David de (2012) Alan Turing: Una aproximación personal a su obra. La Gaceta de la Real Sociedad Matemática Española, 15 (4). pp. 675-696. ISSN 1138-8927

García Merayo, Mercedes y Nuñez García, Manuel y Hierons, Robert M. (2012) Implementation relations and test generation for systems with distributed interfaces. Distributed Computing, 25 (1). pp. 35-62. ISSN 0178-2770

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

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2011) Exact internet accessible computation of paths of points in planar linkages and diagrams. Computer applications in engineering education, 19 (4). pp. 835-841. ISSN 1061-3773

Rosa Velardo, Fernando y Frutos Escrig, David de (2011) Decidability and complexity of Petri nets with unordered data. Theoretical Computer Science, 412 (34). pp. 4439-4451. ISSN 0304-3975

Aceto , Luca y Frutos Escrig, David de (2011) Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. Information processing letters, 111 (9). pp. 408-413. ISSN 0020-0190

Rosa Velardo, Fernando y Martos Salgado, María Rosa y Frutos Escrig, David de (2011) Accelerations for the coverability set of Petri nets with names. Fundamenta informaticae, 113 (3-4). pp. 313-341. ISSN 0169-2968

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

Aceto , Luca y Fábregas, Ignacio y Frutos Escrig, David de y Ingolfsdottir, Anna y Palomino, Miguel (2011) Graphical representation of covariant-contravariant modal formulae. Electronic proceedings in theoretical computer science, 64 . pp. 1-15. ISSN 2075-2180

Romero Hernández, David y Frutos Escrig, David de (2011) On the unification of process semantics: logical semantics. Electronic proceedings in theoretical computer science, 62 . pp. 47-61. ISSN 2075-2180

García Merayo, Mercedes y Nuñez García, Manuel y Hierons, Robert M. (2011) Scenarios-based testing of systems with distributed ports. Software: Practice and Experience, 41 (10 ). pp. 999-1026. ISSN 0038-0644

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

García Merayo, Mercedes y Nuñez García, Manuel y Hierons, Robert M. (2011) Testing timed systems modeled by Stream X-machines. Software and Systems Modeling , 10 ( 2 ). p. 201. ISSN 1619-1366

Escribano Martínez, Jesús y Abánades, Miguel A. y Botana, Francisco (2010) Adding remote computational capabilities to dynamic geometry systems. Mathematics and computers in simulation, 80 (6). pp. 1177-1184. ISSN 0378-4754

Rosa Velardo, Fernando y Frutos Escrig, David de (2010) Decidability problems in Petri nets with names and replication. Fundamenta informaticae, 105 (3). pp. 291-317. ISSN 0169-2968

Fábregas, Ignacio y Frutos Escrig, David de y Palomino, Miguel (2010) Equational characterization of covariant-contravariant simulation and conformance simulation semantics. Electronic proceedings in theoretical computer science, 32 . pp. 1-14. ISSN 2075-2180

López Fraguas, Francisco y Martin Martin, Enrique y Rodríguez Hortalá, Juan (2010) Liberal Typing for Functional Logic Programs. Lecture Notes in Computer Science (6461). pp. 80-96. ISSN 0302-9743

García Merayo, Mercedes y Andrés Sánchez, César y Zhang, Yaofeng (2010) MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. Intelligent Information and Database Systems,Pt II, Proceedings. , 5991 . 47-56 . ISSN 0302-9743

Llavona, José G. y Linares Briones, Pablo y Ibort Latre, Luis Alberto (2010) On the multilinear trigonometric problem of moments. Contemporary Mathematics, 507 . 141-153 . ISSN 0271-4132

García Merayo, Mercedes y Andrés Sánchez, César y Maag, Stéphane y Cavalli, Ana y Nuñez García, Manuel (2009) Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC '09 Proceedings of the 2009 16th Asia-Pacific Software Engineering Conference . 152-159 . ISSN 1530-1362

García Merayo, Mercedes y Hierons, Robert M. (2009) Mutation testing from probabilistic and stochastic finite state machines. Journal of Systems and Software, 82 (11 ). 1804-1818 . ISSN 0164-1212

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

García Merayo, Mercedes y Frantzen, Lars y Nuñez García, Manuel (2009) A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. Journal of Logic and Algebraic Programming , 78 (6 ). 417-424 . ISSN 1567-8326

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

García Merayo, Mercedes y Andrés Sánchez, César y Molinero Brizuela, Carlos (2009) Advantages of mutation in passive testing: An empirical study. ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops . 230-239 .

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

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

García Merayo, Mercedes y Hwang, Iksoon y Nuñez García, Manuel y Cavalli, Ana (2009) A Statistical Approach to Test Stochastic and Probabilistic Systems. Formal methods and software engineering proceedings, 5885 . pp. 186-205. ISSN 0302-9743

García Merayo, Mercedes y Nuñez García, Manuel y Andrés Sánchez, César (2009) Passive Testing of Stochastic Timed Systems. Second International Conference on Software Testing, Verification, and Validation, Proceedings . pp. 71-80. ISSN 978-1-4244-3775-7

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

Hidalgo Herrero, Mercedes y Ortega Mallén, 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

Martín Apaolaza, Níriam y Pardo Llorente, Leandro (2008) New families of estimators and test statistics in log-linear models. Journal of multivariate analysis, 99 (8). pp. 1590-1609. ISSN 0047-259X

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) Extending EFSMs to specify and test timed systems with action duration and time-outs. IEEE Transactions on Computers, 57 (6). pp. 835-848. ISSN 0018-9340

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

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) Formal testing from timed finite state machines. Computer Networks, 52 (2). pp. 432-460. ISSN 1389-1286

Rosa Velardo, Fernando y Frutos Escrig, David de (2008) Name creation vs. replication in Petri net systems. Fundamenta informaticae, 88 (3). pp. 329-356. ISSN 0169-2968

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

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

García Merayo, Mercedes y Rodríguez Laguna, Ismael y Núñez García, Manuel (2007) HOTL: Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming, 74 (2). 57-93.. ISSN 1567-8326

Rosa Velardo, Fernando y Frutos Escrig, David de y Marroquín Alonso, Olga (2007) On the Expressiveness of Mobile Synchronizing Petri Nets. Electronic Notes in Theoretical Computer Science, 180 (1). pp. 77-94. ISSN 15710661

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

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

Sánchez Couso, José Ramón y Fernández Camacho, María Inés (2006) Reductions in binary search trees. Theoretical Computer Science, 355 (3). pp. 327-353. ISSN 0304-3975

García Merayo, Mercedes y Rodríguez Laguna, Ismael y Núñez García, Manuel (2006) A logic for assessing sets of heterogeneous testing hypotheses. Lecture Notes in Computer Science, 3964 . 39-54 . ISSN 0302-9743

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda y Rubio, Fernando (2006) Analyzing the influence of mixed evaluation on the performance of Eden skeletons. Parallel Computing, 32 (7-8). pp. 523-538. ISSN 0167-8191

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Extending EFSMs to specify and test timed systems with action durations and timeouts. Lecture Notes in Computer Science, 4229 . 372-387 . ISSN 0302-9743

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2006) Implementation relations for stochastic finite state machines. Lecture Notes in Computer Science, 4054 . pp. 123-137. ISSN 0302-9743

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

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

López Sánchez, Paloma y Gallego Gil, Domingo J. (2005) Propuestas de un ciclo de vida para creación y gestión del conocimiento actualización del análisis de las funcionalidades de las aplicaciones informáticas para la gestión del conocimiento. RIED: Revista Iberoamericana de educación a distancia, 8 (1-2). pp. 31-66. ISSN 1138-2783

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

Artal Bartolo, Enrique y Carmona Ruber, Jorge y Cogolludo Austín , José Ignacio (2004) Essential coordinate components of characteristic varieties. Mathematical Proceedings of the Cambridge Philosophical Society, 136 (2). pp. 287-299. ISSN 1469-8064

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

Artal Bartolo, Enrique y Carmona Ruber, Jorge y Cogolludo Agustín , José Ignacio (2003) Braid monodromy and topology of plane curves. Duke mathematical journal , 118 (2). pp. 261-278. ISSN 0012-7094

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

Escribano Martínez, Jesús (2002) Approximation theorems in o-minimal structures. Illinois Journal of Mathematics, 46 (1). pp. 111-128. ISSN 0019-2082

Escribano Martínez, Jesús (2002) Bifurcation sets of definable functions in O-minimal structures. Proceedings of the American Mathematical Society, 130 . pp. 2419-2424. ISSN 0002-9939

Leach Albert, Javier y Nieva Soto, Susana y Rodríguez-Artalejo , Mario (2001) Constraint Logic Programming with Hereditary Harrop formulas. Theory and Practice of Logic Programming , 1 (4). pp. 409-445. ISSN 1471-0684

Nieva Soto, Susana y Leach Albert, Javier (2001) A higher-order logic programming language with constraints. Lecture Notes in Computer Science, 2024 . pp. 108-122. ISSN 0302-9743

Escribano Martínez, Jesús (2001) Nash triviality in families of Nash mappings. Annales de l'institut Fourier, 51 (5). pp. 1209-1228. ISSN 1777-5310

Frutos Escrig, David de y Llana Díaz, Luis Fernando y Núñez García, Manuel (1998) An invitation to friendly testing. Journal of computer science and technology, 13 (6). pp. 531-545. ISSN 1000-9000

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

Leach Albert, Javier y Nieva Soto, Susana (1992) MIZ-PR: A theorem prover for polymorphic and recursive functions. Lecture Notes in Computer Science, 624 . pp. 481-483. ISSN 0302-9743

Casas, Rafael y Fernández Camacho, María Inés y Steyaert, Jean-Marc (1990) Algebraic simplification in computer algebra: an analysis of bottom-up algorithms. Theoretical Computer Science, 74 (3). pp. 273-298. ISSN 0304-3975

Bradley Delso, Margarita (1990) An elementary based sufficient condition for sums of 2mth powers of polynomials over non-archimedean real closed fields. Journal of Pure and Applied Algebra , 63 (3). pp. 219-224. ISSN 0022-4049

Bradley Delso, Margarita (1989) A sufficient condition for a polynomial to be sum of 2mth powers of rational functions. Comptes Rendus Mathématiques de l'Académie des Sciences. Mathematical Reports of the Academy of Science , 11 (2). pp. 63-68. ISSN 0706-1994

Bradley Delso, Margarita (1989) Convex-Hull Of Polynomials And Sums Of 2m-Th Powers. Comptes Rendus de l'Académie des Sciences. Série I. Mathématique , 309 (12). pp. 751-755. ISSN 0764-4442

Fernández Camacho, María Inés (1987) Average size of simplified trees (Spanish: Tamaño medio de árboles simplificados). Qüestiió, 11 (2). pp. 93-116. ISSN 0210-8054

Frutos Escrig, David de (1987) Probabilistic Ianov's schemes. Theoretical Computer Science, 53 (1). pp. 67-97. ISSN 0304-3975

Frutos Escrig, David de (1984) A characterization of Plotkin's order in powerdomains, and some of its properties. Theoretical Computer Science, 31 (1-2). pp. 73-82. ISSN 0304-3975

Sección de libro

Frutos Escrig, David de y Keiren, J.J.A. y Willemse, T.A.C. (2016) Branching bisimulation games. In Formal Techniques for Distributed Objects, Components, and Systems. Lecture Notes in Computer Science (9688). Springer Verlag, pp. 142-157. ISBN 978-331939569-2

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

Núñez, Alberto y Filgueira, Rosa y García Merayo, Mercedes (2013) SANComSim: A scalable, adaptive and non-intrusive framework to optimize performance in computational science applications. In Procedia Computer Science. Elsevier Science B.V., Amsterdam, pp. 230-239. ISBN 1877-0509

Romero Hernández, David y Frutos Escrig, David de (2012) Defining distances for all process semantics. In Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Lecture notes in computer science (7273). Springer, pp. 169-185. ISBN 978-3-642-30792-8

Aceto , Luca y Fábregas, Ignacio y Frutos Escrig, David de y Ingolfsdottir, Anna y Palomino, Miguel (2012) Relating modal refinements, covariant-contravariant simulations and partial bisimulations. In Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Lecture notes in computer science (7141). Springer, pp. 268-283. ISBN 978-3-642-29319-1

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

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

Abánades, Miguel A. y Botana, Francisco y Escribano Martínez, Jesús y Valcarce, José L. (2011) Using free open source software for intelligent geometric computing. In Computational Science and Its Applications - ICCSA 2011. Lecture Notes in Computer Science (6785). Springer, pp. 353-367. ISBN 978-3-642-21897-2

Rosa Velardo, Fernando y Frutos Escrig, David de (2010) Forward analysis for petri nets with name creation. In Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings. Lecture notes in computer science (6128). Springer, pp. 185-205. ISBN 978-3-642-13674-0

Fábregas, Ignacio y Frutos Escrig, David de (2010) Logics for contravariant simulations. In Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Lecture notes in computer science (6117). Springer, pp. 224-231. ISBN 978-3-642-13463-0

López-Fraguas, Francisco y Martín-Martín, Enrique y Rodríguez-Hortalá, Juan (2010) New Results on Type Systems for Functional Logic Programming. In Functional and Constraint Logic Programming. Lecture Notes in Computer Science (5979). Springer, Berlin, pp. 128-144. ISBN 978-3-642-11998-9

Fecher, Harald y Frutos Escrig, David de y Lüttgen, Gerald y Schmidt, Heiko (2010) On the expressiveness of refinement settings. In Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture notes in computer science (5961). Springer, pp. 276-291. ISBN 978-3-642-11622-3

Riesco Rodríguez, Adrián y Rodríguez-Hortalá, Juan (2010) Programming with Singular and Plural Non-deterministic Functions. In PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM. ACM, New York, pp. 83-92. ISBN 978-1-60558-727-1

García Merayo, Mercedes y Andrés Sánchez, César y Nuñez García, Manuel (2009) Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol. In SEFM 2009: Seventh International Conference on Software Engineering and Formal Methods. IEEE Computer Soc, LOS ALAMITOS, pp. 73-82. ISBN 978-0-7695-3870-9

García Merayo, Mercedes y Andrés Sánchez, César y Núñez García, Manuel (2009) Formal correctness of a passive testing approach for timed systems. In ICSTW 2009: IEEE International Conference on Software Testing, Verification, and Validation Workshops. IEEE Comp Soc, LOS ALAMITOS. ISBN 978-0-7695-3671-2

López-Fraguas, F.J. y Rodríguez-Hortalá, Juan y Sánchez-Hernández, Jaime (2009) A Fully Abstract Semantics for Constructor Systems. In Rewriting Techniques and Applications. Lecture Notes in Computer Science (5595). Springer, Berlin, pp. 320-334. ISBN 978-3-642-02347-7

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

Rosa Velardo, Fernando y Frutos Escrig, David de (2009) Decidability results for restricted models of petri nets with name creation and replication. In Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture notes in computer science (5606). Springer, pp. 63-82. ISBN 978-3-642-02423-8

Aranda López, Gabriel y Nieva Soto, Susana y Sáenz Pérez, Fernando y Sánchez Hernández, Jaime (2009) Implementing a Fixpoint Semantics for a Constraint Deductive Database based on Hereditary Harrop Formulas. In PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. Assoc Computing Machinery, New York, USA, pp. 117-128. ISBN 978-1-60558-568-0

López-Fraguas, Francisco y Rodríguez-Hortalá, Juan y Sánchez-Hernández,, Jaime (2009) Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. In APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT. Lecture Notes in Computer Science (5437). Springer, Berlin, pp. 206-222. ISBN 978-3-642-00674-6

Fábregas Alfaro, Ignacio y Frutos Escrig, David de y Palomino, Miguel (2009) Non-strongly stable orders also define interesting simulation relations. In Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture notes in computer science (5728). Springer, pp. 221-235. ISBN 978-3-642-03740-5

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

García Merayo, Mercedes y Andrés Sánchez, César y Núñez García, Manuel (2008) Passive Testing of Timed Systems. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (5311). SPRINGER-VERLAG BERLIN, Berlín, pp. 418-427. ISBN 978-3-540-88386-9

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

García Merayo, Mercedes y Hierons, Robert M. y Núñez García, Manuel (2008) Extending Stream X-Machines to specify and test systems with timeouts. In SEFM 2008: Sixth IEEE International Conference on Software Engineering and Formal Methods, Proceedings. IEEE Computer Soc, LOS ALAMITOS, pp. 201-210. ISBN 978-0-7695-3437-4

Nieva Soto, Susana y Sánchez-Hernández, Jaime y Sáenz-Pérez, Fernando (2008) Formalizing a constraint deductive database language based on hereditary harrop formulas with negation. In Functional and logic programming. Lecture Notes in Computer Science, 4989 . Springer-Verlag Berlín, Berlín, pp. 289-304. ISBN 978-3-540-78968-0

Frutos Escrig, David de y Palomino, Miguel y Fábregas, Ignacio (2008) Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. In Formal Techniques for Networked and Distributed Systems – FORTE 2008 : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings. Lecture notes in computer science (5048). Springer, pp. 283-298. ISBN 978-3-540-68854-9

Fábregas, Ignacio y Palomino, Miguel y Frutos Escrig, David de (2008) Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. In Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings. Lecture notes in computer science (4711). Springer, pp. 231-245. ISBN 978-3-540-75290-5

López-Fraguas, Francisco Javier y Rodríguez-Hortalá, Juan y Sánchez-Hernández, Jaime (2008) Rewriting and call-time choice: The HO case. In Functional and Logic Programming. Lecture Notes in Computer Science (4989). Springer, Berlin, pp. 147-162. ISBN 978-3-540-78968-0

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2008) THOTL: A timed extension of HOTL. In Testing of Software and Communicating Systems, Proceedings. Lecture Notes in Computer Science (5047 ). SPRINGER-VERLAG BERLIN, Berlín, 86-102 . ISBN 978-3-540-68514-2

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

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) A brief introduction to THOTL. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (4762). SPRINGER-VERLAG BERLIN, Berlín, pp. 501-510. ISBN 978-3-540-75595-1

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

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2007) Computing locus equations for standard dynamic geometry environments. In Computational Science – ICCS 2007. Lecture Notes in Computer Science (4488). Springer, pp. 227-234. ISBN 978-3-540-72585-5

Abánades, Miguel A. y Escribano Martínez, Jesús y Botana, Francisco (2007) First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems. In Towards Mechanized Mathematical Assistants. Lecture Notes in Computer Science (4573). Springer, pp. 131-145. ISBN 978-3-540-73083-5

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Formal specification of multi-agent systems by using EUSMs. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767 ). SPRINGER-VERLAG BERLIN, Berlín, pp. 318-333. ISBN 978-3-540-75697-2

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Formal testing of systems presenting soft and hard deadlines. In International Symposium on Fundamentals of Software Engineering, Proceedings. Lecture Notes in Computer Science (4767). SPRINGER-VERLAG BERLIN, Berlín, pp. 160-174. ISBN 978-3-540-75697-2

Nieva Soto, Susana y Lipton , James (2007) Higher-order logic programming languages with constraints: A semantics. In Typed lambda calculi and applications. Lecture Notes in Computer Science (4583). Springer Verlag Berlín, Berlii, pp. 272-289. ISBN 978-3-540-73227-3

Rosa Velardo, Fernando y Frutos Escrig, David de (2007) Name creation vs. replication in Petri net systems. In Petri Nets and Other Models of Concurrency – ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings. Lecture notes in computer science (4546). Springer, pp. 402-422. ISBN 978-3-540-73093-4

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

Cuartero, Fernando y Frutos Escrig, David de y Valero, Valentín (2007) PCSP: a denotational model of probabilistic processes. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 57-76. ISBN 981-02-4424-x

Llana Díaz, Luis Fernando y Frutos Escrig, David de y Núñez García, Manuel (2007) Testing Semantics for Urgent Timed Process Algebras. In Real-time systems. AMAST series in computing (8). World Scientific, pp. 221-235. ISBN 981-02-4424-x

García Merayo, Mercedes y Núñez García, Manuel (2007) Testing conformance on stochastic stream X-machines. In Software Engineering and Formal Methods : 5th International Conference, SEFM 2007. IEEE COMPUTER SOC, LOS ALAMITOS, 227-236 . ISBN 978-0-7695-2884-7

García Merayo, Mercedes y Núñez García, Manuel y Rodríguez Laguna, Ismael (2007) Testing finite state machines presenting stochastic time and timeouts. In Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science (4748). SPRINGER-VERLAG BERLIN, Berlín, pp. 97-111. ISBN 978-3-540-75210-3

Artal Bartolo, Enrique y Carmona Ruber, Jorge y Cogolludo Agustín , José Ignacio y Marco Buzunáriz, Miguel ángel (2006) Invariants of combinatorial line arrangements and Rybnikov's example. In Singularity theory and its applications. Advanced studies in pure mathematics (43). Mathematical Society of Japan, Japan, pp. 1-34. ISBN 9784931469327

Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda y Rubio, Fernando (2006) Towards Improving Skeletons in Eden. In Parallel Computing: Current & Future Issues of High-End Computing. NIC Series (33). John von Neumann Institute for Computing, Jülich, pp. 843-850. ISBN 3-00-017352-8

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 (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 Marroquín Alonso, Olga y Rosa Velardo, Fernando (2005) Ubiquitous systems and Petri nets. In Computational Science and Its Applications – ICCSA 2005 : International Conference, Singapore, May 9-12, 2005, Proceedings. Lecture notes in computer science, Part I (3481). Springer, pp. 1156-1166. ISBN 978-3-540-25861-2

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

Frutos Escrig, David de y Marroquín Alonso, Olga (2003) Replicated ambient Petri nets. In Computational Science — ICCS 2003 : International Conference Melbourne, Australia and St. Petersburg, Russia June 2–4, 2003 Proceedings, Part II. Lecture notes in computer science (2658). Springer, pp. 774-783. ISBN 978-3-540-40195-7

Artal Bartolo, Enrique y Carmona Ruber, Jorge y Cogolludo Agustín , José Ignacio (2002) On sextic curves with big Milnor number. In Trends in Singularities. Birkhäuser Basel, USA, pp. 1-29. ISBN 978-3-0348-9461-6

Marroquín Alonso, Olga y Frutos Escrig, David de (2001) Extending the Petri box calculus with time. In Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25–29, 2001 Proceedings. Lecture notes in computer science (2075). Springer. ISBN 978-3-540-42252-5

Sánchez Gil, Lidia y Hidalgo Herrero, Mercedes y Ortega Mallén, Yolanda (2001) Relating function spaces to resourced function spaces. In Proceeding SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing. ACM, New York, pp. 1301-1308. ISBN 978-1-4503-0113-8

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

Bruni, Roberto y Frutos Escrig, David de y Martí Oliet, Narciso y Montanari, Ugo (2000) Bisimilarity congruences for open terms and term graphs via tile logic. In CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Lecture notes in computer science (1877). Springer, pp. 259-274. ISBN 978-3-540-67897-7

Frutos Escrig, David de y Valero Ruiz, Valentín y Marroquín Alonso, Olga (2000) Decidability of properties of timed-arc Petri nets. In Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings. Lecture notes in computer science (1825). Springer, pp. 187-206. ISBN 978-3-540-67693-5

Cuartero Gómez, Fernando y Frutos Escrig, David de y Valero Ruiz, Valentín (1997) A sound and complete proof system for probabilistic processes. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 340-352. ISBN 978-3-540-63010-4

Leach Albert, Javier y Nieva Soto, Susana y Rodríguez-Artalejo , Mario (1997) Constraint logic programming with hereditary Harrop formulas. In Logic programming. Proceedings of the international symposium (ILPS’97). MIT Press, Cambridge, Port Washington, New York, pp. 307-321. ISBN 0-262-63180-6

Llana Díaz, Luis Fernando y Frutos Escrig, David de (1997) Denotational semantics for timed testing. In Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings. Lecture notes in computer science (1231). Springer, pp. 368-382. ISBN 978-3-540-63010-4

Llana Díaz, Luis Fernando y Frutos Escrig, David de y Núñez García, Manuel (1997) Introducing friendly testing. In V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia, Vigo, junio de 1997. Univ. Vigo, pp. 281-292. ISBN 84-8158-065-1

Sánchez Couso, José Ramón y Fernández Camacho, María Inés (1994) Average-case analysis of pattern-matching in trees under the BST probability model. In Automata, Languages and Programming. Lecture notes in computer science (820). Springer, pp. 178-190. ISBN 978-3-540-58201-4

Leach Albert, Javier y Nieva Soto, Susana (1992) MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. In LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning. Lecture Notes in Computer Science (624). Springer Verlag , New York, pp. 481-483. ISBN 3-540-55727-X

Frutos Escrig, David de y Fernández Camacho, María Inés (1991) On narrowing strategies for partial non-strict functions. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Lecture notes in computer science (494). Springer, pp. 416-437. ISBN 978-3-540-53981-0

Bradley Delso, Margarita y Prestel, Alexander (1989) Representation of a real polynomial f(X) as a sum of 2mth powers of rational functions. In Ordered algebraic structures : Proceeding of the Caribean mathematics Foundations Conference. Mathematics and its Applications (55). Kluwer Acad. Publ, Dordrecht, pp. 197-207. ISBN 0-7923-0489-6

Fernández Camacho, María Inés (1987) Mean size of simplified trees (Spanish: Tamaño medio de árboles simplificados). In Proceedings of the XIIth Portuguese-Spanish Conference on Mathematics. Univ. Minho, Braga, pp. 352-357.

Frutos Escrig, David de (1986) Some probabilistic powerdomains in the category SFP. In STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986. Lecture notes in computer science (210). Springer, pp. 49-59. ISBN 978-3-540-16078-6

Libro o Monografía

Rosa Velardo, Fernando y Frutos Escrig, David de (2010) Decision problems for petri nets with names. Otros. Arxiv.org.

Tesis Doctoral

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

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

Vado Vírseda, Rafael del (2009) Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa. [Tesis Doctoral]

Encina Vara, Alberto de la (2009) Formalizando el proceso de depuración en programación funcional paralela y perezosa. [Tesis Doctoral]

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

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]

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]

Núñez García, Manuel (2002) Semánticas de pruebas para álgebras de procesos probabilísticos. [Tesis Doctoral]

Martí Oliet, Narciso (2002) Sobre dos lógicas categóricas : lógica lineal y álgebra con tipos ordenados. [Tesis Doctoral]

Proyecto de Innovación Docente

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]

Otros

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

Esta lista fue generada el Sat Dec 10 02:21:26 2016 CET.