Anikó Katalin Horváth da Costa


AuthID: R-000-1VA

Confirmed Publications: 37



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