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.

13716 Publications


1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.
LibreCat | DOI
 

1999 | Book | LibreCat-ID: 3339
Lettmann, Theodor, and Hans Kleine Büning. Propositional Logic : Deduction and Algorithms. Cambridge Tracts in Theoretical Computer Science. Cambridge Univ. Press, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 7401
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph Transformation for Specification and Programming.” Science of Computer Programming 34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 7850
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems as Structured Coalgebras.” In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1684:13–38. LNCS. Berlin/Heidelberg: Springer, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 7519
Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “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, 2:669–89. Singapore: World Scientific, 1999.
LibreCat
 

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

1999 | Conference Paper | LibreCat-ID: 8118
Krauter, Stefan, R. Stephan, and L. Bastos. “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, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8120
Krauter, Stefan. “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., 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8322
Sauer, Stefan, and Gregor Engels. “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), 64–71. Indian Wells, California, USA, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8327
Mehner, Katharina, and Annika Wagner. “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), 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 8909
Popp, Karl, and Walter Sextro. “Schwingungsanalyse von Vorgespannten Schaufeln Mit Deckplatten Im Schaufelkranz.” In Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, 21–38. Heidelberg, 1999.
LibreCat
 

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

1999 | Book Chapter | LibreCat-ID: 8459
Kremer, H.-Hugo. “Realisierung fächer- und lernortübergreifender Ausbildungskonzepte.” In Lehren und Lernen in der Aus- und Weiterbildung, edited by P.F.E. Sloane, R. Bader, and G. Straka. Opladen, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 16537
Dellnitz, Michael, and Oliver Junge. “On the Approximation of Complicated Dynamical Behavior.” SIAM Journal on Numerical Analysis, 1999, 491–515. https://doi.org/10.1137/s0036142996313002.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 17509
Peckhaus, Volker. “Abduktion und Heuristik.” In Rationalität, Realismus, Revision.Vorträge des 3. Internationalen Kongresses der Gesellschaft für Analytische Philosophie, edited by Julian Nida-Rümelin, 23:833–41. Perspektiven der Analytischen Philosophie. Berlin/New York: Walter de Gruyter, 1999.
LibreCat
 

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

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

1999 | Book Review | LibreCat-ID: 18331
Peckhaus, Volker. “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], 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18329
Peckhaus, Volker. “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], 1999.
LibreCat
 

1999 | Book Review | LibreCat-ID: 18317
Peckhaus, Volker. “Stelzner, Werner, Gottlob Frege. Jena Und Die Geburt Der Modernen Logik, ReFIT: Jena 1996.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 908.01013], 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 17864
Fischer, Matthias, Tamas Lukovszki, and Martin Ziegler. “Partitioned Neighborhood Spanners of Minimal Outdegree.” In Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver, 1999.
LibreCat | Files available
 

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

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

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

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

1999 | Book | LibreCat-ID: 19017
Eke, Norbert Otto. Heiner Müller. Stuttgart: Reclam, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 19404
Eke, Norbert Otto. “Heiner Müller, Die Gedichte.” Zeitschrift für deutsche Philologie 118, no. H. 4 (1999): 624–31.
LibreCat
 

1999 | Encyclopedia Article | LibreCat-ID: 19461
Eke, Norbert Otto. “Nikolaus Lenau: Savonarola. Ein Gedicht; Die Albigenser. Freie Dichtungen.” In Reclams Romanlexikon. Bd. 2: Von der Romantik bis zum Naturalismus, edited by Frank Rainer Max and Christine Ruhrberg, 235–38. Stuttgart: Reclam, 1999.
LibreCat
 

1999 | Encyclopedia Article | LibreCat-ID: 19473
Eke, Norbert Otto. “Richard Beer-Hofmann: Der Tod Georgs.” In Reclams Romanlexikon. Bd. 3: 20. Jahrhundert I, edited by Frank Rainer Max and Christine Ruhrberg, 85–87. Stuttgart: Reclam, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2165
Berenbrink, Petra, Marco Riedel, and Christian Scheideler. “Simple Competitive Request Scheduling Strategies.” In SPAA, 33--42, 1999.
LibreCat | Files available
 

