Diego Cazorla

Diego Cazorla

Universidad de Castilla la Mancha - Ciudad Real / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4435111
University of Castilla-La Mancha
person_outline Diego Cazorla's MOST POPULAR ARTICLES
1-) Algebraic theory of probabilistic and nondeterministic processesD Cazorla, F Cuartero, V Valero, FL Pelayo, JJ PardoThe Journal of Logic and Algebraic Programming 55 (1-2), 57-103, 2003672003
2-) Formal analysis of sensor network encryption protocol (snep)L Tobarra, D Cazorla, F Cuartero2007 IEEE International Conference on Mobile Adhoc and Sensor Systems, 1-6, 2007512007
3-) Model checking wireless sensor network security protocols: Tinysec+ leapL Tobarra, D Cazorla, F Cuartero, G Diaz, E CambroneroIFIP Conference on Wireless Sensor and Actor Networks, 95-106, 2007392007
4-) Introducing the iteration in sPBCH Maciá, V Valero, D Cazorla, F CuarteroFormal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004362004
5-) Improving performance in flexible manufacturing systemsMC Ruiz, D Cazorla, F Cuartero, H MaciaThe Journal of Logic and Algebraic Programming 78 (4), 260-273, 2009332009