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.

492 Publications


2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 33827
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 33881
Innovative Warmumformung
T. Tröster, W. Rostek, in: T. Tröster, W. Rostek (Eds.), Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach, Fellbach, 2004, pp. 51–66.
LibreCat
 

2004 | Translation | LibreCat-ID: 30167
Aus dem Italienischen ins Deutsche: F. D’Agostini, Che cosa significa essere una donna? Le basi ontologiche della differenza di genere tra analisi concettuale e teoria politica
E. Ficara, tran., Aus dem Italienischen ins Deutsche: F. D’Agostini, Che cosa significa essere una donna? Le basi ontologiche della differenza di genere tra analisi concettuale e teoria politica, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 17547
,Aber vielleicht kommt noch eine Zeit, wo auch meine Arbeiten wieder entdeckt und gelesen werde‘: Die gescheiterte Karriere des Ernst Zermelo
V. Peckhaus, in: W. Hein, P. Ullrich (Eds.), Mathematik im Fluß der Zeit. Tagung zur Geschichte der Mathematik in Attendorn/Neu-Listernohl (28.5. bis 1.6.2003), ERV Dr. Erwin Rauner Verlag, Augsburg, 2004, pp. 325–339.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17550
Otto Friedrich Gruppe und die Logische Frage
V. Peckhaus, in: L. Bernays (Ed.), Otto Friedrich Gruppe 1804–1876. Philosoph, Dichter, Philologe, Rombach Verlag, Freiburg i. Br., 2004, pp. 49–71.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17549
Paradoxes in Göttingen
V. Peckhaus, in: G. Link (Ed.), One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, de Gruyter, Berlin/New York, 2004, pp. 501–515.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17548
Garantiert Widerspruchsfreiheit Existenz?
V. Peckhaus, in: B. Christiansen, U. Scheffler (Eds.), Was folgt? Themen zu Wessel, Logos Verlag, Berlin, 2004, pp. 111–127.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 17545
Calculus Ratiocinator vs. Characteristica Universalis? The Two Traditions in Logic, Revisted
V. Peckhaus, History and Philosophy of Logic (Special Issue in Honor of Ivor Grattan-Guinness, Hg. v. John W. Dawson, Jr.) 25 (2004) 3–14.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17544
Dignaga’s Logic of Invention
V. Peckhaus, in: I. Grattan-Guinness, B.S. Yadav (Eds.), History of the Mathematical Sciences, Hindustan Book Agency, New Delhi, 2004, pp. 97–107.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17546
Schröder’s Logic
V. Peckhaus, in: D.M. Gabbay, J. Woods (Eds.), Handbook of the History of Logic, Bd. 3: The Rise of Modern Logic: From Leibniz to Frege, Elsevier North Holland, Amsterdam u. a., 2004, pp. 557–609.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17551
Scholz als Metaphysiker
V. Peckhaus, in: H.-C. Schmidt am Busch, K.F. Wehmeier (Eds.), Heinrich Scholz: Logiker, Philosoph, Theologe, mentis-Verlag, Paderborn, 2004, pp. 69–83.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 17552
Who was Wilhelm Schlötel?
V. Peckhaus, in: K. Luoma, E. Oesch, R. Vilkko (Eds.), Filosofisia Tutkielmia - Philosophical Studies in Honorem Leila Haaparanta, Tampere University Press, Tampere, 2004, pp. 285–296.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 30309
Novel Modulation Schemes for Conventional and Sparse Matrix Converters Facilitating Reactive Power Transfer Independent of Active Power Flow
F. Schafmeister, J. Kolar, in: Proc. 35th IEEE Power Electronics Specialists Conference (PESC), IEEE, Aachen, Germany, 2004, pp. 2917–2923.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 30308
Enhanced Control Scheme for Three-Phase / Three-Level Rectifiers at Partial Load
P. Ide, F. Schafmeister, N. Fröhleke, H. Grotstollen, in: Proc. 35th IEEE Power Electronics Specialists Conference (PESC), IEEE, Aachen, Germany, 2004, pp. 207–213.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 30310
Novel Hybrid Modulation Schemes Extending the Reactive Power Control Range of Conventional and Sparse Matrix Converters Operating at Maximum Output Voltage
F. Schafmeister, J. Kolar, in: Proc. 11th International Power Electronics and Motion Control Conference (EPE-PEMC), EPE, Riga, Latvia, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 29920
Active Suppression of Torsional Oscillations
J. Böcker, N. Amann, B. Schulz, IFAC Proceedings Volumes 37 (2004) 319–324.
LibreCat | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed