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.
10426 Publications
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
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
1999 | Conference Paper | LibreCat-ID: 2164 | 
Berenbrink, Petra, and Christian Scheideler. “Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths.” SODA, 1999, pp. 112--121.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
Berenbrink, Petra, et al. “Simple Competitive Request Scheduling Strategies.” SPAA, 1999, pp. 33--42.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
Fischer, Matthias, et al. “Partitioned Neighborhood Spanners of Minimal Outdegree.” Proceedings of the 11th Canadian Conference on Computational Geometry, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
Sohler, Christian. “Fast Reconstruction of Delaunay Triangulations.” Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 1999, pp. 136–41.
LibreCat