Gregorio Díaz-Descalzo|Gregorio Díaz, Gregorio Diaz, Gregorio Díaz Descalzo

Gregorio Díaz-Descalzo|Gregorio Díaz, Gregorio Diaz, Gregorio Díaz Descalzo

Universidad de Castilla la Mancha - Ciudad Real / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4434394
University of Castilla-La Mancha
person_outline Gregorio Díaz-Descalzo|Gregorio Díaz, Gregorio Diaz, Gregorio Díaz Descalzo's MOST POPULAR ARTICLES
1-) Automatic translation of ws-cdl choreographies to timed automataG Diaz, JJ Pardo, ME Cambronero, V Valero, F CuarteroEuropean Workshop on Performance Engineering, 230-242, 20051092005
2-) Verification of web services with timed automataG Diaz, JJ Pardo, ME Cambronero, V Valero, F CuarteroElectronic Notes in Theoretical Computer Science 157 (2), 19-34, 2006922006
3-) Validation and verification of web services choreographies by using timed automataME Cambronero, G Díaz, V Valero, E MartínezThe Journal of Logic and Algebraic Programming 80 (1), 25-49, 2011702011
4-) A Petri net approach for the design and analysis of Web Services ChoreographiesV Valero, ME Cambronero, G Díaz, H MaciàThe Journal of Logic and Algebraic Programming 78 (5), 359-380, 2009702009
5-) An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri NetsG Díaz, H Macià, V Valero, J Boubeta-Puig, F CuarteroNeural Computing and Applications 32 (2), 405-426, 2020622020