Sign in
GRAPHITE
2003
2007
2010
2014
2003
2014
Keyphrases
Publications
2014
William Mansky
,
Dennis Griffith
,
Elsa L. Gunter
Specifying and Executing Optimizations for Parallel Programs.
GRAPHITE
(2014)
Gijs Kant
,
Jaco van de Pol
Generating and Solving Symbolic Parity Games.
GRAPHITE
(2014)
Roi Blanco
,
Paolo Boldi
,
Andrea Marino
Entity-Linking via Graph-Distance Minimization.
GRAPHITE
(2014)
Maribel Fernández
,
Hélène Kirchner
,
Bruno Pinaud
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework.
GRAPHITE
(2014)
Giorgio Delzanno
,
Arend Rensink
,
Riccardo Traverso
Graph- versus Vector-Based Analysis of a Consensus Protocol.
GRAPHITE
(2014)
Valerio Senni
,
Michele Stawowy
Backwards State-space Reduction for Planning in Dynamic Knowledge Bases.
GRAPHITE
(2014)
Steffen Ziegert
Graph Transformation Planning via Abstraction.
GRAPHITE
(2014)
volume 159, 2014
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014.
GRAPHITE
159 (2014)
2013
Mila E. Majster-Cederbaum
,
Nils Semmelrock
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete.
GRAPHITE
(2013)
volume 138, 2013
Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013.
GRAPHITE
138 (2013)
2012
Stefan Edelkamp
,
Peter Kissmann
,
Álvaro Torralba
Lex-Partitioning: A New Option for BDD Search
GRAPHITE
(2012)
Andreas Beckmann
,
Jaroslaw Fedorowicz
,
Jörg Keller
,
Ulrich Meyer
A structural analysis of the A5/1 state transition graph
GRAPHITE
(2012)
Gijs Kant
,
Jaco van de Pol
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
GRAPHITE
(2012)
Elise Cormie-Bowins
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities
GRAPHITE
(2012)
Eduardo Zambon
,
Arend Rensink
Graph Subsumption in Abstract State Space Exploration
GRAPHITE
(2012)
volume 99, 2012
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012.
GRAPHITE
99 (2012)
2007
Marte Newcombe
Marte Newcombe.
GRAPHITE
(2007)
Jeppe Revall Frisvad
,
Niels Jørgen Christensen
,
Peter Falster
The Aristotelian rainbow: from philosophy to computer graphics.
GRAPHITE
(2007)
Julien Lacoste
,
Tamy Boubekeur
,
Bruno Jobard
,
Christophe Schlick
Appearance preserving octree-textures.
GRAPHITE
(2007)
Khoa Nguyen Tran
,
Zhiyong Huang
Design and implementation of a built-in camera based user interface for mobile games.
GRAPHITE
(2007)
Petra Stefankova
Petra Stefankova.
GRAPHITE
(2007)
Philip Willis
Generalised compositing.
GRAPHITE
(2007)
Hilko Cords
Mode-splitting for highly detailed, interactive liquid simulation.
GRAPHITE
(2007)
Ig-Jae Kim
,
Hyeong-Seok Ko
Intuitive quasi-eigen faces.
GRAPHITE
(2007)
James Faure Walker
James Faure Walker.
GRAPHITE
(2007)
Lars Schjøth
,
Jeppe Revall Frisvad
,
Kenny Erleben
,
Jon Sporring
Photon differentials.
GRAPHITE
(2007)
Julian Looser
,
Mark Billinghurst
,
Raphaël Grasset
,
Andy Cockburn
An evaluation of virtual lenses for object selection in augmented reality.
GRAPHITE
(2007)
Anton van den Hengel
,
Anthony R. Dick
,
Thorsten Thormählen
,
Ben Ward
,
Philip H. S. Torr
A shape hierarchy for 3D modelling from video.
GRAPHITE
(2007)
Biswarup Choudhury
,
Sharat Chandran
Data-intensive image based relighting.
GRAPHITE
(2007)
Derek Nowrouzezahrai
,
Patricio D. Simari
,
Evangelos Kalogerakis
,
Karan Singh
,
Eugene Fiume
Compact and efficient generation of radiance transfer for dynamically articulated characters.
GRAPHITE
(2007)
Jieun Kwon
,
Yuncheol Baek
Your destiny: dynamic interactive installation for digital Gesamtkunstwerk: (total work of art).
GRAPHITE
(2007)
Martin Falk
,
Tobias Schafhitzel
,
Daniel Weiskopf
,
Thomas Ertl
Panorama maps with non-linear ray tracing.
GRAPHITE
(2007)
Przemyslaw Musialski
,
Robert F. Tobler
,
Stefan Maierhofer
,
Charles Albert Wüthrich
Multiresolution geometric details on subdivision surfaces.
GRAPHITE
(2007)
Mike Wong
Mike Wong.
GRAPHITE
(2007)
Jason Lee
Jason Lee.
GRAPHITE
(2007)
Ian G. Lisle
,
Tracy Shih-lung Huang
Algorithms for spherical harmonic lighting.
GRAPHITE
(2007)
Jeppe Revall Frisvad
,
Geoff Wyvill
Fast high-quality noise.
GRAPHITE
(2007)
Proceedings of the 5th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2007, Perth, Western Australia, 1-4 December 2007
GRAPHITE
(2007)
Makoto Fujisawa
,
Kenjiro T. Miura
Animation of ice melting phenomenon based on thermodynamics with thermal radiation.
GRAPHITE
(2007)
Konstantin Kolchin
Curvature-based shading of translucent materials, such as human skin.
GRAPHITE
(2007)
Andrea Weidlich
,
Alexander Wilkie
Arbitrarily layered micro-facet surfaces.
GRAPHITE
(2007)
V. B. Mello
,
Cláudio Rosito Jung
,
Marcelo Walter
Virtual woodcuts from images.
GRAPHITE
(2007)
The Kiet Lu
,
Zhiyong Huang
A GPU-based method for real-time simulation of Eastern painting.
GRAPHITE
(2007)
Rhushabh Goradia
,
Anil Kanakanti
,
Sharat Chandran
,
Amitava Datta
Visibility map for global illumination in point clouds.
GRAPHITE
(2007)
John Antoine Labadie
John Antoine Labadie.
GRAPHITE
(2007)
Paul Hertz
Paul Hertz.
GRAPHITE
(2007)
Li Zhang
,
Ling Li
Monocular reconstruction of human translation in motion sequence by MTA.
GRAPHITE
(2007)
K. Raiyan Kamal
,
Yusuf Sarwar Uddin
Parametrically controlled terrain generation.
GRAPHITE
(2007)
Takahiro Harada
,
Seiichi Koshizuka
,
Yoichiro Kawaguchi
Sliced data structure for particle-based simulations on GPUs.
GRAPHITE
(2007)
Wei Guan
,
Juyong Zhang
,
Jianfei Cai
,
Jianmin Zheng
Illumination and view dependent progressive transmission of semi-regular meshes with subdivision connectivity.
GRAPHITE
(2007)