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.

17235 Publications

2000 | Dissertation | LibreCat-ID: 24499
Del Castillo G. 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.

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

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

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

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

1999 | Conference Paper | LibreCat-ID: 13607
Mencer O, Platzner M. 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). IEEE CS Press; 1999. doi:10.1109/hicss.1999.772883
LibreCat | DOI

1999 | Journal Article | LibreCat-ID: 13765
Schmidt WG, FATTEBERT JL, BERNHOLC J, BECHSTEDT F. SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001). Surface Review and Letters. 1999;6(6):1159-1165. doi:10.1142/s0218625x99001281
LibreCat | DOI

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

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

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


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed