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
@inproceedings{Mencer_Platzner_1999, title={Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment}, DOI={10.1109/hicss.1999.772883}, booktitle={Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32)}, publisher={IEEE CS Press}, author={Mencer, Oskar and Platzner, Marco}, year={1999} }
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
@article{Schmidt_FATTEBERT_BERNHOLC_BECHSTEDT_1999, title={SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001)}, volume={6}, DOI={10.1142/s0218625x99001281}, number={6}, journal={Surface Review and Letters}, author={Schmidt, Wolf Gero and FATTEBERT, J. L. and BERNHOLC, J. and BECHSTEDT, F.}, year={1999}, pages={1159–1165} }
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 15711
@article{Schulte_Selke_Huth_1999, title={Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten}, volume={19}, number={3/4}, journal={LOG IN}, author={Schulte, Carsten and Selke, Harald and Huth, Carsten}, year={1999}, pages={40} }
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3656
@inbook{Gallenberger_Gruber_Harteis_Heid_Kraft_1999, place={Wiesbaden}, title={Lehren und Lernen mit neuen Medien}, booktitle={Multimedia—Informationssysteme zwischen Bild und Sprache}, publisher={Gabler}, author={Gallenberger, Wolfgang and Gruber, Hans and Harteis, Christian and Heid, Helmut and Kraft, Susanne}, editor={Lehner, Franz and Braungart, Gerhard and Hitzenberger, LEditors}, year={1999}, pages={259--271} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3687
@article{Gallenberger_Harteis_Kraft_1999, title={Zu den Bedingungen der Möglichkeit. Helmut Heid zum 65. Geburtstag}, volume={95}, number={1}, journal={Zeitschrift für Berufs-und Wirtschaftspädagogik}, author={Gallenberger, Wolfgang and Harteis, Christian and Kraft, Susanne}, year={1999}, pages={1–9} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 2007
@article{Brune_Gehring_Keller_Reinefeld_1999, title={Managing Clusters of Geographically Distributed High-Performance Computers}, volume={II(15)}, DOI={10.1002/(SICI)1096-9128(19991225)11:15<887::AID-CPE459>3.0.CO;2-J}, journal={Concurrency, Practice, and Experience}, author={Brune, Matthias and Gehring, Jörn and Keller, Axel and Reinefeld, Alexander}, year={1999}, pages={887–911} }
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 2165
@inproceedings{Berenbrink_Riedel_Scheideler_1999, title={Simple Competitive Request Scheduling Strategies}, booktitle={SPAA}, author={Berenbrink, Petra and Riedel, Marco and Scheideler, Christian}, year={1999}, pages={33--42} }
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 2583
@article{Betz_1999, title={Funktionales Erfolgscontrolling bei mehrstufiger Fertigung}, volume={51}, journal={Betriebswirtschaftliche Forschung und Praxis}, author={Betz, Stefan}, year={1999}, pages={35–47} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3024
@inproceedings{Blömer_Seifert_1999, title={On the complexity of computing short linearly independent vectors and short bases in a lattice}, DOI={10.1145/301250.301441}, booktitle={Proceedings of the thirty-first annual ACM symposium on Theory of computing  - STOC ’99}, publisher={ACM Press}, author={Blömer, Johannes and Seifert, Jean-Pierre}, year={1999} }
LibreCat | Files available | DOI
 

1999 | Journal Article | LibreCat-ID: 3252
@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
@book{Lettmann_Kleine Büning_1999, series={Cambridge tracts in theoretical computer science}, title={Propositional Logic : Deduction and Algorithms}, publisher={Cambridge Univ. Press}, author={Lettmann, Theodor and Kleine Büning, Hans}, year={1999}, collection={Cambridge tracts in theoretical computer science} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1939
@article{Krimphove_1999, title={Der Einsatz von Fuzzy-Logik in der Rechtswissenschaft}, number={Jg. 30, Heft 4}, journal={Rechtstheorie}, publisher={Dunker und Humblot}, author={Krimphove, Dieter}, year={1999}, pages={540 – 576} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 1946
@article{Krimphove_1999, place={Paris}, series={Tagungsband der Jahrestagung 1999 der UAE (Union des Avocat Européen)}, title={Arbeitsrecht / Europäische Vorgaben der Unternehmensansiedlung}, publisher={Editions Juridiques Bruylant}, author={Krimphove, Dieter}, year={1999}, collection={Tagungsband der Jahrestagung 1999 der UAE (Union des Avocat Européen)} }
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999, title={Graph Transformation for Specification and Programming}, volume={34}, DOI={http://dx.doi.org/10.1016/S0167-6423(98)00023-9}, number={1}, journal={Science of Computer Programming}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1999}, pages={1–54} }
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 7519
@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={Classification and Comparison of Module Concepts for Graph Transformation Systems}, volume={2}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel, Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999}, pages={669–689} }
LibreCat
 

1999 | Conference (Editor) | LibreCat-ID: 7792
@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7850
@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }
LibreCat
 

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

1999 | Conference Paper | LibreCat-ID: 8120
@inproceedings{Krauter_1999, title={The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.}, author={Krauter, Stefan}, year={1999} }
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA}, title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={64–71} }
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: BibTeX

Export / Embed