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
@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 40908
@inproceedings{Schreier_Costello, Jr._2000, title={MAP decoding of linear block codes based on a sectionalized trellis of the dual code}, DOI={10.1109/IZSBC.2000.829262}, booktitle={Proc.\ Int.\ Zurich Seminar Broadband Comm.}, author={Schreier, Peter J. and Costello, Jr., Daniel J.}, year={2000}, pages={271–278} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 40172
@inproceedings{Rösler_2000, title={Short-time estimates for heat kernels associated with root systems}, DOI={10.1142/9789812792303_0024}, booktitle={Special Functions (HongKong 1999)}, publisher={World Scientific}, author={Rösler, Margit}, year={2000}, pages={309–323} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34900
@article{Geissler_Klüners_2000, title={Galois Group Computation for Rational Polynomials}, volume={30}, DOI={10.1006/jsco.2000.0377}, number={6}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Geissler, Katharina and Klüners, Jürgen}, year={2000}, pages={653–674} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34901
@article{Acciaro_Klüners_2000, title={Computing Local Artin Maps, and Solvability of Norm Equations}, volume={30}, DOI={10.1006/jsco.2000.0361}, number={3}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Acciaro, Vincenzo and Klüners, Jürgen}, year={2000}, pages={239–252} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34899
@article{Klüners_Malle_2000, title={Explicit Galois Realization of Transitive Groups of Degree up to 15}, volume={30}, DOI={10.1006/jsco.2000.0378}, number={6}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Klüners, Jürgen and Malle, Gunter}, year={2000}, pages={675–716} }
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 34898
@article{Klüners_2000, title={A Polynomial with Galois GroupSL2(11)}, volume={30}, DOI={10.1006/jsco.2000.0380}, number={6}, journal={Journal of Symbolic Computation}, publisher={Elsevier BV}, author={Klüners, Jürgen}, year={2000}, pages={733–737} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39884
@inproceedings{Hilleringmann_Vieregge_Horstmann_2000, title={Nanometer Scale Lateral Structures of MOS Type Layers}, booktitle={Proceedings Micro. tec}, author={Hilleringmann, Ulrich and Vieregge, T and Horstmann, JT}, year={2000}, pages={49–53} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
@inproceedings{Bonorden_Juurlink_Von Otte_Rieping_1999, title={The Paderborn university BSP (PUB) library-design, implementation and performance}, DOI={10.1109/ipps.1999.760442}, booktitle={Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing}, author={Bonorden, Olaf and Juurlink, Bernhardus and Von Otte, I. and Rieping, Ingo}, year={1999}, pages={99–104} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
@article{Kleine Büning_Lettmann_1999, title={Resolution remains hard under equivalence}, DOI={10.1016/s0166-218x(99)00055-4}, journal={Discrete Applied Mathematics}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1999}, pages={139–148} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5}, booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3254
@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
@article{Flammini_Scheideler_1999, title={Simple, Efficient Routing Schemes for All-Optical Networks}, volume={32}, DOI={10.1007/s002240000123}, number={3}, journal={Theory Comput. Syst.}, author={Flammini, Michele and Scheideler, Christian}, year={1999}, pages={387--420} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 2164 | 
@inproceedings{Berenbrink_Scheideler_1999, title={Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths}, booktitle={SODA}, author={Berenbrink, Petra and Scheideler, Christian}, year={1999}, pages={112--121} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
@inproceedings{Berenbrink_Riedel_Scheideler_1999, title={Simple Competitive Request Scheduling Strategies}, booktitle={SPAA}, author={Berenbrink, Petra and Riedel, Marco and Scheideler, Christian}, year={1999}, pages={33--42} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
@inproceedings{Fischer_Lukovszki_Ziegler_1999, place={Vancouver}, title={Partitioned neighborhood spanners of minimal outdegree}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry}, author={Fischer, Matthias and Lukovszki, Tamas and Ziegler, Martin}, year={1999} }
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
@inproceedings{Sohler_1999, title={Fast Reconstruction of Delaunay Triangulations}, booktitle={Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99)}, author={Sohler, Christian}, year={1999}, pages={136–141} }
LibreCat