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
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.
2000 | Conference Paper | LibreCat-ID: 39434
Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
2000 | Conference Paper | LibreCat-ID: 39444
Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
LibreCat
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
2000 | Conference Paper | LibreCat-ID: 39461
Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat
S. Flake, W. Müller, J. Ruf, (2000).
2000 | Journal Article | LibreCat-ID: 38393
Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals
S. Hinz, D. Sandel, R. Noé, F. Wust, ELECTRONICS LETTERS 36 (2000) 1402–1403.
LibreCat
| DOI
S. Hinz, D. Sandel, R. Noé, F. Wust, ELECTRONICS LETTERS 36 (2000) 1402–1403.
2000 | Conference Paper | LibreCat-ID: 39435
A Visual Framework for the Scripting of Parallel Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
LibreCat
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
2000 | Conference Paper | LibreCat-ID: 39439
A Methodology for the Protocol-Centered Design of Agent-Based Systems
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
2000 | Conference Paper | LibreCat-ID: 39442
Morphic Nets: Model Based Design Diagrams
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
LibreCat
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
2000 | Conference Paper | LibreCat-ID: 39464
An Advanced Visual Capture for Model Checking Specifications
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
LibreCat
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
2000 | Conference Paper | LibreCat-ID: 40908
MAP decoding of linear block codes based on a sectionalized trellis of the dual code
P.J. Schreier, D.J. Costello, Jr., in: Proc.\ Int.\ Zurich Seminar Broadband Comm., 2000, pp. 271–278.
LibreCat
| DOI
P.J. Schreier, D.J. Costello, Jr., in: Proc.\ Int.\ Zurich Seminar Broadband Comm., 2000, pp. 271–278.
2000 | Conference Paper | LibreCat-ID: 40172
Short-time estimates for heat kernels associated with root systems
M. Rösler, in: Special Functions (HongKong 1999), World Scientific, 2000, pp. 309–323.
LibreCat
| DOI
M. Rösler, in: Special Functions (HongKong 1999), World Scientific, 2000, pp. 309–323.
2000 | Journal Article | LibreCat-ID: 34900
Galois Group Computation for Rational Polynomials
K. Geissler, J. Klüners, Journal of Symbolic Computation 30 (2000) 653–674.
LibreCat
| DOI
K. Geissler, J. Klüners, Journal of Symbolic Computation 30 (2000) 653–674.
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.
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.