×

Alonso, José-Antonio

Author ID: alonso.jose-antonio Recent zbMATH articles by "Alonso, José-Antonio"
Published as: Alonso, José Antonio; Alonso, José-Antonio; Alonso, J. A.; Alonso, Jose Antonio; Alonso, Jose A.; Alonso, José A.
External Links: ORCID

Publications by Year

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 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

Citations by Year