Gregorio Díaz-Descalzo (ORCID:0000-0002-9116-9535)

Cited by

	All	Since 2019
Citations	1412	392
h-index	20	9
i10-index	36	9

100

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 7 8 15 38 63 42 47 81 98 90 93 72 88 69 56 63 55 45 60 88 59 76

Public access

View all

21 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Valentin ValeroFull Professor (retired), University of Castilla-La ManchaVerified email at uclm.es
Hermenegilda MaciàUniversity of Castilla-La ManchaVerified email at uclm.es
Fernando CuarteroProfesor de Informática (UCLM)Verified email at uclm.es
Juan Boubeta-Puig (ORCID: 0000-000...Associate Professor, Department of Computer Science and Engineering, University of CadizVerified email at gm.uca.es
Llanos TobarraUNEDVerified email at scc.uned.es
Diego CazorlaAssociate professor of Computer Science. University of Castilla-La ManchaVerified email at uclm.es
Guadalupe OrtizUniversity of CádizVerified email at uca.es
Jose Antonio Mateo CortesProfesor Ayudante Doctor en University of Castilla-La ManchaVerified email at uclm.es
Fernando Lopez PelayoProfesor de Algoritmia y Teoría de Autómatas. Universidad de Castilla - La ManchaVerified email at uclm.es
Allaoua CHAOUIUniversity Constantine 2-Abdelhamid MehriVerified email at univ-constantine2.dz
ISMAEL RODRIGUEZFacultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Mohammed Mounir BouhamedAssistant professor at University of El OuedVerified email at univ-eloued.dz
oussama kamelFaculty of Medicine, University Constantine 3 Salah BoubniderVerified email at univ-constantine3.dz
Edelmira ValeroUniversidad de Castilla-La ManchaVerified email at uclm.es
Pablo RabanalFacultad de Informática, UCMVerified email at fdi.ucm.es
LUIS LLANAUniversidad Compludense de MadridVerified email at ucm.es
M. Carmen RuizUniversidad Castilla-La ManchaVerified email at uclm.es
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
mohamed gharzouliprofesseur d'informatique, Université Abdelhamid Mehri Constantine 2Verified email at univ-constantine2.dz

Gregorio Díaz-Descalzo (ORCID:0000-0002-9116-9535)

Other namesGregorio Díaz, Gregorio Diaz, Gregorio Díaz Descalzo

Associate Professor of Computer Science, Universidad de Castilla-La Mancha

Verified email at uclm.es - Homepage

Formal Methods Petri Nets Cloud Computing CEP Intelligent Transportation Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic translation of ws-cdl choreographies to timed automata G Diaz, JJ Pardo, ME Cambronero, V Valero, F Cuartero European Workshop on Performance Engineering, 230-242, 2005	109	2005
Verification of web services with timed automata G Diaz, JJ Pardo, ME Cambronero, V Valero, F Cuartero Electronic Notes in Theoretical Computer Science 157 (2), 19-34, 2006	93	2006
Finite extinction time for a class of non-linear parabolic equations G Diaz, I Diaz Communications in Partial Differential Equations 4 (11), 1213-1231, 1979	75	1979
Validation and verification of web services choreographies by using timed automata ME Cambronero, G Díaz, V Valero, E Martínez The Journal of Logic and Algebraic Programming 80 (1), 25-49, 2011	70	2011
A Petri net approach for the design and analysis of Web Services Choreographies V Valero, ME Cambronero, G Díaz, H Macià The Journal of Logic and Algebraic Programming 78 (5), 359-380, 2009	70	2009
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets G Díaz, H Macià, V Valero, J Boubeta-Puig, F Cuartero Neural Computing and Applications 32 (2), 405-426, 2020	64	2020
Automatic generation of correct web services choreographies and orchestrations with model checking techniques G Diaz, ME Cambronero, JJ Pardo, V Valero, F Cuartero Advanced Int'l Conference on Telecommunications and Int'l Conference on …, 2006	55	2006
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored Petri nets J Boubeta-Puig, G Díaz, H Macià, V Valero, G Ortiz Information systems 81, 267-289, 2019	51	2019
Automatic verification of the TLS handshake protocol G Diáz, F Cuartero, V Valero, F Pelayo proceedings of the 2004 ACM Symposium on Applied Computing, 789-794, 2004	47	2004
Model checking wireless sensor network security protocols: Tinysec+ leap L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero IFIP Conference on Wireless Sensor and Actor Networks, 95-106, 2007	40	2007
A model for visual specification of e-contracts E Martínez, G Díaz, ME Cambronero, G Schneider 2010 IEEE International Conference on Services Computing, 1-8, 2010	37	2010
Uniqueness and continuum of foliated solutions for a quasilinear elliptic equation with a non lipschitz nonlinearity G Barles, G Diaz, JI Diaz Communications in partial differential equations 17 (5-6), 1037-1050, 1992	34	1992
Complex event processing modeling by prioritized colored Petri nets H Macia, V Valero, G Díaz, J Boubeta-Puig, G Ortiz IEEE Access 4, 7425-7439, 2016	33	2016
Model checking wireless sensor network security protocols: TinySec+ LEAP+ TinyPK L Tobarra, D Cazorla, F Cuartero, G Díaz, E Cambronero Telecommunication Systems 40 (3), 91-99, 2009	30	2009
Specification and Verification of Normative texts using CO Diagrams G Díaz, ME Cambronero, E Martínez, G Schneider IEEE Transactions on Software Engineering 40 (8), 795-817, 2013	25	2013
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets V Valero, H Macià, JJ Pardo, ME Cambronero, G Díaz Science of Computer Programming 77 (3), 290-313, 2012	25	2012
Analysis and verification of time requirements applied to the web services composition G Díaz, ME Cambronero, ML Tobarra, V Valero, F Cuartero Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	23	2006
A note on the Liouville method applied to elliptic eventually degenerate fully nonlinear equations governed by the Pucci operators and the Keller–Osserman condition G Díaz Mathematische Annalen 353 (1), 145-159, 2012	22	2012
Automatically deriving choreography-conforming systems of services G Díaz, I Rodríguez 2009 IEEE International Conference on Services Computing, 9-16, 2009	21	2009
Application of formal methods to the analysis of web services security L Tobarra, D Cazorla, F Cuartero, G Diaz European Workshop on Performance Engineering, 215-229, 2005	20	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors