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.