Elvira Pino
发表
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2001,
APPIA-GULP-PRODE.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1999,
J. Log. Program..
Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
2005,
FESCA@ETAPS.
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2008,
Appl. Categorical Struct..
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2008,
Appl. Categorical Struct..
Fernando Orejas,
Elvira Pino,
Marisa Navarro,
2015,
Logic, Rewriting, and Concurrency.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1997,
APPIA-GULP-PRODE.
Fernando Orejas,
Leen Lambers,
Elvira Pino,
2018,
Graph Transformation, Specifications, and Nets.
Elvira Pino,
Marisa Navarro,
Fernando Orejas,
2020,
FASE.
Fernando Orejas,
Leen Lambers,
Elvira Pino,
2018,
Theor. Comput. Sci..
Hartmut Ehrig,
Julia Padberg,
Elvira Pino,
2010,
Fundam. Informaticae.
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2012,
J. Log. Algebraic Methods Program..
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2000,
WFLP.
Hartmut Ehrig,
Fernando Orejas,
Elvira Pino,
1997,
Theor. Comput. Sci..
Hartmut Ehrig,
Fernando Orejas,
Elvira Pino,
2001,
WADT.
Fernando Orejas,
Elvira Pino,
2014,
ICMT.
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2005,
LOPSTR.
Elvira Pino,
Fernando Orejas,
Leen Lambers,
2021,
J. Log. Algebraic Methods Program..
Hartmut Ehrig,
Fernando Orejas,
Elvira Pino,
1994,
MFCS.
Fernando Orejas,
Elvira Pino,
2004,
SoftSpez Final Report.
Hartmut Ehrig,
Fernando Orejas,
Julia Padberg,
2010,
Fundam. Informaticae.
Hartmut Ehrig,
Fernando Orejas,
Julia Padberg,
2004,
FESCA@ETAPS.
Fernando Orejas,
Elvira Pino,
1999,
WADT.
Fernando Orejas,
Elvira Pino,
1999,
APPIA-GULP-PRODE.