Mark A. Hillebrand

发表

Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul, 2003 .
Mark A. Hillebrand, Sergey Tverdyshev, Eyad Alkassar, 2007, VERIFY.
Mark A. Hillebrand, Wolfgang J. Paul, Thomas In der Rieden, 2005, 2005 International Conference on Computer Design.
Mark A. Hillebrand, Peter-Michael Seidel, Thomas Schurger, 2001, VLSI Design 2001. Fourteenth International Conference on VLSI Design.
Tom Ridge, Natarajan Shankar, Frank Piessens, 2011, FM.
Mark A. Hillebrand, Wolfgang J. Paul, Alexandra Tsyban, 2009, Ershov Memorial Conference.
Mark A. Hillebrand, Wolfram Schulte, Michal Moskal, 2009, TPHOLs.
Mark A. Hillebrand, Dirk Leinenbach, Dirk Leinenbach, 2009, SSV.
Mark A. Hillebrand, Alexandra Tsyban, Artem Starostin, 2009, Journal of Automated Reasoning.
Tom Ridge, Frank Piessens, Bart Jacobs, 2011 .
Mark A. Hillebrand, Wolfgang J. Paul, W. Paul, 2007, Haifa Verification Conference.
Mark A. Hillebrand, Thomas Grün, Thomas Grün, 1998, Euro-Par.
Mark A. Hillebrand, Wolfgang J. Paul, Eyad Alkassar, 2010, VSTTE.
Mark A. Hillebrand, Eyad Alkassar, 2008, VSTTE.
Mark A. Hillebrand, Sergey Tverdyshev, 2009, CSR.
Mark A. Hillebrand, Wolfgang J. Paul, Iakov Dalinger, 2005, CHARME.
Mark A. Hillebrand, Wolfgang J. Paul, Dirk Leinenbach, 2005, TPHOLs.
Mark A. Hillebrand, Wolfgang J. Paul, Thomas In der Rieden, 2005, 2005 International Conference on Computer Design.
Mark A. Hillebrand, Ernie Cohen, Eyad Alkassar, 2010, Formal Methods in Computer Aided Design.
Mark A. Hillebrand, Wolfgang J. Paul, Mikhail Kovalev, 2010, Formal Methods in Computer Aided Design.
Mark A. Hillebrand, Artem Starostin, Norbert Schirmer, 2008, VSTTE.
Mark A. Hillebrand, Norbert Schirmer, Eyad Alkassar, 2009, Journal of Automated Reasoning.
Mark A. Hillebrand, Wolfram Schulte, Stephan Tobies, 2011 .
Mark A. Hillebrand, Wolfram Schulte, Ernie Cohen, 2012 .