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.

18383 Publications


2000 | Dissertation | LibreCat-ID: 24499
The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24494
Towards Operating System Synthesis
C. Ditze, Towards Operating System Synthesis, Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 19849
Tradeoff analysis and architecture design of a hybrid hardware/software sorter
M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 10189
Non-bicritical critical snarks
E. Steffen, Graphs Comb. 15 (1999) 473–480.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10191
Chromatic-index-critical graphs of even order
S. Grünewald, E. Steffen, J. Graph Theory 30 (1999) 27–36.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13006
Error Detecting Refreshment for Embedded DRAMs
S. Hellebrand, H.-J. Wunderlich, A. A. Ivaniuk, Y. V. Klimets, V. N. Yarmolik, in: {17th IEEE VLSI Test Symposium (VTS’99)}, {IEEE (Comput. Soc.)}, Dana Point, CA, USA, 1999, pp. 384–390.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment
O. Mencer, M. Platzner, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32), IEEE CS Press, 1999.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001)
W.G. Schmidt, J.L. FATTEBERT, J. BERNHOLC, F. BECHSTEDT, Surface Review and Letters 6 (1999) 1159–1165.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 16199
Numerical methods for fuzzy initial value problems
E. Hüllermeier, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7 (1999) 439–461.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 15711
Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten
C. Schulte, H. Selke, C. Huth, LOG IN 19 (1999) 40.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 2056
: Personalcontrolling und Recht - Fallbeispiele und deren juristische Lösung -
D. Krimphove, S. Seitz, in: W. Schmeisser, A. Clermont, A. Protz (Eds.), Personalinformationssysteme & Personalcontrolling, Hermann Luchterhand Verlag, Neuwied, 1999, p. 363 ff.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1666
Das neue europäische Schadenersatzrecht
D. Krimphove, Österreichische Juristenzeitschrift (ÖJZ) (1999) 321 ff.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2436
A Resource Description Environment for Distributed Computing Systems
M. Brune, A. Reinefeld, J. Varnholt, in: Proc. Int. Symp. High-Performance Distributed Computing (HPDC), IEEE Computer Society, Washington, DC, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3410
A note on evolutionary stability of Bertrand equilibrium
B. Hehenkamp, W. Leininger, Journal of Evolutionary Economics 9 (1999) 367–371.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 4937
Kundenbindung aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit
A. Eggert, Kundenbindung Aus Kundensicht: Konzeptualisierung, Optionalisierung, Verhaltenswirksamkeit, Deutscher Universitätsverlag, Wiesbaden, 1999.
LibreCat | DOI
 

1999 | Misc | LibreCat-ID: 6135
Personalmanagement in Europa - Ein Vergleich auf der Basis empirischer Daten
U. Hanel, R. Kabst, W. Mayrhofer, W. Weber, Personalmanagement in Europa - Ein Vergleich Auf Der Basis Empirischer Daten, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 6673
Layout for a wind-power-driven, reverse osmosis installation for desalting brackish water in operation on an island
J. Bendfeld, G. Bettenwort, E. Ortjohann, J. Voss, in: Proceedings of the 1999 European Wind Energy Conference, 1-5 March 1999 Nice, France, Pp975-978, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7518
A View-based Approach to System Modeling Based on Open Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7400
Formalization of the development process for a software-hardware reflexodiagnostic tool
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7859
Modeling Agent-Based Systems with Graph Transformation and UML
R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed