- 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, inic ial: 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).
|