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
Rösler M. One-parameter semigroups related to abstract quantum models of Calogero type. In: Infinite Dimensional Harmonic Analysis (Kyoto 1999). Gräbner-Verlag; 2000:290-305.
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
Scheideler C. Probabilistic Methods for Coordination Problems.; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 38393
Hinz S, Sandel D, Noé R, Wust F. Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals. ELECTRONICS LETTERS. 2000;36(16):1402-1403. doi:10.1049/el:20001002
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39435
Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: Proceedings of the IEEE Symposium on Visual Languages. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 40908
Schreier PJ, Costello, Jr. DJ. MAP decoding of linear block codes based on a sectionalized trellis of the dual code. In: Proc.\ Int.\ Zurich Seminar Broadband Comm. ; 2000:271–278. doi:10.1109/IZSBC.2000.829262
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 40172
Rösler M. Short-time estimates for heat kernels associated with root systems. In: Special Functions (HongKong 1999). World Scientific; 2000:309-323. doi:10.1142/9789812792303_0024
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34900
Geissler K, Klüners J. Galois Group Computation for Rational Polynomials. Journal of Symbolic Computation. 2000;30(6):653-674. doi:10.1006/jsco.2000.0377
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34901
Acciaro V, Klüners J. Computing Local Artin Maps, and Solvability of Norm Equations. Journal of Symbolic Computation. 2000;30(3):239-252. doi:10.1006/jsco.2000.0361
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34899
Klüners J, Malle G. Explicit Galois Realization of Transitive Groups of Degree up to 15. Journal of Symbolic Computation. 2000;30(6):675-716. doi:10.1006/jsco.2000.0378
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34898
Klüners J. A Polynomial with Galois GroupSL2(11). Journal of Symbolic Computation. 2000;30(6):733-737. doi:10.1006/jsco.2000.0380
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39884
Hilleringmann U, Vieregge T, Horstmann J. Nanometer Scale Lateral Structures of MOS Type Layers. In: Proceedings Micro. Tec. ; 2000:49–53.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden O, Juurlink B, Von Otte I, Rieping I. 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:99-104. doi:10.1109/ipps.1999.760442
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning H, Lettmann T. Resolution remains hard under equivalence. Discrete Applied Mathematics. 1999:139-148. doi:10.1016/s0166-218x(99)00055-4
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
Wehrheim H. Partial order reductions for failures refinement. Electr Notes Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8
LibreCat
| DOI