( en | de | ru )

 

Disambiguation of "Cazorla, Diego"

Author of the publication

copydeleteadd this publication to your clipboard
Heuristics for ROSA's LTS Searching.

, , , , and . IWANN (2), volume 10306 of Lecture Notes in Computer Science, page 427-437. Springer, (2017)

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Other publications of authors with the same name

Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff., , and . TrustCom/BigDataSE/ISPA (3), page 92-99. IEEE, (2015)978-1-4673-7952-6.BAL Tool in Flexible Manufacturing Systems., , , and . AMAST, volume 6486 of Lecture Notes in Computer Science, page 209-215. Springer, (2010)Modelling secure wireless sensor networks routing protocols with timed automata., , , and . PM2HW2N, page 51-58. ACM, (2008)Towards an efficient static scheduling scheme for delivering queries to heterogeneous clusters in the similarity search problem., , , and . J. Supercomput., 70 (2): 527-540 (2014)Seeking the best Weather Research and Forecasting model performance: an empirical score approach., , , , and . J. Supercomput., 76 (12): 9629-9653 (2020)Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK., , , , and . Telecommun. Syst., 40 (3-4): 91-99 (2009)An example of performance evaluation by using the stochastic process algebra: ROSA., , , and . RTCSA, page 271-278. IEEE Computer Society, (2000)Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP., , , , and . WSAN, volume 248 of IFIP, page 95-106. Springer, (2007)Automatic Translation of a Timed Process Algebra into Dynamic State Graphs., , , and . APSEC, page 63-70. IEEE Computer Society, (2001)Finding the Suitable Number of Resources to Maximize System Throughput., , , and . WorldCIST, volume 206 of Advances in Intelligent Systems and Computing, page 673-684. Springer, (2013)