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.
1746 Publications
1994 | Conference Paper | LibreCat-ID: 8264
Specification of coordinated behaviour by SOCCA
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
LibreCat
| DOI
G. Engels, L. Groenewegen, in: Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), Springer, Berlin/Heidelberg, 1994, pp. 128–151.
1994 | Journal Article | LibreCat-ID: 13855
Coverage-dependent bonding of Sb on GaAs (110)
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
LibreCat
| DOI
W.G. Schmidt, B. Wenzien, F. Bechstedt, Surface Science 307–309 (1994) 235–240.
1994 | Encyclopedia Article | LibreCat-ID: 34939
[Art.] Kunstsoziologie
J. Süßmann, in: H. Kerber, A. Schmieder (Eds.), Spezielle Soziologien. Problemfelder, Forschungsbereiche, Anwendungsorientierungen, Rowohlt, Reinbek, 1994, pp. 520–540.
LibreCat
J. Süßmann, in: H. Kerber, A. Schmieder (Eds.), Spezielle Soziologien. Problemfelder, Forschungsbereiche, Anwendungsorientierungen, Rowohlt, Reinbek, 1994, pp. 520–540.
1994 | Journal Article | LibreCat-ID: 36179
Konflikte im hohen Norden. Ein Blick auf einige Neuerscheinungen zur isländischen und norwegischen Geschichte im Mittelalter
H. Kamp, Historische Zeitschrift 230 (1994) 99–107.
LibreCat
H. Kamp, Historische Zeitschrift 230 (1994) 99–107.
1994 | Book Chapter | LibreCat-ID: 43597
Theory of polarization-dependent four-wave mixing using the optical Bloch equations
T. Meier, D. Bennhardt, P. Thomas, Y.Z. Hu, R. Binder, S.W. Koch, in: R.T. Phillips (Ed.), Coherent Optical Interactions in Semiconductors, Springer Science+Business Media, New York, 1994, pp. 349–354.
LibreCat
| DOI
| Download (ext.)
T. Meier, D. Bennhardt, P. Thomas, Y.Z. Hu, R. Binder, S.W. Koch, in: R.T. Phillips (Ed.), Coherent Optical Interactions in Semiconductors, Springer Science+Business Media, New York, 1994, pp. 349–354.
1994 | Journal Article | LibreCat-ID: 53459
Die Osterfelder Pancratiuskirche und die Bottroper Cyriacuskirche als Indikatoren der frühmittelalterlichen Missionierung Westfalens
B. Englisch, Ursprünge und Entwicklungen der Stadt Oberhausen. Quellen und Forschungen zu ihrer Geschichte 4 (1994) 183–243.
LibreCat
B. Englisch, Ursprünge und Entwicklungen der Stadt Oberhausen. Quellen und Forschungen zu ihrer Geschichte 4 (1994) 183–243.
1994 | Dissertation | LibreCat-ID: 53454
Die Artes liberales im frühen Mittelalter (5.-9. Jh.). Das Quadrivium und der Komputus als Indikatoren für Kontinuität und Erneuerung der exakten Wissenschaften zwischen Antike und Mittelalter
B. Englisch, Die Artes liberales im frühen Mittelalter (5.-9. Jh.). Das Quadrivium und der Komputus als Indikatoren für Kontinuität und Erneuerung der exakten Wissenschaften zwischen Antike und Mittelalter, Stuttgart, 1994.
LibreCat
B. Englisch, Die Artes liberales im frühen Mittelalter (5.-9. Jh.). Das Quadrivium und der Komputus als Indikatoren für Kontinuität und Erneuerung der exakten Wissenschaften zwischen Antike und Mittelalter, Stuttgart, 1994.
1993 | Book Chapter | LibreCat-ID: 2456
Problem Independent Distributed Simulated Annealing and its Applications
R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin / Heidelberg, 1993, pp. 17–44.
LibreCat
| DOI
R. Diekmann, J. Simon, in: Applied Simulated Annealing, Springer, Berlin / Heidelberg, 1993, pp. 17–44.
1993 | Book (Editor) | LibreCat-ID: 17477
Parallel Architectures and Their Efficient Use
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Monien, A.L. Rosenberg, eds., Parallel Architectures and Their Efficient Use, Springer, Berlin, Heidelberg, 1993.
1993 | Book Chapter | LibreCat-ID: 16730
Strongly adaptive token distribution
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat
| DOI
F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, in: Automata, Languages and Programming, Berlin, Heidelberg, 1993.
1993 | Book Chapter | LibreCat-ID: 16732
Capabilities and complexity of computations with integer division
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat
| DOI
K. Lürwer-Brüggemeier, F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
1993 | Book Review | LibreCat-ID: 17773
Ein Jahrhundert Mathematik 1890–1990. Festschrift zum Jubiläum der DMV. hg. v. Gerd Fischer/Friedrich Hirzebruch/Winfried Scharlau/Willi Törnig, Friedrich Vieweg & Sohn: Braunschweig/Wiesbaden 1990 (= Dokumente zur Geschichte der Mathematik; 6)
V. Peckhaus, Modern Logic 3 (1993) 311–320.
LibreCat
V. Peckhaus, Modern Logic 3 (1993) 311–320.
1993 | Book | LibreCat-ID: 34422
Memoria und Selbstdarstellung. Die Stiftungen des burgundischen Kanzlers Rolin
H. Kamp, Memoria und Selbstdarstellung. Die Stiftungen des burgundischen Kanzlers Rolin, Sigmaringen, 1993.
LibreCat
H. Kamp, Memoria und Selbstdarstellung. Die Stiftungen des burgundischen Kanzlers Rolin, Sigmaringen, 1993.
1992 | Conference Paper | LibreCat-ID: 2460
Implementierung von Simulated Annealing auf Transputer-Systemen
R. Diekmann, R. Lüling, B. Monien, J. Simon, in: Parallele Datenverarbeitung Mit Dem Transputer, Springer, Berlin / Heidelberg, 1992, pp. 361–368.
LibreCat
| DOI
R. Diekmann, R. Lüling, B. Monien, J. Simon, in: Parallele Datenverarbeitung Mit Dem Transputer, Springer, Berlin / Heidelberg, 1992, pp. 361–368.
1992 | Book Chapter | LibreCat-ID: 3046
Resemblance and symmetries of geometric patterns
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
LibreCat
| DOI
H. Alt, J. Blömer, in: Data Structures and Efficient Algorithms, Springer Berlin Heidelberg, Berlin, Heidelberg, 1992, pp. 1–24.
1992 | Journal Article | LibreCat-ID: 19370
Artikelfolge Neugotik und Neuromanik in Stuttgart, 6 Folgen
E.-M. Seng, Gemeindeblatt für Württemberg, Stuttgart Nr. 44-49 (1992).
LibreCat
E.-M. Seng, Gemeindeblatt für Württemberg, Stuttgart Nr. 44-49 (1992).
1992 | Journal Article | LibreCat-ID: 21787
Design and development of data visualization systems in a workstation environment
G. Domik, K.D. Mickus-Miceli, Journal of Microcomputer Applications 15 (1992) 81–88.
LibreCat
| DOI
G. Domik, K.D. Mickus-Miceli, Journal of Microcomputer Applications 15 (1992) 81–88.
1992 | Book Chapter | LibreCat-ID: 16733
High performance universal hashing, with applications to shared memory simulations
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
LibreCat
| DOI
M. Dietzfelbinger, F. Meyer auf der Heide, in: Data Structures and Efficient Algorithms, Berlin, Heidelberg, 1992.
1992 | Book Chapter | LibreCat-ID: 16734
Hashing strategies for simulating shared memory on distributed memory machines
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
1992 | Book Chapter | LibreCat-ID: 16735
On the performance of networks with multiple busses
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
LibreCat
| DOI
F. Meyer auf der Heide, H.T. Pham, in: STACS 92, Berlin, Heidelberg, 1992.
1991 | Book Chapter | LibreCat-ID: 19318
Im Geiste der Erbauer, Die Renovierung der Tübinger Stiftskirche 1859 - 1867
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 77. Jg. Tübingen 1990/91, Tübingen, 1991, pp. 11–16.
LibreCat
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 77. Jg. Tübingen 1990/91, Tübingen, 1991, pp. 11–16.
1991 | Journal Article | LibreCat-ID: 19438
Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer 'kleinen Literatur'
N.O. Eke, Deutsche Studien 29 29 (1991) 30–50.
LibreCat
N.O. Eke, Deutsche Studien 29 29 (1991) 30–50.
1991 | Conference Paper | LibreCat-ID: 21790
The role of visualization in understanding data
G. Domik, in: H. Maurer (Ed.), New Results and New Trends in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 91–107.
LibreCat
G. Domik, in: H. Maurer (Ed.), New Results and New Trends in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 91–107.
1991 | Conference Paper | LibreCat-ID: 16912
Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge
G. Domik, K. Mickus, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
LibreCat
G. Domik, K. Mickus, in: M. Schader (Ed.), Proceedings of the 15th Annual Conference of the “Gesellschaft Für Klassifikation e.V.” University of Salzburg, 1991, pp. 267–276.
1991 | Conference Abstract | LibreCat-ID: 17822
Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract]
V. Peckhaus, in: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9, o.O.u.J. (Uppsala), 1991, p. 158.
LibreCat
V. Peckhaus, in: Abstracts of the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, August 7–14, 1991, Bd. 2: General Philosophy of Science. Sections 6–9, o.O.u.J. (Uppsala), 1991, p. 158.
1991 | Conference Paper | LibreCat-ID: 39922
Application and implementation of neural networks in microelectronics
K. Goser, U. Hilleringmann, U. Rückert, in: A. Prieto (Ed.), Artificial Neural Networks, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 243–259.
LibreCat
K. Goser, U. Hilleringmann, U. Rückert, in: A. Prieto (Ed.), Artificial Neural Networks, Springer Berlin Heidelberg, Berlin, Heidelberg, 1991, pp. 243–259.
1990 | Journal Article | LibreCat-ID: 34763
»Wie Kinderzeichnungen«? Zum literarischen Verfahren in Marieluise Fleißers erster Erzählung
J. Süßmann, Avant Garde 4 (1990) 59–69.
LibreCat
J. Süßmann, Avant Garde 4 (1990) 59–69.
1989 | Book Chapter | LibreCat-ID: 19321
Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 76. Jg. , Tübingen, 1989, pp. 29–34.
LibreCat
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 76. Jg. , Tübingen, 1989, pp. 29–34.
1988 | Mastersthesis | LibreCat-ID: 18692
Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch.
E.-M. Seng, Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch., Tübingen 1987, 1988.
LibreCat
E.-M. Seng, Die Johanneskirche am Feuersee in Stuttgart und der Architekt Christian Friedrich von Leins (1814 - 1892), Magisterarbeit masch., Tübingen 1987, 1988.
1988 | Book Chapter | LibreCat-ID: 16768
Upper and lower bounds for the dictionary problem
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
LibreCat
| DOI
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, H. Rohnert, in: SWAT 88, Berlin, Heidelberg, 1988.
1987 | Book Chapter | LibreCat-ID: 19821
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat
| DOI
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
1987 | Book Chapter | LibreCat-ID: 19359
Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
LibreCat
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat
| DOI
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
1986 | Book Chapter | LibreCat-ID: 19477
Architekten- und Künstlerbiographien
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
LibreCat
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 102–108.
1986 | Book Chapter | LibreCat-ID: 19819
Classes of first order formulas under various satisfiability definitions
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat
| DOI
H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 19360
Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
LibreCat
E.-M. Seng, in: Kulturamt der Universitätsstadt Tübingen (Ed.), Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), 1986, pp. 4–16.
1986 | Book Chapter | LibreCat-ID: 19364
Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
LibreCat
E.-M. Seng, in: G. Schäfer, M. Brecht (Eds.), Blätter für württembergische Kirchengeschichte, 86. Jg. , Stuttgart, 1986, pp. 299–319.
1986 | Book Chapter | LibreCat-ID: 16774
A tradeoff between search and update time for the implicit dictionary problem
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat
| DOI
A. Borodin, F.E. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: Automata, Languages and Programming, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 16775
Speeding up random access machines by few processors
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Book Chapter | LibreCat-ID: 16776
A time-space tradeoff for element distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, in: STACS 86, Berlin, Heidelberg, 1986.
1986 | Book | LibreCat-ID: 29879
Nichtlineare und adaptive Regelungssysteme
J. Böcker, I. Hartmann, C. Zwanzig, Nichtlineare und adaptive Regelungssysteme, Springer-Verlag, Berlin, 1986.
LibreCat
| DOI
| Download (ext.)
J. Böcker, I. Hartmann, C. Zwanzig, Nichtlineare und adaptive Regelungssysteme, Springer-Verlag, Berlin, 1986.
1986 | Journal Article | LibreCat-ID: 35395
Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders
C. Schmidt, S. Wefing, B. Blümich, H.W. Spiess, Chemical Physics Letters 130 (1986) 84–90.
LibreCat
| DOI
C. Schmidt, S. Wefing, B. Blümich, H.W. Spiess, Chemical Physics Letters 130 (1986) 84–90.
1984 | Book Chapter | LibreCat-ID: 16787
Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat
| DOI
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
1981 | Book Chapter | LibreCat-ID: 16813
Random access machines and straight-line programs
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat
| DOI
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
1981 | Book Chapter | LibreCat-ID: 16814
Time-processor trade-offs for universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat
| DOI
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
1979 | Journal Article | LibreCat-ID: 16812
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421.
LibreCat
| DOI
F. Meyer auf der Heide, Automata, Languages and Programming. ICALP 1979 (1979) 411–421.