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.

13653 Publications


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: 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 | 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 | 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: 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
 

1999 | Conference Paper | LibreCat-ID: 8327
An Assessment of Aspect Language Design
K. Mehner, A. Wagner, 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
Schwingungsanalyse von vorgespannten Schaufeln mit Deckplatten im Schaufelkranz
K. Popp, W. Sextro, in: Forschungsvereinigung Verbrennungskraftmaschinen (FW) -Lnformationstagung Turbinen, Heidelberg, 1999, pp. 21–38.
LibreCat
 

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

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

1999 | Journal Article | LibreCat-ID: 16537
On the Approximation of Complicated Dynamical Behavior
M. Dellnitz, O. Junge, SIAM Journal on Numerical Analysis (1999) 491–515.
LibreCat | DOI
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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: 19815
Resolution remains hard under equivalence
H. Kleine Büning, T. Lettmann, Discrete Applied Mathematics (1999) 139–148.
LibreCat | DOI
 
 

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

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

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

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

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

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

1999 | Journal Article | LibreCat-ID: 13767
GaP(001) and InP(001): Reflectance anisotropy and surface geometry
N. Esser, W.G. Schmidt, J. Bernholc, A.M. Frisch, P. Vogt, M. Zorn, M. Pristovsek, W. Richter, F. Bechstedt, T. Hannappel, S. Visbeck, Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures 17 (1999).
LibreCat | DOI
 

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

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

1999 | Book Chapter | LibreCat-ID: 16235
Qualitatives Schließen und Qualitative Simulation
E. Hüllermeier, in: H. Szczerbicka, T. Uthmann (Eds.), Modellierung, Simulation Und Künstliche Intelligenz, SCS Publishing House, Erlangen, 1999, pp. 277–310.
LibreCat
 

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

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

1999 | Conference Paper | LibreCat-ID: 3253
Data Abstraction for {CSP-OZ}
H. Wehrheim, 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}, 1999, pp. 1028--1047.
LibreCat | DOI
 

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

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

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

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

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

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

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed