Fernando Rosa-Velardo

发表

Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo, 2005, RULE@RDP.
Giorgio Delzanno, Fernando Rosa-Velardo, G. Delzanno, 2013, Theor. Comput. Sci..
Fernando Rosa-Velardo, Fernando Rosa-Velardo, 2013, Acta Informatica.
Fernando Rosa-Velardo, David de Frutos-Escrig, 2008, Fundam. Informaticae.
Fernando Rosa-Velardo, David de Frutos-Escrig, 2006, ATVA.
Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2012, Petri Nets.
Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig, 2005, Electron. Notes Theor. Comput. Sci..
Fernando Rosa-Velardo, Alain Finkel, Serge Haddad, 2011, FoSSaCS.
Fernando Rosa-Velardo, Alain Finkel, Serge Haddad, 2013, Inf. Comput..
Fernando Rosa-Velardo, David de Frutos-Escrig, María Martos-Salgado, 2011, Fundam. Informaticae.
Fernando Rosa-Velardo, María Martos-Salgado, 2014, LATA.
Fernando Rosa-Velardo, 2007, Electron. Notes Theor. Comput. Sci..
Fernando Rosa-Velardo, Ismael Rodríguez, Fernando Rubio, 2020, J. Log. Algebraic Methods Program..
Fernando Rosa-Velardo, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, 2007, FORTE.
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso, 2006, ICCSA.
Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2014, Petri Nets.
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso, 2006, MTCoord@COORDINATION.
Fernando Rosa-Velardo, David de Frutos-Escrig, Fernando Rosa-Velardo, 2010, ArXiv.
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso, 2007, SecCO@CONCUR.
Fernando Rosa-Velardo, Fernando Rosa-Velardo, 2017, Inf. Comput..
Fernando Rosa-Velardo, David de Frutos-Escrig, 2009, Petri Nets.
Fernando Rosa-Velardo, David de Frutos-Escrig, Fernando Rosa-Velardo, 2011, Theor. Comput. Sci..
Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2012, Inf. Comput..
Rupak Majumdar, Fernando Rosa-Velardo, Pierre Ganty, 2015, ESOP.
Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2011, FMOODS/FORTE.
Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín Alonso, 2005, ICCSA.
Fernando Rosa-Velardo, David de Frutos-Escrig, Fernando Rosa-Velardo, 2010, Fundam. Informaticae.
Fernando Rosa-Velardo, María Martos-Salgado, María Martos-Salgado, 2014, Fundam. Informaticae.
Fernando Rosa-Velardo, David de Frutos-Escrig, 2010, Petri Nets.
Fernando Rosa-Velardo, Alain Finkel, Serge Haddad, 2010 .