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.
9941 Publications
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
2000 | Conference Paper | LibreCat-ID: 47614
@inproceedings{Jonas-Ahrend_Krajcik_2000, title={Kurze Wege für neue Ideen}, author={Jonas-Ahrend, Gabriela and Krajcik, Joseph}, year={2000} }
LibreCat
2000 | Journal Article | LibreCat-ID: 51419
@article{Hilgert_Bertram_2000, title={Geometric Hardy and Bergman Spaces}, volume={47}, journal={Michigan Math. J.}, author={Hilgert, Joachim and Bertram, W.}, year={2000}, pages={235–263} }
LibreCat
2000 | Book (Editor) | LibreCat-ID: 51592
@book{Hilgert_Doebner_Dobrev_2000, title={Lie Theory and its Applcations in Physics III}, publisher={World Scientific}, year={2000} }
LibreCat
2000 | Patent | LibreCat-ID: 53588
@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000} }
LibreCat
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