BibSonomy :: author  ::

bookmarks

publications

(5)

• Configurable Blocks for Multi-precision Multiplication.
  Oliver A. Pfänder and Reinhard Nopper and Hans-Jörg Pfleiderer and Shun Zhou and Amine Bermak DELTA 478-481 (2008)
  to dblp by dblp on 2008-02-26 00:00:00
  | URL | BibTeX  
• Computation of minimal counterexamples by using black box techniques and symbolic methods.
  Tobias Nopper and Christoph Scholl and Bernd Becker ICCAD 273-280 (2007)
  to dblp by dblp on 2007-12-31 00:00:00
  | URL | BibTeX  
• EMIKA system: architecture and prototypic realization.
  Günter Müller and Torsten Eymann and Norbert Nopper and Sven Seuken SMC (6) 5621-5626 (2004)
  to dblp by dblp on 2005-11-09 00:00:00
  | URL | BibTeX  
• Approximate Symbolic Model Checking for Incomplete Designs.
  Tobias Nopper and Christoph Scholl FMCAD 290-305 (2004)
  to dblp by dblp on 2005-01-21 00:00:00
  | URL | BibTeX  
• Agentenbasierter Rentenhandel.
  Peter Gomber and Miroslav Budimir and Klaus Kosciankowski and Robert Urtheil and Markus Lohmann and Norbert Nopper and Peter Henning Wirtschaftsinformatik 41 124-131 (1999)
  to dblp by dblp on 2002-01-03 00:00:00
  | URL | BibTeX