BibSonomy :: author  ::

bookmarks

publications

(282)

• 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
  | URL | BibTeX  
• 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 3 other people on 2007-09-26 12:09:12
  | BibTeX  
• 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 3 other people on 2007-09-26 10:37:27
  | BibTeX  
• 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 3 other people on 2007-09-25 21:44:52
  | BibTeX  
• 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
  | URL | BibTeX  
• 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
  | URL | BibTeX  
• Towards Multiple Access in Generic Component Architectures.
  Markus Klein and Julia Padberg and Fernando Orejas Electr. Notes Theor. Comput. Sci. 176 25-45 (2007)
  to dblp by dblp on 2007-06-02 00:00:00
  | URL | BibTeX  
• Special Issue with Selected Papers from ICGT 2004.
  Gregor Engels and Fernando Orejas and Francesco Parisi-Presicce Fundam. Inform. 74 (2006)
  to dblp by dblp on 2007-03-13 00:00:00
  | URL | BibTeX  
• Lower Bounds in the Quantum Cell Probe Model.
  Pranab Sen and Srinivasan Venkatesh ICALP 358-369 (2001)
  to dblp by dblp and 1 other person on 2006-11-06 00:00:00
  | URL | BibTeX  
• Conflict Detection for Graph Transformation with Negative Application Conditions.
  Leen Lambers and Hartmut Ehrig and Fernando Orejas ICGT 61-76 (2006)
  to dblp by dblp on 2006-11-06 00:00:00
  | URL | BibTeX