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


1996 | Book Chapter | LibreCat-ID: 19816
H. Kleine Büning and T. Lettmann, “Learning a representation for optimizable formulas,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 2443
J. Simon and J.-M. Wierum, “Sequential Performance versus Scalability: Optimizing Parallel LU-Decomposition,” in Proc. Int. Conf. on High-Performance Computing and Networking (HPCN-Europe), 1996, vol. 1067, pp. 627–632.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 3262
U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 

1996 | Book | LibreCat-ID: 3385
T. Gries, G. Sieg, and H. Strulik, Repetitorium Mikroökonomik. Berlin Heidelberg: Springer-Verlag, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19311
E.-M. Seng, “Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins,” in Blätter für württembergische Kirchengeschichte, 96. Jg. , vol. 96. Jg. 1996, 1996, pp. 119–126.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 19312
E.-M. Seng, “Die Dresdner Frauenkirche in der evangelischen Kirchenbaudiskussion des19. Jahrhunderts,” in Die Dresdner Frauenkirche. Jahrbuch zu ihrer Geschichte und zu ihrem archäologischen Wiederaufbau. Bd. 2, vol. Bd. 2, Weimar, 1996, pp. 147–164.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 19314
E.-M. Seng and R. Saage, “Geometrische Muster zwischen frühneuzeitlicher Utopie und russischer Avantgarde,” Zeitschrift für Geschichtswissenschaft, Heft 8, no. Heft 8, pp. 677–602, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 880
B. Dreier, A. Huber, H. Karl, T. Ungerer, and M. Zahn, “ReGTime - Rent Gigaflops someTimes,” in Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings, 1996, pp. 84--93.
LibreCat | DOI
 

1996 | Book (Editor) | LibreCat-ID: 16702
F. Meyer auf der Heide and B. Monien, Eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 16703
P. Berenbrink, F. Meyer auf der Heide, and V. Stemann, “Fault-tolerant shared memory simulations,” in STACS 96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13788
W. G. Schmidt and W. . Verwoerd, “Annihilation of delocalized positrons: a comparison of diamond and silicon,” Physics Letters A, vol. 222, no. 4, pp. 275–280, 1996.
LibreCat | DOI
 

1996 | Book Review | LibreCat-ID: 34766 | OA
J. Süßmann, “[Rez. v.] Gerrit Walther. Niebuhrs Forschung. Stuttgart. Steiner 1993,” Archiv für Sozialgeschichte, vol. 36. pp. 700–702, 1996.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 35049
J. Süßmann, “Zeitroman, mimetisch. Textgeschichte, Verfahren und Status von Marieluise Fleißers ›Mehlreisende Frieda Geier‹,” in Literatur und Leben. Stationen weiblichen Schreibens im 20. Jahrhundert. Unter Mitarbeit v. Lena Lindhoff, C. Bürger, Ed. Stuttgart: M&P, 1996, pp. 62–100.
LibreCat | DOI | Download (ext.)
 

