Martin-Martin, Enrique and Montenegro Montes, Manuel and Riesco Rodríguez, Adrián and Rodríguez Hortalá, Juan and Rubio Cuéllar, Rubén Rafael (2023) Verification of the ROS NavFn planner using executable specification languages. Journal of Logical and Algebraic Methods in Programming, 132 . p. 100860. ISSN 2352-2216
López Gómez, Julián and Sampedro Pascual, Juan Carlos (2022) Axiomatization of the degree of Fitzpatrick, Pejsachowicz and Rabier. Journal of Fixed Point Theory and Applications, 24 (1). ISSN 1661-7738
Baro González, Elías and Fernando Galván, José Francisco and Palacín Cruz, Daniel (2022) Spectral Spaces in o-minimal and other NIP theories. (Unpublished)
Barbero, Marta and Gómez Chacón, Inés M. and Arzarello, Ferdinando (2020) Backward Reasoning and Epistemic Actions in Discovering Processes of Strategic Games Problems. Mathematics, 8 (6). p. 989. ISSN 2227-7390
Alonso García, María Emilia and Lombardi, Henri and Neuwirth, Stefan (2020) À propos d’un théorème de de Felipe et Teissier sur la comparaison de deux hensélisés dans le cas non noethérien. (Unpublished)
Barozzini, David and Frutos Escrig, David de and Della Monica, Dario and Montanari, Angelo and Sala, Pietro (2020) Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts. Theoretical Computer Science, 813 . pp. 270-304. ISSN 03043975
Montenegro Montes, Manuel and Nieva Soto, Susana and Peña Marí, Ricardo and Segura Díaz, Clara María (2020) Extending Liquid Types to Arrays. ACM Transactions on Computational Logic, 21 (2). pp. 1-41. ISSN 1529-3785
Baro González, Elías and Berarducci, Alessandro and Otero, Margarita (2019) Cartan subgroups and regular points of o‐minimal groups. Journal of the London Mathematical Society . ISSN 1469-7750
Lupianez, Francisco Gallego (2017) Another Note on Paraconsistent Neutrosophic Sets. Symmetry, 9 (8). p. 140. ISSN 2073-8994
Beliakov, G. and Gomez, D. and Jameson, Simon S and Montero, Javier and Rodríguez, Juan Tinguaro (2017) Approaches to learning strictly-stable weights for data with missing values. Fuzzy Sets and Systems, 325 . pp. 97-113. ISSN 0165-0114
Franco, Camilo and Rodríguez, Juan Tinguaro and Montero, Javier (2017) Learning preferences from paired opposite-based semantics. International Journal of Approximate Reasoning, 86 . pp. 80-91. ISSN 0888-613X
Marcos-Arenal, P. and Gómez de Castro, Ana Inés and Abarca, B. P. and Sachkov, Mikhail (2017) WUVS simulator: detectability of spectral lines with the WSO-UV spectrographs. Journal of Astronomical Telescopes, Instruments, and Systems, 3 (2). 025002-1. ISSN 2329-4124
Gauda, C. and Gomez, D. and Rodríguez, Juan Tinguaro and Yáñez, Javier and Montero, Javier (2016) Classifying image analysis techniques from their output. International Journal of Computational Intelligence Systems, 9 (Sup. 1). pp. 43-68. ISSN 1875-6883
Gómez, D. and Yáñez, Javier and Guada, Carely and Rodríguez, Juan Tinguaro and Montero, Javier (2015) Fuzzy Image Segmentation based upon Hierarchical Clustering. Knowledge-Based Systems . ISSN 0950-7051 (In Press)
Franco de los Ríos, Camilo A. and Rodríguez, Juan Tinguaro and Montero, Javier (2014) An ordinal approach to computing with words and the preference–aversion model. Information Sciences, 258 (10). pp. 239-248. ISSN 0020-0255
Baro González, Elías and Berarducci, Alessandro (2011) Topology of definable abelian groups in o-minimal structures. Bulletin of the London Mathematical Society . pp. 1-7. ISSN 1469-2120
Bustince, H. and Pagola, M. and Fernandez, J. and Melo-Pinto, P. and Couto, P. and Tizhoosh, H.R. and Montero, Javier (2010) Ignorance functions. An application to the calculation of the threshold in prostate ultrasound images. Fuzzy Sets and Systems, 161 (1). pp. 20-36. ISSN 0165-0114
Baro González, Elías and Otero, Margarita (2010) Locally definable homotopy. Annals of Pure and Applied Logic, 161 (4). pp. 488-503. ISSN 0168-0072
Lupianez, Francisco Gallego (2010) On neutrosophic paraconsistent topology. Kybernetes, 39 (4). pp. 598-601. ISSN 0368-492X
Bustince, H. and Fernandez, J. and Mesiar, R. and Montero, Javier and Orduna, R (2010) Overlap functions. Nonlinear Analysis: Theory, Methods & Applications, 72 (3-4 A). pp. 1488-1499. ISSN 0362-546X
Montero, Javier and Martinez, Luis (2010) Upgrading ideas about the concept of Soft Computing. International Journal of Computational Intelligence Systems, 3 (2). pp. 144-147. ISSN 1875-6883
Garmendia, L. and Salvador, A and Montero, Javier (2009) Computing a T-transitive lower approximation or opening of a proximity relation. Fuzzy Sets and Systems, 160 (14). pp. 2097-2015. ISSN 0165-0114
Lopez, Victoria and Montero, Javier (2009) Formal Specification under Fuzziness. Journal of Multiple-Valued Logic and Soft Computin, 15 (2-3). pp. 209-228. ISSN 1542-3980
Lupianez, Francisco Gallego (2009) Interval neutrosophic sets and topology. Kybernetes, 38 (3/4). pp. 621-624. ISSN 0368-492X
Lupianez, Francisco Gallego (2009) On various neutrosophic topologies. Kybernetes, 38 (6). pp. 1005-1009. ISSN 0368-492X
Yáñez, Javier and Montero, Javier and Gomez, D. (2008) An Algorithmic Approach to Preference Representation. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 16 (Suppl.). pp. 1-18. ISSN 0218-4885
Amo, A. and Gomez, D. and Montero, Javier (2008) Spectral Fuzzy Classification: A Supervised Approach. Mathware & Soft Computing, 10 (3). pp. 141-154. ISSN 1134-5632
Lupianez, Francisco Gallego (2007) Covering properties in intuitionistic fuzzy topological spaces. Kybernetes, 36 (5/6). pp. 749-753. ISSN 0368-492X
Corrales Rodrigáñez, Carmen (2007) Matemáticas con algunos cuadros. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 55 . pp. 93-99. ISSN 1130-488X
Corrales Rodrigáñez, Carmen (2007) Máquinas y maquinaciones. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 54 . pp. 85-94. ISSN 1130-488X
Lupianez, Francisco Gallego (2007) On some fuzzy maps. Kybernetes, 36 (2). pp. 267-269. ISSN 0368-492X
Montero, Javier and Gómez, D. and Bustince, H. (2007) On the relevance of some families of fuzzy Sets. Fuzzy Sets and Systems, 158 (22). pp. 2429-2442. ISSN 0165-0114
Hidalgo Herrero, Mercedes and Ortega Mallén, Yolanda and 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
Corrales Rodrigáñez, Carmen (2006) Construyendo curvas con las manos. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 52 . pp. 97-100. ISSN 1130-488X
Corrales Rodrigáñez, Carmen (2006) Gauss y Goya: Los dos gigantes que se acercaron a las cosas. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 51 . pp. 93-97. ISSN 1130-488X
Corrales Rodrigáñez, Carmen (2006) Mirando con la cabeza. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 53 . pp. 75-81. ISSN 1130-488X
Caballero de la Torre, Vicente (2005) Redes, lógicas no clásicas y neuronas. De los límites de la matematización más allá de la Física. Paideia: Revista de filosofía y didáctica filosófica, 26 (71). pp. 29-40. ISSN ISSN: 0214-7300
Corrales Rodrigáñez, Carmen (2005) Escher I: Las matemáticas para construir. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 49 . pp. 101-108. ISSN 1130-488X
Corrales Rodrigáñez, Carmen (2005) Escher II: Las matemáticas para pensar. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 50 . pp. 109-117. ISSN 1130-488X
Corrales Rodrigáñez, Carmen (2005) Un ejemplo de espacio cociente. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 48 . pp. 99-103. ISSN 1130-488X
Gomez, D. and Montero, Javier (2004) A discussion on aggregation operators. Kybernetika, 40 (1). pp. 107-120. ISSN 0023-5954
Amo, Ana del and Montero, Javier and Binging, Gregory and Cutello, V. (2004) Fuzzy classification systems. European journal of operational research, 156 (2). pp. 495-507. ISSN 0377-2217
Corrales Rodrigáñez, Carmen (2004) Salvador Dalí y la cuestión de las dimensiones. Suma : Revista sobre Enseñanza y Aprendizaje de las Matematicas, 47 . pp. 99-108. ISSN 1130-488X
Verdejo López, José Alberto and Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.
Lupianez, Francisco Gallego (2003) Fuzzy partitions of unity. International Mathematical Journal , 4 (1). pp. 65-68. ISSN 1311-6797
González-Pachón, J. and Gomez, D. and Montero, Javier and Yáñez, Javier (2003) Soft dimension theory. Fuzzy Sets and Systems, 137 (1). pp. 137-149. ISSN 0165-0114
Durán, Francisco and Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.
Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.
Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.
Amo, Ana del and Montero, Javier and Fernández, Angela and López, Marina and Tordesillas, José Manuel and Biging, Greg (2002) Spectral fuzzy classification: An application. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 32 (1). pp. 42-48. ISSN 1094-6977
Verdejo López, José Alberto and Pita Andreu, María Isabel and Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.
Amo, Ana del and Montero, Javier and Molina, E. (2001) Representation of consistent recursive rules. European journal of operational research, 130 (1). pp. 29-53. ISSN 0377-2217
Lupianez, Francisco Gallego (1998) Fuzzy perfect maps and fuzzy paracompactness. Fuzzy Sets and Systems, 98 (1). pp. 137-140. ISSN 0165-0114
Cutello, Vincenzo and Montero, Javier (1997) Equivalence and compositions of fuzzy rationality measures. Fuzzy Sets and Systems, 85 (1). pp. 31-43. ISSN 0165-0114
Cutello, Vincezo and Montero, Javier and Yáñez, Javier (1996) Structure functions with fuzzy states. Fuzzy Sets and Systems, 83 (2). pp. 189-202. ISSN 0165-0114
Cutello, V. and Montero, Javier (1994) Hierarchies of aggregation operators. International Journal of Intelligent Systems, 9 (11). pp. 1025-1045. ISSN 0884-8173
Montero, Javier (1994) Rational aggregation rules. Fuzzy Sets and Systems, 62 (3). pp. 267-276. ISSN 0165-0114
Menéndez Calleja, María Luisa and Taneja, I.J. and Pardo Llorente, Julio Ángel (1993) A fuzzy probabilistic information system comparison criterion: Applications and properties. Fuzzy Sets and Systems, 58 (2). pp. 171-183. ISSN 0165-0114
Pardo Llorente, Julio Ángel (1993) The (α, β)-terminal Information energy in the sequential selection of fuzzy information systems. Information Sciences, 69 (1-2). pp. 65-88. ISSN 0020-0255
Cutello, V. and Montero, Javier (1993) A characterization of rational amalgamation operations. International Journal of Approximate Reasoning, 8 (4). pp. 325-344. ISSN 0888-613X
Menéndez Calleja, María Luisa and Pardo Llorente, Julio Ángel and Pardo Llorente, Leandro (1992) Some statistical applications of generalized Jensen difference divergence measures for fuzzy information systems. Fuzzy Sets and Systems, 52 (2). pp. 169-180. ISSN 0165-0114
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
Menéndez Calleja, María Luisa and Pardo Llorente, Julio Ángel and Pardo Llorente, Leandro (1989) Sufficient fuzzy information systems. Fuzzy Sets and Systems, 32 (1). pp. 81-89. ISSN 0165-0114
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
Montero, Javier and Tejada Cazorla, Juan Antonio (1986) Sobre la transitividad difusa. Estadística Española (111). pp. 49-58. ISSN 0014-1151
Sols, Ignacio (1975) Bon ordre dans l'objet des nombres naturels d'un topos booléen. Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 281 (15). pp. 601-603. ISSN 0764-4442
Meseguer Guaita, José and Sols, Ignacio (1975) Automata in semimodule categories. Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 23 (11). pp. 1161-1166. ISSN 0001-4117
Castiblanco, Fabian and Gomez, D. and Montero, Javier and Rodríguez, Juan Tinguaro (2017) Aggregation tools for the evaluation of classifications. In Fuzzy Systems Association and 9th International Conference on Soft Computing and Intelligent Systems (IFSA-SCIS), 2017 Joint 17th World Congress of International. IEEE, Otsu, Japan, pp. 1-5. ISBN 978-1-5090-4917-2
Sanz, José Antonio and Galar, Mikel and Mesiar, Radko and Bustince, H. and Fernandez, Javier and Montero, Javier (2017) Construction of Capacities from Overlap Indexes. In Fuzzy Sets, Rough Sets, Multisets and Clustering. Studies in Computational Intelligence (671). Springer, Cham, pp. 323-335. ISBN 978-3-319-47556-1
Lopez-Molina, Carlos and Montero, Javier and Bustince, Humberto and De Baets, Bernard (2017) Gradient Fusion Operators for Vector-Valued Image Processing. In Advances in Fuzzy Logic and Technology. Advances in Intelligent Systems and Computing (642). Springer, pp. 430-442. ISBN 978-3319668260
Guada, Carely and Gomez, D. and Rodríguez, Juan Tinguaro and Yáñez, Javier and Montero, Javier (2017) Graph Approach in Image Segmentation. In Advances in Fuzzy Logic and Technology 2017. Advances in Intelligent Systems and Computing, 2 (642). Springer, Warsaw, Poland, pp. 200-212. ISBN 978-3319668291
González del Campo, Ramón and Garmendia, Luis and Recasens, Jordi and Montero, Javier (2017) Hesitant fuzzy sets and relations using lists. In 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, Naples, Italy. ISBN 978-1-5090-6034-4
Olaso, Pablo and Rojas, Karina and Gomez, D. and Montero, Javier (2017) On Stability of Families for Improper Aggregation Operators. In Aggregation Functions in Theory and in Practice. Advances in Intelligent Systems and Computing (581). Springer, pp. 172-180. ISBN 9783319593050
Franco, Camilo and Rodríguez, Juan Tinguaro and Montero, Javier and Gomez, D. (2016) A new view on the relationships between interval valured and intuitionistic fuzzy sets. In Uncertainty modelling in knowledge engineering and decision making Proceedings of the 12th International FLINS Conference (FLINS 2016). Wold scientific proceeding series on computer engineering and information science, 1 (10). World Scientific, USA, pp. 105-111. ISBN 978-9813146969
Miranda Menéndez, Pedro and Grabisch, Michel (2016) Finding the set of k-additive dominating measures viewed as a flow problem. In Information Processing and Management of Uncertainty in Knowledge-Based Systems. Communications in Computer and Information Science, 1 (610). Springer Verlag, pp. 11-22. ISBN 978-331940595-7
Montero, Javier and Gomez, D. and Rodríguez, Juan Tinguaro and Franco, Camilo (2016) Paired fuzzy sets and other opposite-based models. In Fuzzy Systems (FUZZ-IEEE), 2016 IEEE International Conference on. IEEE, Vancouver, BC, Canada, pp. 118-121. ISBN 978-1-5090-0625-0
Bustince, H. and Barrenechea, Edurne and Burusco, Ana and Fernandez, Javier and Rodríguez, Juan Tinguaro and Montero, Javier and Pagola, Miguel and Gómez, D. (2015) From Trillas’ Negations and Antonyms to a Set Representation of Contradiction Within Bipolar and Other Extensions of Fuzzy Sets. In Accuracy and Fuzziness. A Life in Science and Politics. Studies in Fuzziness and Soft Computing (323). Springer International Publishing, Switzerland, pp. 159-177. ISBN 978-3-319-18605-4
Bustince, H. and Barrenechea, E. and Fernández, J. and Pagola, M. and Montero, Javier (2015) Generation of Interval-Valued Fuzzy Negations from Trillas’ Theorem. The Case of Interval Type-2 Fuzzy Sets. In Enric Trillas: A Passion for Fuzzy Sets. A Collection of Recent Works on Fuzzy Logic. Studies in Fuzziness and Soft Computing (322). Springer International Publishing, pp. 93-108. ISBN 978-3-319-16234-8
Beliakov, G. and James, S. and Gómez, D. and Rodríguez, Juan Tinguaro and Montero, Javier (2015) Learning stable weights for data of varying dimension. In Proceedings of 8th International Summer School on Aggregation Operators. TOTEM.COM.PL SP, Poland, pp. 49-54. ISBN 978-83-8012-519-3
Bustince, H. and Barrenechea, Edurne and Fernandez, J. and Pagola, Miguel and Montero, Javier (2015) The Origin of Fuzzy Extensions. In Springer Handbook of Computational Intelligence. Springer, Berlin Heidelberg, pp. 89-112. ISBN 978-3-662-43504-5
Turunen, E. and Rodríguez, Juan Tinguaro (2015) Two Consistent Many-Valued Logics for Paraconsistent Phenomena. In New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, II (152). Springer, NEW YORK, pp. 185-220. ISBN 9788132227199
Gómez Gómez, Francisco and Munuera Gómez, Pilar and García Gans, Antonio (2014) Cómo desarrolla el profesorado las competencias profesionales para el Trabajo Social: una aplicación mediante Técnicas de Lógica Difusa (TLD). In Crisis y cambio: propuesta desde la sociología. UCM, Madrid, pp. 10-21. ISBN 978-84-697-0169-0
Gomez, Daniel and Rojas, Karina and Montero, Javier and Rodríguez, Juan Tinguaro and Beliakov, G. (2014) Consistencia y estabilidad en operadores de agregación: Una aplicación al problema de datos perdidos. In ESTYLF 2014 XVII Congreso Español sobre tecnologías y lógica fuzzy. Universidad de Zaragoza, Zaragoza, pp. 289-296. ISBN 978-84-15688-76-1
Franco, Camilo and Montero, Javier and Rodríguez, Juan Tinguaro (2014) Relevance in preference structures. In Knowledge Engineering and Management. Advances in Intelligent Systems and Computing (214). Springer, Berlin, pp. 117-125. ISBN 978-3-642-37831-7
Rodríguez, Juan Tinguaro and Guada, Carely and Montero, Javier (2014) Una experiencia docente sobre el uso cotidiano de las diferentes lógicas. In ESTYLF 2014 XVII Congreso Español sobre tecnologías y lógica fuzzy. Universidad de Zaragoza, Zaragoza, pp. 585-590. ISBN 978-84-15688-76-1
Gómez, Daniel and Rojas Patuelli, Karina and Montero, Javier and Rodríguez, Juan Tinguaro (2013) Consistency and stability in aggregation operators: An application to missing data problems. In Aggregation Functions in Theory and in Practise. Advances in Intelligent Systems and Computing (228). Springer-Verlag Berlin Heidelberg, Berlin, pp. 507-518. ISBN 978-3-642-39164-4
Franco, Camilo and Melo-Pinto, P. and Rodríguez, Juan Tinguaro and Montero, Javier (2013) Intuitionistic fuzzy preference structures. In New Trends in Fuzzy Sets, Intuitionistic Fuzzy Sets. Systems Research Institute, Warsaw, pp. 31-48. ISBN 85-894-7546-4
Rojas, Karina and Gomez, D. and Montero, Javier (2012) Algunas Propiedades de Consistencia de las Familias de Operadores de Agregación. In XVI Congreso Español sobre tecnologias y lógica Fuzzy ESTYLF 2012. Universidad de Valladolid, Valladolid, pp. 564-568. ISBN 978-84-615-6653-2
Gomez, D. and Zarrazola, E. and Montero, Javier and Yáñez, Javier (2012) Clasificación no supervisada y jerárquica basada en coloración en grafos: una aplicación a imágenes astronómicas. In XVI Congreso Español sobre tecnologias y lógica Fuzzy ESTYLF 2012. Universidad de Valladolid, Valladolid, pp. 492-497. ISBN 978-84-615-6653-2
Martinez, Nuria and Gomez, D. and Montero, Javier (2012) Impacto de las etiquetas em La interpretación de La escala de Likert. In XVI Congreso Español sobre tecnologias y lógica Fuzzy ESTYLF 2012. Universidad de Valladolid, Valladolid, pp. 253-258. ISBN 978-84-615-6653-2
Franco, Camilo and Montero, Javier and Rodríguez, Juan Tinguaro (2012) Modelo difuso de preferencia-aversión. In XVI Congreso Español sobre tecnologias y lógica Fuzzy ESTYLF 2012. Universidad de Valladolid, Valladolid, pp. 114-119. ISBN 978-84-615-6653-2
Rodríguez, Juan Tinguaro and Vitoriano, Begoña and Montero, Javier (2012) Sistemas de clasificación basados em reglas borrosas bipolares. In XVI Congreso Español sobre tecnologias y lógica Fuzzy ESTYLF 2012. Universidad de Valladolid, Valladolid, pp. 626-5631. ISBN 978-84-615-6653-2
Rodríguez, Juan Tinguaro and Franco, Camilo and Montero, Javier (2012) Una tipología conjunta de la bipolaridad y la incertidumbre borrosa. In XVI Congreso Español sobre tecnologias y lógica Fuzzy ESTYLF 2012. Universidad de Valladolid, Valladolid, pp. 84-89. ISBN 978-84-615-6653-2
Rodríguez, Juan Tinguaro and Franco, Camilo and Vitoriano, Begoña and Montero, Javier (2011) An axiomatic approach to the notion of semantic antagonism. In World Congress of International Fuzzy Systems Association 2011 and Asia Fuzzy Systems Society International Conference 2011. Society for soft computing, Indonesia, FT-104. ISBN 978-602-99359-0-5
Jesus Zarrazola, E. de and Gómez, Daniel and Montero, Javier and Yáñez, Javier (2010) A hierarchical segmentation for image processing. In 2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC). IEEE Conference Publications (http:/). IEEE, pp. 1-4. ISBN 978-1-4244-8126-2
Montero, Javier (2010) Ciencia y Sociedad: la Lógica más allá de la Lógica. In VI Simposio CEA de Control Inteligente : SCI 2010 : La Laguna, 25-26 de noviembre, 2010. Universidad de la Laguna, La Laguna. ISBN 9788469384718
Lopez, Victoria and Montero, Javier and Rodríguez, Juan Tinguaro (2010) Formal Specification and Implementation of Computational aggregation functions. In Computational Intelligence: Foundations and Applications, Proceedings of the 9th International FLINS Conference (World Scientific Proceedings Series on Computer Engineering and Information Science). World Scientific Proceedings Series on Computer Engineering and Information Science, 4 (4). World Scientific Publishing Company, pp. 523-528. ISBN 9789814324694
Roanes-Lozano, E. and Montero, Javier and Hernando, A. and Laita, L. M. (2010) From computer algebra to discretized continuous logic. In XV Congreso español sobre tecnologías y lógica fuzzy : 2010 : Huelva. Universidad de Huelva, Servicio de Publicaciones, Huelva, pp. 169-174. ISBN 978-84-92944-02-6
Franco, Camilo and Rodríguez, Juan Tinguaro and Montero, Javier (2010) Information Measures over Intuitionistic Four Valued Fuzzy Preferences. In 2010 IEEE International Conference on Fuzzy Systems (FUZZ-IEE 2010),. 2010 IEEE World Congress on Computational Intelligence . IEEE, pp. 1-8. ISBN 978-1-4244-6920-8
Montero, Javier and Gomez, D. and Lopez, Victoria and Rodríguez, Sergio and Vitoriano, Begoña (2010) Sobre las funciones y reglas de agregación. In XV Congreso español sobre tecnologías y lógica fuzzy : 2010 : Huelva. Universidad de Huelva, Servicio de Publicaciones,, Huelva, pp. 303-307. ISBN 978-84-92944-02-6
Rodríguez, Juan Tinguaro and Vitoriano, Begoña and Montero, Javier (2010) Una formulación axiomática de la noción de antagonismo semántico. In Actas del III Simposio sobre Lógica Fuzzy y Soft Computing, LFSC2010. Garceta, Madrid, pp. 181-188. ISBN 978-84-92812-65-3
Bustince, Humberto and Fernandez, Javier and De Baets, B. and Montero, Javier and Mesiar, R. (2010) Una generalización de la migratividad. In XV Congreso español sobre tecnologías y lógica fuzzy : 2010 : Huelva. Universidad de Huelva, Servicio de Publicaciones,, Huelva, pp. 279-283. ISBN 978-84-92944-02-6
Gomez, D. and Montero, Javier and Yáñez, Javier (2009) A Structural Approach to Image Segmentation. In 2009 Ninth International Conference on Intelligent Systems Design and Applications. IEEE, Pisa, ITALY, pp. 1329-1334. ISBN 978-1-4244-4735-0
Bustince, H. and Fernandez, J. and Mesiar, R. and Montero, Javier and Orduna, R (2009) Overlap index, overlap functions and migrativity. In Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. Computer Science Bibliographies . European Society of Fuzzy Logic and Technology, Lisbon, PORTUGAL, pp. 300-305. ISBN 978-989-95079-6-8
Rodríguez, Juan Tinguaro and Lopez, Victoria and Montero, Javier and Vitoriano, Begoña (2009) A methodology for building fuzzy rules from data. In Preference modelling and decision analysis. Public University of Navarre, Pamplona, pp. 33-38. ISBN 978-84-9769-242-7
Lopez, Victoria and Gómez, D. and Montero, Javier (2009) Fuzzy weakest precondition and fuzzy invariants. In 8th Joint Conference on Information Sciences 2005. Curran Associates, Inc., Durham, N.C, pp. 47-53. ISBN 9781605603223
Rodríguez, Juan Tinguaro and Vitoriano, Begoña and Montero, Javier and Gomez, D. (2009) Modelling Bipolar Multicriteria Decision Making. In Computational intelligence in miulti-criteria decision-making, 2009. mcdm '09. ieee symposium on comutational intelligence in multi-criteria decision-marking. IEEE Symposium on Computational Intelligence in Multi-Criteria Decision-Making . IEEE, Nashville, TN, pp. 115-117. ISBN 978-1-4244-2764-2
Franco de los Rios, Camilo and Montero, Javier (2009) On the use of coherence measures for fuzzy preference relations. In Preference modelling and decision analysis. Public University of Navarre, Pamplona, pp. 15-19. ISBN 978-84-9769-242-7
Gomez, Daniel and Montero, Javier and Yáñez, Javier (2009) Partition problems for fuzzy graphs. In Preference modelling and decision analysis. Public University of Navarre, Pamplona, pp. 67-70. ISBN 978-84-9769-242-7
Garmendia, L. and Salvador, A and Montero, Javier (2008) Computing a T-transitive opening of a proximity. In Computational intelligence in decision and control : proceedings of the 8th International FLINS Conference. World Scientific, Singapore, pp. 157-162. ISBN 978-981-279-946-3
Rodríguez, Juan Tinguaro and Vitoriano, Begoña and Montero, Javier (2008) Decision making and Atanassov's approach to fuzzy sets. In Advances in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics. Academic Publishing House EXIT, Warszawa, pp. 203-2013. ISBN 978-83-60434-57-4
Amo, Ana del and Gomez, Daniel and Montero, Javier (2008) Improving fuzzy classification by means of a segmentation algorithm. In Fuzzy Sets and Their Extensions: Representation, Aggregation and Models. Studies in Fuzziness and Soft Computing, II (220). Springer, Berlin, pp. 453-471. ISBN 978-3-540-73722-3
Bustince, Humberto and Fernandez, Javier and Montero, Javier (2008) Indices de solapamiento entre conjuntos difusos. construccion a partir de grados de solapamiento. In XIV Congreso español sobre tecnologías y lógica fuzzy ESTYLF 2008. European Centre for Soft Computing, pp. 79-84. ISBN 978-84-691-5807-4
Lupianez, Francisco Gallego (2008) Some recent results on Atanassov's intuitionistic fuzzy topological spaces. In Computational Intelligence in Decision and Control. World Scientific Proceedings Series on Computer Engineering and Information Science (1). World Scientific, Singapore, pp. 229-234. ISBN 978-981-279-946-3
Bustince, H. and Barrenechea, Edurne and Pagola, M. and Ortuña, R. and Montero, Javier (2008) Special construction of Atanassov’s intuitionistic fuzzy S-implications that maintain the Atanassov’s intuitionistic index. In Developments in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics. Challenging problems of science. Computer science, 1 . Warsaw, S L, pp. 23-32. ISBN 9788360434529
Montero, Javier and Gomez, Daniel and Bustince, H. and Barrenechea, Edurne (2008) The underlying structure in Atanassov's IFS. In Developments in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics. Warsaw, S L, pp. 243-252. ISBN 9788360434529
Montero, Javier and Gómez, Daniel and Bustince, H. (2007) Atanassov’s Intuitionistic Fuzzy Sets as a Classification Model. In Foundations of fuzzy logic and soft computing :12th International fuzzy systems association world congress. Lecture Notes in Computer Science (4529). Springer, Berlin, pp. 69-75. ISBN 978-3-540-72917-4
Lopez, Victoria and Montero, Javier (2007) Análisis de requisitos difusos em valoración de inmuebles. In Actas del II Simposio sobre Lógica Fuzzy y Soft Computing, (LFSC 2007. International Thomson Editores Spain, Madrid, pp. 181-187. ISBN 978-84-9732-609-4
Yáñez, Javier and Montero, Javier and Gómez, Daniel (2007) Astronomical images: a segmentation algorithm. In El proyecto Observatorio Espacial Mundial Ultravioleta-España = The World Space Observatory Ultraviolet (WSO/UV) project-Spain 2003-2005. Universidad Complutense de Madrid, Madrid, pp. 297-308. ISBN 978-84-7491-807-6
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
Gómez, D. and Montero, Javier and Yáñez, Javier (2007) Decomposing preference relations. In 2007 IEEE international conference on fuzzy systems. IEE monograph series, 1-4 . IEEE,electron devices soc &reliability group, London, England, pp. 1256-1260. ISBN 978-1-4244-1209-9
Garcia-Lapresta, J. L. and Montero, Javier (2006) Consistency in preference modelling. In Modern Information Processing : from theory to applications. Elsevier, Amsterdam, pp. 87-97. ISBN 9780444520753
Gomez, Daniel and Montero, Javier and Bustince, H. (2006) Sobre los conjuntos intuicionistas de Atanassov. In Actas del XIII Congreso Español sobre Tecnologías y Lógica Fuzzy: Ciudad Real, 20-22 de septiembre de 2006. Grupo de Investigación Oreto, Ciudad Real, pp. 319-324. ISBN 84-689-9547-9
Sobrevilla, P. and Gómez, D. and Montero, Javier and Montseny, E. (2005) Unsupervised perceptual model for color image's segmentation. In NAFIPS 2005 - 2005 Annual meeting of the north american fuzzy information processing society. IEE monograph series . IEEE, Detroit, MI, pp. 349-354. ISBN 0-7803-9187-X
Garcia-Lapestra, J. L, and Montero, Javier (2004) Consistency of crisp and fuzzy preference relations. In IPMU 2004 : Information Processing and Management of Uncertainty in Knowledge-based Systems : tenth International Conference.Perugia, July, 4-9, 2004: proceedings. Università degli Studi di Roma "La Sapienzia, Roma, pp. 527-534. ISBN 88-87242-54-2
Gomez, D. and Montero, Javier and Yáñez, Javier and Poidomani, C. (2004) Painting algorithms for fuzzy classification. In Fuzzy Systems, 2004. Proceedings. 2004 IEEE International Conference on. IEEE, pp. 127-132. ISBN 0-7803-8353-2
Gómez, D. and Montero, Javier (2004) Some new results on recursive aggregation rules. In IPMU 2004 : Information Processing and Management of Uncertainty in Knowledge-based Systems : tenth International Conference.Perugia, July, 4-9, 2004: proceedings. Università degli Studi di Roma "La Sapienzia, Roma, pp. 1235-1242. ISBN 88-87242-54-2
Gomez, D. and Montero, Javier (2003) A discussion on consistency of global aggregation operators. In Proceedings of AGOP'2003 International Summer School on Aggregation Operators and their Applications. Universidad de Alcalá, Alcalá de Henares, pp. 83-87. ISBN 8481385700
Gómez, Daniel and Montero, Javier and Yáñez, Javier and Poidomani, Carmelo (2003) Modelos de clasificación difusa para Teledetección. In 27 Congreso Nacional de Estadística e Investigación Operativa [Archivo de ordenador] : Lleida, del 8 al 11 de abril de 2003 : actas. Universitat de Lleida, pp. 3723-3729. ISBN 84-8409-955-5
Montero, Javier and Gomez, D. (2003) Preferences, classification and intuitionistic fuzzy sets. In EUSFLAT 2003 : Third conference of the european society for fuzzy logic and technology. September 10-12, 2003, Zittau, Germany. Proceedings. University of Applied Sciences, Alemania. ISBN 3-9808089-4-7
Montero, Javier and Gomez, D. and Yáñez, Javier and González-Pachón, J. (2003) Rationality cores in preference representation. In IFSA 2003 : proceedings of the 10th IFSA World Congress : June 29 - July 2, 2003 : Istanbul, Turkey. IFSA,, Istanbul, pp. 340-343. ISBN 975518208X
Gomez, D. and Montero, Javier and Yáñez, Javier (2003) Some useful procedures towards consistent preference modeling. In Proceedings of the 7th Joint Conference on Information Sciences. Association for Intelligent Machinery, Estados Unidos, pp. 139-142. ISBN 0970789025
Amo, Ana del and Gomez, D. and Montero, Javier (2003) Spectral fuzzy classification system for target recognition. In Fuzzy Information Processing Society, 2003. NAFIPS 2003. 22nd International Conference of the North American. 0-7803-7918-7 . Desconocido, S L, pp. 495-499. ISBN 0-7803-7918-7
Montero, Javier and Yáñez, Javier and Amo, Ana del and Gomez, D. and Biging, G. (2002) Digital Image Classication of Land Cover. In Proceedings of the 6th Joint Conference on Information Sciences : March 8-13, 2002, Research Triangle Park, North Carolina, USA. Association for Intelligent Machinery, Estados Unidos, pp. 125-127. ISBN 0970789017
Sánchez Gil, Lidia and Hidalgo Herrero, Mercedes and 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
Cutello, V. and Montero, Javier (1999) Fuzzy rationality and utility theory axioms. In 18th International Conference of the North American Fuzzy Information Processing Society NAFIPS : june 10-12, 1999, New York, USA / edited by Rajesh N. Davé, Thomas Sudkamp ; sponsored by NAFIPS in cooperation with IEEE Neural Networks Council and IEEE Sy. IEEE, New York, NY, 332 -336. ISBN 0-7803-5211-4
Amo, Ana del and Montero, Javier (1999) On the principles of fuzzy classification. In 18th International Conference of the North American Fuzzy Information Processing Society NAFIPS : june 10-12, 1999, New York, USA / edited by Rajesh N. Davé, Thomas Sudkamp ; sponsored by NAFIPS in cooperation with IEEE Neural Networks Council and IEEE Sy. IEEE, New York, NY, pp. 675-679. ISBN 0-7803-5211-4
Montero, Javier and Cutello, V. (1997) Aggregation Rules in Committee Procedures. In The Ordered Weighted Averaging Operators:Theory and Applications. Springer- verlag, Boston, pp. 219-237. ISBN 978-1-4613-7806-8
Montero, Javier and Mendel, M. (1997) Is it possible the agreement between Bayesian Theory and Fuzzy Sets? In IFSA '97 : Seventh International Fuzzy Systems Association World Congress : proceedings : June 25-29, 1997, University of Economics, Prague, Czech Republic. Academia,, Prague, pp. 19-24. ISBN 80-200-0633-8
Cutello, V. and Montero, Javier (1997) Non deterministic fuzzy classification systems. In Fuzzy Systems, 1997., Proceedings of the Sixth IEEE International Conference on. IEEE, New York, pp. 1689-1694. ISBN 0-7803-3796-4
Cutello, V. and Montero, Javier and Molina, E. (1996) Associativeness versus recursiveness. In 26th International Symposium on Multiple-Valued Logic : proceedings 1996. IEEE, California, pp. 154-159. ISBN 0-8186-7392-3
Cutello, V. and Molina, E. and Montero, Javier (1996) Binary operators and connective rules. In 1996 Biennial Conference of the North American Fuzzy Information Processing Society, NAFIPS. IEEE, Berkeley, CA, pp. 46-49. ISBN 0-7803-3225-3
Cutello, V. and Montero, Javier (1996) The problem of defining non deterministic aggregation operators. In Intelligent systems and soft computing for nuclear science and industry. World Scientific, Singapore ; New Jersey, pp. 105-112. ISBN 981-02-2738-8
Cutello, V. and Montero, Javier (1995) Amalgamated rationality of fuzzy preference relations subject to several rationality criteria. In Proceedings of the Sixth International Fuzzy Systems Association World Congress : July 21-28, 1995, Sao Paulo. S.N., Sao Paulo, pp. 289-292.
Cutello, V. and Montero, Javier (1995) Consistent Valued Preference Models. In IFSA' 95: Proceedings of the Sixth International Fuzzy Systems Association World Congress. International Fuzzy Systems Association, pp. 137-140.
Romero Hernández, David (2016) Más sobre equivalencias lógicas y distancias entre procesos. [Thesis]
Nieva Soto, Susana (2015) Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella. [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]
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]
Aguirre Garcia, Luis Manuel (2013) Conditional narrowing modulo in Rewriting Logic and Maude. [Trabajo Fin de Máster]
Martín Bonilla, Raúl (2011) Gestión de sostenibilidad utilizando lógica borrosa. [Trabajo Fin de Máster]
Santos Benavides, Germán Pablo (2011) Medida borrosa de la fiabilidad de un recurso para entornos Grid. [Trabajo Fin de Máster]
Samborski-Forlese, Julian (2011) Two Algorithms for Model Checking of Regular Linear Temporal Logic. [Trabajo Fin de Máster]
Palomino Palomino, Mª Pilar (2009) Algoritmo para la localización y estimación de masa forestal a partir de imágenes LiDAR. [Trabajo Fin de Máster]
Morata Palacios, Francisco (2009) Controlador fuzzy de un quadrotor. [Trabajo Fin de Máster]
Díaz Agrela, Diana (2009) Determinación taxonómica inteligente de Flora Ibérica mediante lógica fuzzy. [Trabajo Fin de Máster]
Piorno Campo, Juan (2009) Diseño de un nuevo clasificador supervisado para minería de datos. [Trabajo Fin de Máster]
Guijarro Mata-García, María (2007) Diseño de un nuevo clasificador híbrido no supervisado para texturas naturales en imágenes. [Trabajo Fin de Máster]
Baro González, Elías (2018) NIP theories and Shelah's Theorem. [Teaching Resource] (Unpublished)
Holubanský, Jakub and Mínguez Horcajada, Álvaro (2016) Análisis de terminación para una plataforma de verificación de programas. [Trabajo Fin de Grado]
Rubio Cuéllar, Rubén Rafael (2016) Verificación de algoritmos y estructuras de datos en Dafny. [Trabajo Fin de Grado]
Alejos Castroviejo, Javier and Arranz García, Diego and Mosquera Logoño, Saskya Isabel (2014) Depurador algorítmico para estructuras de control Java. [Coursework] (Unpublished)
Sánchez-Velisco Sánchez, Carlos and García Martínez, Antonio José and Fernández Maiquez, David (2010) Diseño de un entorno para la inserción y detección de errores en sistemas basados en FPGAs. [Coursework] (Unpublished)
![[up]](/style/images/multi_up.png)
Up a level
