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.
9935 Publications
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 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.” Proc.\ Int.\ Zurich Seminar Broadband Comm., 2000, pp. 271–278, doi: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.” Special Functions (HongKong 1999), World Scientific, 2000, pp. 309–23, doi: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, vol. 30, no. 6, Elsevier BV, 2000, pp. 653–74, doi: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, vol. 30, no. 3, Elsevier BV, 2000, pp. 239–52, doi: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, vol. 30, no. 6, Elsevier BV, 2000, pp. 675–716, doi: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, vol. 30, no. 6, Elsevier BV, 2000, pp. 733–37, doi:10.1006/jsco.2000.0380.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39884
Hilleringmann, Ulrich, et al. “Nanometer Scale Lateral Structures of MOS Type Layers.” Proceedings Micro. Tec, 2000, pp. 49–53.
LibreCat
2000 | Conference Paper | LibreCat-ID: 47614
Jonas-Ahrend, Gabriela, and Joseph Krajcik. Kurze Wege Für Neue Ideen. 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 51419
Hilgert, Joachim, and W. Bertram. “Geometric Hardy and Bergman Spaces.” Michigan Math. J., vol. 47, 2000, pp. 235–63.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 51592
Hilgert, Joachim, et al., editors. Lie Theory and Its Applcations in Physics III. World Scientific, 2000.
LibreCat
2000 | Patent | LibreCat-ID: 53588
Dangberg, Andreas, and Wolfgang Müller. Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 40652
Rösler, Margit. “One-Parameter Semigroups Related to Abstract Quantum Models of Calogero Type.” Infinite Dimensional Harmonic Analysis (Kyoto 1999), Gräbner-Verlag, 2000, pp. 290–305.
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
Scheideler, Christian. Probabilistic Methods for Coordination Problems. 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden, Olaf, et al. “The Paderborn University BSP (PUB) Library-Design, Implementation and Performance.” 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
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, Hans, and Theodor Lettmann. “Resolution Remains Hard under Equivalence.” Discrete Applied Mathematics, 1999, pp. 139–48, doi: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, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3254
Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
Flammini, Michele, and Christian Scheideler. “Simple, Efficient Routing Schemes for All-Optical Networks.” Theory Comput. Syst., vol. 32, no. 3, 1999, pp. 387--420, doi:10.1007/s002240000123.
LibreCat
| DOI