In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09), 9th, September 23-25, Swansea, United Kingdom, Electronic Communications of the EASST, Vol. 23, 2009.
In: HPG '09: Proceedings of the 1st ACM conference on High Performance Graphics. ACM/Eurographics High-Performance Graphics (was Graphics Hardware/Symposium on Interactive Ray Tracing) (HPG-09), August 1-3, New Orleans, USA, Pages 15-22, ISBN 978-1-60558-603-8, ACM, 2009.
Josef Pelikan; Martin Horak; Lukas Marsalek; Jan Horacek; Philipp Slusallek
In: HPG '09: Proceedings of the 1st ACM conference on High Performance Graphics. ACM/Eurographics High-Performance Graphics (was Graphics Hardware/Symposium on Interactive Ray Tracing) (HPG-09), August 1-3, New Orleans, USA, Pages 23-28, ISBN 978-1-60558-603-8, ACM, 2009.
In: Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 14-16 September 2009, Berkeley, CA, USA. IEEE International Conference on Semantic Computing (ICSC-09), Pages 361-366, 2009.
In: Proceedings of the Workshop on Ontology Patterns (WOP 2009), collocated with the 8th International Semantic Web Conference, Washington D.C., USA. Workshop on Ontology Patterns (ISWC-09), located at 8th International Semantic Web Conference, 2009.
