( en | de | ru )

 

Disambiguation of "Valero, Valentín"

Author of the publication

copydeleteadd this publication to your clipboard
greenITS: a proposal to compute low-pollution routes.

, , , , , and . FNC/MobiSPC/SEIT, volume 203 of Procedia Computer Science, page 334-341. Elsevier, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alejandro Valero

Silvia Valero

Juan Gonzalez-Valero

Verónica Valero Esquitino

Marcial Valero Martinez

 

Other publications of authors with the same name

Model Checking Techniques applied to the design of Web Services., , , , and . CLEI Electron. J., (2007)A Petri net approach for the design and analysis of Web Services Choreographies., , , and . J. Log. Algebraic Methods Program., 78 (5): 359-380 (2009)Evaluating cloud interactions with costs and SLAs., , , , and . J. Supercomput., 78 (6): 7529-7555 (2022)Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool., , , , and . Sci. Program., (2019)Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets., , , and . IWANN (2), volume 10306 of Lecture Notes in Computer Science, page 415-426. Springer, (2017)Analysis and Verification of Time Requirements Applied to the Web Services Composition., , , , and . WS-FM, volume 4184 of Lecture Notes in Computer Science, page 178-192. Springer, (2006)An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework., , and . WS-FM, volume 7176 of Lecture Notes in Computer Science, page 79-94. Springer, (2011)Using RT-UML for modelling web services., , , and . SAC, page 643-648. ACM, (2007)A barred operational semantics for a subset of WS-CDL with time restrictions., , , and . J. Log. Algebraic Methods Program., 78 (8): 730-748 (2009)Validation and verification of Web services choreographies by using timed automata., , , and . J. Log. Algebraic Methods Program., 80 (1): 25-49 (2011)