| # |  | 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 |
| |
| | 1996 | | A technique for adding range restrictions to generalized searching problems | 9 | |
| | 1996 | | Efficient algorithms for counting and reporting pairwise intersections between convex polygons | 11 | |
| | 1996 | | On the complexity of approximating Euclidean traveling salesman tours and minimum spanning trees | 14 | |
| | 1995 | | Closest point problems in computational geometry | 62 | |
| | 1995 | | A polylog-time and $O(n\sqrt\lg n)$-work parallel algorithm for finding the row minima in totally monotone matrices | 12 | |
| | 1995 | | Computing a largest empty anchored cylinder, and related problems | 17 | |
| | 1994 | | Dynamic algorithms for geometric spanners of small diameter: randomized solutions | ? | |
| | 1994 | | Lecture notes selected topics in data structures | 76 | |
| | 1994 | | The rectangle enclosure and point-dominance problems revisited | 16 | |
| | 1994 | | Efficient construction of a bounded degree spanner with low weight | 25 | |
| | 1994 | | Fast algorithms for collision and proximity problems involving moving geometric objects | 22 | |
| | 1994 | | On the width and roundness of a set of points in the plane | 14 | |
| | 1993 | | Effizient algorithms for generalized intersection searching on non-iso-oriented objects | 32 | |
| | 1993 | | New techniques for exact and approximate dynamic closest-point problems | 29 | |
| |  1993 | | Algorithms for some intersection searching problems involving curved objects | 43 | |
| | 1993 | | Finding k points with a smallest enclosing square | 17 | |
| | 1993 | | Static and dynamic algorithms for k-point clustering problems | 20 | |
| | 1993 | | Randomized Data Structures for the Dynamic Closest-Pair Problem | 32 | |
| | 1992 | | Simple randomized algorithms for closest pair problems | 14 | |
| | 1992 | | Further results on generalized intersection searching problems: counting, reporting, and dynamization | 41 | |
| | 1992 | | Finding k points with a smallest enclosing square | 8 | |
| | 1992 | | Sequential and parallel algorithms for the k closest pairs problem | 18 | |
| | 1992 | | Enumerating the k closest pairs mechanically | 12 | |
| | 1992 | | Maintaining the visibility map of spheres while moving the viewpoint on a circle at infinity | 16 | |
| | 1991 | | An optimal algorithm for the on-line closest-pair problem | 11 | |
| | 1991 | | An optimal construction method for generalized convex layers | 25 | |
| | 1991 | | An O(n log n log log n) algorithm for the on-line closes pair problem | 21 | |
| | 1991 | | Maintaining the minimal distance of a point set in polylogarithmic time (revised version) | 17 | |
| | 1991 | | Range trees with slack parameter | 11 | |
| | 1991 | | Dynamic rectangular point location, with an application to the closest pair problem | 28 | |
| 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 |
| |
