Concepedia

Fernando Orejas

FO

32

Publications

764

Citations

17

H-Index

1986

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

Technische Universität Berlin

Hasso Plattner Institute

University of Potsdam

Zuse Institute Berlin

Fernando Orejas is an author at Universitat Politècnica de Catalunya specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationGraph TheorySystems EngineeringSoftware EngineeringSoftware DesignSoftware Analysis

Publications per year

1986–2024

32

Publications

32

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

Hartmut Ehrig, Ulrike Golas, Annegret Habel et al. · Mathematical Structures in Computer Science · 2014 · 60 citations · Full text

Engineering, Computer Architecture, Software Engineering +24

ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence

Hartmut Ehrig, Ulrike Golas, Annegret Habel et al. · Fundamenta Informaticae · 2012 · 48 citations

Formal Language Theory, Engineering, Network Analysis +19

Efficient analysis and execution of correct and complete model transformations based on triple graph grammars

Frank Hermann, Hartmut Ehrig, Ulrike Golas et al. · 2010 · 47 citations · Full text

Engineering, Computer-aided Design, Model Checking +22

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

Fernando Orejas, Paul G. Spirakis, Jan Van Leeuwen · 2001 · 47 citations

Logical Automaton, Engineering, Automated Reasoning +8

Symbolic Attributed Graphs for Attributed Graph Transformation

Fernando Orejas, Leen Lambers · Technische Universität Berlin – Universitätsbibliothek · 2024 · 44 citations · Full text

Directed Graph, Engineering, Network Analysis +16

Rows per page

1–5 of 32