Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Publicações Confirmadas: 37



1
TÍTULO: Events for modeling of Human-System Interaction with IOPT Petri nets
AUTORES: Rogerio Campos Rebelo; Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2013, FONTE: 6th International Conference on Human System Interactions (HSI) in 2013 6TH INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTIONS (HSI)
INDEXADO EM: Scopus WOS
NO MEU: ORCID
2
TÍTULO: Asynchronous Wrappers Configuration within GALS Systems Specified by Petri Nets
AUTORES: Filipe Moutinho; Luis Gomes ; Aniko Costa ; Jose Pimenta;
PUBLICAÇÃO: 2012, FONTE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms
AUTORES: Rogerio Campos Rebelo; Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2012, FONTE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
INDEXADO EM: Scopus WOS
NO MEU: ORCID
4
TÍTULO: Model composition by reusing Petri net based modules
AUTORES: Aniko Costa ; Luis Gomes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
5
TÍTULO: On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
AUTORES: Joao Paulo Barros ; Luis Gomes ; Aniko Costa ;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
6
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: 6th IEEE International Conference on E-Learning in Industrial Electronics (ICELIE) in 2012 6TH IEEE INTERNATIONAL CONFERENCE ON E-LEARNING IN INDUSTRIAL ELECTRONICS (ICELIE)
INDEXADO EM: Scopus WOS
NO MEU: ORCID
7
TÍTULO: Intra- and inter-circuit network for Petri Nets based components
AUTORES: Ricardo Ferreira; Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 20th IEEE International Symposium on Industrial Electronics (ISIE) in 2011 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
TÍTULO: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTORES: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
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: Scopus WOS CrossRef
NO MEU: ORCID
9
TÍTULO: System development using Petri net based modules
AUTORES: Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
10
TÍTULO: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 1 de 4. Total de resultados: 37.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service