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.
10473 Publications
2000 | Conference Paper | LibreCat-ID: 40652
@inproceedings{Rösler_2000, title={One-parameter semigroups related to abstract quantum models of Calogero type}, booktitle={Infinite dimensional harmonic analysis (Kyoto 1999)}, publisher={Gräbner-Verlag}, author={Rösler, Margit}, year={2000}, pages={290–305} }
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
@book{Scheideler_2000, title={Probabilistic Methods for Coordination Problems}, author={Scheideler, Christian}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }
LibreCat
2000 | Journal Article | LibreCat-ID: 38393
@article{Hinz_Sandel_Noé_Wust_2000, title={Optical NRZ 2 x 10Gbit/s polarisation division multiplex transmission with endless polarisation control driven by correlation signals}, volume={36}, DOI={10.1049/el:20001002}, number={16}, journal={ELECTRONICS LETTERS}, author={Hinz, S and Sandel, D and Noé, Reinhold and Wust, F}, year={2000}, pages={1402–1403} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 39435
@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }
LibreCat
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