Michael Brickenstein

发表

Stanislav Bulygin, Michael Brickenstein, S. Bulygin, 2010, Math. Comput. Sci..

Michael Brickenstein, Viktor Levandovskyy, Hans Schönemann, 2010, Math. Comput. Sci..

Stanislav Bulygin, Michael Brickenstein, 2008 .

Michael Brickenstein, Alexander Dreyer, Michael Brickenstein, 2008, ISSAC '08.

Michael Brickenstein, Wolfram Sperber, Gert-Martin Greuel, 2013, ICMS.

Michael Brickenstein, Alexander Dreyer, Michael Brickenstein, 2010, Verification over discrete-continuous boundaries.

Michael Brickenstein, Alexander Dreyer, Michael Brickenstein, 2009, J. Symb. Comput..

Michael Brickenstein, Viktor Levandovskyy, Hans Schönemann, 2010, ArXiv.

Michael Brickenstein, Alexander Dreyer, 2013, J. Symb. Comput..

Michael Brickenstein, Alexander Dreyer, Michael Brickenstein, 2007 .

Michael Brickenstein, Michael Brickenstein, 2010 .