Institutos Universitarios

Publications

  • Victoria López, Alvaro del Monte, Javier Montero, « Computational Intelligence in Decision and Control », Fecha: 2008 ISBN: 13- 978-981-279-946-3 Páginas: 1021-1026 Editorial: World Scientific.
  • Victoria López, Javier Montero, Luis Garmendia, Germano Resconi, « Specification and Computing Status in Fuzzy Algorithms “, Publicación/Revista: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems Fecha: Junio-2008, Vol 16, issue: 3 ISSN: 0218-4885 Páginas: 301-336 Editorial: World Scientific Publ..
  • Victoria López, Javier Montero, “ Software Engineering Specification under Fuzziness”, ublicación/Revista: Journal of MultipleValued Logic and Soft Computing Fecha: Aceptado para su publicación en fecha Octubre 2008 ISSN: 1023-6627 Páginas: 301-336.
  • J.T. Rodríguez, B. Vitoriano, J. Montero y A. Omaña, « A Decision Support Tool for Humanitarian Operations in Natural Disaster Relief », Libro Computational Intelligence in Decision and Control ISBN 978-981-279-946-3 Clave: CL Volumen: 1 Páginas, inicial: 805 final: 810 Fecha: Septiembre 2008 Editorial (si libro): World Scientific Publishing Lugar de publicación: Singapur
  • Ruan, J. Montero, J. Lu, L. Martínez, P. D'hondt and E.E. Kerre, (eds.) World Scientific Proceedings Series on Computer Engineering and Information Science Volumen: 1 Páginas, inicial: 701 final: 706 Fecha: 2008 ISBN: 978-981-279-946-3.
  • Yáñez, J.; Montero, J.; Gómez, D. An algorithmic approach to preference representation. Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 16 (2008), August 2008, suppl., 1--18.
  • Lopez, Victoria; Montero, Javier; Garmendia, Luis; Resconi, Germano Specification and computing states in fuzzy algorithms. Internat. J. Uncertain. Fuzziness Knowledge-Based Systems 16 (2008), no. 3, 301--336.
  • P. M.Talaván y J. Yáñez, “The Graph coloring problem. A neuronal network approach.” , Ref. European Journal of Operational Research 191: 98-109 (2008).
  • J.Yáñez, S.Muñoz y J.Montero , “Graph coloring inconsistencies in image segmentation.” , Ref. Computational Intelligence in Decision and Control (Proceedings of the 8th International FLINS Conference); pp. 435-440 (2008).
  • Montero, J.; Gómez, D.; Bustince, H. On the relevance of some families of fuzzy sets. Fuzzy Sets and Systems 158 (2007), no. 22, 2429--2442.
  • Javier Montero, Victoria López y Daniel Gómez, « Fuzzy Logic. A Spectrum of Theoretical and Practical Issues”, Fecha: 2007 ISBN: 978-3540712572 Páginas: 337-350 Editorial: Springer.
  • Bustince, H.; Montero, J.; Barrenechea, E.; Pagola, M. Semiautoduality in a restricted family of aggregation operators. Fuzzy Sets and Systems 158 (2007), no. 12, 1360--1377.
  • D.Gómez, J.Montero, J.Yáñez y C. Poidomani, “A Graph Coloring Approach for image segmentation”, Ref. Omega 35: 173-183 (2007).
  • D. Gómez, J. Montero y J. Yáñez , “Decomposing preference relations” , Ref. FUZZ-IEEE 07 (IEEE Press, Piscataway); pp. 1251-1255 (ISBN: 1-4244-1210-2 (2007)).
  • Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso, “On the Expressiveness of Mobile Synchronizing Petri Nets”, REVISTA: Electr. Notes Theor. Comput. Sci. Vol.180,1 pgs.77-94 Ed. Elsevier(Holanda) 2007 CLAVE: A (Revista electrónica) ISSN 1571-0661.
  • Luis F. Llana-Díaz, David de Frutos-Escrig, Manuel Núñez, “Testing Semantics for Urgent Timed Process Algebras”, LIBRO: Real-Time Systems. Modeling, Design and Applications, Amast Series in Computing: Vol. 8 pgs.221-235 Ed. World Scienti_c. 2007 CLAVE: CL ISBN-10: 981-02-4424-X
  • F. Cuartero, D. Frutos, V. Valero, “PCSP: A denotational model of probabilistic processes”, LIBRO: Real-Time Systems: Modeling, Design, and Applications, Amast Series in Computing: Vol. 8 pgs.57-76, Ed. World Scienti_c. 2007 CLAVE: CL ISBN-10: 981-02-4424-X.
  • Fernando Rosa Velardo, David de Frutos-Escrig, “Name Creation vs. Replication in Petri Net Systems”, LIBRO: ICATPN 2007 - 28th International Conference on Applications and Theory of Petri Nets and Other
  • Models of Concurrency - LNCS 4546 pgs.402-422 Ed. Springer-Verlag (Alemania) 2007 CLAVE: A ISBN 978-3-540-73093-4.
  • David de Frutos-Escrig, Fernando Rosa Velardo, Carlos Gregorio-Rodríguez, “New Bisimulation Semantics for Distributed Systems”, LIBRO: FORTE 2007 - Formal Techniques for Networked and Distributed Systems - LNCS 4574 pgs.143-159 Ed. Springer-Verlag (Alemania) 2007 CLAVE: A ISBN 978-3-540-73195-5.
  • David de Frutos-Escrig, C. Gregorio Rodríguez, “Simulations up-to and Canonical Preorders (extended abstract)”, REVISTA: Electr. Notes Theor. Comput. Sci. Vol.192 pgs.13-28 Ed. Elsevier(Holanda) 2007 CLAVE: A (Revista electrónica) ISSN 1571-0661.
  • Ignacio Fábregas, Miguel Palomino, David de Frutos Escrig, “Reflection and preservation of properties in coalgebraic (bi)simulations”, LIBRO: ICTAC 2007 - Theoretical Aspects of Computing, 4th International Colloquium - LNCS 4711 pgs.231- 245 Ed. Springer-Verlag (Alemania) 2008 CLAVE: A ISBN 978-3-540-75290-5.
  • David de Frutos-Escrig, C. Gregorio Rodríguez, “Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations”, REVISTA: Electr. Notes Theor. Comput. Sci. Vol 206 pgs.41-58 Ed. Elsevier (Holanda) 2008 CLAVE: A (Revista electrónica) ISSN 1571-0661.
  • Hermenegilda Macía, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig, “A congruence relation for sPBC”, REVISTA: Formal Methods in System Design Vol.32,2 pgs.85-128 Ed. Springer 2008 CLAVE: A ISSN 0925-9856.
  • David de Frutos Escrig, Miguel Palomino, Ignacio Fábregas, “Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations”, LIBRO: FORTE 2008 - Formal Techniques for Networked and Distributed Systems - LNCS 5048 pgs.283-298 Ed. Springer-Verlag (Alemania) 2008 CLAVE: A
  • David de Frutos Escrig, C. Gregorio Rodríguez, Miguel Palomino, “Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences”, REVISTA: Electr. Notes Theor. Comput. Sci. 212 pp.149-162 Ed. Elsevier(Holanda) CLAVE: A (Revista electrónica) ISSN 1571-0661.
  • David de Frutos Escrig, Carlos Gregorio Rodríguez, “Universal Coinductive Characterisations of Process Semantics”, LIBRO: Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 pp.397-412 Ed. Springer (Alemania) SSBM CLAVE: A.
  • Fernando Rosa-Velardo, David de Frutos-Escrig, “Name Creation vs. Replication in Petri Net Systems”, REVISTA: Fundamenta Informaticae, vol. 88(3), pgs.329-356 IOS Press, 2008 CLAVE: A ISSN 0169-2968.
  • David de Frutos-Escrig, Carlos Gregorio Rodríguez, “(Bi)Simulations Up-to and Canonical Preorders for the Study of Process Semantics”, REVISTA: Information and Computation (to appear) 25 pags. Ed. Elsevier (Holanda) CLAVE: A ISSN 0890-5401.
  • David de Frutos-Escrig, Carlos Gregorio Rodríguez, Miguel Palomino, “Ready to preorder: an algebraic and general proof”, REVISTA: Journal of Logic and Algebraic Programming (to appear) 13 pags. Ed. Elsevier(Holanda) CLAVE: A ISSN 1567-8326.
  • F. Botana, M.A. Abánades, J. Escribano
  • "Computing locus equations for standard dynamic geometry environments"
  • Revista: Lectures Notes in Computer Science
  • Volumen: 4488 Páginas, inicial: 227 final: 234 Fecha: 2007
  • M.A. Abánades, J. Escribano, F. Botana
  • "First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems"
  • Revista: Lectures Notes in Artificial Intelligence
  • Vol: 4573 Páginas, inicial: 131 final: 145 Fecha: 2007
  • J. Escribano, F. Botana, M. A. Abánades
  • "Adding Remote Computational Capabilities to Dynamic Geometry Systems"
  • Mathematics and Computers in Simulation doi:10.1016/j.matcom.2008.04.019
  • Garmendia, Alfonso; Garmendia, Luis; Salvador, Adela The importance of the intensity and frequency of perturbations on the germination delay. Math. Biosci. 211 (2008), no. 1, 153--165.
  • Garmendia, L.; Recasens, J. Approximation of proximities by aggregating $T$-indistinguishability operators. Mathware Soft Comput. 14 (2007), no. 3, 171--181.
  • Gómez-Villegas, Miguel A.; Portela, Javier; Sanz, Luis A Bayesian test for the mean of the power exponential distribution. Comm. Statist. Theory Methods 37 (2008), no. 18-20, 2865—2876.
  • Gómez-Villegas, Miguel A.; Maín, Paloma; Susi, Rosario Extreme inaccuracies in Gaussian Bayesian networks. J. Multivariate Anal. 99 (2008), no. 9, 1929--1940.
  • Gómez-Villegas, Miguel A.; Maín, Paloma; Susi, Rosario Sensitivity analysis in Gaussian Bayesian networks using a divergence measure. Comm. Statist. Theory Methods 36 (2007), no. 1-4, 523--539.
  • Bernardo, José M. Objective Bayesian point and region estimation in location-scale models. With discussions by Miguel A. Gómez Villegas, Dennis V. Lindley and Mark J. Schervish and a rejoinder by the author. SORT 31 (2007), no. 1, 3--43.
  • Gómez-Villegas, M. A., Gómez-Sánchez-Manzano, E. and Marín, J. M., « Multivariate exponential power distributions as mixtures of normal distributions with Bayesian applications », Communications in Statistics-Theory and Methods Volumen: 37, Páginas, inicial: 972 final: 985 Fecha: 2008.
  • Gómez-Villegas, M. A. and González-Pérez, B., « epsilon-contaminated priors in contingency tables », Test Volumen: 17, 1 Páginas, inicial: 163 final: 178 Fecha: 2008
  • Gómez-Villegas, M. A. and González-Pérez, B., «The multivariate point null testing problem: A Bayesian discussion », Statistics and Probability Letters Volumen: 78, Páginas, inicial: 3070 final: 3074 Fecha: 2008 (ISSN 0167-7152).
  • Claudia J. Barenco Abbas, L. Javier García Villalba, Victoria López, « Implementation and Attacks Analysis of a Honeypot”, Publicación/Revista: Lecture Notes in Computer Science Fecha:2007, Vol 4706/2007 ISSN: 0302-9743 Páginas: 489-502 Editorial: Springer Berlin / Heidelberg (Artículo).
  • M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and C. Talcott.
  • All About Maude, A High-Performance Logical Framework.
  • Lecture Notes in Computer Science 4350, Springer, 2007, 800 pages.
  • N. Marti-Oliet, M. Palomino, and A. Verdejo.
  • Strategies and simulations in a semantic framework.
  • Journal of Algorithms: Algorithms in Cognition, Informatics and Logic 62, pages 95-116, 2007.
  • J. Meseguer, M. Palomino, and N. Marti-Oliet.
  • Equational abstractions.
  • Theoretical Computer Science 403, pages 239-264, 2008.
  • S. Eker, N. Martí-Oliet, J. Meseguer y A. Verdejo, “Deduction, strategies, and rewriting”, Libro: M. Archer, T. Boy de la Tour y C. A. Mu~noz (eds.), 6th International Workshop on Strategies in Automated Deduction, STRATEGIES'06, Seattle, Washington, August 16, 2006, Part of FLOC 2006 SERIE: Electronic Notes in Theoretical Computer Science 174(11), Elsevier, p_ag. 3{25, 2007.
  • N. Martí-Oliet, G. Ro_su y C. Talcott, “Higher-Order and Symbolic Computation”, Special Issue on Rewriting Logic and its Applications, Volumen 20 (1/2), Springer, 2007. ISSN 1388{3690.
  • R. Caballero Roldán, T. Hortal_a González, N. Martí Oliet, S. Nieva Soto, A. Pareja Lora y M. Rodríguez Artalejo, “Matemáatica Discreta para Informáticos. Ejercicios Resueltos”, SERIE: Colección Prentice Practica, Pearson/Prentice Hall, 2007, 396+x páginas. ISBN 978{84{8322{394{9.
  • N. Martí-Oliet, J. Meseguer y M. Palomino, “Algebraic stuttering simulations”, LIBRO: E. Pimentel (ed.), Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain SERIE: Electronic Notes in Theoretical Computer Science 206, Elsevier, pág. 91{110, 2008.
  • R. Caballero, N. Martí-Oliet, A. Riesco y A. Verdejo, “A declarative debugger for Maude functional modules”, G. Ro_su (ed.), Seventh Int. Workshop on Rewriting Logic and its Applications, Budapest, Hungary, Part of ETAPS 2008 SERIE: Electronic Notes in Theoretical Computer Science, Elsevier, 16 páginas, 2008.
  • N. Martí-Oliet, J. Meseguer y A. Verdejo, “A rewriting semantics for Maude strategies”, LIBRO: G. Ro_su (ed.), Seventh Int. Workshop on Rewriting Logic and its Applications, Budapest, Hungary, Part of ETAPS 2008 SERIE: Electronic Notes in Theoretical Computer Science, Elsevier, 22 páginas, 2008. CLAVE
  • R. Caballero, N. Martí-Oliet, A. Riesco y A. Verdejo, “Declarative debugging of membership equational logic specifications”, LIBRO: P. Degano et al. (eds.), Concurrency, Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday SERIE: Lecture Notes in Computer Science 5065, Springer, pág. 174{193, 2008, ISBN 3{540{68676{2.
  • A. Riesco, A. Verdejo, N. Martí-Oliet y R. Caballero, “A declarative debugger for Maude”, LIBRO: J. Meseguer y G. Ro_su (eds.), Algebraic Methodology and Software Technology, AMAST 2008, Urbana, IL, USA SERIE: Lecture Notes in Computer Science 5140, Springer, pág. 116{121, 2008, ISBN 978{3{540{79979{5.
  • N. Martí-Oliet, “Book Review: \Tool and Object. A History and Philosophy of Category Theory" by Ralf Kromer”, REVISTA: Newsletter of the European Mathematical Society 69, pág. 45{46, 2008.
  • T. Hortal_a González, N. Martí-Oliet, M. Palomino Tarjuelo, M. Rodríguez Artalejo y R. del Vado V__rseda, “Lógica Matemática para Informáticos. Ejercicios Resueltos”, SERIE: Colección Prentice Practica, Pearson/Prentice Hall, 2008, 390+x páginas. ISBN 978{84{8322{454{0.
  • L.F. Escudero, S. Muñoz, "Improvements on the extended rapid transit network design problem modelling". Technical Reports on Statistics and Decision Sciences, TR08/01, Universidad Rey Juan Carlos, Spain (2008).
  • L.F. Escudero, S. Muñoz, "An approach for solving a modification of the extended rapid transit network design problem". Top (2008), DOI: 10.1007/s11750-008-0060-5.
  • B. Vitoriano, M.T. Ortuño y A.F. Ruiz-Rivas, « A Goal Programming Model for Humanitarian Aid Distribution », Libro Computational Intelligence in Decision and Control ISBN 978-981-279-946-3 Volumen: 1 Páginas, inicial: 811 final: 816 Fecha: Septiembre 2008 Editorial (si libro): World Scientific Publishing Lugar de publicación: Singapur
  • A. Felipe, M.T. Ortuño, G. Tirado, “Neighborhood structures to solve the double traveling salesman problem (TSP) with multiple stacks using local search”, Computational Intelligence in Decision and Control. D. Ruan, J. Montero, J. Lu, L. Martínez, P. D'hondt and E.E. Kerre, (eds.) World Scientific Proceedings Series on Computer Engineering and InformationScience Volumen: 1 Páginas, inicial: 701 final: 706 Fecha: 2008 ISBN: 978-981-279-946-3.
  • M.T. Ortuño, B. Vitoriano, “A Goal Programming Approach for Farm Planning with Resources Dimensionality”, Annals of Operations Research En proceso de evaluación. Fecha: 2008.
  • A. Felipe, M.T. Ortuño, G. Tirado, “The Double Traveling Salesman Problem with Multiple Stacks: a Variable Neighborhood Search Approach”, Computers & Operations Research. En proceso de evaluación. Fecha: 2008.
  • A. Felipe, M.T. Ortuño, G. Tirado, “New Neighborhood structures to solve the Double Traveling salesman problem with multiple stacks”, Top. En proceso de evaluación. Fecha: 2008.
  • Alonso-Ayuso, A.; Escudero, L. F.; Ortuño, M. T. On modelling planning under uncertainty in manufacturing. With discussions and a rejoinder by the authors. SORT 31 (2007), no. 2, 109--168.
  • Alonso-Ayuso, A.; Escudero, L. F.; Ortuño, M. T.; Pizarro, C. On a stochastic sequencing and scheduling problem. Comput. Oper. Res. 34 (2007), no. 9, 2604--2624.
  • E. Roanes Lozano, A. Hernando, L.M. Laita, E. Roanes Macías, "A Shell for Rule-Based Expert Systems Development Using Groebner Bases-Based Inference Engines" (En: D. Ruan, J. Montero, J. Lu, L. Martínez, P. D'hondt y E.E. Kerre, editores: Computational Intelligence in Decision and Control. Proceedings of the 8th International FLINS Conference), World Scientific Proceedings Series on Computer Engineering and Information Science - Vol. 1, ISBN 978-981-279-946-3. 2008.
  • E. Roanes Lozano, L.M. Laita, E. Roanes Macías, "A Groebner Bases Based Many-valued Modal Logic Implementation in Maple" (En: S. Autexier et al., editores: AISC / Calculemus / MKM 2008), Springer-Verlag. Lecture Notes in Artificial Intelligence, núm. 5144, Berlin-Heidelberg, ISSN 0302-9743, ISBN 978-3-540-85109-7, 170-183. 2008.
  • E. Roanes Lozano, L.M. Laita, E. Roanes Macías, "A Symbolic-Numeric Approach to MPL Continous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL", The Open Applied Mathematics Journal, ISSN: 1874-1142, 126-133. 2008.
  • E. Roanes Lozano, L.M. Laita, E. Roanes Macías, "Un sistema predictivo para la toma de decisiones inspirado por el modelo gravitacional", Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas, Vol. 79, Madrid, ISSN: 1135-0261, 43-55. 2008.
  • E. Roanes Lozano, A. Martínez Zarzuelo, A. García Álvarez, E. Roanes Macías, "Unas reflexiones sobre el reconocimiento de rutas en mapas ferroviarios y teoría de grafos", Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas, Vol. 78, Madrid, ISSN: 1135-0261, 79-90. 2008.
  • E. Roanes Macías, E. Roanes Lozano, J. Fernández Biarge, "Extensión natural a 3D del teorema de Pappus y su configuración completa", Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas, Vol. 80, Madrid, ISSN: 1135-0261, 38-56. 2008.
  • E. Roanes Lozano, J. Cabezas, M. V. Vara, E. Roanes Macías, P. Ortega, y C. Romo, “A Proposal for Filing the Gap Between the Knowledgeof a CAS and its Application in the Classroom”, En: M.J. Wester, M. Beaudin, editores: Computer Algbebra in Education Páginas: inicial: 7 final: 17 Fecha: 2008 Editorial (si libro): Aulonna Press Lugar de publicación: El Dorado, White Lake, MI,USAISBN 978-0-9754541-9-6.
  • L.M. Laita, E. Roanes Lozano, L. de Ledesma, « What Machines Can and Cannot Do”, RACSAM (Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A, Matemáticas) Volumen: 101(2) Páginas, inicial: 133 final 157 Fecha: 2007 Lugar de publicación: Madrid ISSN: 1578-7303
  • E. Roanes Lozano, L.M. Laita, E. Roanes Macías, « Un sistema predictivo para la toma de decisiones inspirado por el modelo gravitacional », Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas Volumen: 79Páginas, inicial: 43 final: 55 Fecha: 2008 Lugar de publicación: Madrid ISSN: 1135-0261.
  • Castro, J.; D. Gómez and J. Tejada, “A rule for slack allocation proportional to the durations in a PERT network”, European Journal of Operational Research. 187, 556-570, (2008).
  • Castro, J.; D. Gómez and J. Tejada, “A polynomial rule for the problem of Sharing Delay Costs in PERT Networks”, Computers and Operations Research, 35 (7) 2376-2387 (2008).
  • Castro, J.; D. Gómez and J. Tejada, “A project game for PERT networks”, Operations Research.Letters, 35, 6, 791-798, (2007)
  • Alonso, E.; J. Tejada, “A revenue equivalence result in a duopolistic electricity market”, En revisión.
  • Alonso, E.; J. Tejada, “Ranking of auction models in a duopolistic electricity market with
  • Correlated values”, En revision.
  • Castro, J.; D. Gómez and J. Tejada, “Polynomial calculation of the Shapley value based on sampling”, Computers and Operations Research, In Press, Corrected Proof, Available online 15 April 2008).
  • A. Sols, J.E. Ramírez-Márquez, D. Verma y B. Vitoriano, « Evaluation of Full and Degraded Mission Reliability and Mission Dependability for Intermittently Operated Multi-Functional Systems », (doi:10.1016/j.ress.2006.08.003). Revista Reliability Engineering & System Safety ISSN: 0951-8320 Volumen: 92 Páginas, inicial: 1274 final: 1280 Fecha: Septiembre 2007 Lugar de publicación: Reino Unido
  • I. Martínez, B. Vitoriano, A. Fernández y P. Cucala, «Statistical dwell time model for metro lines », Volumen: 96 Páginas, inicial: 223 final: 232 Fecha: Septiembre 2007 Editorial: WITpress Lugar de publicación: Reino Unido
  • J. Barquín, B. Vitoriano, E. Centeno y F. Fernández-Menéndez, « An Optimisation-based Conjectured Supply Function Equilibrium Model for Network Constrained Electricity Markets », (doi:10.1057/jors.2008.118) Revista: Journal of the Operational Research Society ISSN: 0160-5682 Volumen: doi:10.1057/jors.2008.118 Aceptado Julio 2008 (online 3dic2008) Lugar de publicación: Reino Unido
  • P. M.Talaván y J. Yáñez, “The Graph coloring problem. A neuronal network approach.” , Ref. European Journal of Operational Research 191: 98-109 (2008).