Anikó Katalin Horváth da Costa
AuthID: R-000-1VA
41
TÃTULO: Events for human-system interaction modeling with IOPT Petri nets
AUTORES: Rogerio Campos-Rebelo; Aniko Costa; Lui Gomes;
PUBLICAÇÃO: 2013, FONTE: 2013 6th International Conference on Human System Interactions (HSI)
AUTORES: Rogerio Campos-Rebelo; Aniko Costa; Lui Gomes;
PUBLICAÇÃO: 2013, FONTE: 2013 6th International Conference on Human System Interactions (HSI)
42
TÃTULO: On Structuring Events for IOPT Net Models
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2013, FONTE: IFIP Advances in Information and Communication Technology - Technological Innovation for the Internet of Things
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2013, FONTE: IFIP Advances in Information and Communication Technology - Technological Innovation for the Internet of Things
43
TÃTULO: Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2012, FONTE: Technological Innovation for Value Creation - IFIP Advances in Information and Communication Technology
AUTORES: Rogério Campos-Rebelo; Anikó Costa; Luís Gomes;
PUBLICAÇÃO: 2012, FONTE: Technological Innovation for Value Creation - IFIP Advances in Information and Communication Technology
44
TÃTULO: Petri nets based study plan construction supporting student's evolution monitoring
AUTORES: Rogerio Campos-Rebelo; Aniko Costa; Luis Gomes;
PUBLICAÇÃO: 2012, FONTE: 2012 6th IEEE International Conference on E-Learning in Industrial Electronics (ICELIE)
AUTORES: Rogerio Campos-Rebelo; Aniko Costa; Luis Gomes;
PUBLICAÇÃO: 2012, FONTE: 2012 6th IEEE International Conference on E-Learning in Industrial Electronics (ICELIE)
45
TÃTULO: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: 
WOS
WOS46
TÃTULO: Petri net model decomposition - a model based approach supporting distributed execution
AUTORES: Anikó K H d Costa;
PUBLICAÇÃO: 2010
AUTORES: Anikó K H d Costa;
PUBLICAÇÃO: 2010
INDEXADO EM: 
Handle
Handle47
TÃTULO: Structuring Mechanisms in Petri Net Models Full Text
AUTORES: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLICAÇÃO: 2006, FONTE: Design of Embedded Control Systems
AUTORES: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLICAÇÃO: 2006, FONTE: Design of Embedded Control Systems
48
TÃTULO: Structuring mechanisms in Petri net models: From specification to FPGA-based implementations Full Text
AUTORES: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLICAÇÃO: 2005, FONTE: Design of Embedded Control Systems
AUTORES: Luís Gomes; João Paulo Barros; Anikó Costa;
PUBLICAÇÃO: 2005, FONTE: Design of Embedded Control Systems
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID49
TÃTULO: On lifting of Statechart structuring mechanisms Full Text
AUTORES: Gomes, L; Costa, A;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
AUTORES: Gomes, L; Costa, A;
PUBLICAÇÃO: 2003, FONTE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
50
TÃTULO: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
INDEXADO EM: WOS
WOS