1996 | Report | LibreCat-ID: 35059
P. Krügel, O. Müller, and J. Süßmann, ›150 Jahre Erste Germanistenversammlung in Frankfurt am Main. 1846–1996. Zur Geschichte und Problematik der Nationalphilologien in Europa‹. [Bericht über eine Tagung in] Frankfurt am Main, 24. bis 26. September 1996, vol. 1. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17937
V. Peckhaus, “Murawski, Roman, ‘Contributions of Polish Logicians to Decidability Theory’, Modern Logic 6 (1996), 37–66,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1996.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 38452
D. Sandel and R. Noé, “Chirped fiber Bragg gratings for optical dispersion compensation: How to improve their fabrication accuracy,” in 22ND EUROPEAN CONFERENCE ON OPTICAL COMMUNICATIONS, PROCEEDINGS, VOLS 1-6: CO-LOCATED WITH: 2ND EUROPEAN EXHIBITION ON OPTICAL COMMUNICATION - EEOC ‘96, 1996, pp. B233–B236.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 53482
B. Englisch, “Realitätsorientierte Wissenschaft oder praxisfernes Traditionswissen? Inhalte und Probleme mittelalterlicher Wissenschaftsvorstellungen am Beispiel von ‘De temporum ratione’ des Beda Venerabilis,” in Dilettanten und Wissenschaft: Zur Geschichte und Aktualität eines wechselvollen Verhältnisses, J. Maaß/E. Strauß, Ed. Amsterdam, 1996, p. S. 11-34.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 53460
B. Englisch, “Die älteste urkundliche Erwähnung Meinerzhagens (1067) vor dem Hintergrund der Grundherrschaften und Besitzverhältnisse Südwestfalens im Hohen Mittelalter,” Der Märker, vol. 45, no. 1, pp. 3–17, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 53461
B. Englisch, “Projection and methods of mapping in Erhard Etzlaub’s cartographical works,” Imago Mundi. The international journal for the history of cartography, vol. 48, pp. 103–123, 1996.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2449
T. Römke, M. Röttger, U.-P. Schroeder, and J. Simon, “On Efficient Embeddings of Grids into Grids in PARIX,” in Proc. European Conf. on Parallel Processing (Euro-Par), 1995, vol. 966, pp. 179–192.
LibreCat | DOI
 

1995 | Dissertation | LibreCat-ID: 18691
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. Tübingen 1992: Diss. masch., 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 18696
E.-M. Seng, Der evangelische Kirchenbau im 19. Jahrhundert, die Eisenacher Bewegung und der Architekt Christian Friedrich von Leins. Tübingen: (Wasmuth), 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 18701
E.-M. Seng, Kirchenbau zwischen Politik, Kunst und Liturgie. Theorie und Wirklichkeiten im Evangelischen Kirchenbau des 19. Jahrhunderts. Jahresgabe des Vereins für christliche Kunst in Württemberg 1995. Tübingen: Wasmuth, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 19316
E.-M. Seng, “Zwischen Kontinuität, Notkirche und Neuanfang: Evangelischer Kirchenbau in Württemberg 1925 - 1955,” in Das Evangelische Württemberg zwischen Weltkrieg und Wiederaufbau, R. Lächele and J. Thierfelder, Eds. Stuttgart, 1995, pp. 234–259.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 2187 | OA
F. Meyer auf der Heide and C. Scheideler, “Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks,” in ESA, 1995, pp. 341--354.
LibreCat | Files available | DOI
 

1995 | Conference Paper | LibreCat-ID: 8266
L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), 1995, vol. 913, pp. 189–192.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16532
M. Dellnitz and C. Heinrich, “Admissible symmetry increasing bifurcations,” Nonlinearity, pp. 1039–1066, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16542
M. Dellnitz and I. Melbourne, “A note on the shadowing lemma and symmetric periodic points,” Nonlinearity, pp. 1067–1075, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16704
F. Meyer auf der Heide and B. Vöcking, “A packet routing protocol for arbitrary networks,” in STACS 95, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16705
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Shared memory simulations with triple-logarithmic delay,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16717
F. Meyer auf der Heide and M. Westermann, “Hot-potato routing on multi-dimensional tori,” in Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16874
A. Bäumker, W. Dittrich, and F. Meyer auf der Heide, “Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1995.
LibreCat | DOI
 

1995 | Book Review | LibreCat-ID: 34765 | OA
J. Süßmann, “[Rez. v.] Friedrich Jaeger: Bürgerliche Modernisierungskrise und historische Sinnbildung. Kulturgeschichte bei Droysen, Burckhardt und Max Weber. Göttingen. Vandenhoeck & Ruprecht 1994,” Archiv für Sozialgeschichte, vol. 35. p. 667 f., 1995.
LibreCat | Download (ext.)
 

1995 | Book Chapter | LibreCat-ID: 36174
H. Kamp, “Amortisation und Herrschergedenken im Burgund des 15. Jahrhunderts,” in Memoria als Kultur, vol. 121, O. G. Oexle, Ed. Göttingen, 1995, pp. 253–284.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 40315
V. P. Vorflusev, H.-S. Kitzerow, and V. G. Chigrinov, “Azimuthal Anchoring Energy in Photoinduced Anisotropic Films,” Japanese Journal of Applied Physics, vol. 34, no. 9A, Art. no. L1137, 1995, doi: 10.1143/jjap.34.l1137.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 43586
T. Meier et al., “Polarization selection rules for quantum beating between light-and heavy-hole excitons in GaAs quantum wells,” Solid state communications, vol. 94, no. 5, pp. 373–377, 1995, doi: 10.1016/0038-1098(95)00052-6.
LibreCat | DOI | Download (ext.)
 

1994 | Conference Paper | LibreCat-ID: 3263
A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
H. Wehrheim, “Parametric Action Refinement,” in Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7798
J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, Eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, vol. 1073. Berlin/Heidelberg: Springer, 1994.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8263
M. Andries and G. Engels, “Syntax and Semantics of Hybrid Database Languages,” in Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany), 1994, vol. 776, pp. 19–36.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 8264
G. Engels and L. Groenewegen, “Specification of coordinated behaviour by SOCCA,” in Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France), 1994, pp. 128–151.
LibreCat | DOI
 

1994 | Journal Article | LibreCat-ID: 13855
W. G. Schmidt, B. Wenzien, and F. Bechstedt, “Coverage-dependent bonding of Sb on GaAs (110),” Surface Science, vol. 307–309, no. Part A, pp. 235–240, 1994.
LibreCat | DOI
 

1994 | Encyclopedia Article | LibreCat-ID: 34939
J. Süßmann, “[Art.] Kunstsoziologie,” in Spezielle Soziologien. Problemfelder, Forschungsbereiche, Anwendungsorientierungen, vol. 542, H. Kerber and A. Schmieder, Eds. Reinbek: Rowohlt, 1994, pp. 520–540.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 36179
H. Kamp, “Konflikte im hohen Norden. Ein Blick auf einige Neuerscheinungen zur isländischen und norwegischen Geschichte im Mittelalter,” Historische Zeitschrift, vol. 230, pp. 99–107, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 43597
T. Meier, D. Bennhardt, P. Thomas, Y. Z. Hu, R. Binder, and S. W. Koch, “Theory of polarization-dependent four-wave mixing using the optical Bloch equations,” in Coherent Optical Interactions in Semiconductors, R. T. Phillips, Ed. New York: Springer Science+Business Media, 1994, pp. 349–354.
LibreCat | DOI | Download (ext.)
 

1994 | Journal Article | LibreCat-ID: 53459
B. Englisch, “Die Osterfelder Pancratiuskirche und die Bottroper Cyriacuskirche als Indikatoren der frühmittelalterlichen Missionierung Westfalens,” Ursprünge und Entwicklungen der Stadt Oberhausen. Quellen und Forschungen zu ihrer Geschichte, vol. 4, pp. 183–243, 1994.
LibreCat
 

1994 | Dissertation | LibreCat-ID: 53454
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, vol. 33. Stuttgart, 1994.
LibreCat
 

1993 | Book Chapter | LibreCat-ID: 2456
R. Diekmann and J. Simon, “Problem Independent Distributed Simulated Annealing and its Applications,” in Applied Simulated Annealing, vol. 396, Berlin / Heidelberg: Springer, 1993, pp. 17–44.
LibreCat | DOI
 

1993 | Book (Editor) | LibreCat-ID: 17477
F. Meyer auf der Heide, B. Monien, and A. L. Rosenberg, Eds., Parallel Architectures and Their Efficient Use. Berlin, Heidelberg: Springer, 1993.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 16730
F. Meyer auf der Heide, B. Oesterdiekhoff, and R. Wanka, “Strongly adaptive token distribution,” in Automata, Languages and Programming, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Book Chapter | LibreCat-ID: 16732
K. Lürwer-Brüggemeier and F. Meyer auf der Heide, “Capabilities and complexity of computations with integer division,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1993.
LibreCat | DOI
 

1993 | Book Review | LibreCat-ID: 17773
V. Peckhaus, “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),” Modern Logic, vol. 3. pp. 311–320, 1993.
LibreCat
 

1993 | Book | LibreCat-ID: 34422
H. Kamp, Memoria und Selbstdarstellung. Die Stiftungen des burgundischen Kanzlers Rolin, vol. 30. Sigmaringen, 1993.
LibreCat
 

1992 | Conference Paper | LibreCat-ID: 2460
R. Diekmann, R. Lüling, B. Monien, and J. Simon, “Implementierung von Simulated Annealing auf Transputer-Systemen,” in Parallele Datenverarbeitung mit dem Transputer, Aachen, 1992, pp. 361–368.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 3046
H. Alt and J. Blömer, “Resemblance and symmetries of geometric patterns,” in Data structures and efficient algorithms, Berlin, Heidelberg: Springer Berlin Heidelberg, 1992, pp. 1–24.
LibreCat | DOI
 

1992 | Journal Article | LibreCat-ID: 19370
E.-M. Seng, “Artikelfolge Neugotik und Neuromanik in Stuttgart, 6 Folgen ,” Gemeindeblatt für Württemberg, Stuttgart, vol. Nr. 44-49, 1992.
LibreCat
 

1992 | Journal Article | LibreCat-ID: 21787
G. Domik and K. D. Mickus-Miceli, “Design and development of data visualization systems in a workstation environment,” Journal of Microcomputer Applications, vol. 15, no. 2, pp. 81–88, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16733
M. Dietzfelbinger and F. Meyer auf der Heide, “High performance universal hashing, with applications to shared memory simulations,” in Data structures and efficient algorithms, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16734
F. Meyer auf der Heide, “Hashing strategies for simulating shared memory on distributed memory machines,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1992 | Book Chapter | LibreCat-ID: 16735
F. Meyer auf der Heide and H. T. Pham, “On the performance of networks with multiple busses,” in STACS 92, Berlin, Heidelberg, 1992.
LibreCat | DOI
 

1991 | Book Chapter | LibreCat-ID: 19318
E.-M. Seng, “Im Geiste der Erbauer, Die Renovierung der Tübinger Stiftskirche 1859 - 1867,” in Tübinger Blätter, 77. Jg. Tübingen 1990/91, Bürger- und Verkehrsverein Tübingen e.V. , Ed. Tübingen, 1991, pp. 11–16.
LibreCat
 

1991 | Journal Article | LibreCat-ID: 19438
N. O. Eke, “Die deutschsprachige Literatur Osteuropas und ihre Rezeption in der Bundesrepublik. Probleme und Chancen einer ‘kleinen Literatur,’” Deutsche Studien 29, vol. 29, no. H. 113, pp. 30–50, 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 21790
G. Domik, “The role of visualization in understanding data,” in New Results and New Trends in Computer Science, 1991, pp. 91–107.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 16912
G. Domik and K. Mickus, “Visualization in the Analysis Cycle of Observational Data, in Analyzing and Modeling Data and Knowledge,” in Proceedings of the 15th Annual Conference of the “Gesellschaft für Klassifikation e.V.” University of Salzburg, Salzburg, 1991, pp. 267–276.
LibreCat
 

1991 | Conference Abstract | LibreCat-ID: 17822
V. Peckhaus, “Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908) [Abstract],” 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, 1991, p. 158.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39922
K. Goser, U. Hilleringmann, and U. Rückert, “Application and implementation of neural networks in microelectronics,” in Artificial Neural Networks, 1991, pp. 243–259.
LibreCat
 

1990 | Journal Article | LibreCat-ID: 34763
J. Süßmann, “»Wie Kinderzeichnungen«? Zum literarischen Verfahren in Marieluise Fleißers erster Erzählung,” Avant Garde, vol. 4, pp. 59–69, 1990.
LibreCat
 

1989 | Book Chapter | LibreCat-ID: 19321
E.-M. Seng, “Vom Ballhaus zum Gotteshaus, Vorgeschichte und Bau der katholischen St. Johannes-Kirche in Tübingen,” in Tübinger Blätter, 76. Jg. , Bürger- und Verkehrsverein Tübingen e.V. , Ed. Tübingen, 1989, pp. 29–34.
LibreCat
 

1988 | Mastersthesis | LibreCat-ID: 18692
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
 

1988 | Book Chapter | LibreCat-ID: 16768
M. Dietzfelbinger, K. Mehlhorn, F. Meyer auf der Heide, and H. Rohnert, “Upper and lower bounds for the dictionary problem,” in SWAT 88, Berlin, Heidelberg, 1988.
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 19821
H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in Computation Theory and Logic, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat | DOI
 

1987 | Book Chapter | LibreCat-ID: 19359
E.-M. Seng, “Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins,” in Tübinger Blätter, 74. Jg. , vol. 74. Jg., Bürger- und Verkehrsverein Tübingen e.V., Ed. 1987, pp. 8–14.
LibreCat
 

1987 | Conference Paper | LibreCat-ID: 8257
G. Engels, C. Lewerentz, and W. Schäfer, “Graph Grammar Engineering: A Software Specification Method,” in Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), 1987, vol. 291, pp. 186–201.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19477
E.-M. Seng, “Architekten- und Künstlerbiographien,” in Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), Kulturamt der Universitätsstadt Tübingen , Ed. 1986, pp. 102–108.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19819
H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various satisfiability definitions,” in 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 19360
E.-M. Seng, “Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert,” in Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), vol. Nr. 29, Kulturamt der Universitätsstadt Tübingen , Ed. 1986, pp. 4–16.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 19364
E.-M. Seng, “Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage,” in Blätter für württembergische Kirchengeschichte, 86. Jg. , vol. 86. Jg., G. Schäfer and M. Brecht, Eds. Stuttgart, 1986, pp. 299–319.
LibreCat
 

1986 | Book Chapter | LibreCat-ID: 16774
A. Borodin, F. E. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A tradeoff between search and update time for the implicit dictionary problem,” in Automata, Languages and Programming, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 16775
F. Meyer auf der Heide, “Speeding up random access machines by few processors,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book Chapter | LibreCat-ID: 16776
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, and A. Wigderson, “A time-space tradeoff for element distinctness,” in STACS 86, Berlin, Heidelberg, 1986.
LibreCat | DOI
 

1986 | Book | LibreCat-ID: 29879
J. Böcker, I. Hartmann, and C. Zwanzig, Nichtlineare und adaptive Regelungssysteme. Berlin: Springer-Verlag, 1986.
LibreCat | DOI | Download (ext.)
 

1986 | Journal Article | LibreCat-ID: 35395
C. Schmidt, S. Wefing, B. Blümich, and H. W. Spiess, “Dynamics of molecular reorientations: direct determination of rotational angles from two-dimensional NMR of powders,” Chemical Physics Letters, vol. 130, no. 1–2, pp. 84–90, 1986, doi: 10.1016/0009-2614(86)80431-6.
LibreCat | DOI
 

1984 | Book Chapter | LibreCat-ID: 16787
F. Meyer auf der Heide, “Efficient simulations among several models of parallel computers (extended abstract),” in STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 

1981 | Book Chapter | LibreCat-ID: 16813
F. Meyer auf der Heide and A. Rollik, “Random access machines and straight-line programs,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1981 | Book Chapter | LibreCat-ID: 16814
F. Meyer auf der Heide, “Time-processor trade-offs for universal parallel computers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1979 | Journal Article | LibreCat-ID: 16812
F. Meyer auf der Heide, “A comparison of two variations of a pebble game on graphs,” Automata, Languages and Programming. ICALP 1979, pp. 411–421, 1979.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D3-540-32158-6

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed