BibSonomy publications for /group/bigThu Dec 18 09:41:24 CET 2008Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based ModelingA Solver for QBFs in Nonprenex Form: Overview and Experimental Results2006imported Tue Dec 16 22:09:10 CET 2008CISIS879-885SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.2008SmartMatcher Tue Dec 16 12:22:37 CET 2008DSMLconf/dsml/200831-44CEUR Workshop ProceedingsHow Web 2.0 can Leverage Model Engineering in Practice.3242008MetaModelbrowser