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.

17067 Publications


2005 | Conference Paper | LibreCat-ID: 7935
A holistic approach to test-driven model checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 7942
Transformation of UML StateMachines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer Society, Washington, DC, USA, 2005, pp. 117–124.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 8394
Towards employing UML Model Mappings for Platform Independent User Interface Design
T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.
LibreCat | Download (ext.)
 

2005 | Conference Paper | LibreCat-ID: 8399
Behavioral Refinement of Graph Transformation-Based Models
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 8402
Using UML Activities for Synthesis on Reconfigurable Hardware
T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 844
A study of impact of inband signalling and realistic channel knowledge for an example dynamic OFDM-FDMA system
J. Gross, S. Valentin, H. Karl, A. Wolisz, European Transactions on Telecommunications (2005) 37--49.
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 8301
Erste Schritte zur Volksuniversität
K. Knecht, S. Krauter, E+Z (Entwicklung Und Zusammenarbeit) 46 (2005) 210–211.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 8678
Spin controlled optically pumped vertical cavity surface emitting laser
S. Hövel, N. Gerhardt, M. Hofmann, J. Yang, D. Reuter, A. Wieck, Electronics Letters (2005).
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 8685
Electron spin injection into GaAs from ferromagnetic contacts in remanence
N.C. Gerhardt, S. Hövel, C. Brenner, M.R. Hofmann, F.-Y. Lo, D. Reuter, A.D. Wieck, E. Schuster, W. Keune, K. Westerholt, Applied Physics Letters (2005).
LibreCat | DOI
 

2005 | Journal Article | LibreCat-ID: 4986 LibreCat
 

2005 | Journal Article | LibreCat-ID: 4979 LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 17689
Widerspruchsfreiheit
V. Peckhaus, in: J. Ritter †, K. Gründer, G. Gabriel (Eds.), Historisches Wörterbuch der Philosophie, Bd. 12: W–Z, Schwabe AG Verlag, Basel, 2005, p. Sp. 699-703.
LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 17696
Bochenski, Joseph Maria
V. Peckhaus, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 1: A–B, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2005, pp. 485–486.
LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 17691
Zirkel
V. Peckhaus, in: J. Ritter †, K. Gründer, G. Gabriel (Eds.), Historisches Wörterbuch der Philosophie, Bd. 12: W–Z, Schwabe AG Verlag, Basel, 2005, pp. 1337–1339.
LibreCat
 

2005 | Encyclopedia Article | LibreCat-ID: 17728
Fermat, Pierre de
V. Peckhaus, K. Barner, in: J. Mittelstraß (Ed.), Enzyklopädie Philosophie und Wissenschaftstheorie, Bd. 2: C–F, 2., neubearb. u. wesentl. erg. Aufl., J.B. Metzler, Stuttgart/Weimar, 2005, pp. 486–487.
LibreCat
 

2005 | Book Chapter | LibreCat-ID: 17848
Learner English: Ein Überblick über vorhandene Korpora und mögliche Forschungsansätze
I. Mindt, in: J. Schwitalla, W. Wegstein (Eds.), Korpuslinguistik Deutsch: synchron – diachron – kontrastiv. Würzburger Kolloquium  2003, Niemeyer, Tübingen, 2005, pp. 137–146.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 17292
Pointing to spatial relations in mother-child dialogue
K. Rohlfing, in: Proceedings of the 5th Workshop on Language and Space (Workshop on Spatial Language and Dialogue), 2005.
LibreCat
 

2005 | Journal Article | LibreCat-ID: 14957
Capital Budgeting with Taxes under Uncertainty and Irreversibility
R. Niemann, C. Sureth-Sloane, Journal of Economics and Statistics 225 (2005) 77–95.
LibreCat
 
 

2005 | Book Review | LibreCat-ID: 18505
Wolenski, Jan, “Aletheia in Greek Thought until Aristotle”, Annals of Pure and Applied Logic 127 (2004), 339–360
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1054.01005] (2005).
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed