


default search action
3rd GRAPHITE 2014: Grenoble, France
- Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente

, Anton Wijs
:
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 - Gijs Kant, Jaco van de Pol:

Generating and Solving Symbolic Parity Games. 2-14 - Maribel Fernández

, Hélène Kirchner
, Bruno Pinaud
:
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. 15-29 - Roi Blanco, Paolo Boldi

, Andrea Marino
:
Entity-Linking via Graph-Distance Minimization. 30-43 - Giorgio Delzanno, Arend Rensink

, Riccardo Traverso:
Graph- versus Vector-Based Analysis of a Consensus Protocol. 44-57 - William Mansky, Dennis Griffith, Elsa L. Gunter:

Specifying and Executing Optimizations for Parallel Programs. 58-70 - Steffen Ziegert:

Graph Transformation Planning via Abstraction. 71-83 - Valerio Senni

, Michele Stawowy:
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases. 84-99

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














