sign in · help · news · about ·

BibSonomy :: author :: Orejas ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(119)

<< < 1 | 2 | 3 > >>

An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs.
Paqui Lucio, Fernando Orejas, and Elvira Pino J. Log. Program. 40(1):89-124 (1999)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Correctness of Model Synchronization Based on Triple Graph Grammars.
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, and Yingfei Xiong MoDELS, volume 6981 of Lecture Notes in Computer Science, page 668-682. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, and Fernando Orejas MoDELS, volume 6981 of Lecture Notes in Computer Science, page 304-318. Springer, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
Special Issue with Selected Papers from ICGT 2004.
Gregor Engels, Fernando Orejas, and Francesco Parisi-Presicce Fundam. Inform. (2006)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
A Characterization of Passing Compatibility for Parameterized Specifications.
Fernando Orejas Theor. Comput. Sci. (1987)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Symbolic Attributed Graphs for Attributed Graph Transformation.
Fernando Orejas, and Leen Lambers ECEASST (2010)
to 2010 GraGra by minas and 1 other user on Aug 12, 2011, 10:06 PM
URL | BibTeX
Symbolic graphs for attributed graph constraints.
Fernando Orejas J. Symb. Comput. 46(3):294-315 (2011)
to 2011 GraGra by minas and 1 other user on Aug 12, 2011, 10:05 PM
URL | BibTeX
Towards Architectural Connectors for UML.
Fernando Orejas, and Sonia Pérez Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 352-369. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
A Distributed and Mobile Component System Based on the Ambient Calculus.
Nikos Mylonakis, and Fernando Orejas WADT, volume 3423 of Lecture Notes in Computer Science, page 186-200. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
On the Integration of Modular Heterogeneous Specifications.
Fernando Orejas, and Elvira Pino SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 582-601. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Generic Component Framework for System Modeling.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, and Martti Piirainen FASE, volume 2306 of Lecture Notes in Computer Science, page 33-48. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Tight and Loose Semantics for Transformation Systems.
Fernando Orejas, Hartmut Ehrig, and Elvira Pino WADT, volume 2267 of Lecture Notes in Computer Science, page 238-255. Springer, (2001)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development.
Hartmut Ehrig, Bernd Mahr, Ingo Claßen, and Fernando Orejas Comput. J. 35(5):460-467 (1992)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications.
Hartmut Ehrig, Bernd Mahr, Ingo Claßen, and Fernando Orejas Comput. J. 35(5):468-477 (1992)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Semantics of Normal Logic Programs with Embedded Implications.
Fernando Orejas, Edelmira Pasarella, and Elvira Pino ICLP, volume 2237 of Lecture Notes in Computer Science, page 255-268. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Class-Sort Polymorphism in GLIDER.
Silvia Clerici, Rosa M. Jiménez, and Fernando Orejas COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 143-160. Springer, (1995)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques.
Hartmut Ehrig, and Fernando Orejas Electr. Notes Theor. Comput. Sci. 50(3):199-226 (2001)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
A Component Framework Based on High-Level Replacement Systems.
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, and Martti Piirainen Electr. Notes Theor. Comput. Sci. 72(3):118-132 (2003)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Components for Algebra Transformation Systems.
Fernando Orejas, and Hartmut Ehrig Electr. Notes Theor. Comput. Sci. 82(7):63-78 (2003)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
An Algebraic Framework for Higher-Order Modules.
Rosa M. Jiménez, and Fernando Orejas World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1778-1797. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper