sign in · help · news · about ·

BibSonomy :: group :: big ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(1)

<< < 1 > >>

ModelCVS: A Semantic Infrastructure for Model-based Tool Integration
to ModelCVS by big and 1 other user on Dec 16, 2008, 10:35 PM
(0)

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

RSS BibTeX RDF more

publications

(3)

<< < 1 > >>

A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
Uwe Egly, Martina Seidl, and Stefan Woltran Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)
to imported by big and 1 other user on Dec 18, 2008, 9:41 AM
BibTeX (0)
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 users on Dec 16, 2008, 10:09 PM
URL | BibTeX (0)
How Web 2.0 can Leverage Model Engineering in Practice.
Manuel Wimmer, Andrea Schauerhuber, Michael Strommer, 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 users on Dec 16, 2008, 12:22 PM
URL | BibTeX (0)

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

a gripper