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
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, vol. 83. Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

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

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

1999 | Journal Article | LibreCat-ID: 10189
E. Steffen, “Non-bicritical critical snarks,” Graphs Comb., vol. 15, pp. 473–480, 1999.
LibreCat
 

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

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

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

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

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

1999 | Journal Article | LibreCat-ID: 15711
C. Schulte, H. Selke, and C. Huth, “Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten,” LOG IN, vol. 19, no. 3/4, p. 40, 1999.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed