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