Bibsonomy :: author  ::

bookmarks

publications

(39)

• Materialflussgerechte Planung eines Lagers
  {Gerwin} Franzen (1959)
  to imported by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Input-Output Energiekrisenmodelle
  {Richard} Franzen (1976)
  to imported by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Design of master agreements for OTC derivatives
  {Dietmar} Franzen (2001)
  to Finanzmathematik by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Körperschaftsteuer
  {Ewald} Dötsch and {Ingo} Franzen and {Wolfgang} Sädtler and {Hartmut} Sell and {Wolfgang} Zenthöfer (2004)
  to imported by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Osteuropa zwischen Euphorie, Enttäuschung und Realität : Daten zur Systemtransformation 1990 - 2003 für eine nachhaltige Entwicklung
  {Wolfgang} Franzen (2005)
  to imported by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• FIR-filter design with spatial and frequency design constraints using evolution strategies
  O. Franzen and H. Blume and H. Schr{\"o}der Signal Processing 68 295--306 (1998)
  to Filter design by smicha on 2008-04-23 22:05:04
  | URL | BibTeX  
• Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
  Roberto Cavada and Alessandro Cimatti and Anders Franzén and Krishnamani Kalyanasundaram and Marco Roveri and R. K. Shyamasundar FMCAD 69-76 (2007)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• The P versus NP Brief
  Mikael Franzen CoRR abs/0709.1207 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A Lazy and Layered SMT($\mathcalBV$) Solver for Hard Industrial Verification Problems.
  Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Ziyad Hanna and Alexander Nadel and Amit Palti and Roberto Sebastiani CAV 547-560 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Integrating InfoVis and GeoVis Components.
  Mikael Jern and Johan Franzén IV 511-520 (2007)
  to dblp by dblp on 2007-07-05 00:00:00
  | URL | BibTeX