João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 34



11
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
12
TÍTULO: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTORES: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
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
13
TÍTULO: Assessment and grading for CS1: Towards a complete toolbox of criteria and techniques
AUTORES: Barros, JP ;
PUBLICAÇÃO: 2010, FONTE: 10th Koli Calling International Conference on Computing Education Research, Koli Calling'10 in Proceedings of the 10th Koli Calling International Conference on Computing Education Research, Koli Calling'10
INDEXADO EM: Scopus
NO MEU: ORCID
14
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
15
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
16
TÍTULO: PNML Based Composition in Non-autonomous Petri Net Models
AUTORES: Luis Gomes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2009, FONTE: 35th Annual Conference of the IEEE-Industrial-Electronics-Society (IECON 2009) in IECON: 2009 35TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS, VOLS 1-6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
TÍTULO: Petri nets tools framework supporting FPGA-based controller implementations
AUTORES: Aniko Costa ; Luis Gomes ; Joao Paulo Barros ; Joao Oliveira; Tiago Reis;
PUBLICAÇÃO: 2008, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
18
TÍTULO: A graphical editor for the input-output place-transition Petri Net Class
AUTORES: Ricardo Nunes; Luis Gornes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2007, FONTE: 12th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2007: 12TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOLS 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
19
TÍTULO: From Petri net models to VHDL implementation of digital controllers
AUTORES: Gomes, L ; Costa, A ; Barros, JP ; Lima, P;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
20
TÍTULO: Petri net based building automation and monitoring system
AUTORES: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 2 de 4. Total de resultados: 34.

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