1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, Hans, and Theodor Lettmann. “Resolution Remains Hard under Equivalence.” Discrete Applied Mathematics, 1999, 139–48. https://doi.org/10.1016/s0166-218x(99)00055-4.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 19928
Büker, Petra. “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,” 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20956
Hahn, O., J. Kurzok, Gerson Meschut, and V. Schulte. “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. Tagungsband 726 Zum Forschungskolleg Stahlanwendung ´99. Düsseldorf, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 20987
Meschut, Gerson. “Kleben – Eine Innovative Fügetechnik Für Den Leichtbau.” In Tagungsband Zur Vortragsveranstaltung “75 Jahre Schweißtechnische Ausbildung in Braunschweig.” Braunschweig, 1999.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 11780
Haeb-Umbach, Reinhold. “Investigations on Inter-Speaker Variability in the Feature Space.” In ICASSP99 Phoenix, AZ, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11805
Harris, Matthew J., Xavier L. Aubert, Reinhold Haeb-Umbach, and Peter Beyerlein. “A Study of Broadcast News Audio Stream Segmentation and Segment Clustering.” In Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Conference Paper | LibreCat-ID: 11728
Beyerlein, Peter, Xavier L. Aubert, Reinhold Haeb-Umbach, Matthew J. Harris, Dietrich Klakow, Andreas Wendemuth, Sirko Molau, Michael Pitz, and Achim Sixtus. “The Philips/RWTH System for Transcription of Broadcast News.” In Eurospeech, 1999.
LibreCat | Download (ext.)
 

1999 | Book | LibreCat-ID: 13065
Hellebrand, Sybille. Selbsttestbare Steuerwerke - Strukturen Und Syntheseverfahren. 10. Verlag Dr. Kovac, Hamburg: Verlag Dr. Kovac, Hamburg, 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 13767
Esser, N., Wolf Gero Schmidt, J. Bernholc, A. M. Frisch, P. Vogt, M. Zorn, M. Pristovsek, et al. “GaP(001) and InP(001): Reflectance Anisotropy and Surface Geometry.” Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures 17, no. 4 (1999). https://doi.org/10.1116/1.590810.
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15232
Hüllermeier, Eyke, D. Dubois, and H. Prade. “Extensions of a Qualitative Approach to Case-Based Decision Making: Unvertainty and Fuzzy Quantification in Act Evaluation.” In In Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, edited by H.J. Zimmermann, 1999.
LibreCat
 

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

1999 | Book Chapter | LibreCat-ID: 16235
Hüllermeier, Eyke. “Qualitatives Schließen Und Qualitative Simulation.” In Modellierung, Simulation Und Künstliche Intelligenz, edited by H. Szczerbicka and T. Uthmann, 277–310. SCS Publishing House, Erlangen, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 2008
Brune, Matthias, Axel Keller, and Alexander Reinefeld. “Multi-User System Management on SCI Cluster.” In SCI - Scalable Coherent Interface: Architecture and Software for High Performance Compute Clusters, edited by Hermann Hellwagner and Alexander Reinefeld, 443–60. LNCS, 1999. https://doi.org/10.1007/10704208_34.
LibreCat | DOI
 

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

1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. https://doi.org/10.1007/3-540-48118-4_5.
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 3417
Hehenkamp, Burkhard, Cheng-Zhong Qin, and Charles Stuart. “Economic Natural Selection in Bertrand and Cournot Settings.” Journal of Evolutionary Economics 9, no. 2 (1999): 211–24. https://doi.org/10.1007/s001910050081.
LibreCat | DOI
 

1999 | Book Chapter | LibreCat-ID: 3657
Gallenberger, Wolfgang, Hans Gruber, Christian Harteis, and Elena Stamouli. “Learning with New Media as a Cognitive Tool.” In Internet as a Vehicle for Teaching, edited by Nick Nistor, 55–64. Cluj: Teacher’s House, 1999.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 3688
Harteis, Christian, Hans Gruber, and Wolfgang Gallenberger. “Implementation of Internet-Based Courses in an University Curriculum.” In Internet as a Vehicle for Teaching, edited by Nick Nistor, 167–83. Cluj: Teacher’s House, 1999.
LibreCat
 

1999 | Book | LibreCat-ID: 4629
Feng, Yuanhua. Kernel- and Locally Weighted Regression -- with Application to Time Series Decomposition, 1999.
LibreCat
 

1999 | Report | LibreCat-ID: 4910
Frick, Bernd, and Martin Schneider. Zunehmende Konfliktregulierung durch Arbeitsgerichte? Eine ökonomische Analyse der Häufigkeit von Kündigungsschutzprozessen, 1999.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed