BibSonomy :: author  ::

bookmarks

publications

(448)

• Ontology-based integration of information --- a survey of existing approaches
  H. Wache and T. V\"ogele and U. Visser and H. Stuckenschmidt and G. Schuster and H. Neumann and S. H\"ubner IJCAI--01 Workshop: Ontologies and Information Sharing 108--117 (2001)
  to cites.goarch info.survey mrefs research.integration research.kr.ontologies by msn on 2008-08-17 19:50:17
  | URL | BibTeX  
• Model Checking Programs
  Willem Visser and Klaus Havelund and Guillaume Brat and Seungjoon Park and Flavio Lerda Automated Software Engineering 10 203--232 (2003)
  to cites.ref mrefs state.unclassified by msn and 2 other people on 2008-08-17 17:02:50
  | URL | BibTeX  
• Domain-specific languages: an annotated bibliography
  Arie van Deursen and Paul Klint and Joost Visser SIGPLAN Not. 35 26--36 (2000)
  to cites.ref mrefs state.unclassified by msn and 6 other people on 2008-08-17 17:02:50
  | URL | BibTeX  
• Stratego: A Language for Program Transformation Based on Rewriting Strategies.
  Eelco Visser Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Proceedings 357-362 (2001)
  to cites.ref mrefs state.unclassified by msn and 2 other people on 2008-08-17 17:02:50
  | URL | BibTeX  
• Temporal Representation and Reasoning for the Semantic Web.
  Sebastian Hübner and Ubbo Visser FLAIRS Conference 113-114 (2008)
  to dblp by dblp on 2008-08-15 00:00:00
  | URL | BibTeX  
• Code Generation by Model Transformation.
  Zef Hemel and Lennart C. L. Kats and Eelco Visser ICMT 183-198 (2008)
  to dblp by dblp on 2008-08-14 00:00:00
  | URL | BibTeX  
• Using a Homogeneity Test as Weekly Quality Control on Digital Mammography Units.
  Ruben E. van Engen and M. M. J. Swinkels and L. J. Oostveen and T. D. Geertse and R. Visser Digital Mammography / IWDM 259-265 (2006)
  to dblp by dblp on 2008-08-12 00:00:00
  | URL | BibTeX  
• Designing Syntax Embeddings and Assimilations for Language Libraries.
  Martin Bravenboer and Eelco Visser MoDELS Workshops 34-46 (2007)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Pairs, sets and sequences in first-order theories.
  Albert Visser Arch. Math. Log. 47 299-326 (2008)
  to dblp by dblp on 2008-07-15 00:00:00
  | URL | BibTeX  
• Submodels of Kripke models.
  Albert Visser Arch. Math. Log. 40 277-295 (2001)
  to dblp by dblp on 2008-07-15 00:00:00
  | URL | BibTeX