Fernando Orejas

发表

Fernando Orejas, Leen Lambers, F. Orejas, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
José Luiz Fiadeiro, Fernando Orejas, Claudia Elena Chirita, 2016, FASE.
Fernando Orejas, Leen Lambers, 2014, ICGT.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, 2002, Trans. SDPS.
Hartmut Ehrig, Fernando Orejas, Michael Löwe, 1994, COMPASS/ADT.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, 2001, APPIA-GULP-PRODE.
Hartmut Ehrig, Krzysztof Czarnecki, Frank Hermann, 2011, MODELS'11.
Hartmut Ehrig, Fernando Orejas, Michael Baldamus, 1999, Mathematical Structures in Computer Science.
Hartmut Ehrig, Krzysztof Czarnecki, Thomas Engel, 2012, Software & Systems Modeling.
Fernando Orejas, Silvia Clerici, Rosa M. Jiménez, 1992, COMPASS/ADT.
Fernando Orejas, Ana Sánchez, Marisa Navarro, 1991, COMPASS/ADT.
Fernando Orejas, Elvira Pino, Paqui Lucio, 1999, J. Log. Program..
Fernando Orejas, Leen Lambers, 2010, ICGT.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, 2005, FESCA@ETAPS.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, 2008, Appl. Categorical Struct..
Fernando Orejas, Marisa Navarro, F. Orejas, 1987, TAPSOFT, Vol.1.
Reiko Heckel, Fernando Orejas, Muhammad Naeem, 2009, FIT.
Fernando Orejas, Leen Lambers, Sven Schneider, 2017, FASE.
Fernando Orejas, Ana Sánchez, Marisa Navarro, 1995, Theor. Comput. Sci..
Fernando Orejas, F. Orejas, 1981, ICFPC.
Fernando Orejas, Ana Sánchez, Marisa Navarro, 1996, Mathematical Structures in Computer Science.
Francisco Durán, Fernando Orejas, Steffen Zschaler, 2012, WADT.
Fernando Orejas, Marisa Navarro, Paqui Lucio, 2011, Journal of Automated Reasoning.
Hartmut Ehrig, Fernando Orejas, Pilar Nivela, 1988, Categorial Methods in Computer Science.
Reiko Heckel, Frank Hermann, Fernando Orejas, 2010, FASE.
Jan van Leeuwen, Fernando Orejas, 2005, Theor. Comput. Sci..
Hartmut Ehrig, Ulrike Golas, Frank Hermann, 2014, Mathematical Structures in Computer Science.
Fernando Orejas, F. Orejas, 1986, IFIP Congress.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, 2008, Appl. Categorical Struct..
Hartmut Ehrig, Fernando Orejas, Michael Baldamus, 1991, Bull. EATCS.
Hartmut Ehrig, Fernando Orejas, Michael Baldamus, 1991, COMPASS/ADT.
Fernando Orejas, Pere Botella, Albert Llamosí, 1984, ALET.
Reiko Heckel, Hartmut Ehrig, Grzegorz Rozenberg, 1998, TAGT.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, 2002, FASE.
Juan de Lara, Esther Guerra, Fernando Orejas, 2011, Software & Systems Modeling.
Hartmut Ehrig, Gabriele Taentzer, Fernando Orejas, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Fernando Orejas, Elvira Pino, Marisa Navarro, 2015, Logic, Rewriting, and Concurrency.
Fernando Orejas, F. Orejas, 2011, J. Symb. Comput..
Fernando Orejas, Robert Nieuwenhuis, F. Orejas, 1990, CTRS.
Hartmut Ehrig, Fernando Orejas, 2001, Current Trends in Theoretical Computer Science.
Fernando Orejas, Elvira Pino, Paqui Lucio, 1997, APPIA-GULP-PRODE.
Fernando Orejas, Pilar Nivela, F. Orejas, 1988, ADT.
Hartmut Ehrig, Fernando Orejas, Michael Baldamus, 1991, AMAST.
Fernando Orejas, Silvia Clerici, F. Orejas, 1990, ADT.
Fernando Orejas, Marisa Navarro, Jean-Luc Rémy, 1993, Acta Informatica.
Reiko Heckel, Hans-Jörg Kreowski, Ugo Montanari, 2016, Bull. EATCS.
Fernando Orejas, Ana Sánchez, Marisa Navarro, 1993, Bull. EATCS.
Fernando Orejas, Pilar Nivela, 1990, ADT.
Fernando Orejas, Leen Lambers, Elvira Pino, 2018, Graph Transformation, Specifications, and Nets.
Hartmut Ehrig, Fernando Orejas, Horst Reichel, 1990, Lecture Notes in Computer Science.
Fernando Orejas, Leen Lambers, Elvira Pino, 2018, Theor. Comput. Sci..
Hartmut Ehrig, Fernando Orejas, 2003, Electron. Notes Theor. Comput. Sci..
Fernando Orejas, Robert Nieuwenhuis, 1990, ADT.
Hartmut Ehrig, Fernando Orejas, Leen Lambers, 2006, ICGT.
Fernando Orejas, Leen Lambers, Sven Schneider, 2019, FASE.
Fernando Orejas, F. Orejas, 1983, FCT.
Hartmut Ehrig, Annegret Habel, Ulrike Golas, 2014, Mathematical Structures in Computer Science.
Hartmut Ehrig, Fernando Orejas, Peter Pepper, 1989, ICALP.
Fernando Orejas, Pere Botella, Albert Llamosí, 1984 .
Artur Boronat, Ulrike Golas, Fernando Orejas, 2013, FoSSaCS.
Hartmut Ehrig, Fernando Orejas, Michael Baldamus, 1993, Current Trends in Theoretical Computer Science.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, 2012, J. Log. Algebraic Methods Program..
Artur Boronat, Fernando Orejas, Nikos Mylonakis, 2012, ICGT.
Hartmut Ehrig, Fernando Orejas, Julia Padberg, 2009, FESCA@ETAPS.
Fernando Orejas, Rosa M. Jiménez, 1999, World Congress on Formal Methods.
Fernando Orejas, Leen Lambers, Sven Schneider, 2018, International Journal on Software Tools for Technology Transfer.
Hartmut Ehrig, Fernando Orejas, Ingo Claßen, 1992, Comput. J..
Hartmut Ehrig, Ulrike Golas, Fernando Orejas, 2008, Electron. Notes Theor. Comput. Sci..
Hartmut Ehrig, Fernando Orejas, 2001, Electron. Notes Theor. Comput. Sci..
Hartmut Ehrig, Fernando Orejas, 2002, Electron. Notes Theor. Comput. Sci..
Fernando Orejas, Silvia Clerici, Rosa M. Jiménez, 1995, COMPASS/ADT.
Fernando Orejas, Martin Wirsing, F. Orejas, 2009, Semantics and Algebraic Specification.
Hartmut Ehrig, Fernando Orejas, Leen Lambers, 2008, Electron. Notes Theor. Comput. Sci..
Edelmira Pasarella, Fernando Orejas, Elvira Pino, 2000, WFLP.
Reiko Heckel, Hartmut Ehrig, Fernando Orejas, 2002, Mathematical Structures in Computer Science.
Hartmut Ehrig, Fernando Orejas, Elvira Pino, 1997, Theor. Comput. Sci..
Fernando Orejas, Marisa Navarro, Paqui Lucio, 2007, CSL.
Fernando Orejas, Silvia Clerici, F. Orejas, 1988, ECOOP.
Fernando Orejas, Dimitra Giannakopoulou, D. Giannakopoulou, 2011, Lecture Notes in Computer Science.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, 2004, Software & Systems Modeling.
Fernando Orejas, Ana Sánchez, Ricardo Peña-Marí, 1988, ADT.
Fernando Orejas, F. Orejas, 1987, Theor. Comput. Sci..
Fernando Orejas, 1999, Algebraic Foundations of Systems Specification.
Hartmut Ehrig, Fernando Orejas, Elvira Pino, 2001, WADT.
Albert Rubio, Fernando Orejas, Robert Nieuwenhuis, 1990, CADE.
José Luiz Fiadeiro, Fernando Orejas, 2015, Software, Services, and Systems.
Fernando Orejas, F. Orejas, 2008, ICGT.
Hartmut Ehrig, Artur Boronat, Frank Hermann, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Holger Giese, Fernando Orejas, Leen Lambers, 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Hartmut Ehrig, Fernando Orejas, Rosa M. Jiménez, 1995, Mathematical Structures in Computer Science.
Fernando Orejas, Sonia Pérez, 2005, Formal Methods in Software and Systems Modeling.
Fernando Orejas, Pilar Nivela, 1988, ADT.
Gregor Engels, Francesco Parisi-Presicce, Fernando Orejas, 2006, Fundam. Informaticae.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, 2005, LOPSTR.
Fernando Orejas, Marisa Navarro, Paqui Lucio, 2009, J. Log. Algebraic Methods Program..
Hartmut Ehrig, Fernando Orejas, 1998, Bull. EATCS.
Fernando Orejas, 1984, Semantics of Data Types.
Hans-Jörg Kreowski, Fernando Orejas, Michel Bidoit, 1991 .
Francisco Durán, Fernando Orejas, Steffen Zschaler, 2015 .
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, 2003, Electron. Notes Theor. Comput. Sci..
Hartmut Ehrig, Krzysztof Czarnecki, Frank Hermann, 2011, MODELS'11.
Hartmut Ehrig, Annegret Habel, Ulrike Golas, 2010, ICGT.
Hartmut Ehrig, Fernando Orejas, Elvira Pino, 1994, MFCS.
Hartmut Ehrig, Fernando Orejas, Julia Padberg, 1999, Bull. EATCS.
Fernando Orejas, Elvira Pino, 2004, SoftSpez Final Report.
Hartmut Ehrig, Fernando Orejas, Leen Lambers, 2006, Electron. Notes Theor. Comput. Sci..
Hartmut Ehrig, Ulrike Golas, Fernando Orejas, 2009, Formal Aspects of Computing.
Hartmut Ehrig, Artur Boronat, Frank Hermann, 2013 .
Hans-Jörg Kreowski, Fernando Orejas, Donald Sannella, 1991, Lecture Notes in Computer Science.
Hans-Jörg Kreowski, Gabriele Taentzer, Ugo Montanari, 2005, Formal Methods in Software and Systems Modeling.
Juan de Lara, Esther Guerra, Fernando Orejas, 2010, Graph Transformations and Model-Driven Engineering.
Hartmut Ehrig, Fernando Orejas, F. Orejas, 1994, Bull. EATCS.
Fernando Orejas, Julia Padberg, Markus Klein, 2007, FESCA@ETAPS.
Hartmut Ehrig, Ulrike Golas, Fernando Orejas, 2008, FASE.
Javier Álvez, Fernando Orejas, Paqui Lucio, 2004, SAC '04.
Fernando Orejas, Silvia Clerici, Pere Botella, 1988, ADT.
Hartmut Ehrig, Ulrike Golas, Fernando Orejas, 2006, ICGT.
Hartmut Ehrig, Fernando Orejas, Julia Padberg, 2010, Fundam. Informaticae.
Hartmut Ehrig, Fernando Orejas, Julia Padberg, 2004, FESCA@ETAPS.
Juan de Lara, Esther Guerra, Fernando Orejas, 2009, ICMT@TOOLS.
Fernando Orejas, 2006, J. Log. Algebraic Methods Program..
Fernando Orejas, Elvira Pino, 1999, WADT.
Fernando Orejas, Sonia Pérez, F. Orejas, 2008, PROLE.
Fernando Orejas, F. Orejas, 1979, SIGP.
Gabriele Taentzer, Fernando Orejas, Leen Lambers, 2018, Graph Transformation, Specifications, and Nets.
Fernando Orejas, Elvira Pino, 1999, APPIA-GULP-PRODE.
José Luiz Fiadeiro, Fernando Orejas, Nikos Mylonakis, 2015, 2015 IEEE International Conference on Services Computing.
Fernando Orejas, Leen Lambers, F. Orejas, 2012, Fundam. Informaticae.
Fernando Orejas, Silvia Clerici, Vera Sacristán Adinolfi, 1988, Categorial Methods in Computer Science.
Fernando Orejas, Leen Lambers, Sven Schneider, 2021, Int. J. Softw. Tools Technol. Transf..
Hartmut Ehrig, Annegret Habel, Ulrike Golas, 2012 .