Anikó Katalin Horváth da Costa
AuthID: R-000-1VA
31
TÃTULO: Output Events for Human-System Interaction Modeling
AUTORES: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 7th International Conference on Human System Interactions (HSI) in 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
AUTORES: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 7th International Conference on Human System Interactions (HSI) in 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
32
TÃTULO: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTORES: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014 in IFIP Advances in Information and Communication Technology, VOLUME: 423
AUTORES: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014 in IFIP Advances in Information and Communication Technology, VOLUME: 423
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID33
TÃTULO: Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets
AUTORES: Campos-Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: Advances in Intelligent Systems and Computing - Human-Computer Systems Interaction: Backgrounds and Applications 3
AUTORES: Campos-Rebelo, R; Costa, A; Gomes, L;
PUBLICAÇÃO: 2014, FONTE: Advances in Intelligent Systems and Computing - Human-Computer Systems Interaction: Backgrounds and Applications 3
34
TÃTULO: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2014, FONTE: Technological Innovation for Collective Awareness Systems - IFIP Advances in Information and Communication Technology
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2014, FONTE: Technological Innovation for Collective Awareness Systems - IFIP Advances in Information and Communication Technology
35
TÃTULO: Extending input-output place-transition Petri nets for distributed controller systems development
AUTORES: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
AUTORES: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
36
TÃTULO: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTORES: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTORES: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLICAÇÃO: 2014, FONTE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXADO EM: 
WOS
WOS NO MEU: ORCID
ORCID37
TÃTULO: Welcome to HSI'2014
AUTORES: Luís Gomes; Jerzy Wtorek; Anikó Costa; Hideyuki Sawada; Milos Manic; Pawel Strumillo;
PUBLICAÇÃO: 2014, FONTE: Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014
AUTORES: Luís Gomes; Jerzy Wtorek; Anikó Costa; Hideyuki Sawada; Milos Manic; Pawel Strumillo;
PUBLICAÇÃO: 2014, FONTE: Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID38
TÃTULO: On Structuring Events for IOPT Net Models
AUTORES: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 in TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, VOLUME: 394
AUTORES: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013 in TECHNOLOGICAL INNOVATION FOR THE INTERNET OF THINGS, VOLUME: 394
INDEXADO EM: Scopus WOS
Scopus WOS NO MEU: ORCID
ORCID39
TÃTULO: Merging and splitting petri net models within distributed embedded controller design
AUTORES: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLICAÇÃO: 2013, FONTE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
AUTORES: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLICAÇÃO: 2013, FONTE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
40
TÃTULO: MDA-based methodology for verifying distributed execution of embedded systems models
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
AUTORES: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLICAÇÃO: 2013, FONTE: Formal Methods in Manufacturing Systems: Recent Advances
