| 2015 |
— |
conf |
NFM
Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
|
| 2014 |
J |
jnl |
Arch. Formal Proofs
Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
|
| 2014 |
B |
conf |
SAFECOMP
Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
|
| 2013 |
J |
jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
|
| 2009 |
— |
conf |
Ershov Memorial Conference
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
|
| 2009 |
C |
conf |
ICFEM
Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
|
| 2007 |
— |
conf |
VERIFY
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
|
| 2007 |
B |
conf |
SAFECOMP
Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan
|
| 2005 |
— |
conf |
Mechanizing Mathematical Reasoning
Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
|
| 2000 |
J |
jnl |
J. Exp. Theor. Artif. Intell.
Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt
|
| 2000 |
Misc |
conf |
FLAIRS
Bruno Langenstein, Roland Vogt, Markus Ullmann
|
| 2000 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
|
| 1996 |
— |
conf |
FME
Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan, Andreas Wolpers
|