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.
354 Publications
1999 | Book Chapter | LibreCat-ID: 16235
Qualitatives Schließen und Qualitative Simulation
E. Hüllermeier, in: H. Szczerbicka, T. Uthmann (Eds.), Modellierung, Simulation Und Künstliche Intelligenz, SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat
E. Hüllermeier, in: H. Szczerbicka, T. Uthmann (Eds.), Modellierung, Simulation Und Künstliche Intelligenz, SCS Publishing House, Erlangen, 1999, pp. 277–310.
1999 | Book | LibreCat-ID: 13065
Selbsttestbare Steuerwerke - Strukturen und Syntheseverfahren
S. Hellebrand, Selbsttestbare Steuerwerke - Strukturen Und Syntheseverfahren, Verlag Dr. Kovac, Hamburg, Verlag Dr. Kovac, Hamburg, 1999.
LibreCat
S. Hellebrand, Selbsttestbare Steuerwerke - Strukturen Und Syntheseverfahren, Verlag Dr. Kovac, Hamburg, Verlag Dr. Kovac, Hamburg, 1999.
1999 | Misc | LibreCat-ID: 13093
Exploiting Symmetries to Speed Up Transparent BIST
S. Hellebrand, H.-J. Wunderlich, V. N. Yarmolik, Exploiting Symmetries to Speed Up Transparent BIST, 11th GI/ITG/GMM/IEEE Workshop, 1999.
LibreCat
S. Hellebrand, H.-J. Wunderlich, V. N. Yarmolik, Exploiting Symmetries to Speed Up Transparent BIST, 11th GI/ITG/GMM/IEEE Workshop, 1999.
1999 | Journal Article | LibreCat-ID: 10187
Counterexamples to a conjecture about Petersen-minors in supersnarks
E. Steffen, Discrete Mathematics 207 (1999) 291–292.
LibreCat
E. Steffen, Discrete Mathematics 207 (1999) 291–292.
1999 | Journal Article | LibreCat-ID: 10189
Non-bicritical critical snarks
E. Steffen, Graphs Comb. 15 (1999) 473–480.
LibreCat
E. Steffen, Graphs Comb. 15 (1999) 473–480.
1999 | Journal Article | LibreCat-ID: 10190
Cyclically 5-edge connected non-bicritical critical snarks
S. Grünewald, E. Steffen, Discuss. Math. Graph Theory 19 (1999) 5–11.
LibreCat
S. Grünewald, E. Steffen, Discuss. Math. Graph Theory 19 (1999) 5–11.
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
S. Grünewald, E. Steffen, J. Graph Theory 30 (1999) 27–36.
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
O. Mencer, M. Platzner, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32), IEEE CS Press, 1999.
1999 | Conference Paper | LibreCat-ID: 13608
Communication Synthesis for Reconfigurable Embedded Systems
M. Eisenring, M. Platzner, L. Thiele, in: Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL), Springer, 1999, pp. 205–214.
LibreCat
| DOI
M. Eisenring, M. Platzner, L. Thiele, in: Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL), Springer, 1999, pp. 205–214.
1999 | Journal Article | LibreCat-ID: 13764
Ab initio calculation of linear and nonlinear optical properties of semiconductor structures
F. Bechstedt, B. Adolph, W.G. Schmidt, Brazilian Journal of Physics 29 (1999).
LibreCat
| DOI
F. Bechstedt, B. Adolph, W.G. Schmidt, Brazilian Journal of Physics 29 (1999).