José Inácio Pinto Rosado Rocha
AuthID: R-000-8CW
1
TITLE: 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
AUTHORS: Rocha, JI; Dias, OP; Gomes, L;
PUBLISHED: 2015, SOURCE: Journal of Signal Processing Systems, VOLUME: 81, ISSUE: 1
AUTHORS: Rocha, JI; Dias, OP; Gomes, L;
PUBLISHED: 2015, SOURCE: Journal of Signal Processing Systems, VOLUME: 81, ISSUE: 1
INDEXED IN: 
Scopus
Scopus2
TITLE: Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows
AUTHORS: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
AUTHORS: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXED IN: 
WOS
WOS3
TITLE: Exploiting dataflows and Petri nets mappings
AUTHORS: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Jose Inacio Rocha; Octavio Pascoa Dias; Luis Gomes;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
4
TITLE: Analysing Storage Resources on Synchronous Datafiows using Petri Net Verification Techniques
AUTHORS: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
AUTHORS: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
5
TITLE: Petri Net Verification Techniques on Synchronous Dataflow Models
AUTHORS: Jose Inacio Rochat; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Jose Inacio Rochat; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS
Scopus WOS6
TITLE: Dataflow Model Property Verification Using Petri net Translation Techniques
AUTHORS: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
AUTHORS: Jose Inacio Rocha; Luis Gomes ; Octavio Pascoa Dias;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
7
TITLE: Design and implementation of a reconfigurable remote laboratory, using oscilloscope/PLC network for WWW access Full Text
AUTHORS: Rui Marques; Jaime Rocha; Silviano Rafael; Martins, JF ;
PUBLISHED: 2008, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 55, ISSUE: 6
AUTHORS: Rui Marques; Jaime Rocha; Silviano Rafael; Martins, JF ;
PUBLISHED: 2008, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 55, ISSUE: 6
