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.” 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
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In 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, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. https://doi.org/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}.” In 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, Andy Galloway, and Kenji Taguchi, 315--334, 1999.
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
Flammini, Michele, and Christian Scheideler. “Simple, Efficient Routing Schemes for All-Optical Networks.” Theory Comput. Syst. 32, no. 3 (1999): 387--420. https://doi.org/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.” In SODA, 112--121, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
Berenbrink, Petra, Marco Riedel, and Christian Scheideler. “Simple Competitive Request Scheduling Strategies.” In SPAA, 33--42, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
Fischer, Matthias, Tamas Lukovszki, and Martin Ziegler. “Partitioned Neighborhood Spanners of Minimal Outdegree.” In Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver, 1999.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
Sohler, Christian. “Fast Reconstruction of Delaunay Triangulations.” In Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99), 136–41, 1999.
LibreCat