José Inácio Pinto Rosado Rocha
AuthID: R-000-8CW
1
TÃTULO: Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”: Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Published in Journal of VLSI Signal Processing, Volume n. 31, pp 207–229, 2002
AUTORES: Rocha, JI; Dias, OP; Gomes, L;
PUBLICAÇÃO: 2015, FONTE: Journal of Signal Processing Systems, VOLUME: 81, NÚMERO: 1
AUTORES: Rocha, JI; Dias, OP; Gomes, L;
PUBLICAÇÃO: 2015, FONTE: Journal of Signal Processing Systems, VOLUME: 81, NÚMERO: 1
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
AUTORES: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
AUTORES: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLICAÇÃO: 2014, FONTE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXADO EM: 
WOS
WOS3
TÃTULO: Exploiting dataflows and Petri nets mappings
AUTORES: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTORES: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLICAÇÃO: 2013, FONTE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
4
TÃTULO: Analysing Storage Resources on Synchronous Datafiows using Petri Net Verification Techniques
AUTORES: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
AUTORES: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2012, FONTE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
5
TÃTULO: Petri Net Verification Techniques on Synchronous Dataflow Models
AUTORES: Jose Inacio Rochat; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2011, FONTE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
AUTORES: Jose Inacio Rochat; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2011, FONTE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS
Scopus WOS6
TÃTULO: Dataflow Model Property Verification Using Petri net Translation Techniques
AUTORES: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTORES: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
7
TÃTULO: Design and implementation of a reconfigurable remote laboratory, using oscilloscope/PLC network for WWW access Full Text
AUTORES: Rui Marques; Jaime Rocha; Silviano Rafael; Martins, JF ;
PUBLICAÇÃO: 2008, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 55, NÚMERO: 6
AUTORES: Rui Marques; Jaime Rocha; Silviano Rafael; Martins, JF ;
PUBLICAÇÃO: 2008, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 55, NÚMERO: 6
