( en | de | ru )

 

Disambiguation of "Mateo, José Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Study of Routing Protocols for Wireless Sensor Networks.

, , , and . J. Univers. Comput. Sci., 20 (9): 1373-1401 (2014)

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.

José Antonio Almeida

José Antonio Zamora

José Antonio Grifols

Antônio José Sandmann

José Antonio Eiras

 

Other publications of authors with the same name

Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks., , , and . ICCS, volume 80 of Procedia Computer Science, page 1191-1201. Elsevier, (2016)Improving the Automatic Derivation of Choreography-conforming Web Services Systems., , , and . ICCS, volume 9 of Procedia Computer Science, page 449-458. Elsevier, (2012)Petri nets-based model for the analysis of NORIA protocol., , , and . Concurr. Comput. Pract. Exp., 27 (17): 4704-4715 (2015)Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation., , , , and . IJDSN, (2015)BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources, , and . CoRR, (2012)Data-aware automatic derivation of choreography-conforming systems of services., , , and . Comput. Stand. Interfaces, (2017)Formal Study of a Novel Network Role-based Routing Intelligent Algorithm., , , , and . ICCS, volume 18 of Procedia Computer Science, page 2525-2528. Elsevier, (2013)A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF., , , and . SEFM Workshops, volume 8938 of Lecture Notes in Computer Science, page 389-404. Springer, (2014)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)Formal Study of Routing Protocols for Wireless Sensor Networks., , , and . J. Univers. Comput. Sci., 20 (9): 1373-1401 (2014)