Is this you? Create Your Porfile
Avatar

Fernando Orejas

Technical University of Berlin

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Fernando Orejas is active.

Explore More

Publication

Featured researches published by Fernando Orejas.

international colloquium on automata languages and programming | 1989

On Recent Trends in Algebraic Specification

Hartmut Ehrig; Peter Pepper; Fernando Orejas

In this paper we focus on three different aspects which can be considered to be recent trends within theory and applications of algebraic specification.

Current Trends in Theoretical Computer Science | 1993

New Concepts for Amalgamation and Extension in the Framework of Specification Logics.

Hartmut Ehrig; Michael Baldamus; Fernando Orejas

Archive | 2002

A Generic Component Concept for System Modeling

Hartmut Ehrig; Fernando Orejas; Benjamin Braatz; Mark H. Klein; Martti Piirainen

Archive | 1998

Integration and Classification of Data Type and Process Specification Techniques

Hartmut Ehrig; Fernando Orejas

Archive | 2001

A Generic Component Concept for Integrated Data Type and Process Modeling Techniques

Hartmut Ehrig; Fernando Orejas

Archive | 2001

Recommendations on the revised design of Casl

Hartmut Ehrig; Jos Meseguer; Ugo Montanari; Fernando Orejas; Francesco Parisi-Presicce; Martin Wirsing

Archive | 2011

From State to Delta-based Bidirectional Model Transformations: the Symmetric Case (Technical Report)

Zinovy Diskin; Yuan Sheng Xiong; Krzysztof Czarnecki; Hartmut Ehrig; Frank Hermann; Fernando Orejas

Archive | 2005

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

Hans-Jörg Kreowski; Ugo Montanari; Fernando Orejas; Grzegorz Rozenberg; Gabriele Taentzer

international colloquium on automata, languages and programming | 2001

Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

Fernando Orejas; P. G. Spirakis; Jan van Leeuwen

Archive | 2001

Proceedings of the 28th International Colloquium on Automata, Languages and Programming,

Fernando Orejas; Paul G. Spirakis; Jan van Leeuwen

Explore More

Collaboration

Dive into the Fernando Orejas's collaboration.

Top Co-Authors
Avatar

Hartmut Ehrig

Technical University of Berlin

View shared research outputs
Top Co-Authors
Avatar

Hartmut Ehrig

Technical University of Berlin

View shared research outputs
Top Co-Authors
Avatar

Ugo Montanari

University of Pisa

View shared research outputs
Top Co-Authors
Avatar

Jan van Leeuwen

Utrecht University

View shared research outputs
Top Co-Authors
Avatar

Francesco Parisi-Presicce

George Mason University

View shared research outputs
Top Co-Authors
Avatar

Krzysztof Czarnecki

University of L'Aquila

View shared research outputs
Top Co-Authors
Avatar

Benjamin Braatz

Technical University of Berlin

View shared research outputs
Top Co-Authors
Avatar

Gabriele Taentzer

University of Marburg

View shared research outputs
Top Co-Authors
Avatar

Hans-Jörg Kreowski

University of Bremen

View shared research outputs
Top Co-Authors
Avatar

Martti Piirainen

Technical University of Berlin

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge