| | |
|---|
| 2013 | Gröbner-free normal forms for Boolean polynomials
Brickenstein, M.; Dreyer, A. | Zeitschriftenaufsatz |
| 2012 | Frameless stereotaxy in sheep - neurosurgical and imaging techniques for translational stroke research
Dreyer, Antje; Stroh, Albrecht; Pösel, Claudia; Findeisen, Matthias; Geymüller, Teresa von; Lobsien, Donald; Nitzsche, Björn; Boltze, Johannes | Aufsatz in Buch |
| 2012 | Magnetresonanztomographische Detektion und Verfolgung von Migrationsbewegungen von autologen mesenchymalen Stammzellen nach experimentell induziertem Schlaganfall im Schaf
Dreyer, Antje
: Seeger, Johannes (Betreuer) | Dissertation |
| 2011 | Defining the ischemic penumbra with [15O]H2O-PET
Zeisig, V.; Becker, G.; Großmann, U.; Geymüller, T. von; Nitzsche, B.; Dreyer, A.; Kluge, M.; Plesnila, N.; Boltze, J.; Sabri, O.; Barthel, H. | Konferenzbeitrag |
| 2011 | Fast and robust symbolic model order reduction with analog insydes
Hauser, M.; Salzig, C.; Dreyer, A. | Konferenzbeitrag |
| 2011 | STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra
Pavlenko, E.; Wedler, M.; Stoffel, D.; Kunz, W.; Dreyer, A.; Seelisch, F.; Greuel, G.-M. | Konferenzbeitrag |
| 2011 | Verifikation digitaler Systeme mit PolyBoRi
Brickenstein, M.; Dreyer, A. | Zeitschriftenaufsatz |
| 2010 | Autologous bone marrow cell therapy of stroke in an ovine model
Boltze, J.; Forschler, A.; Nitzsche, B.; Dreyer, A.; Zeisig, V.; Geymuller, T. von | Abstract, Konferenzbeitrag |
| 2010 | Network-driven boolean normal forms
Brickenstein, M.; Dreyer, A. | Konferenzbeitrag |
| 2010 | Solving hard instances in QF-BV combining Boolean reasoning with computer algebra
Wedler, M.; Pavlenko, E.; Dreyer, A.; Seelisch, F.; Stoffel, D.; Greuel, G.-M.; Kunz, W. | Konferenzbeitrag |
| 2009 | [F-18]Feta PET-a new method for hot spot imaging of the ischemic penumbra in acute stroke
Barthel, H.; Grossmann, U.; Zeisig, V.; Patt, M.; Wagner, D.; Patt, J.; Kluge, M.; Franke, H.; Sorger, D.; Luthardt, J.; Nitzsche, B.; Dreyer, A.; Brust, P.; Steinbach, J.; Boltze, J.; Emmrich, F.; Sabri, O. | Abstract |
| 2009 | Autologous bone marrow cell administration 24 h following MCAO reduces behavioral deficits and lesion size in a novel large animal model
Boltze, J.; Förschler, A.; Barthel, H.; Nitzsche, B.; Dreyer, A.; Zeisig, V.; Geymüller, T. von; Boltze, C.; Sabri, O.; Lobsien, D.; Hoffmann, A.; Reischauer, A.; Emmrich, F.; Gille, U. | Abstract |
| 2009 | New developments in the theory of Gröbner bases and applications to formal verification
Brickenstein, M.; Dreyer, A.; Greuel, G.-M.; Wedler, M.; Wienand, O. | Zeitschriftenaufsatz |
| 2009 | POLYBORI: A framework for Gröbner-basis computations with Boolean polynomials
Brickenstein, M.; Dreyer, A. | Zeitschriftenaufsatz, Konferenzbeitrag |
| 2008 | Gröbner-free normal forms for boolean polynomials
Brickenstein, M.; Dreyer, A. | Konferenzbeitrag |
| 2008 | Permanent middle cerebral artery occlusion in sheep
Boltze, Johannes; Förschler, Annette; Nitzsche, Björn; Waldmin, Daniela; Hoffmann, Anke; Boltze, Chistiane M.; Dreyer, Antje Y.; Goldammer, Axel; Reischauer, Anne; Härtig, Wolfgang; Geiger, Kathrin D.; Barthel, Henryk; Emmrich, Frank; Gille, Uwe | Zeitschriftenaufsatz |
| 2007 | POLYBORI: A Gröbner basis framework for Boolean polynomials
Brickenstein, M.; Dreyer, A. | Bericht |
| 2007 | Three-valued automated reasoning on analog properties
Gentilini, R.; Schneider, K.; Dreyer, A. | Konferenzbeitrag |
| 2006 | Automatische nichtlineare Verhaltensmodellgenerierung mit sequentieller Gleichungsstruktur
Platte, D.; Sommer, R.; Broz, J.; Dreyer, A.; Halfmann, T.; Barke, E. | Konferenzbeitrag |
| 2006 | Interval analysis of linear analog circuits
Dreyer, A. | Konferenzbeitrag |
| 2006 | Interval methods for analog circuits
Dreyer, A. | Bericht |
| 2006 | Simulation model of an active noise control system
Dreyer, A.; Halfmann, T.; Broz, J.; Kataja, J.; Antila, M. | Konferenzbeitrag |
| 2005 | Interval analysis of analog circuits with component tolerances
Dreyer, A. | Dissertation |