BibSonomy :: group :: big ::

A blue social bookmark and publication sharing system.

bookmarks

(1)RSS XML

<< < 1 > >>

<< < 1 > >>bookmarks per page: 5 10 20 50 100

<< < 1 > >>

A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
Uwe Egly and Martina Seidl and Stefan Woltran Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)
to imported by big and 1 other person on Dec 18, 2008, 9:41 AM
BibTeX | spam
SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.
Horst Kargl and Manuel Wimmer CISIS, page 879-885. (2008)
to SmartMatcher by big and 2 other people on Dec 16, 2008, 10:09 PM
URL | BibTeX | spam
How Web 2.0 can Leverage Model Engineering in Practice.
Manuel Wimmer and Andrea Schauerhuber and Michael Strommer and Jürgen Flandorfer and Gerti Kappel DSML, volume 324 of CEUR Workshop Proceedings, page 31-44. CEUR-WS.org, (2008)
to MetaModelbrowser by big and 2 other people on Dec 16, 2008, 12:22 PM
URL | BibTeX | spam

<< < 1 > >>publications per page: 5 10 20 50 100