A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. - Giovanni Chiola; Rubén Carvajal-Schiaffino (PNPM, 2001)

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. - Rubén Carvajal-Schiaffino; Giorgio Delzanno; Giovanni Chiola (TACAS, 2001)

Evaluation of an economy-based file replication strategy for a data grid. - William H. Bell; David G. Cameron; Rubén Carvajal-Schiaffino; A. Paul Millar; Kurt Stockinger; Floriano Zini (CCGRID, 2003)

Evaluating Scheduling and Replica Optimisation Strategies in OptorSim. - David G. Cameron; Rubén Carvajal-Schiaffino; A. Paul Millar; Caitriana Nicholson; Kurt Stockinger; Floriano Zini (GRID, 2003)

Analysis of Scheduling and Replica Optimisation Strategies for Data Grids Using OptorSim. - David G. Cameron; A. Paul Millar; Caitriana Nicholson; Rubén Carvajal-Schiaffino; Kurt Stockinger; Floriano Zini (J. Grid Comput., 2004)

Catallaxy-based Grid markets. - Torsten Eymann; Michael Reinicke; Werner Streitberger; Omer F. Rana; Liviu Joita; Dirk Neumann 001; Björn Schnizler; Daniel Veit; Oscar Ardaiz; Pablo Chacin; Isaac Chao; Felix Freitag; et al. (Multiagent Grid Syst., 2005)

Formal analysis of an agent-based optimisation strategy for Data Grids. - David G. Cameron; Rubén Carvajal-Schiaffino; Caitriana Nicholson; Kurt Stockinger; Floriano Zini; A. Paul Millar; Luciano Serafini (Multiagent Grid Syst., 2006)

Petri Net Based Modelling of a Career Syllabus. - Rubén Carvajal-Schiaffino; Luis Firinguetti-Limone (Int. J. Comput. Commun. Control, 2014)

COVID-19 Transmission During a Tsunami Evacuation in a Lockdown City. - Exequiel Callejas; Alonso Inostrosa-Psijas; Francisco Moreno; Mauricio Oyarzún; Rubén Carvajal-Schiaffino (SCCC, 2020)