Showing 1 - 7 results of 7 for search 'Reiko Heckel', query time: 0.03s Refine Results
  1. 1
    Detecting and Refactoring Operational Smells within the Domain Name System

    Detecting and Refactoring Operational Smells within the Domain Name System by Marwan Radwan, Reiko Heckel

    Published 2015-04-01
    Get full text
    Article
  2. 2
    Resource-Bound Quantification for Graph Transformation

    Resource-Bound Quantification for Graph Transformation by Paolo Torrini, Reiko Heckel

    Published 2010-03-01
    Get full text
    Article
  3. 3
    Towards an embedding of Graph Transformation in Intuitionistic Linear Logic

    Towards an embedding of Graph Transformation in Intuitionistic Linear Logic by Reiko Heckel, Paolo Torrini

    Published 2009-12-01
    Get full text
    Article
  4. 4
    Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

    Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars by Rodrigo Machado, Reiko Heckel, Leila Ribeiro

    Published 2010-03-01
    Get full text
    Article
  5. 5
    Analysis of Graph Transformation Systems: Native vs Translation-based Techniques

    Analysis of Graph Transformation Systems: Native vs Translation-based Techniques by Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat

    Published 2019-12-01
    Get full text
    Article
  6. 6
    Features of Agent-based Models

    Features of Agent-based Models by Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown

    Published 2017-12-01
    Get full text
    Article
  7. 7
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets by Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König

    Published 2008-10-01
    Get full text
    Article

Search Tools: