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.

9903 Publications


2000 | Dissertation | LibreCat-ID: 30398
Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe
S. Beinecke, Online-Schätzung von mechanischen Parametern, Kennlinien und Zustandsgrößen geregelter elektrischer Antriebe , 2000.
LibreCat | Download (ext.)
 

2000 | Conference Paper | LibreCat-ID: 13005
A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters
S. Hellebrand, H.-G. Liang, H.-J. Wunderlich, in: IEEE International Test Conference (ITC’00), IEEE, Atlantic City, NJ, USA, 2000, pp. 778–784.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 39434
Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39444
Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39461
Structured English for Model Checking Specification
S. Flake, W. Müller, J. Ruf, (2000).
LibreCat
 

2000 | Journal Article | LibreCat-ID: 38393 LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 39435
A Visual Framework for the Scripting of Parallel Agents
W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39439
A Methodology for the Protocol-Centered Design of Agent-Based Systems
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39442
Morphic Nets: Model Based Design Diagrams
P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 39464
An Advanced Visual Capture for Model Checking Specifications
S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 40908
MAP decoding of linear block codes based on a sectionalized trellis of the dual code
P.J. Schreier, D.J. Costello, Jr., in: Proc.\ Int.\ Zurich Seminar Broadband Comm., 2000, pp. 271–278.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 40172
Short-time estimates for heat kernels associated with root systems
M. Rösler, in: Special Functions (HongKong 1999), World Scientific, 2000, pp. 309–323.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 34900
Galois Group Computation for Rational Polynomials
K. Geissler, J. Klüners, Journal of Symbolic Computation 30 (2000) 653–674.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 34901
Computing Local Artin Maps, and Solvability of Norm Equations
V. Acciaro, J. Klüners, Journal of Symbolic Computation 30 (2000) 239–252.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 34899
Explicit Galois Realization of Transitive Groups of Degree up to 15
J. Klüners, G. Malle, Journal of Symbolic Computation 30 (2000) 675–716.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 34898
A Polynomial with Galois GroupSL2(11)
J. Klüners, Journal of Symbolic Computation 30 (2000) 733–737.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 39884
Nanometer Scale Lateral Structures of MOS Type Layers
U. Hilleringmann, T. Vieregge, J. Horstmann, in: Proceedings Micro. Tec, 2000, pp. 49–53.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 47614
Kurze Wege für neue Ideen
G. Jonas-Ahrend, J. Krajcik, in: 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 51419
Geometric Hardy and Bergman Spaces
J. Hilgert, W. Bertram, Michigan Math. J. 47 (2000) 235–263.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 51592
Lie Theory and its Applcations in Physics III
J. Hilgert, H.-D. Doebner, V.K. Dobrev, eds., Lie Theory and Its Applcations in Physics III, World Scientific, 2000.
LibreCat
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed