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.

13800 Publications


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 | Conference Paper | LibreCat-ID: 8275
R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety Invariants into Z Specifications,” in Proceedings of the Workshop on Tools for System Development and Verifcation, 1996, vol. 1, pp. 70–83.
LibreCat | Download (ext.)
 

1996 | Book Review | LibreCat-ID: 17932
V. Peckhaus, “Bealer, George, ‘Toward a New Theory of Content’, in: Casati/Smith/White (Hgg.) 1994 [9.39], 179–191,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 842.03022]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 12–13.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16895
B. Gutkauf and G. Domik-Kienegger, “Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme,” in Proceedigns 4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17915
V. Peckhaus, “Bolzano, Bernard, Miscellanea mathematica 10, hg. v. Bob van Rootselar/Anna van der Lugt, Frommann-Holzboog: Stuttgart-Bad Cannstatt 1995 (Bernard Bolzano-Gesamtausgabe; II.B.6.2),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 833.01035]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17943
V. Peckhaus, “Breger, Herbert, ‘Tacit Knowledge in Mathematical Theory’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 79–90,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 847.00008]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17956
V. Peckhaus, “Casati, Roberto/Smith, Barry/White, Graham (Hgg.), Philosophy of the Cognitive Sciences. Proceedings of the 16th International Wittgenstein-Symposium, 15–22 August 1993, Kirchberg am Wechsel, Austria, Hölder-Pichler-Tempsky: Wien 1994 (= Schriftenreihe der Wittgenstein-Gesellschaft; 21),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00032]. 1996.
LibreCat
 

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 Review | LibreCat-ID: 17954
V. Peckhaus, “Code, Murray, ‘Understanding, Intuition, and the Philosophy of Mathematics’, in: Czermak (Hg.) 1993 [9.4], 335–342,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00018]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2184
F. Meyer auf der Heide and C. Scheideler, “Communication in Parallel Systems,” in SOFSEM, 1996, vol. 1175, pp. 16--33.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 8273
G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper),” in Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16816
G. Domik-Kienegger, “Computer Visualization - Concepts, Trends and Current Research,” in {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, 1996, vol. 1175, pp. 178–196.
LibreCat | DOI
 

1996 | Report | LibreCat-ID: 17418
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 10197
E. Steffen, “Counterexamples to a conjecture about bottlenecks in non-Tait-colourable cubic graphs,” Discrete Mathematics, vol. 161, p. 315, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17918
V. Peckhaus, “Czermak, Johannes (Hg.), Philosophy of Mathematics. Proceedings of the 15th International Wittgenstein-Symposium, 16–23 August 1992, Kirchberg am Wechsel, Austria, Part 1, Hölder-Pichler-Tempsky: Wien 1993 (= Schriftenreihe der Wittgenstein-Gesellschaft; 20/I),” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 836.00022]. 1996.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17843
V. Peckhaus, “Das Problem des ersten Schrittes in der modernen Axiomatik [Abstract],” in IV. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 5. bis 11. November 1995. 999 Jahre Österreich — ein Teil der globalen Entwicklung der Mathematik. Kurzfassungen der Vorträge, Nachtragsband, 1996, pp. 142–145.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17940
V. Peckhaus, “Dathe, Uwe, „Gottlob Frege und Rudolf Eucken — Gesprächspartner in der Herausbildungsphase der modernen Logik“, History and Philosophy of Logic 16 (1995), 245–255,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 846.01006]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17950
V. Peckhaus, “De Caro, Mario, ‘Galileo’s Mathematical Platonism’, in: Czermak (Hg.) 1993 [9.4], 13–22,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 849.00015]. 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 8198
G. Busatto and G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17924
V. Peckhaus, “Degen, J.W., ‘Two Formal Vindications of Logicism’, in: Czermak (Hg.) 1993 [9.4], 243–250,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 838.03004]. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 1663
D. Krimphove, “Der ‘Diplom Wirtschaftsjurist (FH)’ oder die Reform der Juristenausbildung von Unten?,” Zeitschrift für Rechtspolitik (ZRP), no. Heft 7, p. 249 ff., 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 | Conference Paper | LibreCat-ID: 2183
F. Meyer auf der Heide and C. Scheideler, “Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols,” in FOCS, 1996, pp. 370--379.
LibreCat | Files available
 

