Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2016An introduction to mechanized reasoning
Kerber, M.; Lange, C.; Rowat, C.
Zeitschriftenaufsatz
2015Sound auction specification and implementation
Caminati, M.B.; Kerber, M.; Lange, C.; Rowat, C.
Konferenzbeitrag
2014Foreword. Mathematics in Computer Science
Kerber, M.; Lange, C.; Rowat, C.
Zeitschriftenaufsatz
2014Reasoning about Auctions
Caminati, Marco B.; Kerber, Manfred; Lange, Christoph; Rowat, Colin
Konferenzbeitrag
2014Set theory or higher order logic to represent auction concepts in Isabelle?
Caminati, Marco B.; Kerber, Manfred; Lange, Christoph; Rowat, Colin
Konferenzbeitrag
2010Reliability of Al2O3-doped ZrO2 high-k dielectrics in three-dimensional stacked metal-insulator-metal capacitors
Zhou, D.; Schroeder, U.; Xu, J.; Weinreich, W.; Heitmann, J.; Jegert, G.; Kerber, M.; Knebel, S.; Erben, E.; Mikolajick, T.
Zeitschriftenaufsatz