Analysing storage resources on Synchronous Dataflows using Petri net verification techniques. - José-Inácio Rocha; Luís Gomes 001; Octávio Páscoa Dias (IECON, 2012)

Exploiting dataflows and Petri nets mappings. - José-Inácio Rocha; Octávio Páscoa Dias; Luís Gomes 001 (INDIN, 2013)

Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. - José-Inácio Rocha; Octávio Páscoa Dias; Luís Gomes 001 (DoCEIS, 2014)

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. - José-Inácio Rocha; Octávio Páscoa Dias; Luís Gomes 001 (J. Signal Process. Syst., 2015)

Semi-formal method design using synchronous dataflows and Petri nets. - José-Inácio Rocha; Octávio Páscoa Dias; Luís Gomes 001 (IECON, 2016)