BibSonomyburst/group/bigBibSonomy RSS feed for /group/big2012-02-15T03:43:50+01:00http://www.bibsonomy.org/bibtex/20959188c18b01739bba57a84c6f6640d/bigbig2008-12-18T09:41:24+01:00imported <span class="authorEditorList"><a href="/author/Egly">Uwe Egly</a>, <a href="/author/Seidl">Martina Seidl</a>, and <a href="/author/Woltran">Stefan Woltran</a> </span><em>Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, </em>(<em>2006</em>)Thu 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 http://www.bibsonomy.org/bibtex/24cf0e8d82edc8a41b1678926837adeee/bigbig2008-12-16T22:09:10+01:00SmartMatcher <span class="authorEditorList"><a href="/author/Kargl">Horst Kargl</a>, and <a href="/author/Wimmer">Manuel Wimmer</a> </span><em>CISIS, </em><em>page 879-885. </em>(<em>2008</em>)Tue Dec 16 22:09:10 CET 2008CISIS879-885SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.2008SmartMatcher dblphttp://www.bibsonomy.org/bibtex/289bbe854d1d4f5ca38200777e63a720d/bigbig2008-12-16T12:22:37+01:00MetaModelbrowser <span class="authorEditorList"><a href="/author/Wimmer">Manuel Wimmer</a>, <a href="/author/Schauerhuber">Andrea Schauerhuber</a>, <a href="/author/Strommer">Michael Strommer</a>, <a href="/author/Flandorfer">Jürgen Flandorfer</a>, and <a href="/author/Kappel">Gerti Kappel</a> </span><em>DSML, </em><em>volume 324 of CEUR Workshop Proceedings, </em><em>page 31-44. </em><em>CEUR-WS.org, </em>(<em>2008</em>)Tue Dec 16 12:22:37 CET 2008DSMLconf/dsml/200831-44CEUR Workshop ProceedingsHow Web 2.0 can Leverage Model Engineering in Practice.3242008MetaModelbrowser dblp