BibSonomy :: author  ::

bookmarks

publications

(101)

• Striatal [123I]beta-CIT SPECT and prefrontal cognitive functions in Parkinson's disease.
  U. Muller and T. Wachter and H. Barthel and M. Reuter and D. Y. von Cramon Journal of Neural Transmission 107 303-319 (2000)
  to bg, pd by brian.mingus on 2008-09-16 23:39:07
  | BibTeX  
• Probabilistic Model Checking Modulo Theories.
  Björn Wachter and Lijun Zhang and Holger Hermanns QEST 129-140 (2007)
  to dblp by dblp on 2008-07-09 00:00:00
  | URL | BibTeX  
• Probabilistic CEGAR.
  Holger Hermanns and Björn Wachter and Lijun Zhang CAV 162-175 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Abstract Interpretation with Applications to Timing Validation.
  Reinhard Wilhelm and Björn Wachter CAV 22-36 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Terrain-Based Genetic Algorithm (TBGA): Modeling Parameter Space as Terrain
  V. Scott Gordon and Rebecca Pirie and Adam Wachter and Scottie Sharp Proceedings of the Genetic and Evolutionary Computation Conference 229--235 (1999)
  to algorithms and classifier genetic systems by brazovayeye and 1 other person on 2008-06-19 17:35:00
  | URL | BibTeX  
• Toward quantitative virtual angiography: Evaluation with in vitro studies.
  Jerome Durant and Irina Wächter and Roel Hermans and Jürgen Weese and Til Aach ISBI 632-635 (2008)
  to dblp by dblp on 2008-06-18 00:00:00
  | URL | BibTeX  
• Quantifying blood flowdivision at bifurcations from rotational angiography.
  Irina Wächter and Jörg Bredno and Roel Hermans and Dean C. Barratt and Jürgen Weese and David J. Hawkes ISBI 1549-1552 (2008)
  to dblp by dblp on 2008-06-18 00:00:00
  | URL | BibTeX  
• Issues in computational resource allocation in cooperative control.
  John P. Murphy and Luke M. Wachter and Laura E. Ray ROBOCOMM 50 (2007)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Ontology learning with text mining: Two use cases in lipoprotein metabolism and toxicology.
  Dimitra Alexopoulou and Thomas Wächter and Laura Pickersgill and Cecilia Eyre and Michael Schroeder Ontologies and Text Mining for Life Sciences (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• GoPubMed: Exploring Pubmed with Ontological Background Knowledge.
  Heiko Dietze and Dimitra Alexopoulou and Michael R. Alvers and Bill Barrio-Alvers and Andreas Doms and Jörg Hakenberg and Jan Mönnich and Conrad Plake and Andreas Reischuk and Loïc Royer and Thomas Wächter and Matthias Zschunke and Michael Schroeder Ontologies and Text Mining for Life Sciences (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX