Anikó Katalin Horváth da Costa
AuthID: R-000-1VA
31
TITLE: Output Events for Human-System Interaction Modeling
AUTHORS: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: 7th International Conference on Human System Interactions (HSI) in 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
AUTHORS: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: 7th International Conference on Human System Interactions (HSI) in 2014 7TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
32
TITLE: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTHORS: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Campos Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID33
TITLE: Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets
AUTHORS: Campos-Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: Advances in Intelligent Systems and Computing - Human-Computer Systems Interaction: Backgrounds and Applications 3
AUTHORS: Campos-Rebelo, R; Costa, A; Gomes, L;
PUBLISHED: 2014, SOURCE: Advances in Intelligent Systems and Computing - Human-Computer Systems Interaction: Backgrounds and Applications 3
34
TITLE: Elementary Events for Modeling of Human-System Interactions with Petri Net Models
AUTHORS: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLISHED: 2014, SOURCE: Technological Innovation for Collective Awareness Systems - IFIP Advances in Information and Communication Technology
AUTHORS: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLISHED: 2014, SOURCE: Technological Innovation for Collective Awareness Systems - IFIP Advances in Information and Communication Technology
35
TITLE: Extending input-output place-transition Petri nets for distributed controller systems development
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
AUTHORS: Gomes, L; Moutinho, F; Pereira, F; Ribeiro, J; Costa, A; Barros, JP;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control, ICMC 2014 in Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014
36
TITLE: Extending Input-Output Place-Transition Petri nets for Distributed Controller Systems development
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
AUTHORS: Luis Gomes; Filipe Moutinho; Fernando Pereira; Jose Ribeiro; Aniko Costa; Joao Paulo Barros;
PUBLISHED: 2014, SOURCE: International Conference on Mechatronics and Control (ICMC) in 2014 INTERNATIONAL CONFERENCE ON MECHATRONICS AND CONTROL (ICMC)
INDEXED IN: 
WOS
WOS IN MY: ORCID
ORCID37
TITLE: Welcome to HSI'2014
AUTHORS: Luís Gomes; Jerzy Wtorek; Anikó Costa; Hideyuki Sawada; Milos Manic; Pawel Strumillo;
PUBLISHED: 2014, SOURCE: Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014
AUTHORS: Luís Gomes; Jerzy Wtorek; Anikó Costa; Hideyuki Sawada; Milos Manic; Pawel Strumillo;
PUBLISHED: 2014, SOURCE: Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID38
TITLE: On Structuring Events for IOPT Net Models
AUTHORS: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Rogerio Campos Rebelo; Aniko Costa; Luis Gomes;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus WOS
Scopus WOS IN MY: ORCID
ORCID39
TITLE: Merging and splitting petri net models within distributed embedded controller design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
40
TITLE: MDA-based methodology for verifying distributed execution of embedded systems models
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
AUTHORS: Costa, A; Pereira, F; Barbosa, PES; Ramalho, F; Moutinho, F; Figueiredo, JCA; Gomes, L;
PUBLISHED: 2013, SOURCE: Formal Methods in Manufacturing Systems: Recent Advances
