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.
10471 Publications
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, et al. Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., et al. Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, et al. Structured English for Model Checking Specification. 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 38393
Hinz, S., et al. “Optical NRZ 2 x 10Gbit/s Polarisation Division Multiplex Transmission with Endless Polarisation Control Driven by Correlation Signals.” ELECTRONICS LETTERS, vol. 36, no. 16, 2000, pp. 1402–03, doi:10.1049/el:20001002.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” Proceedings of the IEEE Symposium on Visual Languages, 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.” Proceedings of IECON 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” Proceedings of UKPEW 2000, 2000.
LibreCat
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
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