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.

9251 Publications


1999 | Report | LibreCat-ID: 8206
Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8321
Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8326
Engels, G., & Sauer, S. (1999). MVC-Based Modeling Support for Embedded Real-Time Systems. In Proceedings of OMER Workshop, Herrsching, Germany (pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8460
Kremer, H.-H., & Sloane, P. F. E. (1999). Lernfelder - Motor didaktischer Innovationen. Kölner Zeitschrift für Wirtschaft und Pädagogik, (26), 37–60.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 8465
Kremer, H.-H., & Sloane, P. F. E. (1999). Der implizite Lerner in multimedialen Lernarrangements. Kölner Zeitschrift für Wirtschaft und Pädagogik, (25), 117–144.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8910
Sextro, W. (1999). Experimental verification of a non-Hertzian contact model. In International conference on computational methods in contact mechanics (pp. 181–190).
LibreCat
 

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

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

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

1999 | Conference Paper | LibreCat-ID: 13607
Mencer, O., & Platzner, M. (1999). 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. https://doi.org/10.1109/hicss.1999.772883
LibreCat | DOI
 

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

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

1999 | Book Chapter | LibreCat-ID: 3656
Gallenberger, W., Gruber, H., Harteis, C., Heid, H., & Kraft, S. (1999). Lehren und Lernen mit neuen Medien. In F. Lehner, G. Braungart, & L. Hitzenberger (Eds.), Multimedia—Informationssysteme zwischen Bild und Sprache (pp. 259--271). Wiesbaden: Gabler.
LibreCat
 

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

1999 | Journal Article | LibreCat-ID: 2007
Brune, M., Gehring, J., Keller, A., & Reinefeld, A. (1999). Managing Clusters of Geographically Distributed High-Performance Computers. Concurrency, Practice, and Experience, II(15), 887–911. https://doi.org/10.1002/(SICI)1096-9128(19991225)11:15<887::AID-CPE459>3.0.CO;2-J
LibreCat | DOI
 

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

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

1999 | Conference Paper | LibreCat-ID: 3024
Blömer, J., & Seifert, J.-P. (1999). On the complexity of computing short linearly independent vectors and short bases in a lattice. In Proceedings of the thirty-first annual ACM symposium on Theory of computing  - STOC ’99. ACM Press. https://doi.org/10.1145/301250.301441
LibreCat | Files available | DOI
 

1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8
LibreCat | DOI
 

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

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

1999 | Conference Paper | LibreCat-ID: 1946
Krimphove, D. (1999). Arbeitsrecht / Europäische Vorgaben der Unternehmensansiedlung. Paris: Editions Juridiques Bruylant.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). Classification and Comparison of Module Concepts for Graph Transformation Systems. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools (Vol. 2, pp. 669–689). Singapore: World Scientific.
LibreCat
 

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

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

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

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

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

1999 | Conference Paper | LibreCat-ID: 8327
Mehner, K., & Wagner, A. (1999). An Assessment of Aspect Language Design. In Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany).
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 8459
Kremer, H.-H. (1999). Realisierung fächer- und lernortübergreifender Ausbildungskonzepte. In P. F. E. Sloane, R. Bader, & G. Straka (Eds.), Lehren und Lernen in der Aus- und Weiterbildung. Opladen.
LibreCat
 

1999 | Book Review | LibreCat-ID: 9666
Tönnies, M. (1999). Falk, P. / C. Campbell (Hg.): The Shopping Experience, 1997. Journal for the Study of British Cultures.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8911
Sextro, W. (1999). Forced Vibration of Elastic Structures with Friction Contacts. In ASME Design Engineering Technical Conferences (pp. 1–10). Las Vegas, Nevada, USA.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8909
Popp, K., & Sextro, W. (1999). Schwingungsanalyse von vorgespannten Schaufeln mit Deckplatten im Schaufelkranz. In Forschungsvereinigung Verbrennungskraftmaschinen (FW) -lnformationstagung Turbinen (pp. 21–38). Heidelberg.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11791
Haeb-Umbach, R., & Loog, M. (1999). An Investigation of Cepstral Parameterisations for Large Vocabulary Speech Recognition. In Eurospeech.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 13608
Eisenring, M., Platzner, M., & Thiele, L. (1999). Communication Synthesis for Reconfigurable Embedded Systems. In Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL) (Vol. 1673, pp. 205–214). Springer. https://doi.org/10.1007/978-3-540-48302-1_21
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13766
Bechstedt, F., Pulci, O., & Schmidt, W. G. (1999). Theoretical Aspects of the Optical Response of Semiconductor Surfaces. Physica Status Solidi (A), 175(5), 5–16. https://doi.org/10.1002/(sici)1521-396x(199909)175:1<5::aid-pssa5>3.0.co;2-9
LibreCat | DOI
 

1999 | Working Paper | LibreCat-ID: 14980
König, R., & Sureth-Sloane, C. (1999). Some New Aspects of Neoclassical Investment Theory with Taxes (Vol. 436).
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 15712
Hampel, T., Magenheim, J., & Schulte, C. (1999). Dekonstruktion von Informatiksystemen als Unterrichtsmethode - Zugang zu objektorientierten Sichtweisen im Informatikunterricht. In INFOS (pp. 149–164). Springer.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3417
Hehenkamp, B., Qin, C.-Z., & Stuart, C. (1999). Economic natural selection in Bertrand and Cournot settings. Journal of Evolutionary Economics, 9(2), 211–224. https://doi.org/10.1007/s001910050081
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 3657
Gallenberger, W., Gruber, H., Harteis, C., & Stamouli, E. (1999). Learning with New Media as a Cognitive Tool. In N. Nistor (Ed.), Internet as a vehicle for teaching (pp. 55–64). Cluj: Teacher’s House.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3688
Harteis, C., Gruber, H., & Gallenberger, W. (1999). Implementation of internet-based courses in an university curriculum. In N. Nistor (Ed.), Internet as a vehicle for teaching (pp. 167–183). Cluj: Teacher’s House.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 2008
Brune, M., Keller, A., & Reinefeld, A. (1999). Multi-User System Management on SCI Cluster. In H. Hellwagner & A. Reinefeld (Eds.), SCI - Scalable Coherent Interface: Architecture and Software for High Performance Compute Clusters (pp. 443–460). https://doi.org/10.1007/10704208_34
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 2166
Scheideler, C., & Vöcking, B. (1999). From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. In STOC (pp. 215--224).
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 2584
Betz, S. (1999). Kostenminimale Anpassung von Beschaffung und Produktion an saisonale Absatzschwankungen. Zeitschrift für Betriebswirtschaft, 69(Ergänzungsheft Nr. 4), 111–129.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 7399
Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1999). Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung Und Entwicklung, 14(2), 83–94. http://dx.doi.org/10.1007/s004500050128
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 7510
Ehrig, H., Engels, G., Kreowski, H. J., & Rozenberg, G. (1999). Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7849
Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). Patterns as a Means for Intelligent Software Engineering. In Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA) (Vol. 2, pp. 605–611). CSREA Press.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, A. (1999). Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia).
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed