BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

group
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
big
  • sign in
  • register
  • home
  • groups
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • genealogy
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. group
  2. big

Publication title

bookmarks  (hide)1
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • order
  • ascending
  • descending
  • RSS
  • BibTeX
  • XML

  •  

     
    2ModelCVS: A Semantic Infrastructure for Model-based Tool Integration
     

    http://www.modelcvs.org/
    14 years ago by @big
    show all tags
    • ModelCVS
     
      ModelCVS
      (0)
      copydelete
      • community post
      • history of this post
       
       
    • ⟨⟨
    • ⟨
    • 1
    • ⟩
    • ⟩⟩

    publications  (hide)3
    • display
    • all
    • publications only
    • publications per page
    • 5
    • 10
    • 20
    • 50
    • 100
    • sort by
    • added at
    • title
    • order
    • ascending
    • descending
    • help for advanced sorting...
    • RSS
    • BibTeX
    • RDF
    • more...

    •  

       
      2A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
       

      U. Egly, M. Seidl, and S. Woltran. Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling , (2006)
      14 years ago by @big
      show all tags
      • imported
       
        imported
        (0)
        copydeleteadd this publication to your clipboard
        • community post
        • history of this post
        • URL
        • DOI
        • BibTeX
        • EndNote
        • APA
        • Chicago
        • DIN 1505
        • Harvard
        • MSOffice XML
         
         
      •  

         
        4SmartMatcher - How Examples and a Dedicated Mapping Language can Improve theQuality of Automatic Matching Approaches.
         

        H. Kargl, and M. Wimmer. CISIS , page 879-885. (2008)
        14 years ago by @big
        show all tags
        • SmartMatcher
         
          SmartMatcher
          (0)
          copydeleteadd this publication to your clipboard
          • community post
          • history of this post
          • URL
          • DOI
          • BibTeX
          • EndNote
          • APA
          • Chicago
          • DIN 1505
          • Harvard
          • MSOffice XML
           
           
        •  

           
          3How Web 2.0 can Leverage Model Engineering in Practice.
           

          M. Wimmer, A. Schauerhuber, M. Strommer, J. Flandorfer, and G. Kappel. DSML , volume 324 of CEUR Workshop Proceedings, page 31-44. CEUR-WS.org, (2008)
          14 years ago by @big
          show all tags
          • MetaModelbrowser
           
            MetaModelbrowser
            (0)
            copydeleteadd this publication to your clipboard
            • community post
            • history of this post
            • URL
            • DOI
            • BibTeX
            • EndNote
            • APA
            • Chicago
            • DIN 1505
            • Harvard
            • MSOffice XML
             
             
          • ⟨⟨
          • ⟨
          • 1
          • ⟩
          • ⟩⟩
            big

            big

            @big

            CV
            join

            discussion

            • show posts recently discussed by members of big

            tags

            • MetaModelbrowser
            • ModelCVS
            • SmartMatcher
            • imported
          What is BibSonomy?
          Getting Started
          Browser Buttons
          Help
          Developer
          Overview
          API Documentation
          Contact & Privacy
          Contact
          Privacy & Terms of Use
          Cookies
          Report Issues
          BibSonomy Wiki
          Integration
          PUMA
          TYPO3 Extension
          WordPress Plugin
          Java REST Client
          Supported Sites
          more
          About BibSonomy
          Team
          Blog
          Mailing List
          Social Media
           Follow us on Twitter

          BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany.