BibSonomy publications for /author/Orejas http://www.bibsonomy.org/author/Orejas BibSonomy RSS Feed for /author/Orejas Efficient detection of conflicts in graph-based model transformation http://www.bibsonomy.org/bibtex/268f2c8a011b8f4d79f524904d53016d7/pdeleenh pdeleenh 2008-07-07T16:45:32+02:00 imported
Efficient detection of conflicts in graph-based model transformation
Leen Lambers and Hartmut Ehrig and Fernando Orejas Proc. Int'l Workshop on Graph and Model Transformation (GraMoT) (2006)
to imported by pdeleenh and 4 other people on 2008-07-07 16:45:32
]]> Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. dblp http://www.bibsonomy.org/bibtex/2f50b0e6d1439a98157b3ee6d8c3950a0/dblp dblp 2008-06-11T00:00:00+02:00 dblp
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
Leen Lambers and Hartmut Ehrig and Fernando Orejas Electr. Notes Theor. Comput. Sci. 211 17-26 (2008)
to dblp by dblp on 2008-06-11 00:00:00
]]> Architectural Connectors for Sequence Diagrams. dblp http://www.bibsonomy.org/bibtex/2b96a8212fd455b1c8f852db3ec9cbb28/dblp dblp 2008-06-11T00:00:00+02:00 dblp
Architectural Connectors for Sequence Diagrams.
Fernando Orejas and Sonia Pérez Electr. Notes Theor. Comput. Sci. 206 111-131 (2008)
to dblp by dblp on 2008-06-11 00:00:00
]]> A Functorial Framework for Constraint Normal Logic Programming. dblp http://www.bibsonomy.org/bibtex/200da19e5bcb99c241fe0e405d375f386/dblp dblp 2008-05-26T00:00:00+02:00 dblp
A Functorial Framework for Constraint Normal Logic Programming.
Paqui Lucio and Fernando Orejas and Edelmira Pasarella and Elvira Pino Applied Categorical Structures 16 421-450 (2008)
to dblp by dblp on 2008-05-26 00:00:00
]]> A Logic of Graph Constraints. dblp http://www.bibsonomy.org/bibtex/2556d1cd011087a179e2805ae5ecad7d7/dblp dblp 2008-04-21T00:00:00+02:00 dblp
A Logic of Graph Constraints.
Fernando Orejas and Hartmut Ehrig and Ulrike Prange FASE 179-198 (2008)
to dblp by dblp on 2008-04-21 00:00:00
]]> Efficient detection of conflicts in graph-based model transformation AOEvolutionchapter short paper http://www.bibsonomy.org/bibtex/2f5414dd1d688a001b13baefbd690c610/kimmens kimmens 2007-09-26T12:09:12+02:00 imported
Efficient detection of conflicts in graph-based model transformation
Leen Lambers and Hartmut Ehrig and Fernando Orejas Electronic Notes in Theoretical Computer Science (2006)
to imported by kimmens and 4 other people on 2007-09-26 12:09:12
]]> Efficient detection of conflicts in graph-based model transformation The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008 http://www.bibsonomy.org/bibtex/2f5414dd1d688a001b13baefbd690c610/evol evol 2007-09-26T10:37:27+02:00 imported
Efficient detection of conflicts in graph-based model transformation
Leen Lambers and Hartmut Ehrig and Fernando Orejas Electronic Notes in Theoretical Computer Science (2006)
to imported by evol and 4 other people on 2007-09-26 10:37:27
]]> Efficient detection of conflicts in graph-based model transformation software evolution bibliography http://www.bibsonomy.org/bibtex/2f5414dd1d688a001b13baefbd690c610/tommens tommens 2007-09-25T21:44:52+02:00 imported
Efficient detection of conflicts in graph-based model transformation
Leen Lambers and Hartmut Ehrig and Fernando Orejas Electronic Notes in Theoretical Computer Science (2006)
to imported by tommens and 4 other people on 2007-09-25 21:44:52
]]> Preface. dblp http://www.bibsonomy.org/bibtex/25416753510ae2f6976ddd607bc5f6b7a/dblp dblp 2007-09-21T00:00:00+02:00 dblp
Preface.
Paqui Lucio and Fernando Orejas Electr. Notes Theor. Comput. Sci. 188 1-2 (2007)
to dblp by dblp on 2007-09-21 00:00:00
]]> A Cut-Free and Invariant-Free Sequent Calculus for PLTL. dblp http://www.bibsonomy.org/bibtex/2cd05bddd304a8c3fc752034d2861188a/dblp dblp 2007-08-29T00:00:00+02:00 dblp
A Cut-Free and Invariant-Free Sequent Calculus for PLTL.
Joxe Gaintzarain and Montserrat Hermo and Paqui Lucio and Marisa Navarro and Fernando Orejas CSL 481-495 (2007)
to dblp by dblp on 2007-08-29 00:00:00
]]>