Erscheinungsjahr 2021 3 2020 3 2019 2 2018 5 2017 6 2016 1 2015 5 2014 5 2013 1 2012 1 2011 2 2010 1 2009 1 2008 2 2007 3 2006 2 2005 3 2004 2 2002 2 2001 4 2000 4 1999 3 1998 3 1997 1 alle zeigenListe einklappen
Autor/in Mantel, Heiko Weber, Alexandra 7 Sudbrock, Henning 6 Gay, Richard 5 Hutter, Dieter 5 Schairer, Axel 5 Schickel, Johannes 5 Autexier, Serge 4 Hamann, Tobias 4 Hu, Jinwei 4 Kreitz, Christoph 3 Köpf, Boris 3 Lux, Alexander 3 Perner, Matthias 3 Sabelfeld, Andrei 3 Starostin, Artem 3 Stephan, Werner 3 Wolf, Felix A. 3 Calotoiu, Alexandru 2 Caronni, Germano 2 Dantas, Yuri Gil 2 Dewald, Florian 2 Ereth, Sarah 2 Harvan, Matúš 2 Höhl, Thomas 2 Klaedtke, Felix Christopher 2 Lortz, Steffen 2 Nguyen, Toni 2 Rock, Georg 2 Sands, David 2 Schneider, David 2 Tasch, Markus 2 Wolpers, Andreas 2 Alber, Gernot 1 Askarov, Aslan 1 Balser, Michael 1 Basin, David 1 Basin, David A. 1 Bindel, Nina 1 Bischof, Christian 1 Bollmann, Dominik 1 Buchmann, Johannes 1 Bähr, Timo 1 Chong, Stephen 1 Czappa, Fabian 1 Demeyer, Serge 1 Gartner, Felix C. 1 Herda, Mihai 1 Hähnle, Reiner 1 Jakobs, Marie-Christine 1 Kraußer, Tina 1 Krämer, Juliane 1 Langenstein, Bruno 1 Lehr, Jan Patrick 1 Li, Ximeng 1 Mazaheri, Sogol 1 Mohr, Martin 1 Müller-Olm, Markus 1 Nikiforov, Oleg 1 Norouzi, Mohammad 1 Ott, Jörg 1 Otten, Jens 1 Probst, Christian W. 1 Reif, Wolfgang 1 Reinhard, Alexander 1 Ruhleder, Sebastian 1 Sauer, Alexander 1 Sauer, Jens 1 Schaefer, Ina 1 Scheidel, Lukas 1 Schellhorn, Gerhard 1 Schmitt, Stephan 1 Schneider, Thomas 1 Sprick, Barbara 1 Stenzel, Kurt 1 Vogt, Roland 1 Walther, Thomas 1 Weber, Friedrich 1 Weinert, Christian 1 Weißmantel, Tim 1 Wenner, Alexander 1 alle zeigenListe einklappen
Simultaneous quantifier elimination Autexier, Serge Mantel, Heiko Stephan, Werner 1998 - TUHH Open Research
VSE: Controlling the complexity in formal software developments Hutter, Dieter Mantel, Heiko Rock, Georg Stephan, Werner Wolpers, Andreas Balser, Michael Reif, Wolfgang 1998 - TUHH Open Research
Connection-based proof construction in linear logic Kreitz, Christoph Mantel, Heiko Ott, Jörg Schmitt, Stephan 1997 - TUHH Open Research