F. Orejas
发表
Fernando Orejas,
Leen Lambers,
F. Orejas,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
F. Orejas,
E. Pasarella,
2007
.
F. Orejas,
J. Álvez,
P. Lucio,
2022
.
F. Orejas,
H. Ehrig,
F. Hermann,
2013
.
F. Orejas,
H. Ehrig,
U. Prange,
2009
.
Hans-Jörg Kreowski,
Fernando Orejas,
Donald Sannella,
1991,
Lecture Notes in Computer Science.
F. Orejas,
J. Fiadeiro,
2014
.
F. Orejas,
2002
.
Ulrike Golas,
F. Orejas,
Leen Lambers,
2011
.
Hartmut Ehrig,
Gabriele Taentzer,
Fernando Orejas,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Hartmut Ehrig,
Hans-Jörg Kreowski,
Fernando Orejas,
1995,
Bull. EATCS.
Harald Ganzinger,
Robert Nieuwenhuis,
Fernando Orejas,
1993,
PROSPECTRA Book.
Fernando Orejas,
Dimitra Giannakopoulou,
D. Giannakopoulou,
2011,
Lecture Notes in Computer Science.
Hartmut Ehrig,
Fernando Orejas,
Martin Wirsing,
2021
.
J. Jouannaud,
F. Orejas,
2021
.
Hans-Jörg Kreowski,
Gabriele Taentzer,
Ugo Montanari,
2008
.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1991,
AMAST.
Hartmut Ehrig,
Annegret Habel,
Ulrike Golas,
2012
.
F. Orejas,
2007
.
Paul G. Spirakis,
Jan van Leeuwen,
Fernando Orejas,
2001
.
Fernando Orejas,
Marisa Navarro,
Paqui Lucio,
2011,
Journal of Automated Reasoning.
Hartmut Ehrig,
Annegret Habel,
Ulrike Golas,
2012,
Fundam. Informaticae.
Hartmut Ehrig,
Annegret Habel,
Ulrike Golas,
2010,
ICGT.
Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
2005,
FESCA@ETAPS.
Hartmut Ehrig,
Fernando Orejas,
Peter Pepper,
1989,
ICALP.
F. Orejas,
Leen Lambers,
Sven Schneider,
2018,
International Journal on Software Tools for Technology Transfer.
Fernando Orejas,
Silvia Clerici,
F. Orejas,
1988,
ECOOP.
Hartmut Ehrig,
Juan de Lara,
Esther Guerra,
2009,
CALCO.
Hartmut Ehrig,
Fernando Orejas,
Julia Padberg,
2009,
FESCA@ETAPS.
Edelmira Pasarella,
Fernando Orejas,
Elvira Pino,
2008,
Appl. Categorical Struct..
Fernando Orejas,
Marisa Navarro,
Jean-Luc Rémy,
1993,
Acta Informatica.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1999,
Mathematical Structures in Computer Science.
Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
1996,
Mathematical Structures in Computer Science.
Fernando Orejas,
Pilar Nivela,
F. Orejas,
1988,
ADT.
Fernando Orejas,
Silvia Clerici,
F. Orejas,
1990,
ADT.
Reiko Heckel,
Hartmut Ehrig,
Fernando Orejas,
2002,
Mathematical Structures in Computer Science.
Hartmut Ehrig,
Fernando Orejas,
Julia Padberg,
2010,
Fundam. Informaticae.
F. Orejas,
2004
.
Juan de Lara,
Esther Guerra,
Fernando Orejas,
2009,
ICMT@TOOLS.
Francisco Durán,
Fernando Orejas,
Steffen Zschaler,
2012,
WADT.
Steffen Zschaler,
Fernando Orejas,
Francisco Durán,
2017,
J. Log. Algebraic Methods Program..
Fernando Orejas,
Julia Padberg,
Markus Klein,
2007,
FESCA@ETAPS.
Fernando Orejas,
Martin Wirsing,
F. Orejas,
2009,
Semantics and Algebraic Specification.
Fernando Orejas,
H. Ehrig,
J. Padberg,
2007
.
F. Orejas,
H. Ehrig,
Reichel,
2010
.
Fernando Orejas,
F. Orejas,
2011,
J. Symb. Comput..
Fernando Orejas,
Leen Lambers,
F. Orejas,
2012,
Fundam. Informaticae.
Fernando Orejas,
F. Orejas,
2008,
ICGT.
Hartmut Ehrig,
Ulrike Golas,
Fernando Orejas,
2008,
FASE.
Fernando Orejas,
Robert Nieuwenhuis,
F. Orejas,
1990,
CTRS.
Hartmut Ehrig,
Ulrike Golas,
Frank Hermann,
2014,
Mathematical Structures in Computer Science.
Hartmut Ehrig,
Annegret Habel,
Ulrike Golas,
2014,
Mathematical Structures in Computer Science.
Fernando Orejas,
Sonia Pérez,
F. Orejas,
2008,
PROLE.
Hartmut Ehrig,
Fernando Orejas,
Julia Padberg,
2004,
FESCA@ETAPS.
Hartmut Ehrig,
Julia Padberg,
Elvira Pino,
2010,
Fundam. Informaticae.
Fernando Orejas,
F. Orejas,
1981,
ICFPC.
Hartmut Ehrig,
Frank Hermann,
Fernando Orejas,
2012,
FASE.
Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
1995,
Theor. Comput. Sci..
Hartmut Ehrig,
Fernando Orejas,
Rosa M. Jiménez,
1995,
Mathematical Structures in Computer Science.
Hartmut Ehrig,
Fernando Orejas,
Michael Löwe,
1994,
COMPASS/ADT.
Hartmut Ehrig,
Fernando Orejas,
Ingo Claßen,
1992,
Comput. J..
Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
1991,
COMPASS/ADT.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1991,
COMPASS/ADT.
Fernando Orejas,
F. Orejas,
1987,
Theor. Comput. Sci..
Fernando Orejas,
Marisa Navarro,
F. Orejas,
1987,
TAPSOFT, Vol.1.
Fernando Orejas,
F. Orejas,
1983,
FCT.
Hartmut Ehrig,
Fernando Orejas,
F. Orejas,
1994,
Bull. EATCS.
Hartmut Ehrig,
Fernando Orejas,
Michael Baldamus,
1993,
Current Trends in Theoretical Computer Science.
Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
1993,
Bull. EATCS.
Fernando Orejas,
F. Orejas,
1986,
IFIP Congress.
Fernando Orejas,
Leen Lambers,
Sven Schneider,
2017,
FASE.
Juan de Lara,
Esther Guerra,
Fernando Orejas,
2010,
Graph Transformations and Model-Driven Engineering.
Hartmut Ehrig,
Fernando Orejas,
Elvira Pino,
1997,
Theor. Comput. Sci..
Hartmut Ehrig,
Fernando Orejas,
Elvira Pino,
1994,
MFCS.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1997,
APPIA-GULP-PRODE.
Fernando Orejas,
Elvira Pino,
Paqui Lucio,
1999,
J. Log. Program..
Fernando Orejas,
F. Orejas,
1979,
SIGP.
Javier Álvez,
Fernando Orejas,
Paqui Lucio,
2004,
SAC '04.
Hartmut Ehrig,
Krzysztof Czarnecki,
Frank Hermann,
2011,
MODELS'11.
Hartmut Ehrig,
Ulrike Golas,
Frank Hermann,
2010,
MDI '10.
Hartmut Ehrig,
Ulrike Golas,
Frank Hermann,
2010,
ICGT.
Hartmut Ehrig,
Fernando Orejas,
Benjamin Braatz,
2004,
Software & Systems Modeling.
F. Orejas,
Montserrat Hermo,
P. Lucio,
2002
.
Hartmut Ehrig,
Fernando Orejas,
Leen Lambers,
2006,
ICGT.
Hartmut Ehrig,
Fernando Orejas,
Ingo Claßen,
1992,
Comput. J..
Hans-Jörg Kreowski,
Gabriele Taentzer,
Ugo Montanari,
2005,
Formal Methods in Software and Systems Modeling.
Elvira Pino,
Fernando Orejas,
Leen Lambers,
2021,
J. Log. Algebraic Methods Program..
Fernando Orejas,
Leen Lambers,
Elvira Pino,
2018,
Graph Transformation, Specifications, and Nets.
Michel Bidoit,
Fernando Orejas,
Hans-Jörg Kreowski,
1991
.
Reiko Heckel,
Hartmut Ehrig,
Grzegorz Rozenberg,
1998,
TAGT.