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.

9332 Publications


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: 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: 3656
Lehren und Lernen mit neuen Medien
W. Gallenberger, H. Gruber, C. Harteis, H. Heid, S. Kraft, in: F. Lehner, G. Braungart, L. Hitzenberger (Eds.), Multimedia—Informationssysteme Zwischen Bild Und Sprache, Gabler, Wiesbaden, 1999, pp. 259--271.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3687
Zu den Bedingungen der Möglichkeit. Helmut Heid zum 65. Geburtstag
W. Gallenberger, C. Harteis, S. Kraft, Zeitschrift Für Berufs-Und Wirtschaftspädagogik 95 (1999) 1–9.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 2007
Managing Clusters of Geographically Distributed High-Performance Computers
M. Brune, J. Gehring, A. Keller, A. Reinefeld, Concurrency, Practice, and Experience II(15) (1999) 887–911.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 2165
Simple Competitive Request Scheduling Strategies
P. Berenbrink, M. Riedel, C. Scheideler, in: SPAA, 1999, pp. 33--42.
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 2583
Funktionales Erfolgscontrolling bei mehrstufiger Fertigung
S. Betz, Betriebswirtschaftliche Forschung und Praxis 51 (1999) 35–47.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3024
On the complexity of computing short linearly independent vectors and short bases in a lattice
J. Blömer, J.-P. Seifert, in: Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing  - STOC ’99, ACM Press, 1999.
LibreCat | Files available | DOI
 

1999 | Journal Article | LibreCat-ID: 3252
Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
Propositional Logic : Deduction and Algorithms
T. Lettmann, H. Kleine Büning, Propositional Logic : Deduction and Algorithms, Cambridge Univ. Press, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1939
Der Einsatz von Fuzzy-Logik in der Rechtswissenschaft
D. Krimphove, Rechtstheorie (1999) 540 – 576.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 1946 LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 7519
Classification and Comparison of Module Concepts for 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. 669–689.
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)
G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7850
Tile Transition Systems as Structured Coalgebras
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8118
Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro
S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics
S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed