1. Author,Editor - 1. by Individual - MPI-INF/SWS Research Reports 1991-2021
| # |  | Year | | Title | Pages | |
|---|
| | 1993 |  | A framework for program development based on schematic proof | 12 | |
| | 1993 | | A theory and its metatheory in FS 0 | 22 | |
| | 1992 | | Reflection in logical systems | 14 | |
| | 1992 | | Experience with FS0 as a framework theory | 25 | |
| 1 |
 | Mavronicolas, Marios |
| |
| 32 |
| |
| 1 |
| Mehlhorn, Kurt (ed.) |
| |
| 2 |
| |
| 1 |
| Mele, Ida |
| |
| 1 |
| |
| 2 |
| Mestre, Julian |
| |
| 3 |
| |
| 5 |
| Meyer, Ulrich |
| |
| 2 |
| |
| 1 |
| Michaylov, Spiro |
| |
| 2 |
| |
| 1 |
| Miettinen, Pauli |
| |
| 1 |
| |
| 1 |
| Mishra, Arunav |
| |
| 1 |
| |
| 1 |
| Moerkotte, Guido |
| |
| 1 |
| |
| 1 |
| Mount, David |
| |
| 1 |
| |
| 1 |
| Müller, Michael |
| |
| 2 |
| |
| 1 |
| Müller, Vladimír |
| |
| 1 |
| |
| 20 |
| Mutzel, Petra |
| |
| 3 |
| |
| 5 |
| Näher, Stefan |
| |
| 1 |
| |
| 1 |
| Nanni, U. |
| |
| 1 |
| |
| 1 |
| Navarro, Juan José Moreno |
| |
| 1 |
| |
| 6 |
| Neumann, Thomas |
| |
| 1 |
| |
| 1 |
| Nilsson, S. |
| |
| 2 |
| |
| 1 |
| Nivelle, Hans de |
| |
| 8 |
| |
| 2 |
| Nürnberger, Günther |
| |
| 2 |
| |
| 12 |
| Ohlbach, Hans Jürgen |
| |
| 1 |
| Ohlbach, Hans Jürgen (ed.) |
| |
| 2 |
| Ohtake, Yutaka |
| |
| 1 |
| |
| 1 |
| Ott, Sebastian |
| |
| 1 |
| |
| 1 |
| Pacholski, Leszek |
| |
| 1 |
| |
| 1 |
| Panconesi, Alessandro |
| |
| 5 |
| |
| 1 |
| Papadimitriou, Christos |
| |
| 5 |
| |
| 1 |
| Paterson, Michael S. |
| |
| 1 |
| |
| 1 |
| Pellegrini, M. |
| |
| 1 |
| |
| 1 |
| Pettie, Seth |
| |
| 1 |
| |
| 1 |
| Pinotti, M. Cristina |
| |
| 1 |
| |
| 5 |
| Plaisted, David A. |
| |
| 5 |
| |
| 6 |
| Polzin, Tobias |
| |
| 2 |
| |
| 1 |
| Posegga, J. (ed.) |
| |
| 1 |
| |
| 1 |
| Preda, Nicoleta |
| |
| 1 |
| |
| 1 |
| Priebe, Volker |
| |
| 1 |
| |
| 1 |
| Radermacher, F. J. |
| |
| 3 |
| |
| 4 |
| Ramanath, Maya |
| |
| 1 |
| |
| 6 |
| Raman, Rajeev |
| |
| 1 |
| |
| 1 |
| Ramos, Edgar |
| |
| 1 |
| |
| 6 |
| Ranjan, Desh |
| |
| 1 |
| |
| 1 |
| Rasch, Ronald |
| |
| 1 |
| |
| 5 |
| Raskin, Jean-Francois |
| |
| 2 |
| |
| 3 |
| Reinelt, Gerhard |
| |
| 3 |
| |
| 1 |
| Reynolds, Mark A. |
| |
| 1 |
| |
| 2 |
| Rinaldi, G. |
| |
| 1 |
| |
| 1 |
| Rivals, Eric |
| |
| 3 |
| |
| 3 |
| Rosenhahn, Bodo |
| |
| 2 |
| |
| 1 |
| Rote, Günter |
| |
| 6 |
| |
| 1 |
| Rybalchenko, Andrey |
| |
| 1 |
| |
| 3 |
| Saluja, Sanjeev |
| |
| 8 |
| |
| 1 |
| Schaefer, Guido |
| |
| 4 |
| |
| 2 |
| Schall, Oliver |
| |
| 2 |
| |
| 4 |
| Schenkel, Ralf |
| |
| 1 |
| |
| 11 |
| Schirra, Stefan |
| |
| 1 |
| |
| 11 |
| Schmidt, Renate A. |
| |
| 1 |
| |
| 1 |
| Schmitt, Susanne |
| |
| 1 |
| |
| 1 |
| Schneider, Robert |
| |
| 1 |
| |
| 4 |
| Schobbens, Pierre-Yves |
| |
| 1 |
| |
| 2 |
| Schömer, Elmar |
| |
| 1 |
| |
| 1 |
| Schröder, Heiko |
| |
| 1 |
| |
| 3 |
| Schultz, Thomas |
| |
| 1 |
| |
| 7 |
| Schwarz, Christian |
| |
| 1 |
| |
| 6 |
| Seel, Michael |
| |
| 54 |
| |
| 1 |
| Seidel, Hans-Peter Seidel |
| |
| 1 |
| |
| 1 |
| Seidel, Raimund |
| |
| 1 |
| |
| 1 |
| Selman, Bart |
| |
| 1 |
| |
| 1 |
| Seufert, Stephan |
| |
| 2 |
| |
| 1 |
| Sibeyn, Jop |
| |
| 11 |
| |
| 3 |
| Siersdorfer, Stefan |
| |
| 1 |
| |
| 3 |
| Sivadasan, Naveen |
| |
| 1 |
| |
| 2 |
| Skutella, Martin |
| |
| 1 |
| |
| 1 |
| Smaill, Alan |
| |
| 30 |
| |
| 1 |
| Snoeyink, Jack |
| |
| 1 |
| |
| 6 |
| Socher-Ambrosius, Rolf |
| |
| 1 |
| Sofronie-Stokkermans, Viorica |
| |
| 1 |
| Sogomonjan, E. S. |
| |
| 2 |
| |
| 4 |
| Sozio, Mauro |
| |
| 2 |
| |
| 1 |
| Sridhar, Srinad |
| |
| 1 |
| |
| 2 |
| Stoll, Carsten |
| |
| 1 |
| |
| 1 |
| Stuber, Jürgen |
| |
| 1 |
| |
| 1 |
| Subrahmanyam, K.V. |
| |
| 1 |
| |
| 4 |
| Suchanek, Fabian |
| |
| 6 |
| |
| 1 |
| Suchanek, Fabiuan M. |
| |
| 2 |
| |
| 4 |
| Sýkora, Ondrej |
| |
| 3 |
| |
| 1 |
| Talbot, Jean-Marc |
| |
| 3 |
| |
| 1 |
| Taneva, Bilyana |
| |
| 1 |
| |
| 1 |
| Telikepalli, Kavitha |
| |
| 2 |
| |
| 1 |
| Theisel, Holger |
| |
| 4 |
| |
| 14 |
| Theobalt, Christian |
| |
| 3 |
| |
| 3 |
| Thiel, Sven |
| |
| 1 |
| |
| 3 |
| Timm, Jan |
| |
| 1 |
| |
| 3 |
| Tompkin, James |
| |
| 2 |
| |
| 1 |
| Torres, Alberto |
| |
| 2 |
| |
| 2 |
| Träff, Jesper L. |
| |
| 1 |
| |
| 1 |
| Triantafilou, Peter |
| |
| 4 |
| |
| 3 |
| Tzakova, Miroslava |
| |
| 4 |
| |
| 4 |
| Vahdati, Siavash |
| |
| 1 |
| |
| 4 |
| Veanes, Margus |
| |
| 1 |
| |
| 3 |
| Viganò, Luca |
| |
| 2 |
| |
| 2 |
| Vöcking, Berthold |
| |
| 1 |
| |
| 11 |
| Vorobyov, Sergei |
| |
| 3 |
| |
| 1 |
| Vorsatz, Jens |
| |
| 1 |
| |
| 1 |
| Vreeken, Jilles |
| |
| 4 |
| |
| 2 |
| Wagner, Silke |
| |
| 6 |
| |
| 3 |
| Walsh, Toby |
| |
| 4 |
| |
| 1 |
| Wang, Danyi |
| |
| 1 |
| |
| 2 |
| Wang, Yaoguang |
| |
| 1 |
| |
| 2 |
| Weickert, Joachim |
| |
| 15 |
| |
| 1 |
| Weihe, Karsten |
| |
| 24 |
| |
| 1 |
| Weiskircher, René |
| |
| 3 |
| |
| 1 |
| Werner, Andreas |
| |
| 1 |
| |
| 1 |
| Westbrook, Jeffery |
| |
| 1 |
| |
| 1 |
| Widgerson, A. |
| |
| 1 |
| |
| 1 |
| Wirth, Robert |
| |
| 2 |
| |
| 1 |
| Woelfel, Philipp |
| |
| 1 |
| |
| 1 |
| Wu, Jinzhao |
| |
| 1 |
| |
| 1 |
| Yuan, Wenjun |
| |
| 1 |
| |
| 1 |
| Zajac, Jozef |
| |
| 1 |
| |
| 12 |
| Zaroliagis, Christos D. |
| |
| 3 |
| |
| 1 |
| Zee, Karen |
| |
| 2 |
| |
| 3 |
| Zelikovsky, Alexander |
| |
| 3 |
| |
| 2 |
| Ziegler, Joachim |
| |
| 1 |
| |
| 1394 |
| |
