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.

14015 Publications


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: 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 | 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 | 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: 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 | 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: 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 | 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 | Journal Article | LibreCat-ID: 16537
Dellnitz, M., & Junge, O. (1999). On the Approximation of Complicated Dynamical Behavior. SIAM Journal on Numerical Analysis, 491–515. https://doi.org/10.1137/s0036142996313002
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 17509
Peckhaus, V. (1999). Abduktion und Heuristik. In J. Nida-Rümelin (Ed.), Rationalität, Realismus, Revision.Vorträge des 3. Internationalen Kongresses der Gesellschaft für Analytische Philosophie (Vol. 23, pp. 833–841). Berlin/New York: Walter de Gruyter.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17511
Peckhaus, V. (1999). 19th Century Logic: Between Philosophy and Mathematics (Wiederabdruck und Online-Fassung). The Bulletin of Symbolic Logic, 5, 433–450.
LibreCat | Download (ext.)
 

1999 | Book Review | LibreCat-ID: 18312
Peckhaus, V. (1999). Frascolla, Pascquale, Wittgenstein’s Philosophy of Mathematics, Routledge: London/New York 1994. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 901.03004].
LibreCat
 

1999 | Book Review | LibreCat-ID: 18331
Peckhaus, V. (1999). Otte, Michael, “A Controversy on the Axiomatization of Arithmetic in Its Philosophical Context”, in: Conference on the History of Mathematics. Papers from the Conference Cetraro, Italy, September 8–12, 1988, hg. v. Massimo Galuzzi, Editoria Elettronica: Rende 1991, 465–485. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 921.01017].
LibreCat
 

1999 | Book Review | LibreCat-ID: 18329
Peckhaus, V. (1999). van Dalen, Dirk, “The Role of Language in Brouwer’s Work”, in: Ewa Orłowska (Hg.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag: Heidelberg 1999, 3–14. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 918.01015].
LibreCat
 

1999 | Book Review | LibreCat-ID: 18317
Peckhaus, V. (1999). Stelzner, Werner, Gottlob Frege. Jena und die Geburt der modernen Logik, ReFIT: Jena 1996. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01013].
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 17864
Fischer, M., Lukovszki, T., & Ziegler, M. (1999). Partitioned neighborhood spanners of minimal outdegree. In Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver.
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 18362
Tophinke, D. (1999). Das kaufmännische Rechnungsbuch im Kontext städtisch-amtlicher Schriftlichkeit. Niederdeutsches Jahrbuch , 122, 25–43.
LibreCat
 

1999 | Book (Editor) | LibreCat-ID: 18451
Tophinke, D. (Ed.). (1999). Handelstexte – Zu Textualität und Typik kaufmännischer Rechnungsbücher im Hanseraum des 14. und 15. Jahrhunderts. Tübingen: Narr (zugleich Habilitationsschrift Freiburg 1997).
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 18576
Sohler, C. (1999). Generating Random Star-Shaped Polygons. In Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99) (pp. 174–177).
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 18747
Sohler, C. (1999). Fast Reconstruction of Delaunay Triangulations. In Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99) (pp. 136–141).
LibreCat
 

1999 | Book | LibreCat-ID: 19017
Eke, N. O. (1999). Heiner Müller. Stuttgart: Reclam.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 19404
Eke, N. O. (1999). Heiner Müller, Die Gedichte. Zeitschrift für deutsche Philologie, 118(H. 4), 624–631.
LibreCat
 

1999 | Encyclopedia Article | LibreCat-ID: 19461
Eke, N. O. (1999). Nikolaus Lenau: Savonarola. Ein Gedicht; Die Albigenser. Freie Dichtungen. In F. R. Max & C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 2: Von der Romantik bis zum Naturalismus (pp. 235–238). Stuttgart: Reclam.
LibreCat
 

1999 | Encyclopedia Article | LibreCat-ID: 19473
Eke, N. O. (1999). Richard Beer-Hofmann: Der Tod Georgs. In F. R. Max & C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 3: 20. Jahrhundert I (pp. 85–87). Stuttgart: Reclam.
LibreCat
 

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: 19815
Kleine Büning, H., & Lettmann, T. (1999). Resolution remains hard under equivalence. Discrete Applied Mathematics, 139–148. https://doi.org/10.1016/s0166-218x(99)00055-4
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 19928
Büker, P. (1999). Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe. Arbeitsgruppe im Rahmen des Symposiums: „Bildungsprojekt ‚Europa’ in der universitären Lehrerausbildung. Standortvergewisserung. Perspektivenentwicklung. Erfahrungspräsentation“. Universität Münster.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20956
Hahn, O., Kurzok, J., Meschut, G., & Schulte, V. (1999). Fügen durch Umformen – Fertigungstechniken für die Blechverarbeitung der Zukunft – Stand der Technik und Entwicklungstendenzen. In Tagungsband 726 zum Forschungskolleg Stahlanwendung ´99 (Vol. 726). Düsseldorf.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20987
Meschut, G. (1999). Kleben – eine innovative Fügetechnik für den Leichtbau. In Tagungsband zur Vortragsveranstaltung “75 Jahre schweißtechnische Ausbildung in Braunschweig.” Braunschweig.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 22320
Zimmer, D. (1999). Kleiner Antrieb, große Wirkung. Der Konstrukteur - Magazin Für Konstruktion Und Entwicklung (ASB).
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11780
Haeb-Umbach, R. (1999). Investigations on inter-speaker variability in the feature space. In ICASSP99 Phoenix, AZ.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11805
Harris, M. J., Aubert, X. L., Haeb-Umbach, R., & Beyerlein, P. (1999). A study of broadcast news audio stream segmentation and segment clustering. In Eurospeech.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11728
Beyerlein, P., Aubert, X. L., Haeb-Umbach, R., Harris, M. J., Klakow, D., Wendemuth, A., … Sixtus, A. (1999). The Philips/RWTH system for transcription of broadcast news. In Eurospeech.
LibreCat | Download (ext.)
 

1999 | Book | LibreCat-ID: 13065
Hellebrand, S. (1999). Selbsttestbare Steuerwerke - Strukturen und Syntheseverfahren. Verlag Dr. Kovac, Hamburg: Verlag Dr. Kovac, Hamburg.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 13767
Esser, N., Schmidt, W. G., Bernholc, J., Frisch, A. M., Vogt, P., Zorn, M., … Visbeck, S. (1999). GaP(001) and InP(001): Reflectance anisotropy and surface geometry. Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures, 17(4). https://doi.org/10.1116/1.590810
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15232
Hüllermeier, E., Dubois, D., & Prade, H. (1999). Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16502
Berenbrink, P., Meyer auf der Heide, F., & Schröder, K. (1999). Allocating Weighted Jobs in Parallel. Theory of Computing Systems, 281–300. https://doi.org/10.1007/s002240000119
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 16235
Hüllermeier, E. (1999). Qualitatives Schließen und Qualitative Simulation. In H. Szczerbicka & T. Uthmann (Eds.), Modellierung, Simulation und Künstliche Intelligenz (pp. 277–310). SCS Publishing House, Erlangen.
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 | 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: 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 | LibreCat-ID: 4629
Feng, Y. (1999). Kernel- and Locally Weighted Regression -- with Application to Time Series Decomposition.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed