Edit Profile (opens in new tab) Alonso, José-Antonio Co-Author Distance Author ID: alonso.jose-antonio Published as: Alonso, José Antonio; Alonso, José-Antonio; Alonso, J. A.; Alonso, Jose Antonio; Alonso, Jose A.; Alonso, José A. more...less External Links: ORCID Documents Indexed: 31 Publications since 1976, including 2 Additional arXiv Preprints Co-Authors: 10 Co-Authors with 19 Joint Publications 103 Co-Co-Authors all top 5 Co-Authors 2 single-authored 13 Martín-Mateos, Francisco-Jesús 12 Hidalgo, María-José 12 Ruiz-Reina, José-Luis 4 Hernando, Antonio 4 Ortega, Eva-María 4 Roanes-Lozano, Eugenio 2 Brum, Joaquin 2 Laita, Luis M. 2 Lamata, Maria Teresa 1 Antolín, Yago 1 Bahamonde, Antonio 1 Borrego-Díaz, Joaquín 1 Borrego, Joaquín 1 Briales, Emilio 1 Chazarain, Jacques 1 del Coz, Juan José 1 Díez, Jorge 1 Escudero, Laureano Fernando 1 Goyache, F. 1 Luaces, Oscar 1 Martinez, José Ignacio 1 Ortega-Quiles, Encarnacion 1 Ortega, Isabel 1 Passeggi, Alejandro 1 Peña, A. M. 1 Riscos, Agustin 1 Rivas, Cristóbal 1 Roanes-Macías, Eugenio all top 5 Serials 3 Journal of Automated Reasoning 2 Mathematical Biosciences 2 Mathematics and Computers in Simulation 2 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Mathematics of Computation 1 Proceedings of the American Mathematical Society 1 Journal of Symbolic Computation 1 Communications in Statistics. Theory and Methods 1 Annals of Mathematics and Artificial Intelligence 1 Stochastic Environmental Research and Risk Assessment 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas 1 Journal of Computational Methods in Sciences and Engineering 1 Mathematical Modelling of Natural Phenomena all top 5 Fields 20 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 5 Probability theory and stochastic processes (60-XX) 3 Group theory and generalizations (20-XX) 3 Biology and other natural sciences (92-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 47 times in 38 Documents Cited by ▼ Year ▼ Multi-valued logic and Gröbner bases with applications to modal logic. Zbl 0728.03021 Chazarain, J.; Riscos, A.; Alonso, J. A.; Briales, E. 26 1991 Consistency in the analytic hierarchy process: A new approach. Zbl 1097.68633 Alonso, José Antonio; Lamata, Maria Teresa 14 2006 A logic approach to decision taking in a railway interlocking system using Maple. Zbl 1237.90149 Roanes-Lozano, Eugenio; Hernando, Antonio; Alonso, Jose Antonio; Laita, Luis M. 5 2011 Formal proofs about rewriting using ACL2. Zbl 1015.68169 Ruiz-Reina, José-Luis; Alonso, José-Antonio; Hidalgo, María-José; Martín-Mateos, Francisco-Jesús 5 2002 A formally verified prover for the \(\mathcal{ALC}\) description logic. Zbl 1144.68350 Alonso, José-Antonio; Borrego-Díaz, Joaquín; Hidalgo, María-José; Martín-Mateos, Francisco-Jesus; Ruiz-Reina, José-Luis 4 2007 Formal verification of a generic framework to synthesize SAT-provers. Zbl 1096.68094 Martín-Mateos, Francisco-Jesús; Alonso, José-Antonio; Hidalgo, María-José; Ruiz-Reina, José-Luis 4 2004 Stochastic comparisons of mixtures of parametric families in stochastic epidemics. Zbl 1310.92059 Ortega, Eva María; Alonso, José; Ortega, Isabel 4 2013 Proof pearl: a formal proof of Higman’s Lemma in ACL2. Zbl 1152.68525 Martín-Mateos, Francisco J.; Ruiz-Reina, José L.; Alonso, José A.; Hidalgo, Mariá J. 3 2005 A formal proof of Dickson’s lemma in ACL2. Zbl 1273.68323 Martín-Mateos, F. J.; Alonso, J. A.; Hidalgo, M. J.; Ruiz-Reina, J. L. 3 2003 Groups of square-free order, an algorithm. Zbl 0335.20002 Alonso, J. 2 1976 Verification in ACL2 of a generic framework to synthesize SAT-provers. Zbl 1278.68273 Martín-Mateos, F. J.; Alonso, J. A.; Hidalgo, M. J.; Ruiz-Reina, J. L. 2 2003 Proof pearl: a formal proof of Higman’s lemma in ACL2. Zbl 1243.68269 Martín-Mateos, Francisco Jesús; Ruiz-Reina, José Luis; Alonso, José Antonio; Hidalgo, María José 2 2011 Variability comparisons for some mixture models with stochastic environments in biosciences and engineering. Zbl 1418.60121 Escudero, Laureano F.; Ortega, Eva María; Alonso, José 2 2010 A statistical criterion of consistency in the analytic hierarchy process. Zbl 1121.68448 Alonso, José Antonio; Lamata, Maria Teresa 1 2005 Groups of order \(pq^m\) with elementary Abelian Sylow \(q\)-subgroups. Zbl 0372.20016 Alonso, J. 1 1977 Formal correctness of a quadratic unification algorithm. Zbl 1113.68094 Ruiz-Reina, José-Luis; Martín-Mateos, Francisco-Jesús; Alonso, José-Antonio; Hidalgo, María-José 1 2006 Termination in ACL2 using multiset relations. Zbl 1063.68026 Ruiz-Reina, J. L.; Alonso, J. A.; Hidalgo, M. J.; Martín-Mateos, F. J. 1 2003 Verification of the formal concept analysis. Zbl 1103.68111 Alonso, José Antonio; Borrego, Joaquín; Hidalgo, María José; Martín-Mateos, Francisco Jesús; Ruiz-Reina, José Luis 1 2004 Comparisons of multistate models with discrete-time pure-birth process for recurrent events and uncertain parameters. Zbl 1337.60017 Ortega, Eva-Maria; Alonso, José; Ortega-Quiles, Encarnacion 1 2016 Approximate aggregation methods in discrete time stochastic population models. Zbl 1206.92067 Sanz, L.; Alonso, J. A. 1 2010 The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics. Zbl 1260.03002 Roanes-Lozano, Eugenio; Alonso, José Antonio; Hernando, Antonio; Laita, Luis M.; Roanes-Macías, Eugenio 1 2011 Comparisons of multistate models with discrete-time pure-birth process for recurrent events and uncertain parameters. Zbl 1337.60017 Ortega, Eva-Maria; Alonso, José; Ortega-Quiles, Encarnacion 1 2016 Stochastic comparisons of mixtures of parametric families in stochastic epidemics. Zbl 1310.92059 Ortega, Eva María; Alonso, José; Ortega, Isabel 4 2013 A logic approach to decision taking in a railway interlocking system using Maple. Zbl 1237.90149 Roanes-Lozano, Eugenio; Hernando, Antonio; Alonso, Jose Antonio; Laita, Luis M. 5 2011 Proof pearl: a formal proof of Higman’s lemma in ACL2. Zbl 1243.68269 Martín-Mateos, Francisco Jesús; Ruiz-Reina, José Luis; Alonso, José Antonio; Hidalgo, María José 2 2011 The Logics’ Explorer: a Maple package for exploring finite many-valued propositional logics. Zbl 1260.03002 Roanes-Lozano, Eugenio; Alonso, José Antonio; Hernando, Antonio; Laita, Luis M.; Roanes-Macías, Eugenio 1 2011 Variability comparisons for some mixture models with stochastic environments in biosciences and engineering. Zbl 1418.60121 Escudero, Laureano F.; Ortega, Eva María; Alonso, José 2 2010 Approximate aggregation methods in discrete time stochastic population models. Zbl 1206.92067 Sanz, L.; Alonso, J. A. 1 2010 A formally verified prover for the \(\mathcal{ALC}\) description logic. Zbl 1144.68350 Alonso, José-Antonio; Borrego-Díaz, Joaquín; Hidalgo, María-José; Martín-Mateos, Francisco-Jesus; Ruiz-Reina, José-Luis 4 2007 Consistency in the analytic hierarchy process: A new approach. Zbl 1097.68633 Alonso, José Antonio; Lamata, Maria Teresa 14 2006 Formal correctness of a quadratic unification algorithm. Zbl 1113.68094 Ruiz-Reina, José-Luis; Martín-Mateos, Francisco-Jesús; Alonso, José-Antonio; Hidalgo, María-José 1 2006 Proof pearl: a formal proof of Higman’s Lemma in ACL2. Zbl 1152.68525 Martín-Mateos, Francisco J.; Ruiz-Reina, José L.; Alonso, José A.; Hidalgo, Mariá J. 3 2005 A statistical criterion of consistency in the analytic hierarchy process. Zbl 1121.68448 Alonso, José Antonio; Lamata, Maria Teresa 1 2005 Formal verification of a generic framework to synthesize SAT-provers. Zbl 1096.68094 Martín-Mateos, Francisco-Jesús; Alonso, José-Antonio; Hidalgo, María-José; Ruiz-Reina, José-Luis 4 2004 Verification of the formal concept analysis. Zbl 1103.68111 Alonso, José Antonio; Borrego, Joaquín; Hidalgo, María José; Martín-Mateos, Francisco Jesús; Ruiz-Reina, José Luis 1 2004 A formal proof of Dickson’s lemma in ACL2. Zbl 1273.68323 Martín-Mateos, F. J.; Alonso, J. A.; Hidalgo, M. J.; Ruiz-Reina, J. L. 3 2003 Verification in ACL2 of a generic framework to synthesize SAT-provers. Zbl 1278.68273 Martín-Mateos, F. J.; Alonso, J. A.; Hidalgo, M. J.; Ruiz-Reina, J. L. 2 2003 Termination in ACL2 using multiset relations. Zbl 1063.68026 Ruiz-Reina, J. L.; Alonso, J. A.; Hidalgo, M. J.; Martín-Mateos, F. J. 1 2003 Formal proofs about rewriting using ACL2. Zbl 1015.68169 Ruiz-Reina, José-Luis; Alonso, José-Antonio; Hidalgo, María-José; Martín-Mateos, Francisco-Jesús 5 2002 Multi-valued logic and Gröbner bases with applications to modal logic. Zbl 0728.03021 Chazarain, J.; Riscos, A.; Alonso, J. A.; Briales, E. 26 1991 Groups of order \(pq^m\) with elementary Abelian Sylow \(q\)-subgroups. Zbl 0372.20016 Alonso, J. 1 1977 Groups of square-free order, an algorithm. Zbl 0335.20002 Alonso, J. 2 1976 all cited Publications top 5 cited Publications all top 5 Cited by 79 Authors 5 Alonso, José-Antonio 5 Ruiz-Reina, José-Luis 4 Hernando, Antonio 4 Martín-Mateos, Francisco-Jesús 4 Roanes-Lozano, Eugenio 3 Borrego-Díaz, Joaquín 3 Hidalgo, María-José 2 Alonso-Jiménez, José Antonio 2 Aranda-Corral, Gonzalo A. 2 Ayala-Rincón, Mauricio 2 Fernández-Lebrón, M. Magdalena 2 Kou, Gang 2 Lin, Changsheng 2 Maestre-Martínez, Roberto 2 Seisenberger, Monika 1 Anagnostopoulos, Dimosthenis 1 Baudry, Gino 1 Behrisch, Mike 1 Benítez Lopez, Julio 1 Bochkov, A. V. 1 Chen, Xin 1 Clark, Ephraim 1 Costa, Helder Gomes 1 Dede, Georgia 1 del Carmen González Huesca, Lourdes 1 Delgado-Galván, Xitlali 1 Deshmukh, Nitin 1 Dijkstra, Theo K. 1 Dong, Yucheng 1 Ergu, Daji 1 Felgenhauer, Bertram 1 Goré, Rajeev Prabhakar 1 Güran, Celal Barkan 1 Hidalgo-Doblado, M. J. 1 Izquierdo, Joaquín 1 Jandová, Věra 1 José Hidalgo-Doblado, M. 1 Kamalakis, Thomas 1 Kassimatis, Konstantino 1 L. Galdino, André 1 Li, Qing 1 Linares Arévalo, Pilar Selene 1 Liu, Fang 1 Luan, Lei 1 Macharis, Cathy 1 Maranate, Thaya 1 Mazurek, Jiří 1 Medina-Bulo, Inmaculada 1 Miranda Perea, Favio Ezequiel 1 Nagele, Julian 1 Ning, Jingjie 1 Palomo-Lozano, Francisco 1 Pereira, Valdecy 1 Pérez-García, Rafael 1 Piskac, Ruzica 1 Pongpullponsak, Adisak 1 Radaev, N. N. 1 Ramík, Jaroslav 1 Ruttanaumpawan, Pimon 1 Sato, Yuji 1 Schlichtkrull, Anders 1 Schwichtenberg, Helmut 1 Sternagel, Christian 1 Talašová, Jana 1 Tan, Kimhua 1 Tao, Xin 1 Tejedor, Jorge A. 1 Vallée, Thomas 1 Vargas, Edith Mireya 1 Wang, Shihua 1 Wies, Thomas 1 Wiesnet, Franziskus 1 Wu, Minchao 1 Xu, Weijun 1 Zankl, Harald 1 Zhang, Hengjie 1 Zhou, Yonghua 1 Zhuk, Dmitriy N. 1 Zou, Shu-Cai all top 5 Cited in 20 Serials 6 Journal of Automated Reasoning 3 Mathematics and Computers in Simulation 3 Annals of Operations Research 2 Applied Mathematics and Computation 2 European Journal of Operational Research 2 CEJOR. Central European Journal of Operations Research 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 International Journal of Approximate Reasoning 1 Journal of Computer and Systems Sciences International 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 Soft Computing 1 Quantitative Finance 1 Computational & Mathematical Methods in Medicine 1 Logical Methods in Computer Science 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 13 Fields 22 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Operations research, mathematical programming (90-XX) 3 Numerical analysis (65-XX) 2 Combinatorics (05-XX) 2 Statistics (62-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year