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.
10473 Publications
2000 | Conference Paper | LibreCat-ID: 40652
M. Rösler, “One-parameter semigroups related to abstract quantum models of Calogero type,” in Infinite dimensional harmonic analysis (Kyoto 1999), 2000, pp. 290–305.
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
C. Scheideler, Probabilistic Methods for Coordination Problems. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 38393
S. Hinz, D. Sandel, R. Noé, and F. Wust, “Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals,” ELECTRONICS LETTERS, vol. 36, no. 16, pp. 1402–1403, 2000, doi: 10.1049/el:20001002.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39435
W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 40908
P. J. Schreier and D. J. Costello, Jr., “MAP decoding of linear block codes based on a sectionalized trellis of the dual code,” in Proc.\ Int.\ Zurich Seminar Broadband Comm., 2000, pp. 271–278, doi: 10.1109/IZSBC.2000.829262.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 40172
M. Rösler, “Short-time estimates for heat kernels associated with root systems,” in Special Functions (HongKong 1999), 2000, pp. 309–323, doi: 10.1142/9789812792303_0024.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34900
K. Geissler and J. Klüners, “Galois Group Computation for Rational Polynomials,” Journal of Symbolic Computation, vol. 30, no. 6, pp. 653–674, 2000, doi: 10.1006/jsco.2000.0377.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34901
V. Acciaro and J. Klüners, “Computing Local Artin Maps, and Solvability of Norm Equations,” Journal of Symbolic Computation, vol. 30, no. 3, pp. 239–252, 2000, doi: 10.1006/jsco.2000.0361.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34899
J. Klüners and G. Malle, “Explicit Galois Realization of Transitive Groups of Degree up to 15,” Journal of Symbolic Computation, vol. 30, no. 6, pp. 675–716, 2000, doi: 10.1006/jsco.2000.0378.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34898
J. Klüners, “A Polynomial with Galois GroupSL2(11),” Journal of Symbolic Computation, vol. 30, no. 6, pp. 733–737, 2000, doi: 10.1006/jsco.2000.0380.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39884
U. Hilleringmann, T. Vieregge, and J. Horstmann, “Nanometer Scale Lateral Structures of MOS Type Layers,” in Proceedings Micro. tec, 2000, pp. 49–53.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
O. Bonorden, B. Juurlink, I. Von Otte, and I. Rieping, “The Paderborn university BSP (PUB) library-design, implementation and performance,” in Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104, doi: 10.1109/ipps.1999.760442.
LibreCat
| DOI