Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Publicações Confirmadas: 37



11
TÍTULO: A MDA-based contribution for integrating web services within embedded system's design  Full Text
AUTORES: Barbosa, PES; Costa, A ; Gomes, L ; Ramalho, F; De Figueiredo, JCA; Jr Antonio;
PUBLICAÇÃO: 2010, FONTE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
12
TÍTULO: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTORES: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLICAÇÃO: 2010, FONTE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
13
TÍTULO: From Petri net models to C implementation of digital controllers
AUTORES: Gomes, L ; Rebelo, R; Barros, JP ; Costa, A ; Pais, R;
PUBLICAÇÃO: 2010, FONTE: IEEE International Symposium on Industrial Electronics (ISIE 2010) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
14
TÍTULO: Properties Preservation in Distributed Execution of Petri Nets Models
AUTORES: Aniko Costa ; Paulo Barbosa; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Antonio Junior;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
15
TÍTULO: Semantic Equations for Formal Models in the Model-Driven Architecture
AUTORES: Barbosa, P; Ramalho, F; Figueiredo, J; Costa, A ; Gomes, L ; Oliveira Jr, Antonio; ;
PUBLICAÇÃO: 2010, FONTE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
16
TÍTULO: Architecture for Remote Laboratories based on REST Web Services
AUTORES: Ngolo, M; Brito B Palma ; Coito, F ; Gomes, L ; Costa, A ;
PUBLICAÇÃO: 2009, FONTE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society3rd IEEE International Conference on E-Learning in Industrial Electronics in 2009 3RD IEEE INTERNATIONAL CONFERENCE ON E-LEARNING IN INDUSTRIAL ELECTRONICS (ICELIE 2009)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
TÍTULO: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
AUTORES: Paulo Barbosa; Franklin Ramalho; Jorge Figueiredo; Antonio Junior; Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 15, NÚMERO: 11
INDEXADO EM: Scopus WOS
NO MEU: ORCID
18
TÍTULO: Modeling Complex Petri Nets Operations in the Model-Driven Architecture
AUTORES: Barbosa, PES; Costa, A ; de Figueiredo, JCA; Ramalho, F; Gomes, L ; dos S, AD;
PUBLICAÇÃO: 2009, FONTE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society in IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
19
TÍTULO: Petri net partitioning using net splitting operation
AUTORES: Aniko Costa ; Luis Gomes ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Industrial Informatics in 2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
20
TÍTULO: Remote experimentation for introductory digital logic course
AUTORES: Luis Gomes ; Gustavo Patricio; Ricardo Ferreira; Aniko Costa ;
PUBLICAÇÃO: 2009, FONTE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society3rd IEEE International Conference on E-Learning in Industrial Electronics in 2009 3RD IEEE INTERNATIONAL CONFERENCE ON E-LEARNING IN INDUSTRIAL ELECTRONICS (ICELIE 2009)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 2 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