Jahresbibliographie 2000
Veröffentlichungen von
Angehörigen der Hochschulen des Saarlandes
Max-Planck-Institut für Informatik (MPI)
(07.06.01)
Albers, Susanne
- Average-Case Analyses of First Fit and Random Fit Bin Packing / von
Susanne Albers; Michael Mitzenmacher. - In: Random Structures & Algorithms, 16
(2000), S. 240 - 259
- Minimizing stall time in single and parallel disk systems / von Susanne
Albers; Naveen Garg; Stefano Leonardi. - In: Journal of the ACM, 47 (2000), S.
969-986
Althaus, Ernst
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~althaus/
- A branch and cut algorithm for the optimal solution of the side-chain
placement problem / von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof;
Peter Müller. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 26 S. -
(Research Report ; MPI-I-2000-1-001)
- A Combinatorial Approach to Protein Docking with Flexible Side-Chains /
von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof; Peter Müller. - In:
Proc. 4th Annual Int. Conf. on Computational Molecular Biology (RECOMB-00) /
Ed.: Shamir, Ron .. - New York : ACM Press, 2000, S. 15-24
- Experiments on curve reconstruction / von Ernst Althaus; Kurt Mehlhorn;
Stefan Näher; Stefan Schirra. - In: Proc. 2nd Workshop on Algorithm
Engineering and Experiments (ALENEX-00) [Preliminary version]. - Albuquerque :
University of New Mexico, 2000, S. 103-114 www
- TSP-Based Curve Reconstruction in Polynomial Time / von Ernst Althaus;
Kurt Mehlhorn. - In: Proc. 11th Annual ACM-SIAM Symp. on Discrete Algorithms
(SODA-00). - New York : ACM Press, 2000, S. 686-695
Arya, Sunil
- Approximate range searching / von Sunil Arya; David M. Mount. - In:
Computational Geometry, 17 (2000), S. 135-152
Backes, Werner
- Lattice Basis Reduction with Dynamic Approximation / von Werner Backes;
Susanne Wetzel. - In: preliminary Proc. 4th Workshop On Algorithm Engineering
(WAE-2000). - Saarbrücken : Max-Planck-Institut für Informatik, 2000, S. ?
- New Results on Lattice Basis Reduction in Practice. - In: Proc. Fourth
Int. Algorithmic Number Theory Symp. (ANTS-IV) / Ed.: Bosma, Wieb. - New York
: Springer, 2000, S. 135-152. - (Lect. Notes Comput. Sci. ; 1838)
Basin, David A.
- Program Development Schemata as Derived Rules / von Penny Anderson; David
A. Basin. - In: Journal of Symbolic Computation, 30 (2000), S. 5-36
Bast, Hannah
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~hannah/papers/index.html
- The Area Partitioning Problem / von Hannah Bast; Susan Hert. - In: Proc.
12th Annual Canadian Conf. on Computational Geometry (CCCG-00) / Ed.: Bremner,
David. - Fredericton : University of New Brunswick, 2000, S. 163-171
- On Scheduling Parallel Tasks at Twilight. - In: Theory of Computing
Systems, 33 (2000), S. 489-563
Baumeister, Hubert
- Eigene_Liste: http://www.pst.informatik.uni-muenchen.de/
~baumeist/index10.html
Beier, Rene
- A powerful heuristic for telephone gossiping / von Rene Beier; Jop F.
Sibeyn. - In: Proc. 7th Int. Colloquium on Structural Information and
Communication Complexity (SIROCCO-00) / Ed.: Flammini, Michele .. - Waterloo :
Carleton Scientific, 2000, S. 17-36. - (Proceedings in Informatics ; 7)
- A Powerful Heuristic for Telephone Gossiping / von Rene Beier; Jop F.
Sibeyn. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 23 S. -
(Research Report ; MPI-I-2000-1-002)
Bischoff, Stephan
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
- Towards hardware implementation of loop subdivision / von Stephan
Bischoff; Leif Kobbelt; Hans-Peter Seidel. - In: Proceedings of 2000 SIGGRAPH/
Eurographics workshop on graphics hardware / Ed.: Spencer, Stephen N. - New
York : ACM Press, 2000, S. 41-50
Bockmayr, Alexander
- Eigene_Liste: http://www.loria.fr/
~bockmayr/
Boghossian, Nicolas Pascal
- Eigene_Liste: http://www.algorithmic-solutions.com/private/
boghossian/lebenslauf.htm
Botsch, Mario
- Feature Sensitive Sampling for Interactive Remeshing / von Mario Botsch;
Christian Rössl; Leif Kobbelt. - In: Proceedings of Vision, Modeling, and
Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 129-136
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
- An Interactive Approach to Point Cloud Triangulation / von Leif Kobbelt;
Mario Botsch. - In: Proc. European Association for Computer Graphics 21st
Annual Conf. (Eurographics-00) / Ed.: Gross, Markus .. - Oxford : Blackwell,
2000, C479-C487. - (Computer Graphics Forum ; 19)
Brabec, Stefan
- Extended Light Maps / von Stefan Brabec; Hans-Peter Seidel. - In: GAME-ON
2000 / 1st Int. Conf. on Intelligent Games and Simulation / Ed.: Mehdi, Quasim
.. - San Diego : Society for Computer Simulation International, 2000, S. 10-13
- Soft Shadow Maps for Linear Lights / von Wolfgang Heidrich; Stefan Brabec;
Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc. 11th Eurographics
Workshop on Rendering / Ed.: Péroche, Bernard .. - Wien : Springer, 2000, S.
269-280. - (Springer Computer Science)
- tmk - a Multi-Site, Multi-Platform System for Software Development / von
Hartmut Schirmacher; Stefan Brabec. - In: Proc. First European Tcl/Tk User
Meeting / Ed.: Zerbst, Carsten. - Hamburg : Technische Universität Hamburg-
Harburg, 2000, S. 1-10 www
Brodal, Gerth Stølting
- Eigene_Liste: http:/
/www.brics.dk/~gerth/publications.html
Burnikel, Christoph
- A strong and easily computable separation bound for arithmetic expressions
involving radicals / von Christoph Burnikel; Rudolf Fleischer; Kurt Mehlhorn;
Stefan Schirra. - In: Algorithmica, 27 (2000), S. 87-99
Charatonik, Witold
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~witold/
- Directional Type Checking for Logic Programs: Beyond Discriminative Types.
- In: Proc. 8th European Symp. on Programming (ESOP-00) / Ed.: Smolka, Gert. -
Berlin : Springer, 2000, S. 72-87. - (Lect. Notes Comput. Sci. ; 1782)
- Paths vs. Trees in Set-based Program Analysis / von Witold Charatonik;
Andreas Podelski; Jean-Marc Talbot. - In: Proc. 27th ACM SIGPLAN-SIGACT Symp.
on Principles of Programming Languages (POPL-00). - New York : ACM Press,
2000, S. 330-337
Chaudhuri, Shiva
- Computing mimicking networks / von Shiva Chaudhuri; K. V. Subrahmanyam; F.
Wagner; Christos D. Zaroliagis. - In: Algorithmica, 26 (2000), S. 31-49
- Shortest paths in digraphs of small treewidth. Part I, Sequential
algorithms / von Shiva Chaudhuri; Christos D. Zaroliagis. - In: Algorithmica,
27 (2000), S. 212-226
Choi, Sung Woo
- Fast Scene Change Detection Using Direct Feature Extraction from MPEG
Compressed Videos / von Young-Min Kim; Sung Woo Choi; Seong-Whan Lee. - In:
Proc. 14th Int. Conf. on Pattern Recognition (ICPR-00) / Ed.: Sanfeliu, A. .. -
Los Alamitos : IEEE Computer Society, 2000, S. 178-181
- Fast Scene Change Detection Using Direct Feature Extraction from MPEG
Compressed Videos / von Seong-Whan Lee; Young-Min Kim; Sung Woo Choi. - In:
IEEE Transactions on Multimedia, 2 (2000), S. 240-254
- Hyperbolic Hausdorff Distance for Medial Axis Transform / von Sung Woo
Choi; Hans-Peter Seidel. - Saarbrücken : Max-Planck-Institut für Informatik,
2000, 30 S. - (Research Report ; MPI-I-2000-4-003)
- Stability Analysis of Medial Axis Transform under Relative Hausdorff
Distance / von Sung Woo Choi; Seong-Whan Lee. - In: Proc. 14th Int. Conf. on
Pattern Recognition (ICPR-00) / Ed.: Sanfeliu, A. .. - Los Alamitos : IEEE
Computer Society, 2000, S. 139-142
Daubert, Katja
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~daubert/
- Bump Map Shadows for OpenGL Rendering / von Jan Kautz; Wolfgang Heidrich;
Katja Daubert. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 18 S.
- (Research Report ; MPI-I-2000-4-001)
- Illuminating Micro Geometry Based on Precomputed Visibility / von Wolfgang
Heidrich; Katja Daubert; Jan Kautz; Hans-Peter Seidel. - In: Proceedings of
SIGGRAPH 2000 (SIGGRAPH-00) / Ed.: Akeley, Kurt. - New York : ACM Press, 2000,
S. 455-464. - (Computer Graphics Proceedings, Annual Conference Series ; 2000)
de Nivelle, Hans
- Automated Proof Construction in Type Theory Using Resolution / von Hans de
Nivelle; Marc Bezem; Dimitri Hendriks. - In: Proc. 17th Int. Conf. on
Automated Deduction (CADE-17) / Ed.: McAllester, David. - Berlin : Springer,
2000, S. 148-163. - (Lect. Notes Artif. Intell. ; 1831)
- Deciding the E-plus class by an a posteriori, liftable order. - In: Annals
of Pure and Applied Logic, 88 (2000), S. 219-232
- Inference and Computational Semantics / von Patrick Blackburn; Johan Bos;
Michael Kohlhase; Hans de Nivelle. - In: Proceedings of the Third
International Workshop on Computational Semantics (IWCS-3)\/}, Tilburg,
January 1999, edited by H.Bunt and E. Thijsse, S. 5-19
- An Overview of Resolution Decision Procedures. - In: Formalizing the
Dynamics of Information / Ed.: Faller, Martina .. - Stanford : Center for the
Study of Language and Information, 2000, S. 115-130. - (CSLI Publications ;
91)
- Resolution-Based Methods for Modal Logics / von Hans de Nivelle; Ulrich
Hustadt; Renate A. Schmidt. - In: Logic Journal of the IGPL, 8 (2000), S. 265-
292
Delzanno, Giorgio
- Object Calculi in Linear Logic / von Michele Bugliesi; Giorgio Delzanno;
Luigi Liquori; Maurizio Martelli. - In: Journal of Logic and Computation, 10
(2000), S. 75-104
Eisenbrand, Friedrich
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~eisen/ipcollncs.ps.gz
- Combining logic and optimization in cutting plane theory / von Friedrich
Eisenbrand; Alexander Bockmayr. - In: Proc. Workshop on Frontiers of Combining
Systems (FROCOS-2000) / Ed.: Kirchner, H. .. - Berlin : Springer, 2000, S. 1-
17. - (Lect. Notes Artif. Intell. ; 1794)
Eisenbrand, Fritz
- Short Vectors of Planar Lattices Via Continued Fractions. - Saarbrücken :
Max-Planck-Institut für Informatik, 2000, 10 S. - (Research Report ; MPI-I-
2000-2-001)
Fatourou, Panagiota
- Efficient Scheduling of Strict Multithreaded Computations / von Panagiota
Fatourou; Paul Spirakis. - In: Theory of Computing Systems, 33 (2000), S. 173-
232
- Low-Contention Depth-First Scheduling of Parallel Computations with
Synchronization Variables. - Saarbrücken : Max-Planck-Institut für Informatik,
2000, 56 S. - (Research Report ; MPI-I-2000-1-003)
Ferragina, Paolo
- Eigene_Liste: http://
butirro.di.unipi.it/papers.html
Fleischer, Rudolf
- Limited bookmark randomized online algorithms for the paging problem / von
Wolfgang W. Bein; Rudolf Fleischer; Lawrence L. Larmore. - In: Information
Processing Letters, 76 (2000), S. 155-162
- Online scheduling revisited / von Rudolf Fleischer; Michaela Wahl. - In:
Algorithms - ESA 2000, Proc. 8th Annual European Symp. (ESA-00) /Ed.:
Paterson, Mike. - Berlin : Springer, 2000, S. 202-210. - (Lect. Notes Comput.
Sci. ; 1879)
- A strong and easily computable separation bound for arithmetic expressions
involving radicals / von Christoph Burnikel; Rudolf Fleischer; Kurt Mehlhorn;
Stefan Schirra. - In: Algorithmica, 27 (2000), S. 87-99
Friedrich, Stefan
- Eigene_Liste: http://www.informatik.uni- freiburg.de/~friedric/publications/
Funke, Stefan
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~funke/
- LOOK - a Lazy Object-Oriented Kernel for Geometric Computation / von
Stefan Funke; Kurt Mehlhorn. - In: Proc. 16th Annual Symp. on Computational
Geometry (SCG-00). - New York : ACM Press, 2000, S. 156-165
Ganzinger, Harald
- Chaining Techniques for Automated Theorem Proving in Many-Valued Logics /
von Harald Ganzinger; Viorica Sofronie-Stokkermans. - In: Proc. 30th IEEE Int.
Symp. on Multiple-Valued Logic (ISMVL-00). - Los Alamitos : IEEE Computer
Society, 2000, S. 337-344
- (Hrsg.): Deduction / hrsg. von Ulrich Furbach; Harald Ganzinger; Ryuzo
Hasegawa; Deepak Kapur. - Wadern/Dagstuhl : Internationales Begegnungs- und
Forschungszentrum für Informatik , 2000, 24 S. - (Dagstuhl-Seminar-
Report ; 232)
- Rigid Reachability: The Non-Symmetric Form of Rigid E-unification / von
Harald Ganzinger; Florent Jacquemard; Margus Veanes. - In: International
Journal of Foundations of Computer Science, 11 (2000), S. 3-27
Garg, Naveen
- Approximation algorithm for the group Steiner tree problem / von Naveen
Garg; Goran Konjevod; R. Ravi. - In: Journal of Algorithms, 37 (2000), S. 66-
84
- Minimizing stall time in single and parallel disk systems / von Susanne
Albers; Naveen Garg; Stefano Leonardi. - In: Journal of the ACM, 47 (2000), S.
969-986
Gergov, Jordan
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~gergov/publications.html
Ghali, Sherif
- Migrating to an Object-Oriented Graphics API (Course 15) / von David
Blythe; Sherif Ghali; Lutz Kettner; Henry Sowizral. - In: SIGGRAPH 2000
(SIGGRAPH-00), Course Notes CD-ROM / Ed.: Spencer, Steven. - New York : ACM
SIGGRAPH, 2000, CD-ROM
- Object-Space, Connectivity-Preserving, Shadow Computation / von Sherif
Ghali; Eugene Fiume; Hans-Peter Seidel. - In: Proceedings of Vision, Modeling,
and Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 281-289
- Shadow Computation: A Unified Perspective / von Sherif Ghali; Eugene
Fiume; Hans-Peter Seidel. - In: European Association for Computer Graphics
21st Annual Conf. (Eurographics-00), State of The Art Reports / Ed.: Duke,
David. - Aire-la-Ville : Eurographics, 2000, S. 1-17 www
Goesele, Michael
- Building a Photo Studio for Measurement Purposes / von Michael Goesele;
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Vision, Modeling, and Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin :
Akademische Verlagsgesellschaft Aka, 2000, S. 231-238
Gutwenger, Carsten
- Eigene_Liste: http://www.mpi-sb.mpg.de/~gutwenge/
publications.html
Haber, Jörg
- Beiträge der Computergraphik zur Realisierung eines verallgemeinerten
Dokumentbegriffs / von Dieter Fellner; Jörg Haber; Sven Havemann; Leif
Kobbelt; Hendrik Lensch; Gordon Müller; Ingmar Peter; Robert Schneider; Hans-
Peter Seidel; Wolfgang Straßer. - In: Informationstechnik und Technische
Informatik, 42 (2000), S. 8-18
- Customized Object Hierarchies / von Jörg Haber; Marc Stamminger; Hans-
Peter Seidel. - In: Proceedings of Vision, Modeling, and Visualization (VMV-
00) / Ed.: Girod, Bernd .. - Berlin : Akademische Verlagsgesellschaft Aka,
2000, S. 255-262
- Enhanced Automatic Creation of Multi-Purpose Object Hierarchies / von Jörg
Haber; Marc Stamminger; Hans-Peter Seidel. - In: Proc. 8th Pacific Conf. on
Computer Graphics and Applications (PG-00) / Ed.: Barsky, Brian A. .. - Los
Alamitos : IEEE Computer Society, 2000, S. 52-61;437
- Using an Enhanced LBG Algorithm to Reduce the Codebook Error in Vector
Quantization / von Jörg Haber; Hans-Peter Seidel. - In: Proceedings of
Computer Graphics Int. 2000 (CGI-00). - Los Alamitos : IEEE Computer Society,
2000, S. 99-104
- Walkthroughs with Corrective Texturing / von Marc Stamminger; Jörg Haber;
Hartmut Schirmacher; Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc.
11th Eurographics Workshop on Rendering / Ed.: Peroche, Bernard .. - Wien :
Springer, 2000, S. 377-388;422
Hagedoorn, Michiel
- A New Visibility Partition for Affine Pattern Matching / von Michiel
Hagedoorn; Mark Overmars; Remco C. Veltkamp. - In: Discrete Geometry for
Computer Imagery, Proc. 9th Int. Conf. (DGCI-00) / Ed.: Borgefors, G .. -
Berlin : Springer, 2000, S. 358-370. - (Lect. Notes Comput. Sci. ; 1953)
Hagerup, Torben
- Eigene_Liste: http://www.informatik.uni-frankfurt.de/
~hagerup/publications.html
- Dynamic algorithms for graphs of bounded treewidth. - In: Algorithmica, 27
(2000), S. 292-315
- Parallel preprocessing for path queries without concurrent reading. - In:
Information and Computation, 158 (2000), S. 18-28
Heidrich, Wolfgang
- Eigene_Liste: http://www.mpi-sb.mpg.de/~heidrich/Papers/
index.html
- Automated Texture Registration and Stitching for Real World Models / von
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proc. 8th Pacific
Conf. on Computer Graphics and Applications (PG-00) / Ed.: Barsky, Brian A. ..
- Los Alamitos : IEEE Computer Society, 2000, S. 317-326
- Building a Photo Studio for Measurement Purposes / von Michael Goesele;
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Vision, Modeling, and Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin :
Akademische Verlagsgesellschaft Aka, 2000, S. 231-238
- Bump Map Shadows for OpenGL Rendering / von Jan Kautz; Wolfgang Heidrich;
Katja Daubert. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 18 S.
- (Research Report ; MPI-I-2000-4-001)
- High-Quality Interactive Lumigraph Rendering Through Warping / von Hartmut
Schirmacher; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Graphics Interface 2000 (GI-00) / Ed.: Fels, Sidney .. - Toronto : Canadian
Information Processing Society, 2000, S. 87-94
- Illuminating Micro Geometry Based on Precomputed Visibility / von Wolfgang
Heidrich; Katja Daubert; Jan Kautz; Hans-Peter Seidel. - In: Proceedings of
SIGGRAPH 2000 (SIGGRAPH-00) / Ed.: Akeley, Kurt. - New York : ACM Press, 2000,
S. 455-464. - (Computer Graphics Proceedings, Annual Conference Series ; 2000)
- Image-Based Rendering / von Marcus Magnor; Wolfgang Heidrich. - In:
Principles of 3D Image Analysis and Synthesis / Ed.: Girod, Bernd .. - Boston
: Kluwer Academic Publishers, 2000, S. 232-241
- Interactive Display of Global Illumination Solutions for Non-Diffuse
Environments. - In: European Association for Computer Graphics 21st Annual
Conf. (Eurographics-00), State of The Art Reports. - Aire-la-Ville :
Eurographics, 2000, S. 1-19 www
- Models for Illumination and Reflection / von Wolfgang Heidrich; Peter
Eisert; Marc Stamminger; Annette Scheel. - In: Principles of 3D Image Analysis
and Synthesis / Ed.: Girod, Bernd .. - Boston : Kluwer Academic Publishers,
2000, S. 204-213
- Soft Shadow Maps for Linear Lights / von Wolfgang Heidrich; Stefan Brabec;
Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc. 11th Eurographics
Workshop on Rendering / Ed.: Péroche, Bernard .. - Wien : Springer, 2000, S.
269-280. - (Springer Computer Science)
- Texture Models. - In: Principles of 3D Image Analysis and Synthesis / Ed.:
Girod, Bernd .. - Boston : Kluwer Academic Publishers, 2000, S. 223-232
- A Unified Approach to Prefiltered Environment Maps / von Jan Kautz; Pere-
Pau Vázquez; Wolfgang Heidrich; Hans-Peter Seidel. - In: Rendering Techniques
2000, Proc. 11th Eurographics Workshop on Rendering / Ed.: Péroche, Bernard ..
- Wien : Springer, 2000, S. 185-196 www. - (Springer Computer Science)
Hert, Susan
- The Area Partitioning Problem / von Hannah Bast; Susan Hert. - In: Proc.
12th Annual Canadian Conf. on Computational Geometry (CCCG-00) / Ed.: Bremner,
David. - Fredericton : University of New Brunswick, 2000, S. 163-171
Hopf, Jörn
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~hopf/
Jacquemard, Florent
- Eigene_Liste:
http://www.loria.fr/~jacquema/publi/index.html
Jaeger, Manfred
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~jaeger/publications.html
- On the complexity of inference about probabilistic relational models. -
In: Artificial Intelligence, 117 (2000), S. 297-308
Jansen, Klaus
- Eigene_Liste: http://www.informatik.uni- kiel.de/inf/Jansen/kj/
paper.html
Kähler, Kolja
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
Kautz, Jan
- Approximation of Glossy Reflection with Prefiltered Environment Maps / von
Jan Kautz; Michael McCool. - In: Proceedings of Graphics Interface 2000 (GI-
00) / Ed.: Fels, Sidney .. - Toronto : Canadian Information Processing
Society, 2000, S. 119-126
- Bump Map Shadows for OpenGL Rendering / von Jan Kautz; Wolfgang Heidrich;
Katja Daubert. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 18 S.
- (Research Report ; MPI-I-2000-4-001)
- Illuminating Micro Geometry Based on Precomputed Visibility / von Wolfgang
Heidrich; Katja Daubert; Jan Kautz; Hans-Peter Seidel. - In: Proceedings of
SIGGRAPH 2000 (SIGGRAPH-00) / Ed.: Akeley, Kurt. - New York : ACM Press, 2000,
S. 455-464. - (Computer Graphics Proceedings, Annual Conference Series ; 2000)
- Towards Interactive Bump Mapping with Anisotropic Shift-Variant BRDFs /
von Jan Kautz; Hans-Peter Seidel. - In: Proceedings of 2000 SIGGRAPH/
Eurographics Workshop on Graphics Hardware / Ed.: Spencer, Stephen N. - New
York : ACM Press, 2000, S. 51-58
- A Unified Approach to Prefiltered Environment Maps / von Jan Kautz; Pere-
Pau Vázquez; Wolfgang Heidrich; Hans-Peter Seidel. - In: Rendering Techniques
2000, Proc. 11th Eurographics Workshop on Rendering / Ed.: Péroche, Bernard ..
- Wien : Springer, 2000, S. 185-196 www. - (Springer Computer Science)
Keßler, Christoph W.
- Eigene_Liste: http://www.informatik.uni-trier.de/~kessler/pub.html
Klau, Gunnar W.
- Eigene_Liste: http://
www.ads.tuwien.ac.at/~gunnar/
- Optimal Labelling of Point Features in the Slider Model / von Gunnar W.
Klau; Petra Mutzel. - In: Computing and Combinatorics, Proc. 6th Annual Int.
Conf. (COCOON-00) / Ed.: Du, D.-Z. .. - Berlin : Springer, 2000, S. 340-350. -
(Lect. Notes Comput. Sci. ; 1858)
Kobbelt, Leif
- Beiträge der Computergraphik zur Realisierung eines verallgemeinerten
Dokumentbegriffs / von Dieter Fellner; Jörg Haber; Sven Havemann; Leif
Kobbelt; Hendrik Lensch; Gordon Müller; Ingmar Peter; Robert Schneider; Hans-
Peter Seidel; Wolfgang Straßer. - In: Informationstechnik und Technische
Informatik, 42 (2000), S. 8-18
- Discrete fairing and variational subdivision for freeform surface design. -
In: The Visual Computer, 16 (2000), S. 142-158
- Discrete Fairing of Curves and Surfaces based on Linear Curvature
Distribution / von Robert Schneider; Leif Kobbelt. - In: Curve and Surface
Design, Saint-Malo 1999 / Ed.: Laurent, Pierre-Jean .. - Nashville :
Vanderbilt University Press, 2000, S. 371-380. - (Innovations in Applied
Mathematics)
- Extraction of feature lines on triangulated surfaces using morphological
operators / von Christian Rössl; Leif Kobbelt; Hans-Peter Seidel. - In: Smart
Graphics (AAAI Spring Symp.-00) / Ed.: Butz, Andreas .. - Menlo Park : AAAI
Press, 2000, S. 71-75. - (Technical Report / SS / American Association for
Artificial Intelligence ; 00-04)
- Feature Sensitive Sampling for Interactive Remeshing / von Mario Botsch;
Christian Rössl; Leif Kobbelt. - In: Proceedings of Vision, Modeling, and
Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 129-136
- Generating Fair Meshes with G^1 Boundary Conditions / von Robert
Schneider; Leif Kobbelt. - In: Proceedings of Geometric Modeling and
Processing 2000 (GMP-00) / Ed.: Martin, Ralph .. - Los Alamitos : IEEE
Computer Society, 2000, S. 251-261
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
- Hierachical solutions for the deformable surface problem in visualization /
von Christoph Lürig; Leif Kobbelt; Thomas Ertl. - In: Graphical Models, 62
(2000), S. 2-18
- An Interactive Approach to Point Cloud Triangulation / von Leif Kobbelt;
Mario Botsch. - In: Proc. European Association for Computer Graphics 21st
Annual Conf. (Eurographics-00) / Ed.: Gross, Markus .. - Oxford : Blackwell,
2000, C479-C487. - (Computer Graphics Forum ; 19)
- Line Art Rendering of Triangulated Surfaces using Discrete Lines of
Curvature / von Christian Rössl; Leif Kobbelt; Hans-Peter Seidel. - In: Proc.
8th Int. Conf. in Central Europe on Computer Graphics, Visualization and
Interactive Digital Media (WSCG-00) / Ed.: Skala, Vaclav. - Plzen : University
of West Bohemia, 2000, S. 168-175
- Line-Art Rendering of 3D-Models / von Christian Rössl; Leif Kobbelt. - In:
Proc. 8th Pacific Conf. on Computer Graphics and Applications (PG-00) / Ed.:
Barsky, Brian A. .. - Los Alamitos : IEEE Computer Society, 2000, S. 87-96
- Multiresolution Shape Deformations for Meshes with Dynamic Vertex
Connectivity / von Leif Kobbelt; hilo Bareuther; Hans-Peter Seidel. - In:
Proc. European Association for Computer Graphics 21st Annual Conf.
(Eurographics-00) / Ed.: Gross, Markus .. - Oxford : Blackwell, 2000, C249-
C260. - (Computer Graphics Forum ; 19)
- Progressive Transmission of Subdivision Surfaces / von Ulf Labsik; Leif
Kobbelt; Robert Schneider; Hans-Peter Seidel. - In: Computational Geometry:
Theory and Applications, 15 (2000), S. 25-39
- sqrt3-subdivision. - In: Proceedings of SIGGRAPH 2000 (SIGGRAPH-00) / Ed.:
Akeley, Kurt. - New York : ACM Press, 2000, S. 103-112. - (Computer Graphics
Proceedings, Annual Conference Series ; 2000)
- Towards hardware implementation of loop subdivision / von Stephan
Bischoff; Leif Kobbelt; Hans-Peter Seidel. - In: Proceedings of 2000 SIGGRAPH/
Eurographics workshop on graphics hardware / Ed.: Spencer, Stephen N. - New
York : ACM Press, 2000, S. 41-50
Kohlbacher, Oliver
- BALL - Rapid Software Prototyping in Computational Molecular Biology / von
Oliver Kohlbacher; Hans-Peter Lenhof. - In: Bioinformatics, 16 (2000), S. 815-
824
- A branch and cut algorithm for the optimal solution of the side-chain
placement problem / von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof;
Peter Müller. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 26 S. -
(Research Report ; MPI-I-2000-1-001)
- A Combinatorial Approach to Protein Docking with Flexible Side-Chains /
von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof; Peter Müller. - In:
Proc. 4th Annual Int. Conf. on Computational Molecular Biology (RECOMB-00) /
Ed.: Shamir, Ron .. - New York : ACM Press, 2000, S. 15-24
- Modeling the Sugar Lectin Interaction by Computational Chemistry Relevant
to Drug Design / von Dirk Neumann; Oliver Kohlbacher; Eleonore Haltner; Hans-
Peter Lenhof; Claus-Michael Lehr. - In: Proc. 3rd World Meeting on
Pharmaceutics, Biopharmaceutics and Pharmaceutical Technology. - Mainz :
Arbeitsgemeinschaft für Pharmazeutische Verfahrenstechnik e.V., 2000, S. 233
Kontogiannis, Spyros
- Robust Parallel Computations through Randomization / von Spyros
Kontogiannis; Grammati Pantziou; Paul Spirakis; Moti Yung. - In: Theory of
Computing Systems, 33 (2000), S. 427-464
Krishna Rao, M. R. K.
- Some characteristics of strong innermost normalization. - In: Theoretical
Computer Science, 239 (2000), S. 141-164
- Some classes of prolog programs inferable from positive data. - In:
Theoretical Computer Science, 241 (2000), S. 211-223
Krysta, Piotr
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~krysta/publications.html
Kumar, V. S. Anil
- Hardness of Set Cover with Intersection 1 / von V. S. Anil Kumar; Sunil
Arya; H. Ramesh. - In: Automata, Languages and Programming, Proc. 27th Int.
Colloquium (ICALP-00) / Ed.: Montanari, Ugo .. - Berlin : Springer, 2000, S.
624-635. - (Lect. Notes Comput. Sci. ; 1853)
Lee, Jae-Ha
- Approximation of Curvature-constrained Shortest Paths through a Sequence
of Points / von Jae-Ha Lee; Otfried Cheong; Woo-Cheol Kwon; Sung-Yong Shin;
Kyung-Yong Chwa. - In: Algorithms - ESA 2000, Proc. 8th Annual European Symp.
(ESA-00) / Ed.: Paterson, Mike. - Berlin : Springer, 2000, S. 314-325. -
(Lect. Notes Comput. Sci. ; 1879)
- Optimal Embedding of Multiple Directed Hamiltonian Rings into d-
dimensional Meshes / von Jae-Ha Lee; Chan-Su Shin; Kyung-Yong Chwa. - In:
Journal of Parallel and Distributed Computing, 60 (2000), S. 775-783
- Searching a polygonal room with one door by a 1-searcher / von Jae-Ha Lee;
Sang-Min Park; Kyung-Yong Chwa. - In: International Journal of Computational
Geometry and Applications, 10 (2000), S. 201-220
Lenhof, Hans-Peter
- BALL - Rapid Software Prototyping in Computational Molecular Biology / von
Oliver Kohlbacher; Hans-Peter Lenhof. - In: Bioinformatics, 16 (2000), S. 815-
824
- A branch and cut algorithm for the optimal solution of the side-chain
placement problem / von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof;
Peter Müller. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 26 S. -
(Research Report ; MPI-I-2000-1-001)
- A Combinatorial Approach to Protein Docking with Flexible Side-Chains /
von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof; Peter Müller. - In:
Proc. 4th Annual Int. Conf. on Computational Molecular Biology (RECOMB-00) /
Ed.: Shamir, Ron .. - New York : ACM Press, 2000, S. 15-24
- Modeling the Sugar Lectin Interaction by Computational Chemistry Relevant
to Drug Design / von Dirk Neumann; Oliver Kohlbacher; Eleonore Haltner; Hans-
Peter Lenhof; Claus-Michael Lehr. - In: Proc. 3rd World Meeting on
Pharmaceutics, Biopharmaceutics and Pharmaceutical Technology. - Mainz :
Arbeitsgemeinschaft für Pharmazeutische Verfahrenstechnik e.V., 2000, S. 233
- A polyhedral approach to sequence alignment problems / von John D.
Kececioglu; Hans-Peter Lenhof; Kurt Mehlhorn; Petra Mutzel; Knut Reinert;
Martin Vingron. - In: Discrete Applied Mathematics, 104 (2000), S. 143-186
- Simulating synthetic polymer chains in parallel / von Bernd Jung; Hans-
Peter Lenhof; Peter Müller; Christine Rüb. - In: Future Generation Computer
Systems, 16 (2000), S. 513-522
Lensch, Hendrik
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~lensch/Papers/index.html
- Automated Texture Registration and Stitching for Real World Models / von
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proc. 8th Pacific
Conf. on Computer Graphics and Applications (PG-00) / Ed.: Barsky, Brian A. ..
- Los Alamitos : IEEE Computer Society, 2000, S. 317-326
- Beiträge der Computergraphik zur Realisierung eines verallgemeinerten
Dokumentbegriffs / von Dieter Fellner; Jörg Haber; Sven Havemann; Leif
Kobbelt; Hendrik Lensch; Gordon Müller; Ingmar Peter; Robert Schneider; Hans-
Peter Seidel; Wolfgang Straßer. - In: Informationstechnik und Technische
Informatik, 42 (2000), S. 8-18
- Building a Photo Studio for Measurement Purposes / von Michael Goesele;
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Vision, Modeling, and Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin :
Akademische Verlagsgesellschaft Aka, 2000, S. 231-238
Leonardi, Stefano
- Minimizing stall time in single and parallel disk systems / von Susanne
Albers; Naveen Garg; Stefano Leonardi. - In: Journal of the ACM, 47 (2000), S.
969-986
Magnor, Marcus
- Image-Based Rendering / von Marcus Magnor; Wolfgang Heidrich. - In:
Principles of 3D Image Analysis and Synthesis / Ed.: Girod, Bernd .. - Boston
: Kluwer Academic Publishers, 2000, S. 232-241
Mannila, Heikki
- Eigene_Liste: http://
www.cs.helsinki.fi/u/mannila/
Matthews, Seßn
- Structuring Metatheory on Inductive Definitions / von Seßn Matthews; David
A. Basin. - In: Information and Computation, 162 (2000), S. 80-95
Mehlhorn, Kurt
- Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential
Model / von Colin Cooper; Alan Frieze; Kurt Mehlhorn; Volker Priebe. - In:
Random Structures & Algorithms, 16 (2000), S. 33-46
- Constraint Programming and Graph Algorithms. - In: Automata, Languages and
Programming, Proc. 27th Int. Colloquium (ICALP-00) / Ed.: Montanari, Ugo .. -
Berlin : Springer, 2000, S. 571-575. - (Lect. Notes Comput. Sci. ; 1853)
- Curve reconstruction: Connecting dots with good reason / von Tamal K. Dey;
Kurt Mehlhorn; Edgar Ramos. - In: Computational Geometry, 15 (2000), S. 229-
244
- Editorial / von Kurt Mehlhorn; Jörg-Rüdiger Sack. - In: Computational
Geometry, 17 (2000), S. 1-2
- Experiments on curve reconstruction / von Ernst Althaus; Kurt Mehlhorn;
Stefan Näher; Stefan Schirra. - In: Proc. 2nd Workshop on Algorithm
Engineering and Experiments (ALENEX-00) [Preliminary version]. - Albuquerque :
University of New Mexico, 2000, S. 103-114 www
- Faster Algorithms for Bound-Consistency of the Sortedness and the
Alldifferent Constraint / von Kurt Mehlhorn; Sven Thiel. - In: Principles and
Practice of Constraint Programming, Proc. 6th Int. Conf. (CP-00) / Ed.:
Dechter, Rina. - Berlin : Springer, 2000, S. 306-319. - (Lect. Notes Comput.
Sci. ; 1894)
- Generalized and improved constructive separation bound for real algebraic
expressions / von Kurt Mehlhorn; Stefan Schirra. - Saarbrücken : Max-Planck-
Institut für Informatik, 2000, 12 S. - (Research Report ; MPI-I-2000-1-004)
- Geometric Computing with CGAL and LEDA / von Kurt Mehlhorn; Stefan
Schirra. - In: Curve and surface design, Saint-Malo 1999 / Ed.: Laurent,
Pierre-Jean .. - Nashville : Vanderbilt University Press, 2000, S. 277-286
- Infimaximal Frames A Technique for Making Lines Look Like Segments / von
Michael Seel; Kurt Mehlhorn. - Saarbrücken : Max-Planck-Institut für
Informatik, 2000, 16 S. - (Research Report ; MPI-I-2000-1-005)
- LOOK - a Lazy Object-Oriented Kernel for Geometric Computation / von
Stefan Funke; Kurt Mehlhorn. - In: Proc. 16th Annual Symp. on Computational
Geometry (SCG-00). - New York : ACM Press, 2000, S. 156-165
- A polyhedral approach to sequence alignment problems / von John D.
Kececioglu; Hans-Peter Lenhof; Kurt Mehlhorn; Petra Mutzel; Knut Reinert;
Martin Vingron. - In: Discrete Applied Mathematics, 104 (2000), S. 143-186
- Resource Constrained Shortest Paths / von Kurt Mehlhorn; Mark Ziegelmann. -
In: Algorithms - ESA 2000, Proc. 8th Annual European Symp. (ESA-00) / Ed.:
Paterson, Mike. - Berlin : Springer, 2000, S. 326-337. - (Lect. Notes Comput.
Sci. ; 1879)
- A strong and easily computable separation bound for arithmetic expressions
involving radicals / von Christoph Burnikel; Rudolf Fleischer; Kurt Mehlhorn;
Stefan Schirra. - In: Algorithmica, 27 (2000), S. 87-99
- TSP-Based Curve Reconstruction in Polynomial Time / von Ernst Althaus;
Kurt Mehlhorn. - In: Proc. 11th Annual ACM-SIAM Symp. on Discrete Algorithms
(SODA-00). - New York : ACM Press, 2000, S. 686-695
Meyer, Ulrich
- Parallel Shortest Path for Arbitrary Graphs / von Ulrich Meyer; Peter
Sanders. - In: Euro-Par 2000 Parallel Processing, Proc. 6th Int. Euro-Par
Conf. (Euro-Par-00) / Ed.: Bode, Arndt .. - Berlin : Springer, 2000, S. 461-
470. - (Lect. Notes Comput. Sci. ; 1900)
Müller, Heinz
- Brazing of Titanium with New Biocompatible Brazing Filler Alloys / von
Heinz Müller; Jürgen Breme. - In: Titanium `99 Science and Technology, : Proc.
of the Ninth World Conf. on Titanium / Ed.: Garynin Ushkov. - St. Petersburg :
CRISM, Prometey, 2000, S. 1758-1765
Müller, Peter
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~pmueller/peter.html
- A branch and cut algorithm for the optimal solution of the side-chain
placement problem / von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof;
Peter Müller. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 26 S. -
(Research Report ; MPI-I-2000-1-001)
- A Combinatorial Approach to Protein Docking with Flexible Side-Chains /
von Ernst Althaus; Oliver Kohlbacher; Hans-Peter Lenhof; Peter Müller. - In:
Proc. 4th Annual Int. Conf. on Computational Molecular Biology (RECOMB-00) /
Ed.: Shamir, Ron .. - New York : ACM Press, 2000, S. 15-24
- (Hrsg.): Nanomer - Niedrigenergie Oberflächen : Anwendungen und Potenziale
/ hrsg. von Peter Müller; Steffen Pilotek; Andreas Poppe; Helmut Schmidt. -
In: Funktionelle Schichten : adhaesive und antiadhaesive Oberflächen : 2.
Woerlitzer Workshop, 12. Okt. 2000 in Dessau / Hrsg.: Foerdergemeinschaft
Duenne Schichten Transferzentrum Oberflaechen- und Schichttechnologien. -
Dresden : FDS, 2000, S. keine Angaben. - (Woerlitzer Workshop Funktionelle
Schichten ; 2)
- Oberflächentechnik für Glas und Keramik : Schmutzabweisende und
selbstreinigende Schichten für die Praxis. - In: Symposium Zukunft Glas <3,
2000, Zwiesel> : Von der Tradition zum High-Tech Produkt / Hrsg.:
Ostbayerisches Technologie-Transfer Institut e.V. - Regensburg : OTTI, 2000,
S. 15-18. - (Symposium Zukunft Glas ; 3)
- Revetements fonctionnels déposés sur les verres par des techniques sol-gel
/ von Michael André Aegerter; Martin Mennig; Peter Müller; Helmut Schmidt. -
In: Verre, 6 (2000), 5, S. 30-37
- Simulating synthetic polymer chains in parallel / von Bernd Jung; Hans-
Peter Lenhof; Peter Müller; Christine Rüb. - In: Future Generation Computer
Systems, 16 (2000), S. 513-522
- Sol-gel derived nanocomposite materials for corrosion protection of
aluminium alloys / von Helmut Schmidt; Peter Müller; Carola Dittfurth; Sener
Albayrak; Anne Puhl. - In: EUROCORR 2000 : 10th-14th Sept. 2000, Queen Mary
and Westfield College, University of London, London, UK (CD-ROM Ausgabe) /
Ed.: Institute of Materials. Institute of Corrosion EFC. - London : IoM
Communications Ltd, 2000, S. 1/11-11/11. - (European Corrosion Congress ; 23)
Mukhopadhyay, Supratik
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~supratik/
- Model Checking for Timed Logical Processes / von Supratik Mukhopadhyay;
Andreas Podelski. - In: Proc. 1st Int. Conf. on Computational Logic (CL-00) /
Ed.: Lloyd, John .. - Berlin : Springer, 2000, S. 598-612. - (Lect. Notes
Artif. Intell. ; 1861)
Mutzel, Petra
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~mutzel/
- The Constrained Crossing Minimization Problem / von Petra Mutzel; Thomas
Ziegler. - In: Graph Drawing, Proc. 7th Int. Symp. (GD-99) / Ed.: Kratochvil,
Jan. - Berlin : Springer, 2000, S. 175-185. - (Lect. Notes Comput. Sci. ;
1731)
- Optimal Labelling of Point Features in the Slider Model / von Gunnar W.
Klau; Petra Mutzel. - In: Computing and Combinatorics, Proc. 6th Annual Int.
Conf. (COCOON-00) / Ed.: Du, D.-Z. .. - Berlin : Springer, 2000, S. 340-350. -
(Lect. Notes Comput. Sci. ; 1858)
- A polyhedral approach to sequence alignment problems / von John D.
Kececioglu; Hans-Peter Lenhof; Kurt Mehlhorn; Petra Mutzel; Knut Reinert;
Martin Vingron. - In: Discrete Applied Mathematics, 104 (2000), S. 143-186
Myszkowski, Karol
- A Case Study Towards Validation of Global Illumination Algorithms:
Progressive Hierarchical Radiosity with Clustering / von Karol Myszkowski;
Tosiyasu L. Kunii. - In: The Visual Computer, 16 (2000), S. 271-288
- Image quality metrics (Course 44), Chapter 4, Perception-driven Global
Illumination and Rendering Computation. - In: SIGGRAPH 2000 (SIGGRAPH-00),
Course Notes CD-ROM / Ed.: Spencer, Steven. - New York : ACM SIGGRAPH, 2000,
S. 43-59
- Image quality metrics (Course 44), Chapter 6, Perception-driven rendering
of high-quality walkthrough animations. - In: SIGGRAPH 2000 (SIGGRAPH-00),
Course Notes CD-ROM / Ed.: Spencer, Steven. - New York : ACM SIGGRAPH, 2000,
S. 75-81
- Perception-Based Fast Rendering and Antialiasing of Walkthrough Sequences /
von Karol Myszkowski; Przemyslaw Rokita; Takehiro Tawara. - In: IEEE
Transactions on Visualization and Computer Graphics, 6 (2000), S. 360-379
- Using the Visual Differences Predictor to Improve Performance of
Progressive Global Illumination Computations / von Vladimir Volevich; Karol
Myszkowski; Andrei Khodulev; Edward Kopylov. - In: ACM Transactions on
Graphics, 19 (2000), S. 122-161
Näher, Stefan
- Eigene_Liste: http://www.informatik.uni-halle.de/~naeher/
publications/index.html
- Experiments on curve reconstruction / von Ernst Althaus; Kurt Mehlhorn;
Stefan Näher; Stefan Schirra. - In: Proc. 2nd Workshop on Algorithm
Engineering and Experiments (ALENEX-00) [Preliminary version]. - Albuquerque :
University of New Mexico, 2000, S. 103-114 www
Nonnengart, Andreas
- Eigene_Liste: http://
www.dfki.de/~nonnenga/publications/
Nutov, Zeev
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~nutov/
- On Integrality, Stability and Composition of Dicycle Packings and Covers /
von Zeev Nutov; Michael Penn. - In: Journal of Combinatorial Optimization, 4
(2000), S. 235 - 252
Ohlbach, Hans-Jürgen
- Eigene_Liste: http://www.pms.informatik.uni-
muenchen.de/mitarbeiter/ohlbach/homepage/publications.shtml
Overmars, Mark
- A New Visibility Partition for Affine Pattern Matching / von Michiel
Hagedoorn; Mark Overmars; Remco C. Veltkamp. - In: Discrete Geometry for
Computer Imagery, Proc. 9th Int. Conf. (DGCI-00) / Ed.: Borgefors, G .. -
Berlin : Springer, 2000, S. 358-370. - (Lect. Notes Comput. Sci. ; 1953)
Pantziou, G. E.
- Improved algorithms for dynamic shortest paths / von H. N. Djidjev; G. E.
Pantziou; Christos D. Zaroliagis. - In: Algorithmica, 28 (2000), S. 367-389
Podelski, Andreas
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~podelski/papers.html
- Efficient Algorithms for Pre star and Post star on Interprocedural
Parallel Flow Graphs / von Javier Esparza; Andreas Podelski. - In: Proc. 27th
ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL-00). -
New York : ACM Press, 2000, S. 1-11
- Model Checking as Constraint Solving. - In: Proc. 7th Int. Symp. on Static
Analysis (SAS-00) / Ed.: Palsberg, Jens. - Berlin : Springer, 2000, S. 221-
237. - (Lect. Notes Comput. Sci. ; 1824)
- Model Checking for Timed Logical Processes / von Supratik Mukhopadhyay;
Andreas Podelski. - In: Proc. 1st Int. Conf. on Computational Logic (CL-00) /
Ed.: Lloyd, John .. - Berlin : Springer, 2000, S. 598-612. - (Lect. Notes
Artif. Intell. ; 1861)
- Ordering Constraints over Feature Trees / von Martin Müller; Joachim
Niehren; Andreas Podelski. - In: Constraints, an International Journal, 5
(2000), 1-2
- Ordering Constraints over Feature Trees / von Martin Müller; Joachim
Niehren; Andreas Podelski. - In: Constraints, 5 (2000), S. 7-41
- Paths vs. Trees in Set-based Program Analysis / von Witold Charatonik;
Andreas Podelski; Jean-Marc Talbot. - In: Proc. 27th ACM SIGPLAN-SIGACT Symp.
on Principles of Programming Languages (POPL-00). - New York : ACM Press,
2000, S. 330-337
Porkolab, Lorant
- Integer optimization on convex semialgebraic sets / von L. Khachiyan;
Lorant Porkolab. - In: Discrete & Computational Geometry, 23 (2000), S. 207-
224
Priebe, Volker
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~priebe/
- Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential
Model / von Colin Cooper; Alan Frieze; Kurt Mehlhorn; Volker Priebe. - In:
Random Structures & Algorithms, 16 (2000), S. 33-46
Ramos, Edgar
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~ramos/
- Computing the Arrangement of Curve Segments: Divide-and-Conquer Algorithms
via Sampling / von Edgar Ramos; Nancy M. Amato; Michael T. Goodrich. - In:
Proc. 11th Annual ACM-SIAM Symp. on Discrete Algorithms (SODA-00) / Ed.:
Amato, Nancy M. .. - New York : ACM Press, 2000, S. 705-706
- Curve reconstruction: Connecting dots with good reason / von Tamal K. Dey;
Kurt Mehlhorn; Edgar Ramos. - In: Computational Geometry, 15 (2000), S. 229-
244
- Deterministic Algorithms for 3-D Diameter and some 2-D Lower Envelopes. -
In: Proc. 16th Annual Symp. on Computational Geometry (SCG-00). - New York :
ACM Press, 2000, S. 290-299
- Linear Programming Queries Revisited. - In: Proc. 16th Annual Symp. on
Computational Geometry (SCG-00). - New York : ACM Press, 2000, S. 176-181
- Linear-Time Triangulation of a Simple Polygon Made Easier Via
Randomization / von Nancy M. Amato; Michael T. Goodrich; Edgar Ramos. - In:
Proc. 16th Annual Symp. on Computational Geometry (SCG-00). - New York : ACM
Press, 2000, S. 201-212
Reinert, Knut
- A polyhedral approach to sequence alignment problems / von John D.
Kececioglu; Hans-Peter Lenhof; Kurt Mehlhorn; Petra Mutzel; Knut Reinert;
Martin Vingron. - In: Discrete Applied Mathematics, 104 (2000), S. 143-186
- The practical use of the A* algorithm for exact multiple sequence
alignment / von Martin Lermen; Knut Reinert. - In: Journal of Computational
Biology, 7 (2000), S. 665-671
Rössl, Christian
- Eigene_Liste: http://data.mpi-sb.mpg.de/intranet/ag4/
ag4publ.nsf/ListPublications
- Extraction of feature lines on triangulated surfaces using morphological
operators / von Christian Rössl; Leif Kobbelt; Hans-Peter Seidel. - In: Smart
Graphics (AAAI Spring Symp.-00) / Ed.: Butz, Andreas .. - Menlo Park : AAAI
Press, 2000, S. 71-75. - (Technical Report / SS / American Association for
Artificial Intelligence ; 00-04)
- Feature Sensitive Sampling for Interactive Remeshing / von Mario Botsch;
Christian Rössl; Leif Kobbelt. - In: Proceedings of Vision, Modeling, and
Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 129-136
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
- Line Art Rendering of Triangulated Surfaces using Discrete Lines of
Curvature / von Christian Rössl; Leif Kobbelt; Hans-Peter Seidel. - In: Proc.
8th Int. Conf. in Central Europe on Computer Graphics, Visualization and
Interactive Digital Media (WSCG-00) / Ed.: Skala, Vaclav. - Plzen : University
of West Bohemia, 2000, S. 168-175
- Line-Art Rendering of 3D-Models / von Christian Rössl; Leif Kobbelt. - In:
Proc. 8th Pacific Conf. on Computer Graphics and Applications (PG-00) / Ed.:
Barsky, Brian A. .. - Los Alamitos : IEEE Computer Society, 2000, S. 87-96
Rüb, Christine
- Simulating synthetic polymer chains in parallel / von Bernd Jung; Hans-
Peter Lenhof; Peter Müller; Christine Rüb. - In: Future Generation Computer
Systems, 16 (2000), S. 513-522
Sanders, Peter
- Eigene_Liste: http://www.mpi-sb.mpg.de/~sanders/papers/
index.html
- Asynchronous Scheduling of Redundant Disk Arrays. - In: Proc. 12th Annual
ACM Symp. on Parallel Algorithms and Architecture (SPAA-00) / Ed.: Teng, Shang-
Hua. - New York : ACM Press, 2000, S. 89-98
- A Bandwidth Latency Tradeoff for Broadcast and Reduction / von Peter
Sanders; Jop F. Sibeyn. - In: Euro-Par 2000 Parallel Processing, Proc. 6th
Int. Euro-Par Conf. (Euro-Par-00) / Ed.: Bode, Arndt .. - Berlin : Springer,
2000, S. 918-926. - (Lect. Notes Comput. Sci. ; 1900)
- Fast Concurrent Access to Parallel Disks / von Peter Sanders; Sebastian
Egner; Jan Korst. - In: Proc. 11th Annual ACM-SIAM Symp. on Discrete
Algorithms (SODA-00). - New York : ACM Press, 2000, S. 849-858
- Fast Priority Queues for Cached Memory. - In: ACM Journal of Experimental
Algorithmics. - New York : ACM Press, 5 (2000), S. 1-25 www
- How Helpers Hasten h-Relations / von Peter Sanders; Roberto Solis-Oba. -
In: Algorithms - ESA 2000, Proc. 8th Annual European Symp. (ESA-00) / Ed.:
Paterson, Mike. - Berlin : Springer, 2000, S. 392-402. - (Lect. Notes Comput.
Sci. ; 1879)
- Parallel Shortest Path for Arbitrary Graphs / von Ulrich Meyer; Peter
Sanders. - In: Euro-Par 2000 Parallel Processing, Proc. 6th Int. Euro-Par
Conf. (Euro-Par-00) / Ed.: Bode, Arndt .. - Berlin : Springer, 2000, S. 461-
470. - (Lect. Notes Comput. Sci. ; 1900)
Scheel, Annette
- Efficient Glossy Global Illumination with Interactive Viewing / von Marc
Stamminger; Annette Scheel; Xavier Granier; Frederic Perez-Cazorla; George
Drettakis; Francois Sillion. - In: Computer Graphics Forum, 19 (2000), S. 13-
26
- Hierarchical Radiosity with Global Refinement / von Marc Stamminger;
Annette Scheel; Hans-Peter Seidel. - In: Proceedings of Vision, Modeling, and
Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 263-270
- Models for Illumination and Reflection / von Wolfgang Heidrich; Peter
Eisert; Marc Stamminger; Annette Scheel. - In: Principles of 3D Image Analysis
and Synthesis / Ed.: Girod, Bernd .. - Boston : Kluwer Academic Publishers,
2000, S. 204-213
- Tone Reproduction for Interactive Walkthroughs / von Annette Scheel; Marc
Stamminger; Hans-Peter Seidel. - In: Proc. European Association for Computer
Graphics 21st Annual Conf. (Eurographics-00) / Ed.: Gross, Markus .. - Oxford
: Blackwell, 2000, C301-C311. - (Computer Graphics Forum ; 19)
Schirmacher, Hartmut
- Eigene_Liste: http://
www.mpi-sb.mpg.de/~htschirm/publ/
- High-Quality Interactive Lumigraph Rendering Through Warping / von Hartmut
Schirmacher; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Graphics Interface 2000 (GI-00) / Ed.: Fels, Sidney .. - Toronto : Canadian
Information Processing Society, 2000, S. 87-94
- tmk - a Multi-Site, Multi-Platform System for Software Development / von
Hartmut Schirmacher; Stefan Brabec. - In: Proc. First European Tcl/Tk User
Meeting / Ed.: Zerbst, Carsten. - Hamburg : Technische Universität Hamburg-
Harburg, 2000, S. 1-10 www
- Walkthroughs with Corrective Texturing / von Marc Stamminger; Jörg Haber;
Hartmut Schirmacher; Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc.
11th Eurographics Workshop on Rendering / Ed.: Peroche, Bernard .. - Wien :
Springer, 2000, S. 377-388;422
Schirra, Stefan
- Eigene_Liste: http://www.mpi-sb.mpg.de/~stschirr/
publications.html
- Applications of the Generic Programming Paradigm in the Design of CGAL /
von Hervé Brönnimann; Lutz Kettner; Stefan Schirra; Remco Veltkamp. - In:
Generic programming - Int. Seminar on Generic Programming Dagstuhl Castle,
Germany, April 27 - May 1, 1998, selected papers / Ed.: Jazayeri, Mehdi .. -
Berlin : Springer, 2000, S. 206-216. - (Lect. Notes Comput. Sci. ; 1766)
- Experiments on curve reconstruction / von Ernst Althaus; Kurt Mehlhorn;
Stefan Näher; Stefan Schirra. - In: Proc. 2nd Workshop on Algorithm
Engineering and Experiments (ALENEX-00) [Preliminary version]. - Albuquerque :
University of New Mexico, 2000, S. 103-114 www
- Generalized and improved constructive separation bound for real algebraic
expressions / von Kurt Mehlhorn; Stefan Schirra. - Saarbrücken : Max-Planck-
Institut für Informatik, 2000, 12 S. - (Research Report ; MPI-I-2000-1-004)
- Geometric Computing with CGAL and LEDA / von Kurt Mehlhorn; Stefan
Schirra. - In: Curve and surface design, Saint-Malo 1999 / Ed.: Laurent,
Pierre-Jean .. - Nashville : Vanderbilt University Press, 2000, S. 277-286
- On the Design of CGAL, a computational geometry algorithms library / von
Andreas Fabri; Geert-Jan Giezeman; Lutz Kettner; Stefan Schirra; Sven
Schönherr. - In: Software - Practice and Experience, 30 (2000), S. 1167-1202
- Robustness and Precision Issues in Geometric Computation. - In: Handbook
of Computational Geometry / Ed.: Sack, Jörg Rüdiger .. - Amsterdam : Elsevier,
2000, S. 597-632
- A strong and easily computable separation bound for arithmetic expressions
involving radicals / von Christoph Burnikel; Rudolf Fleischer; Kurt Mehlhorn;
Stefan Schirra. - In: Algorithmica, 27 (2000), S. 87-99
Schmidt, Renate A.
- Eigene_Liste:
http://www.cs.man.ac.uk/~schmidt/publications/
- Relational Grammars for Knowledge Representation. - In: Variable-Free
Semantics / Ed.: Böttner, Michael .. - Osnabrück : secolo Verlag, 2000, S. 162-
180. - (Artikulation und Sprache)
Schneider, Robert
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~rtschnei/
- Beiträge der Computergraphik zur Realisierung eines verallgemeinerten
Dokumentbegriffs / von Dieter Fellner; Jörg Haber; Sven Havemann; Leif
Kobbelt; Hendrik Lensch; Gordon Müller; Ingmar Peter; Robert Schneider; Hans-
Peter Seidel; Wolfgang Straßer. - In: Informationstechnik und Technische
Informatik, 42 (2000), S. 8-18
- Discrete Fairing of Curves and Surfaces based on Linear Curvature
Distribution / von Robert Schneider; Leif Kobbelt. - In: Curve and Surface
Design, Saint-Malo 1999 / Ed.: Laurent, Pierre-Jean .. - Nashville :
Vanderbilt University Press, 2000, S. 371-380. - (Innovations in Applied
Mathematics)
- Generating Fair Meshes with G^1 Boundary Conditions / von Robert
Schneider; Leif Kobbelt. - In: Proceedings of Geometric Modeling and
Processing 2000 (GMP-00) / Ed.: Martin, Ralph .. - Los Alamitos : IEEE
Computer Society, 2000, S. 251-261
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
- Multiresolution analysis over triangles, based on quadratic Hermite
interpolation / von Robert Schneider; Hans-Peter Seidel. - In: Journal of
Computational and Applied Mathematics, 119 (2000), S. 97-114
- Progressive Transmission of Subdivision Surfaces / von Ulf Labsik; Leif
Kobbelt; Robert Schneider; Hans-Peter Seidel. - In: Computational Geometry:
Theory and Applications, 15 (2000), S. 25-39
Schwanecke, Ulrich
- A B-spline approach to hermite subdivision / von Ulrich Schwanecke; B.
Jüttler. - In: Curve and surface fitting, Saint-Malo 1999 / Ed.: Cohen, Albert
.. - Nashville : Vanderbilt University Press, 2000, S. 385-392. - (Innovations
in Applied Mathematics)
Seel, Michael
- Infimaximal Frames A Technique for Making Lines Look Like Segments / von
Michael Seel; Kurt Mehlhorn. - Saarbrücken : Max-Planck-Institut für
Informatik, 2000, 16 S. - (Research Report ; MPI-I-2000-1-005)
Seidel, Hans-Peter
- Automated Texture Registration and Stitching for Real World Models / von
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proc. 8th Pacific
Conf. on Computer Graphics and Applications (PG-00) / Ed.: Barsky, Brian A. ..
- Los Alamitos : IEEE Computer Society, 2000, S. 317-326
- Beiträge der Computergraphik zur Realisierung eines verallgemeinerten
Dokumentbegriffs / von Dieter Fellner; Jörg Haber; Sven Havemann; Leif
Kobbelt; Hendrik Lensch; Gordon Müller; Ingmar Peter; Robert Schneider; Hans-
Peter Seidel; Wolfgang Straßer. - In: Informationstechnik und Technische
Informatik, 42 (2000), S. 8-18
- Building a Photo Studio for Measurement Purposes / von Michael Goesele;
Hendrik Lensch; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Vision, Modeling, and Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin :
Akademische Verlagsgesellschaft Aka, 2000, S. 231-238
- Customized Object Hierarchies / von Jörg Haber; Marc Stamminger; Hans-
Peter Seidel. - In: Proceedings of Vision, Modeling, and Visualization (VMV-
00) / Ed.: Girod, Bernd .. - Berlin : Akademische Verlagsgesellschaft Aka,
2000, S. 255-262
- Enhanced Automatic Creation of Multi-Purpose Object Hierarchies / von Jörg
Haber; Marc Stamminger; Hans-Peter Seidel. - In: Proc. 8th Pacific Conf. on
Computer Graphics and Applications (PG-00) / Ed.: Barsky, Brian A. .. - Los
Alamitos : IEEE Computer Society, 2000, S. 52-61;437
- Extended Light Maps / von Stefan Brabec; Hans-Peter Seidel. - In: GAME-ON
2000 / 1st Int. Conf. on Intelligent Games and Simulation / Ed.: Mehdi, Quasim
.. - San Diego : Society for Computer Simulation International, 2000, S. 10-13
- Extraction of feature lines on triangulated surfaces using morphological
operators / von Christian Rössl; Leif Kobbelt; Hans-Peter Seidel. - In: Smart
Graphics (AAAI Spring Symp.-00) / Ed.: Butz, Andreas .. - Menlo Park : AAAI
Press, 2000, S. 71-75. - (Technical Report / SS / American Association for
Artificial Intelligence ; 00-04)
- Hierarchical Radiosity with Global Refinement / von Marc Stamminger;
Annette Scheel; Hans-Peter Seidel. - In: Proceedings of Vision, Modeling, and
Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 263-270
- High-Quality Interactive Lumigraph Rendering Through Warping / von Hartmut
Schirmacher; Wolfgang Heidrich; Hans-Peter Seidel. - In: Proceedings of
Graphics Interface 2000 (GI-00) / Ed.: Fels, Sidney .. - Toronto : Canadian
Information Processing Society, 2000, S. 87-94
- Hyperbolic Hausdorff Distance for Medial Axis Transform / von Sung Woo
Choi; Hans-Peter Seidel. - Saarbrücken : Max-Planck-Institut für Informatik,
2000, 30 S. - (Research Report ; MPI-I-2000-4-003)
- Illuminating Micro Geometry Based on Precomputed Visibility / von Wolfgang
Heidrich; Katja Daubert; Jan Kautz; Hans-Peter Seidel. - In: Proceedings of
SIGGRAPH 2000 (SIGGRAPH-00) / Ed.: Akeley, Kurt. - New York : ACM Press, 2000,
S. 455-464. - (Computer Graphics Proceedings, Annual Conference Series ; 2000)
- Line Art Rendering of Triangulated Surfaces using Discrete Lines of
Curvature / von Christian Rössl; Leif Kobbelt; Hans-Peter Seidel. - In: Proc.
8th Int. Conf. in Central Europe on Computer Graphics, Visualization and
Interactive Digital Media (WSCG-00) / Ed.: Skala, Vaclav. - Plzen : University
of West Bohemia, 2000, S. 168-175
- Multiresolution analysis over triangles, based on quadratic Hermite
interpolation / von Robert Schneider; Hans-Peter Seidel. - In: Journal of
Computational and Applied Mathematics, 119 (2000), S. 97-114
- Multiresolution Shape Deformations for Meshes with Dynamic Vertex
Connectivity / von Leif Kobbelt; hilo Bareuther; Hans-Peter Seidel. - In:
Proc. European Association for Computer Graphics 21st Annual Conf.
(Eurographics-00) / Ed.: Gross, Markus .. - Oxford : Blackwell, 2000, C249-
C260. - (Computer Graphics Forum ; 19)
- Object-Space, Connectivity-Preserving, Shadow Computation / von Sherif
Ghali; Eugene Fiume; Hans-Peter Seidel. - In: Proceedings of Vision, Modeling,
and Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 281-289
- Progressive Transmission of Subdivision Surfaces / von Ulf Labsik; Leif
Kobbelt; Robert Schneider; Hans-Peter Seidel. - In: Computational Geometry:
Theory and Applications, 15 (2000), S. 25-39
- Realistic Rendering. - In: Principles of 3D Image Analysis and Synthesis /
Ed.: Girod, Bernd .. - Boston : Kluwer Academic Publishers, 2000, S. 203-241
- Shadow Computation: A Unified Perspective / von Sherif Ghali; Eugene
Fiume; Hans-Peter Seidel. - In: European Association for Computer Graphics
21st Annual Conf. (Eurographics-00), State of The Art Reports / Ed.: Duke,
David. - Aire-la-Ville : Eurographics, 2000, S. 1-17 www
- Soft Shadow Maps for Linear Lights / von Wolfgang Heidrich; Stefan Brabec;
Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc. 11th Eurographics
Workshop on Rendering / Ed.: Péroche, Bernard .. - Wien : Springer, 2000, S.
269-280. - (Springer Computer Science)
- Tone Reproduction for Interactive Walkthroughs / von Annette Scheel; Marc
Stamminger; Hans-Peter Seidel. - In: Proc. European Association for Computer
Graphics 21st Annual Conf. (Eurographics-00) / Ed.: Gross, Markus .. - Oxford
: Blackwell, 2000, C301-C311. - (Computer Graphics Forum ; 19)
- Towards hardware implementation of loop subdivision / von Stephan
Bischoff; Leif Kobbelt; Hans-Peter Seidel. - In: Proceedings of 2000 SIGGRAPH/
Eurographics workshop on graphics hardware / Ed.: Spencer, Stephen N. - New
York : ACM Press, 2000, S. 41-50
- Towards Interactive Bump Mapping with Anisotropic Shift-Variant BRDFs /
von Jan Kautz; Hans-Peter Seidel. - In: Proceedings of 2000 SIGGRAPH/
Eurographics Workshop on Graphics Hardware / Ed.: Spencer, Stephen N. - New
York : ACM Press, 2000, S. 51-58
- A Unified Approach to Prefiltered Environment Maps / von Jan Kautz; Pere-
Pau Vázquez; Wolfgang Heidrich; Hans-Peter Seidel. - In: Rendering Techniques
2000, Proc. 11th Eurographics Workshop on Rendering / Ed.: Péroche, Bernard ..
- Wien : Springer, 2000, S. 185-196 www. - (Springer Computer Science)
- Using an Enhanced LBG Algorithm to Reduce the Codebook Error in Vector
Quantization / von Jörg Haber; Hans-Peter Seidel. - In: Proceedings of
Computer Graphics Int. 2000 (CGI-00). - Los Alamitos : IEEE Computer Society,
2000, S. 99-104
- Walkthroughs with Corrective Texturing / von Marc Stamminger; Jörg Haber;
Hartmut Schirmacher; Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc.
11th Eurographics Workshop on Rendering / Ed.: Peroche, Bernard .. - Wien :
Springer, 2000, S. 377-388;422
Seiden, Steve S.
- Online randomized multiprocessor scheduling. - In: Algorithmica, 28
(2000), S. 173-216
Sibeyn, Jop F.
- A Bandwidth Latency Tradeoff for Broadcast and Reduction / von Peter
Sanders; Jop F. Sibeyn. - In: Euro-Par 2000 Parallel Processing, Proc. 6th
Int. Euro-Par Conf. (Euro-Par-00) / Ed.: Bode, Arndt .. - Berlin : Springer,
2000, S. 918-926. - (Lect. Notes Comput. Sci. ; 1900)
- A powerful heuristic for telephone gossiping / von Rene Beier; Jop F.
Sibeyn. - In: Proc. 7th Int. Colloquium on Structural Information and
Communication Complexity (SIROCCO-00) / Ed.: Flammini, Michele .. - Waterloo :
Carleton Scientific, 2000, S. 17-36. - (Proceedings in Informatics ; 7)
- A Powerful Heuristic for Telephone Gossiping / von Rene Beier; Jop F.
Sibeyn. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 23 S. -
(Research Report ; MPI-I-2000-1-002)
- Solving fundamental problems on sparse-meshes. - In: IEEE Transactions on
Parallel & Distributed Systems, 11 (2000), S. 1324-1332
Smid, Michiel
- Eigene_Liste: http://isgwww.cs.uni- magdeburg.de/~michiel/
research.html
Sofronie-Stokkermans, Viorica
- Chaining Techniques for Automated Theorem Proving in Many-Valued Logics /
von Harald Ganzinger; Viorica Sofronie-Stokkermans. - In: Proc. 30th IEEE Int.
Symp. on Multiple-Valued Logic (ISMVL-00). - Los Alamitos : IEEE Computer
Society, 2000, S. 337-344
- Duality and Canonical Extensions of Bounded Distributive Lattices with
Operators and Applications to the Semantics of Non-Classical Logics. Part I. -
In: Studia Logica, 64 (2000), S. 93-132
- Duality and Canonical Extensions of Bounded Distributive Lattices with
Operators and Applications to the Semantics of Non-Classical Logics. Part II. -
In: Studia Logica, 64 (2000), S. 151-172
- On unification for bounded distributive lattices. - In: Proc. 17th Int.
Conf. on Automated Deduction (CADE-17) / Ed.: McAllester, David. - Berlin :
Springer, 2000, S. 465-481. - (Lect. Notes Artif. Intell. ; 1831)
- Priestley Duality for SHn-algebras and Applications to the Study of Kripke-
style Models for SHn-logics. - In: Multiple-Valued Logic - An International
Journal, 5 (2000), S. 281-305
- Resolution-based theorem proving for SHn-logics. - In: Automated Deduction
in Classical and Non-Classical Logic (Selected papers of FTP'1998) / Ed.:
Caferra, Ricardo .. - Berlin : Springer, 2000, S. 268-282. - (Lect. Notes
Artif. Intell. ; 1761)
- SHn-algebras (Symmetric Heyting algebras of order n) / von Luisa Iturrioz;
Viorica Sofronie-Stokkermans. - In: COST Action 15 (Many-Valued Logics for
Computer Science Applications) ATLAS of Many-Valued Structures / Ed.:
Iturrioz, Luisa .. - Tampere : Tampere University of Technology (Mathematics),
2000, S. 1-11. - (Department of Information Technology. Mathematics Report)
- Some properties of Kleene algebras. - In: COST Action 15 (Many-Valued
Logics for Computer Science Applications) ATLAS of Many-Valued Structures /
Ed.: Iturrioz, Luisa .. - Tampere : Tampere University of Technology
(Mathematics), 2000, S. 1-7. - (Department of Information Technology.
Mathematics Report)
Soler, Cyril
- Hierarchical Instantiation for Radiosity / von Cyril Soler; François
Sillion. - In: Rendering Techniques 2000, Proc. 11th Eurographics Workshop on
Rendering / Ed.: Péroche, Bernard .. - Wien : Springer, 2000, S. 173-184. -
(Springer Computer Science)
Solis-Oba, Roberto
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~solis/
- Linear time approximation schemes for shop scheduling problems / von Klaus
Jansen; Roberto Solis-Oba; Maxim Sviridenko. - In: Approximation and
complexity in numerical optimization / Ed.: Pardalos, Panos M. - Dordrecht :
Kluwer Academic Publisher, 2000, S. 338-346. - (Nonconvex optimization and its
applications ; 42)
Srinivasan, Aravind
- Contention resolution with constant expected delay / von Leslie Ann
Goldberg; Philip D. MacKenzie; Mike Paterson; Aravind Srinivasan. - In:
Journal of the ACM, 42 (2000), S. 1048-1096
Stamminger, Marc
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~mcstammi/
- Customized Object Hierarchies / von Jörg Haber; Marc Stamminger; Hans-
Peter Seidel. - In: Proceedings of Vision, Modeling, and Visualization (VMV-
00) / Ed.: Girod, Bernd .. - Berlin : Akademische Verlagsgesellschaft Aka,
2000, S. 255-262
- Efficient Glossy Global Illumination with Interactive Viewing / von Marc
Stamminger; Annette Scheel; Xavier Granier; Frederic Perez-Cazorla; George
Drettakis; Francois Sillion. - In: Computer Graphics Forum, 19 (2000), S. 13-
26
- Enhanced Automatic Creation of Multi-Purpose Object Hierarchies / von Jörg
Haber; Marc Stamminger; Hans-Peter Seidel. - In: Proc. 8th Pacific Conf. on
Computer Graphics and Applications (PG-00) / Ed.: Barsky, Brian A. .. - Los
Alamitos : IEEE Computer Society, 2000, S. 52-61;437
- Hierarchical Radiosity with Global Refinement / von Marc Stamminger;
Annette Scheel; Hans-Peter Seidel. - In: Proceedings of Vision, Modeling, and
Visualization (VMV-00) / Ed.: Girod, Bernd .. - Berlin : Akademische
Verlagsgesellschaft Aka, 2000, S. 263-270
- Models for Illumination and Reflection / von Wolfgang Heidrich; Peter
Eisert; Marc Stamminger; Annette Scheel. - In: Principles of 3D Image Analysis
and Synthesis / Ed.: Girod, Bernd .. - Boston : Kluwer Academic Publishers,
2000, S. 204-213
- Tone Reproduction for Interactive Walkthroughs / von Annette Scheel; Marc
Stamminger; Hans-Peter Seidel. - In: Proc. European Association for Computer
Graphics 21st Annual Conf. (Eurographics-00) / Ed.: Gross, Markus .. - Oxford
: Blackwell, 2000, C301-C311. - (Computer Graphics Forum ; 19)
- Walkthroughs with Corrective Texturing / von Marc Stamminger; Jörg Haber;
Hartmut Schirmacher; Hans-Peter Seidel. - In: Rendering Techniques 2000, Proc.
11th Eurographics Workshop on Rendering / Ed.: Peroche, Bernard .. - Wien :
Springer, 2000, S. 377-388;422
Struth, Georg
- Eigene_Liste: http://www.informatik.uni-freiburg.de/
~struth/publications.html
- On the Word Problem for Free Lattices. - In: Proc. 8th Int. Conf. on
Rewriting Techniques and Applications (RTA-97) / Ed.: Comon, Hubert. - Berlin
: Springer, 1997, S. 128-141. - (Lect. Notes Comput. Sci. ; 1103)
Stuber, Jürgen
- Eigene_Liste: http://www.loria.fr/~stuber/publications/
index.html
Subramanian, C. R.
- Algorithms for Colouring Random k-colourable Graphs. - In: Combinatorics,
Probability and Computing, 9 (2000), S. 45-77
Talbot, Jean-Marc
- Eigene_Liste:
http://www.mpi-sb.mpg.de/~talbot/publications.html
- The exists forall 2 fragment of the First-Order Theory of Set Constraints
is pi 01-hard. - In: Information Processing Letters, 74 (2000), S. 27-33
- On the Alternation-free Horn Mu-calculus. - In: Proc. 7th Int. Conf. on
Logic for Programming and Automated Reasoning / Ed.: Parigot, Michel .. -
Berlin : Springer, 2000, S. 418-435. - (Lect. Notes Artif. Intell. ; 1955)
- Paths vs. Trees in Set-based Program Analysis / von Witold Charatonik;
Andreas Podelski; Jean-Marc Talbot. - In: Proc. 27th ACM SIGPLAN-SIGACT Symp.
on Principles of Programming Languages (POPL-00). - New York : ACM Press,
2000, S. 330-337
Tawara, Takehiro
- Perception-Based Fast Rendering and Antialiasing of Walkthrough Sequences /
von Karol Myszkowski; Przemyslaw Rokita; Takehiro Tawara. - In: IEEE
Transactions on Visualization and Computer Graphics, 6 (2000), S. 360-379
Thiel, Sven
- Faster Algorithms for Bound-Consistency of the Sortedness and the
Alldifferent Constraint / von Kurt Mehlhorn; Sven Thiel. - In: Principles and
Practice of Constraint Programming, Proc. 6th Int. Conf. (CP-00) / Ed.:
Dechter, Rina. - Berlin : Springer, 2000, S. 306-319. - (Lect. Notes Comput.
Sci. ; 1894)
Thorup, Mikkel
- Floats, Integers, and Single Source Shortest Paths. - In: Journal of
Algorithms, 35 (2000), S. 189 -201
Träff, Jesper Larsson
- Eigene_Liste:
http://www.ccrl-nece.technopark.gmd.de/~traff/
- A simple parallel algorithm for the single-source shortest path problem on
planar digraphs / von Jesper Larsson Träff; Christos D. Zaroliagis. - In:
Journal of Parallel and Distributed Computing, 60 (2000), S. 1103-1124
van der Torre, Leendert W. N.
- Input-output logics / von David Makinson; Leendert W. N. van der Torre. -
In: Journal of Philosophical Logic, 29 (2000), S. 383-408
Veanes, Margus
- Decidability and Complexity of Simultaneous Rigid E-unification with One
Variable and Related Results / von Anatoli Degtyarev; Yuri Gurevich; Paliath
Narendran; Margus Veanes; Andrei Voronkov. - In: Theoretical Computer Science,
243 (2000), S. 167-184
- Farmer's Theorem Revisited. - In: Information Processing Letters, 74
(2000), S. 47-53
- On the Undecidability of Second-Order Unification / von Jordi Levy; Margus
Veanes. - In: Information and Computation, 159 (2000), S. 125-150
Veltkamp, Remco C.
- A New Visibility Partition for Affine Pattern Matching / von Michiel
Hagedoorn; Mark Overmars; Remco C. Veltkamp. - In: Discrete Geometry for
Computer Imagery, Proc. 9th Int. Conf. (DGCI-00) / Ed.: Borgefors, G .. -
Berlin : Springer, 2000, S. 358-370. - (Lect. Notes Comput. Sci. ; 1953)
Viganò, Luca
- Eigene_Liste: http://www.informatik.uni- freiburg.de/~luca/publications/
Vöcking, Berthold
- Improved Routing and Sorting on Multibutterflies / von Bruce M. Maggs;
Berthold Vöcking. - In: Algorithmica, 28 (2000), S. 438-464
Vorsatz, Jens
- Eigene_Liste: http://data.mpi-sb.mpg.de/intranet/ag4/
ag4publ.nsf/ListPublications
- Geometric Modeling Based on Polygonal Meshes / von Leif Kobbelt; Stephan
Bischoff; Kolja Kähler; Robert Schneider; Mario Botsch; Christian Rössl; Jens
Vorsatz. - Saarbrücken : Max-Planck-Institut für Informatik, 2000, 52 S. -
(Research Report ; MPI-I-2000-4-002)
Wahl, Michaela
- Online scheduling revisited / von Rudolf Fleischer; Michaela Wahl. - In:
Algorithms - ESA 2000, Proc. 8th Annual European Symp. (ESA-00) /Ed.:
Paterson, Mike. - Berlin : Springer, 2000, S. 202-210. - (Lect. Notes Comput.
Sci. ; 1879)
Weidenbach, Christoph
- Eigene_Liste: http://www.mpi-sb.mpg.de/~weidenb/
publications.html
Weydert, Emil
- How to revise ranked probabilities. - In: Proc. 14th European Conf. on
Artificial Intelligence (ECAI-00) / Ed.: Horn, Werner. - Amsterdam : IOS
Press, 2000, S. 38-42. - (Frontiers in Artificial Intelligence and
Applications ; 54)
- Rankings in flux. - In: Proc. 3rd Int. Conf. on Formal and Applied
Practical Reasoning (FAPR-00) / Ed.: Cunningham, Jim .. - London : Imperial
College Department of Computing, 2000, S. 37-48
Wu, Jinzhao
- First-Order Polynomial based Theorem Proving. - In: Mathematics
Mechanizations and Applications / Ed.: Gao, X-S. .. - San Diego : Academic
Press, 2000, S. 273-294
- On Theorem proving in Annotated Logics / von Mi Lu; Jinzhao Wu. - In:
Journal of Applied Non-Classical Logics, 10 (2000), S. 121-143
Yamauchi, Hitoshi
- Developing a practical parallel multi-pass renderer in Java and C++:
toward a Grande application in Java / von Hitoshi Yamauchi; Atusi Maeda;
Hiroaki Kobayashi. - In: Proc. ACM 2000 Java Grande Conf. (JAVA-00). - New
York : ACM Press, 2000, S. 126-133
- Java in the Real World - Java ha dokomade tukaeru gengoka / von Hitoshi
Yamauchi; Atusi Maeda. - In: Dai 41 kai puroguramingu sinpojiumu / Ed.: Ogawa,
Takahide. - Tokyo : Information Processing Society of Japan, 2000, S. 97-108
Zaroliagis, Christos
- Eigene_Liste: http://www.ceid.upatras.gr/faculty/zaro/sel-pub.html
Zaroliagis, Christos D.
- Computing mimicking networks / von Shiva Chaudhuri; K. V. Subrahmanyam; F.
Wagner; Christos D. Zaroliagis. - In: Algorithmica, 26 (2000), S. 31-49
- Improved algorithms for dynamic shortest paths / von H. N. Djidjev; G. E.
Pantziou; Christos D. Zaroliagis. - In: Algorithmica, 28 (2000), S. 367-389
- Shortest paths in digraphs of small treewidth. Part I, Sequential
algorithms / von Shiva Chaudhuri; Christos D. Zaroliagis. - In: Algorithmica,
27 (2000), S. 212-226
- A simple parallel algorithm for the single-source shortest path problem on
planar digraphs / von Jesper Larsson Träff; Christos D. Zaroliagis. - In:
Journal of Parallel and Distributed Computing, 60 (2000), S. 1103-1124
Zeilfelder, Frank
- Cubic Spline Interpolation on Nested Polygon Triangulations / von Oleg
Davydov; Günther Nürnberger; Frank Zeilfelder. - In: Curve and Surface
Fitting, Saint-Malo 1999 / Ed.: Cohen, Albert .. - Nashville : Vanderbilt
University Press, 2000, S. 161-170. - (Innovations in Applied Mathematics)
- Developments in bivariate spline interpolation / von Günther Nürnberger;
Frank Zeilfelder. - In: Journal of Computational and Applied mathematics, 120
(2000), S. 125-152
- Interpolation by spline spaces on classes of triangulations / von Günther
Nürnberger; Frank Zeilfelder. - In: Journal of Computational and Applied
Mathematics, 119 (2000), S. 347-376
Ziegelmann, Mark
- Eigene_Liste: http://www.mpi-
sb.mpg.de/~mark/
- Resource Constrained Shortest Paths / von Kurt Mehlhorn; Mark Ziegelmann. -
In: Algorithms - ESA 2000, Proc. 8th Annual European Symp. (ESA-00) / Ed.:
Paterson, Mike. - Berlin : Springer, 2000, S. 326-337. - (Lect. Notes Comput.
Sci. ; 1879)
Ziegler, Thomas
- Eigene_Liste: http://www.mpi-sb.mpg.de/~tziegler/
publications.html
- The Constrained Crossing Minimization Problem / von Petra Mutzel; Thomas
Ziegler. - In: Graph Drawing, Proc. 7th Int. Symp. (GD-99) / Ed.: Kratochvil,
Jan. - Berlin : Springer, 2000, S. 175-185. - (Lect. Notes Comput. Sci. ;
1731)
Zimmer, Anja
- Protonation Products of Pentaaminopentane as Novel Building Blocks for
Hydrogen Bonded Networks : Linear Primary Polyamines as Building Blocks for
Coordination Polymers. Part 2 / von Guido Reiss; Anja Zimmer; Kaspar
Hegetschweiler. - In: Acta Crystallogr. Section C, C56 (2000), S. 284-288
| Bearbeitung: 07.06.01 | Dr. Wolfgang Kowalk | w.kowalk@sulb.uni-saarland.de
| UniHome
| SulbHome |