Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Confirmed Publications: 37



21
TITLE: Petri nets tools framework supporting FPGA-based controller implementations
AUTHORS: Aniko Costa ; Luis Gomes ; Joao Paulo Barros ; Joao Oliveira; Tiago Reis;
PUBLISHED: 2008, SOURCE: 34th Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2008: 34TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-5, PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
22
TITLE: From Petri net models to VHDL implementation of digital controllers
AUTHORS: Gomes, L ; Costa, A ; Barros, JP ; Lima, P;
PUBLISHED: 2007, SOURCE: 33rd Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: Module composition within Petri nets model-based development
AUTHORS: Aniko Costa ; Luis Gomes ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
24
TITLE: Petri net based building automation and monitoring system
AUTHORS: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
25
TITLE: Petri net splitting operation within embedded systems co-design
AUTHORS: Aniko Costa ; Luis Gomes ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
26
TITLE: The input-output place-transition Petri net class and associated tools
AUTHORS: Luis Gomes ; Joao Paulo Barros ; Aniko Costa ; Ricardo Nunes;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
27
TITLE: Emphasizing graphical modeling formalisms within digital systems design course
AUTHORS: Luis Gomes ; Aniko Costa ;
PUBLISHED: 2006, SOURCE: 1st IEEE International Conference on E-Learning in Industrial Electronics in 2006 1st IEEE International Conference on E-Learning in Industrial Electronics
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
28
TITLE: Internal event removal in hierarchical and concurrent state diagrams
AUTHORS: Costa, A ; Gomes, L ; Francisco, H; Silva, B;
PUBLISHED: 2006, SOURCE: 3rd IFAC Workshop on Discrete-Event System Design, DESDes'06 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 3, ISSUE: PART 1
INDEXED IN: Scopus
IN MY: ORCID
29
TITLE: On exercising hardware-software logical equivalency using FPGAs
AUTHORS: Luis Gomes ; Aniko Costa ;
PUBLISHED: 2006, SOURCE: IEEE International Symposium on Industrial Electronics in 2006 IEEE International Symposium on Industrial Electronics, Vols 1-7, VOLUME: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
30
TITLE: Partitioning of petri net models amenable for distributed execution
AUTHORS: Aniko Costa ; Luis Gomes ;
PUBLISHED: 2006, SOURCE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 3 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