Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Confirmed Publications: 37



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service