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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed