Posters

M. Seidl: A Solver for QBFs in Nonprenex Form , Poster at the Doctoral Consortium at the KR 2006, Lake District, UK, 2006.

K. Altmanninger, G. Kotsis, W. Retschitzegger, W. Schwinger: Models in Conflict – A Semantically Enhanced Version Control System for Models, Submitted for publication.

K. Altmanninger, G. Kappel, E. Kapsammer, H. Kargl, G. Kotsis, G. Kramler, T. Reiter, W. Retschitzegger, W. Schwinger, M. Seidl, M. Strommer, M. Wimmer: From Models to Ontologies and Back Again: The ModelCVS Approach for Integrating Modeling Tools, Poster at the ACM/IEEE 9th International Conference On Model Driven Engineering Languages And Systems, Genova, Italy, October 2006.