( en | de | ru )

 

Disambiguation of "Mateo, José Antonio"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm.

, , , , and . ICCS, volume 18 of Procedia Computer Science, page 2525-2528. Elsevier, (2013)

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)Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation., , , , and . IJDSN, (2015)Petri nets-based model for the analysis of NORIA protocol., , , and . Concurr. Comput. Pract. Exp., 27 (17): 4704-4715 (2015)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)A centralized and a decentralized method to automatically derive choreography-conforming web service systems., , , and . J. Log. Algebraic Methods Program., 81 (2): 127-159 (2012)Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics., , and . Fundam. Informaticae, 140 (1): 89-121 (2015)Formal Study of Routing Protocols for Wireless Sensor Networks., , , and . J. Univers. Comput. Sci., 20 (9): 1373-1401 (2014)Conformance Verification of Normative Specifications using C-O Diagrams, , , and . FLACOS, volume 94 of EPTCS, page 1-10. (2012)