( en | de | ru )

 

Disambiguation of "de Almeida, Hyggo Oliveira"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.

, , , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 162-179. Springer, (2004)

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.

Carlos Oliveira Almeida

Ely de Oliveira

Pedro ˜deœ Almeida Moura

Cybele Crossetti ˜deœ Almeida

Sheron Francisco de Oliveira

 

Other publications of authors with the same name

An E-learning Environment in Cardiology Domain., , , , , and . Intelligent Tutoring Systems, volume 3220 of Lecture Notes in Computer Science, page 818-820. Springer, (2004)Enabling a healthy and connected home based on universal plug and play and Personal Health Devices., , and . ICCE, page 74-75. IEEE, (2013)Wings4Symbian: A Pervasive Computing Middleware for Symbian OS Mobile Devices., , , , and . SEKE, page 887-892. Knowledge Systems Institute Graduate School, (2008)Evolution of Teamwork Quality Instruments in Agile Software Development: A Systematic Literature Review., , , , , , , and . SBES, page 216-225. ACM, (2023)Computer systems power model estimation., , , , , , , and . ICCE-Berlin, page 173-176. IEEE, (2013)A C++ environment for dynamic unanticipated software evolution., , and . SAC, page 815-819. ACM, (2008)An infrastructure for developing context aware applications in pervasive environments., , , , , and . SAC, page 1958-1959. ACM, (2008)Defining agile requirements change management: a mapping study., , , , , , and . SAC, page 1421-1424. ACM, (2020)Investigating the relationship between personalities and agile team climate: A replicated study., , , , , , and . Inf. Softw. Technol., (2024)Developing Enterprise Applications with Support to Dynamic Unanticipated Evolution., , , , , and . SEKE, page 599-602. Knowledge Systems Institute Graduate School, (2008)