Publicaciones
arantxa.ii.uam.es
Software and Systems Modeling (Springer). 12(1): (2013). [31] “Inter-modelling with patterns” Esther Guerra, Juan de Lara and Fernando Orejas.
Oxford Book Shop
bookmanager.com
Dimitra Giannakopoulou | Fernando Orejas Springer Verlag Gmbh Computers / Programming Languages / Software Development & Engineering / Networking
Automata, Languages and Programming: 28th International ...books.google.com › ... › General
books.google.by
Fernando Orejas, Paul G. Spirakis. Springer Science & Business Media, Jun 27, Computers pages. 0 Reviews. The 28th International Colloquium ...
Automata, Languages and Programming: 28th International ...books.google.com.gi › books
books.google.com.gi
Automata, Languages and Programming: 28th International ..., Volume 28. By Fernando Orejas, Paul G. Spirakis. About this book. Springer Science & Business ...
Field-Programmable Logic and Applications: 11th International...
books.google.co.uk
Fernando Orejas (ed). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Singapore ; Tokyo : Springer, (Lecture notes in ...
Components for Algebra Transformation Systems - ScienceDirectwww.sciencedirect.com › science › article › pii
www.sciencedirect.com
In Proceedings ICALP 2001, Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.) Springer LNCS (2001), pp. 238–255. Google Scholar.
Fernando Orejas - Springerwww.springer.com › book
link.springer.com
Automata, Languages and Programming. 28th International Colloquium, ICALP Crete, Greece, July 8–12, Proceedings. Editors: Orejas, Fernando ...
Towards Architectural Connectors for UML | SpringerLink
link.springer.com
The notion of architectural connector was developed by Allen and Garland [1] as an important concept for the design of software architectures. In this paper,...
Borrowed Contexts for Attributed Graphs | SpringerLink
link.springer.com
Borrowed context graph transformation is a simple and powerful technique developed by Ehrig and König that allows us to derive labeled transitions and...
Clausal rewriting: Applications and implementation | SpringerLink
link.springer.com
The techniques of clausal rewriting and clausal completion provide several theorem proving methods in theories expressed by clauses having at most one positive...
All web results to the name "Fernando Orejas"
Automata, Languages And Programming - Fernando Orejas ...articulo.mercadolibre.com.ar › Libros
articulo.mercadolibre.com.ar
Título del libro Automata, Languages and Programming; Autor Fernando Orejas; Idioma Inglés; Editorial Springer Verlag Berlin Heidelberg GmbH Co KG ...
Attributed Graph Constraints | springerprofessional.dewww.springerprofessional.de › attributed-graph-constraints
www.springerprofessional.de
Author: Fernando Orejas. Publisher: Springer Berlin Heidelberg. Published in: Graph Transformations. » Get access to the full-text. Graph constraints were ...
A Logic-Based Incremental Approach to Graph Repair ...www.springerprofessional.de › a-logic-based-incremental-approach-to...
www.springerprofessional.de
A Logic-Based Incremental Approach to Graph Repair. Authors: Sven Schneider, Leen Lambers, Fernando Orejas. Publisher: Springer International Publishing.
Foundations for circular compositional reasoning — University ...experts.illinois.edu › publications › foundations-for-cir...
experts.illinois.edu
Editors, Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen. Publisher, Springer-Verlag Berlin Heidelberg. Pages, Number of pages, 13. ISBN (Print) ...
Borrowed Contexts for Attributed Graphs - Springer Professionalwww.springerprofessional.de › borrowed-contexts-for-attributed-graphs
www.springerprofessional.de
Authors: Fernando Orejas, Artur Boronat, Nikos Mylonakis. Publisher: Springer Berlin Heidelberg. Published in: Graph Transformations. » Get access to the full- ...
Initial Conflicts for Transformation Rules with Nested ...www.springerprofessional.de › initial-conflicts-for-trans...
www.springerprofessional.de
Initial Conflicts for Transformation Rules with Nested Application Conditions. Conditional Bigraphs Read first chapter. Authors: Leen Lambers, Fernando Orejas.
On the approximability of average completion time scheduling ...research.utwente.nl › publications › on-the-approximabilit...
research.utwente.nl
... ICALP Crete, Greece, July 8–12, Proceedings. Editors, Fernando Orejas, Paul G. Spivakis, Jan van Leeuwen. Publisher, Springer. Pages,
sorted by relevance / date