Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9931 Publications
2000 | Journal Article | LibreCat-ID: 34901
Computing Local Artin Maps, and Solvability of Norm Equations
V. Acciaro, J. Klüners, Journal of Symbolic Computation 30 (2000) 239–252.
LibreCat
| DOI
V. Acciaro, J. Klüners, Journal of Symbolic Computation 30 (2000) 239–252.
2000 | Journal Article | LibreCat-ID: 34899
Explicit Galois Realization of Transitive Groups of Degree up to 15
J. Klüners, G. Malle, Journal of Symbolic Computation 30 (2000) 675–716.
LibreCat
| DOI
J. Klüners, G. Malle, Journal of Symbolic Computation 30 (2000) 675–716.
2000 | Journal Article | LibreCat-ID: 34898
A Polynomial with Galois GroupSL2(11)
J. Klüners, Journal of Symbolic Computation 30 (2000) 733–737.
LibreCat
| DOI
J. Klüners, Journal of Symbolic Computation 30 (2000) 733–737.
2000 | Conference Paper | LibreCat-ID: 39884
Nanometer Scale Lateral Structures of MOS Type Layers
U. Hilleringmann, T. Vieregge, J. Horstmann, in: Proceedings Micro. Tec, 2000, pp. 49–53.
LibreCat
U. Hilleringmann, T. Vieregge, J. Horstmann, in: Proceedings Micro. Tec, 2000, pp. 49–53.
2000 | Conference Paper | LibreCat-ID: 47614
Kurze Wege für neue Ideen
G. Jonas-Ahrend, J. Krajcik, in: 2000.
LibreCat
G. Jonas-Ahrend, J. Krajcik, in: 2000.
2000 | Journal Article | LibreCat-ID: 51419
Geometric Hardy and Bergman Spaces
J. Hilgert, W. Bertram, Michigan Math. J. 47 (2000) 235–263.
LibreCat
J. Hilgert, W. Bertram, Michigan Math. J. 47 (2000) 235–263.
2000 | Book (Editor) | LibreCat-ID: 51592
Lie Theory and its Applcations in Physics III
J. Hilgert, H.-D. Doebner, V.K. Dobrev, eds., Lie Theory and Its Applcations in Physics III, World Scientific, 2000.
LibreCat
J. Hilgert, H.-D. Doebner, V.K. Dobrev, eds., Lie Theory and Its Applcations in Physics III, World Scientific, 2000.
2000 | Patent | LibreCat-ID: 53588
Verfahren zur Steuerung der Anordnung von graphischen Elementen
A. Dangberg, W. Müller, (2000).
LibreCat
A. Dangberg, W. Müller, (2000).
2000 | Conference Paper | LibreCat-ID: 40652
One-parameter semigroups related to abstract quantum models of Calogero type
M. Rösler, in: Infinite Dimensional Harmonic Analysis (Kyoto 1999), Gräbner-Verlag, 2000, pp. 290–305.
LibreCat
M. Rösler, in: Infinite Dimensional Harmonic Analysis (Kyoto 1999), Gräbner-Verlag, 2000, pp. 290–305.
2000 | Habilitation | LibreCat-ID: 19784
Probabilistic Methods for Coordination Problems
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
LibreCat
C. Scheideler, Probabilistic Methods for Coordination Problems, 2000.
1999 | Conference Paper | LibreCat-ID: 19732
The Paderborn university BSP (PUB) library-design, implementation and performance
O. Bonorden, B. Juurlink, I. Von Otte, I. Rieping, in: Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104.
LibreCat
| DOI
O. Bonorden, B. Juurlink, I. Von Otte, I. Rieping, in: Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104.
1999 | Journal Article | LibreCat-ID: 19815
Resolution remains hard under equivalence
H. Kleine Büning, T. Lettmann, Discrete Applied Mathematics (1999) 139–148.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, Discrete Applied Mathematics (1999) 139–148.
1999 | Journal Article | LibreCat-ID: 3252
Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat
| DOI
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
1999 | Conference Paper | LibreCat-ID: 3253
Data Abstraction for {CSP-OZ}
H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.
LibreCat
| DOI
H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.
1999 | Conference Paper | LibreCat-ID: 3254
Model-Checking {CSP-OZ} Specifications with {FDR}
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
LibreCat
C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.
1999 | Journal Article | LibreCat-ID: 2151
Simple, Efficient Routing Schemes for All-Optical Networks
M. Flammini, C. Scheideler, Theory Comput. Syst. 32 (1999) 387--420.
LibreCat
| DOI
M. Flammini, C. Scheideler, Theory Comput. Syst. 32 (1999) 387--420.
1999 | Conference Paper | LibreCat-ID: 2164 | 
Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths
P. Berenbrink, C. Scheideler, in: SODA, 1999, pp. 112--121.
LibreCat
| Files available
P. Berenbrink, C. Scheideler, in: SODA, 1999, pp. 112--121.
1999 | Conference Paper | LibreCat-ID: 2165 |
Simple Competitive Request Scheduling Strategies
P. Berenbrink, M. Riedel, C. Scheideler, in: SPAA, 1999, pp. 33--42.
LibreCat
| Files available
P. Berenbrink, M. Riedel, C. Scheideler, in: SPAA, 1999, pp. 33--42.
1999 | Conference Paper | LibreCat-ID: 17864
Partitioned neighborhood spanners of minimal outdegree
M. Fischer, T. Lukovszki, M. Ziegler, in: Proceedings of the 11th Canadian Conference on Computational Geometry, Vancouver, 1999.
LibreCat
| Files available
M. Fischer, T. Lukovszki, M. Ziegler, in: Proceedings of the 11th Canadian Conference on Computational Geometry, Vancouver, 1999.
1999 | Conference Paper | LibreCat-ID: 18747
Fast Reconstruction of Delaunay Triangulations
C. Sohler, in: Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 1999, pp. 136–141.
LibreCat
C. Sohler, in: Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 1999, pp. 136–141.