1996 | Book Review | LibreCat-ID: 17952
V. Peckhaus, “Detlefsen, Michael, ‘The Kantian Character of Hilbert’s Formalism’, in: Czermak (Hg.) 1993 [9.4], 195–205,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 849.00016]. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13791
A. Scholze, W. G. Schmidt, and F. Bechstedt, “Diamond (111) and (100) surface reconstructions,” Thin Solid Films, vol. 281–282, pp. 256–259, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13795
A. Scholze, W. G. Schmidt, P. Käckell, and F. Bechstedt, “Diamond (111) and (100) surface: ab initio study of the atomic and electronic structure,” Materials Science and Engineering: B, vol. 37, no. 1–3, pp. 158–161, 1996.
LibreCat | DOI
 

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: 2578
S. Betz, “Die Gestaltung der Leistungstiefe als strategisches Problem,” Die Betriebswirtschaft, vol. 56, pp. 339–412, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 19412
N. O. Eke, “Die Revolution, der Schrecken und das Neue. Konzepte von Legitimität und historischer Gewalt in deutschen Revolutionsdramen um 1800,” in Literatur und Erfahrungswandel 1789-1830. Beiträge des 2. Internationalen Corvey-Symposions 8.-12. Juni 1993 in Paderborn, 1996, pp. 121–156.
LibreCat
 

1996 | Conference Abstract | LibreCat-ID: 17844
V. Peckhaus, “Die Wurzeln der deutschen Algebra der Logik,” in Deutsche Mathematiker-Vereinigung. Jahrestagung 1996. 15.–21. September 1996 in Jena, 1996, p. 196.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13793
W. G. Schmidt, A. Scholze, and F. Bechstedt, “Dimerized, buckled, or ideal chains on the diamond (111)2 × 1 surface?,” Surface Science, vol. 351, pp. 183–188, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 8897
K. Popp and W. Sextro, “Dynamical Behaviour of a Bladed Disk with Friction Dampers,” in The 2nd European Nonlinear Oscillation Conference - Proceedings of EUROMECH, 1996, vol. 1, no. 518, pp. 157–183.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17947
V. Peckhaus, “Echeverria, Javier, ‘Observations, Problems and Conjectures in Number Theory — The History of the Prime Number Theorem’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 230–252,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 848.00008]. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 16700
R. M. Karp, M. Luby, and F. Meyer auf der Heide, “Efficient PRAM simulation on a distributed memory machine,” Algorithmica, pp. 517–542, 1996.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 8373
D. Euler and H.-H. Kremer, “Einführung für den Dozenten,” in Meisterprüfung - Lernen für die Praxis. Unternehmensführung im  Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung. Personalwirtschaft. , U. Braukmann, A. Diettrich, D. Euler, H.-H. Kremer, and P. F. E. Sloane, Eds. Düsseldorf, 1996, pp. 9–32.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8418
D. Euler and H.-H. Kremer, “Einführung für den Dozenten,” in Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing, H.-H. Kremer and E. Stickling, Eds. Düsseldorf, 1996, pp. 1–30.
LibreCat
 

1996 | Book | LibreCat-ID: 1605
D. Krimphove, Europäisches Arbeitsrecht. München: Franz Vahlen, 1996.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8403
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis. Unternehmensführung im Handwerk 1. Dozentenhandbuch für Teil lll der Meisterprüfung - Existenzgründung, Marketing , H.-H. Kremer and E. Stickling, Eds. 1996, pp. 1–30.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 8419
H.-H. Kremer, “Existenzgründung,” in Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1, 2nd ed., U. Braukmann, A. Diettrich, H.-H. Kremer, P. F. E. Sloane, and E. Stickling, Eds. Düsseldorf, 1996, pp. 19–94.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations,” Theor. Comput. Sci., no. 2, pp. 245--281, 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 | Conference Paper | LibreCat-ID: 11767
S. Gamm, R. Haeb-Umbach, and D. Langmann, “Findings with the Design of a Command-Based Speech Interface for a Voice Mail System,” in IEEE Workshop on Interactive Voice Technology for Telecommunications Applications, 1996.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 6229
W. Weber and R. Kabst, “Flexibility in Germany,” in Working Time and Contract Flexibility in the E.U., Cranfield Center for European Human Resource Management, C. Brewster, Ed. Bedford, 1996, pp. 20–57.
LibreCat
 

1996 | Misc | LibreCat-ID: 19047
V. Peckhaus, Fotografie: Peter Singer (Erlangen, 22.6.1993), die tageszeitung v. 8.5.1996. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17928
V. Peckhaus, “Franchella, Miriam, “Griss’ Contribution to Intuitionism”, in: Czermak (Hg.) 1993 [9.4], 119–126,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 840.01026]. 1996.
LibreCat
 

1996 | Book Review | LibreCat-ID: 17913
V. Peckhaus, “Franchella, Miriam, ‘L.E.J. Brouwer: Toward Intuitionistic Logic’, Historia Mathematica 22 (1995), 304–322,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 833.01017]. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 11853
D. Langmann and R. Haeb-Umbach, “FRESCO: The French Telephone Speech Data Collection - Part of the European SpeechDat(M) Project,” in ICSLP, Philadelphia, 1996.
LibreCat | Download (ext.)
 

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 | Journal Article | LibreCat-ID: 13783
W. G. Schmidt and F. Bechstedt, “Geometry and electronic structure of GaAs(001)(2×4) reconstructions,” Physical Review B, vol. 54, no. 23, pp. 16742–16748, 1996.
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed