BibSonomy :: author  ::

bookmarks

publications

(453)

• Automatic Segmentation of Brain Tissue Andwhitematter Lesions in MRI.
  Renske de Boer and Fedde van der Lijn and Henri A. Vrooman and Meike W. Vernooij and M. Arfan Ikram and Monique M. B. Breteler and Wiro J. Niessen ISBI 652-655 (2007)
  to dblp by dblp on 2008-07-03 00:00:00
  | URL | BibTeX  
• Untitled
  D. K. G. de Boer and C. Haas and G. A. Sawatzky Phys. Rev. B 29 4401 (1984)
  to high-tc, htsct, theory by jgl on 2008-06-25 19:30:29
  | BibTeX  
• The challenge for genetic epidemiologists: how to analyze large numbers of SNPs in relation to complex diseases
  A Geert Heidema and Jolanda M A Boer and Nico Nagelkerke and Edwin C M Mariman and Daphne L {van der A} and Edith J M Feskens BMC Genetics 7 (2006)
  to algorithms, genetic programming by brazovayeye on 2008-06-19 17:35:00
  | URL | BibTeX  
• The LKIF Core Ontology of Basic Legal Concepts.
  Rinke Hoekstra and Joost Breuker and Marcello Di Bello and Alexander Boer LOAIT 43-63 (2007)
  to dblp by dblp and 1 other person on 2008-06-06 00:00:00
  | URL | BibTeX  
• Termination Analysis of Java Bytecode.
  Elvira Albert and Puri Arenas and Michael Codish and Samir Genaim and Germán Puebla and Damiano Zanardini FMOODS 2-18 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Semantic Foundations and Inference of Non-null Annotations.
  Laurent Hubert and Thomas Jensen and David Pichardie FMOODS 132-149 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers.
  Rohit Chadha and Carl A. Gunter and José Meseguer and Ravinder Shankesi and Mahesh Viswanathan FMOODS 39-58 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• Formal Modeling of a Generic Middleware to Ensure Invariant Properties.
  Xavier Renault and Jérôme Hugues and Fabrice Kordon FMOODS 185-200 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language.
  Dries Vanoverberghe and Frank Piessens FMOODS 240-258 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX  
• CoBoxes: Unifying Active Objects and Structured Heaps.
  Jan Schäfer and Arnd Poetzsch-Heffter FMOODS 201-219 (2008)
  to dblp by dblp on 2008-06-05 00:00:00
  | URL | BibTeX