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, Margit. “One-Parameter Semigroups Related to Abstract Quantum Models of Calogero Type.” In Infinite Dimensional Harmonic Analysis (Kyoto 1999), 290–305. Gräbner-Verlag, 2000.
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
Scheideler, Christian. Probabilistic Methods for Coordination Problems, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 38393
Hinz, S, D Sandel, Reinhold Noé, and F Wust. “Optical NRZ 2 x 10Gbit/s Polarisation Division Multiplex Transmission with Endless Polarisation Control Driven by Correlation Signals.” ELECTRONICS LETTERS 36, no. 16 (2000): 1402–3. https://doi.org/10.1049/el:20001002.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In Proceedings of the IEEE Symposium on Visual Languages. Seattle, Washington, USA, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In Proceedings of IECON 2000. Nagoya, Japan, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In Proceedings of UKPEW 2000. Durham, UK, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 40908
Schreier, Peter J., and Daniel 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., 271–278, 2000. https://doi.org/10.1109/IZSBC.2000.829262.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 40172
Rösler, Margit. “Short-Time Estimates for Heat Kernels Associated with Root Systems.” In Special Functions (HongKong 1999), 309–23. World Scientific, 2000. https://doi.org/10.1142/9789812792303_0024.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34900
Geissler, Katharina, and Jürgen Klüners. “Galois Group Computation for Rational Polynomials.” Journal of Symbolic Computation 30, no. 6 (2000): 653–74. https://doi.org/10.1006/jsco.2000.0377.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34901
Acciaro, Vincenzo, and Jürgen Klüners. “Computing Local Artin Maps, and Solvability of Norm Equations.” Journal of Symbolic Computation 30, no. 3 (2000): 239–52. https://doi.org/10.1006/jsco.2000.0361.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34899
Klüners, Jürgen, and Gunter Malle. “Explicit Galois Realization of Transitive Groups of Degree up to 15.” Journal of Symbolic Computation 30, no. 6 (2000): 675–716. https://doi.org/10.1006/jsco.2000.0378.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34898
Klüners, Jürgen. “A Polynomial with Galois GroupSL2(11).” Journal of Symbolic Computation 30, no. 6 (2000): 733–37. https://doi.org/10.1006/jsco.2000.0380.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39884
Hilleringmann, Ulrich, T Vieregge, and JT Horstmann. “Nanometer Scale Lateral Structures of MOS Type Layers.” In Proceedings Micro. Tec, 49–53, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden, Olaf, Bernhardus Juurlink, I. Von Otte, and Ingo 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, 99–104, 1999. https://doi.org/10.1109/ipps.1999.760442.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, Hans, and Theodor Lettmann. “Resolution Remains Hard under Equivalence.” Discrete Applied Mathematics, 1999, 139–48. https://doi.org/10.1016/s0166-218x(99)00055-4.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.
LibreCat
| DOI