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.

13550 Publications


1997 | Book Review | LibreCat-ID: 18198
V. Peckhaus, “Jourdain, P.E.B., Selected Essays on the History of Set Theory and Logics (1906–1918), hg. v. I. Grattan-Guinness, CLUEB: Bologna 1991,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 853.01037]. 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 1445
A. Baratloo, M. Karaul, H. Karl, and Z. M. Kedem, “KnittingFactory: An Infrastructure for Distributed Web Applications,” Technical Report, 1997.
LibreCat | Files available
 

1997 | Journal Article | LibreCat-ID: 15571
R. Hagengruber, “La fondazione del punto matematico nella filosofia di Tommaso Campanella,” Bruniana & Campanelliana, vol. 3, no. 1, pp. 77–92, 1997.
LibreCat | Download (ext.)
 

1997 | Journal Article | LibreCat-ID: 8107
S. Krauter, “Lernen über das World–Wide–Web am Beispiel der Sonnenenergienutzung,” Telelearning: Aufgabe und Chance für Bildung und Gesellschaft, pp. 149–150, 1997.
LibreCat
 

1997 | Book | LibreCat-ID: 17447
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag, 1997.
LibreCat
 

1997 | Report | LibreCat-ID: 8201
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems. 1997.
LibreCat
 

1997 | Dissertation | LibreCat-ID: 7348
H.-H. Kremer, Medienentwicklung - Theoretische Modellierung und fachdidaktisch ausgerichtete Anwendung. Köln, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 15811
E. Hüllermeier, “Modellierung und Simulation unsicherer dynamischer Systeme und Anwendungen in der Diagnose,” in In Proceedings ASIM Fachgruppentagung Soft Computing, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 6234
L. Mayne, M. A. I. Valverde, C. Brewster, and R. Kabst, “New Developments in Labour Flexibility,” New Developments in Labour Flexibility, Special Issue, Employee Relations: The International Journal, vol. 19, no. 6, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16567
F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks,” Theory of Computing Systems, pp. 627–644, 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 2175
S. Bock, F. Meyer auf der Heide, and C. Scheideler, “Optimal Wormhole Routing in the (n, d)-Torus,” in IPPS, 1997, pp. 326--332.
LibreCat | Files available
 

1997 | Book Chapter | LibreCat-ID: 16693
F. Meyer auf der Heide and T. Decker, “Parallel Computing in Paderborn: The SFB 376 ‘Massive Parallelism — Algorithms, Design Methods, Applications,’” in Informatik ’97 Informatik als Innovationsmotor, Berlin, Heidelberg, 1997.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 10724
M. Platzner, B. Rinner, and R. Weiss, “Parallel qualitative simulation,” Simulation Practice and Theory, vol. 5, no. 7–8, pp. 623–638, 1997.
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 6228
W. Weber and R. Kabst, “Personalwirtschaftliche Strategien im europäischen Vergleich – Eine Analyse organisations- und landesspezifischer Prädiktoren,” in Personal als Strategie, R. Klimecki and A. Remer, Eds. 1997, pp. 20–45.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8901
T. Hemsel and J. Wallaschek, “Piezoelectric ultrasonic linear motors,” in EUROMECH, European Mechanics Colloquium “Synthesis of Mechatronic Sytems,” 1997, no. 370.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 19410
N. O. Eke, “Planziel Vernichtung. Zwei Versuche über das Unfaßbare des Völkermords: Franz Werfels Die vierzig Tage des Musa Dagh (1933) und Edgar Hilsenraths Das Märchen vom letzten Gedanken (1989),” Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte, vol. 71, no. H. 4, pp. 701–723, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 3706
C. Harteis, “Qualität in der Weiterbildung?,” Grundlagen der Weiterbildung (GdWZ), vol. 8, no. 2, pp. 214–215, 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 1691
D. Krimphove, “Rademacher, Ulf: Der Europäische Betriebsrat. Die Richtlinie 94 / 45 / EG des Rates vom 22. 4. 1994 und ihre Umsetzung in nationales Recht; Nomos: Universitätsschriften Recht 1997,” Recht der Arbeit (RdA), no. Heft 5. p. 310, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8108
U. Kerst, S. Krauter, and R. Hanitsch, “Reflection-Losses at Structured PV-Modules,” in Proceedings of the 14th European Photovoltaic Solar Energy Conference, Barcelona (Spanien), 30. Juni – 4. Juli 1997, S. 232–235, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 11781
R. Haeb-Umbach, “Robust Speech Recognition for Wireless Networks and Mobile Telephony,” in Eurospeech, 1997.
LibreCat | Download (ext.)
 

1997 | Book Chapter | LibreCat-ID: 16687
E. Karaivazoglou and F. Meyer auf der Heide, “Routing on asyncronous processor networks,” in Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997.
LibreCat | DOI
 

1997 | Book | LibreCat-ID: 6752
M. Tönnies, Samuel Beckett’s Dramatic Strategy. Audience Laughter and the Postmodernist Debate. Trier: WVT, 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18205
V. Peckhaus, “Scheibe, Erhard, ‘The Role of Mathematics in Physical Sciences’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 141–155,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 871.00007]. 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8898
S. Goldschmidt, T. Hemsel, J. Krome, H. Storck, and J. Wallaschek, “Schwingungsprüfstand zur vollautomatischen Messung von Ultraschallschwingungen in piezoelektrischen Antrieben,” in Tagungsband zum 4. Laser Vibrometer Seminar der Polytec GmbH, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8903
W. Sextro, “Schwingungsverhalten von Schaufelkränzen mit Reibelementen bei Frequenzverstimmung,” in VDI-Reihe, 1997, vol. 11, no. 245.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8902
K. Popp and W. Sextro, “Schwingungsverhalten von verstimmten Beschaufelungen mit Reibelementen,” in Forschungsvereinigung Verbrennungskraftmaschinen (FW) -lnformationstagung Turbinen, 1997, no. 496, pp. 131–142.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2440
J. Simon and O. Heinz, “SCI multiprocessor PC cluster in a WindowsNT environment,” in Proc. Workshops im Rahmen der 14. ITG/GI-Fachtagung Architektur von Rechensystemen, 1997, pp. 189–199.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 11750
J. G. A. Dolfing and R. Haeb-Umbach, “Signal Representations for Hidden Markov Model Based On-Line Handwriting Recognition,” in ICASSP, Munich, 1997.
LibreCat | Download (ext.)
 

1997 | Book | LibreCat-ID: 19019
N. O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800. München: Fink, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2179
M. Flammini and C. Scheideler, “Simple, Efficient Routing Schemes for All-Optical Networks,” in SPAA, 1997, pp. 170--179.
LibreCat | Files available
 

1997 | Journal Article | LibreCat-ID: 16565
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures,” Information and Computation, pp. 103–120, 1997.
LibreCat | DOI
 

1997 | Book Review | LibreCat-ID: 18197
V. Peckhaus, “Sneed, Joseph D., ‘Structuralism and Scientific Discovery’, in: J. Echeverria et al. (eds.), The Space of Mathematics, Walter de Gruyter: Berlin 1992, 379–402,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 852.00009]. 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 13604
T. Röwekamp, M. Platzner, and L. Peters, “Specialized Architectures for Optical Flow Computation: A Performance Comparison of ASIC, DSP, and Multi-DSP,” in Proceedings of the 8th International Conference on Signal Processing Applications & Technology (ICSPAT), 1997, pp. 829–833.
LibreCat
 

1997 | Misc | LibreCat-ID: 13089
K.-H. Tsai, S. Hellebrand, J. Rajski, and M. Marek-Sadowska, STARBIST: Scan Autocorrelated Random Pattern Generation. 4th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 13009
K.-H. Tsai, S. Hellebrand, M. Marek-Sadowska, and J. Rajski, “STARBIST: Scan Autocorrelated Random Pattern Generation,” in {34th ACM/IEEE Design Automation Conference (DAC’97)}, 1997.
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 16569
F. Meyer auf der Heide and B. Vöcking, “Static and dynamic data management in networks,” in Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997.
LibreCat | DOI
 

1997 | Misc | LibreCat-ID: 13090
A. Hertwig, S. Hellebrand, and H.-J. Wunderlich, Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications. 3rd IEEE International On-Line Testing Workshop, Crete, Greece, 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 18203
V. Peckhaus, “Temple, George, ‘Fundamental Mathematical Theories’, Philos. Trans. R. Soc. Lond., Ser. A 354, No. 1714 (1996), 1941–1967,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 863.03005]. 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 13776
R. W. N. Nilen et al., “The anisotropic electron - positron momentum distribution in diamond,” Journal of Physics: Condensed Matter, vol. 9, pp. 6323–6333, 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 17495
V. Peckhaus, “The Axiomatic Method and Ernst Schröder’s Algebraic Approach to Logic,” in Philosophia Scientiae. Travaux d’histoire et de philosophie des science (Nancy) 1/3 (1996). 1–15 [erschienen im Juni 1997, = Actes du congrès International Poincaré – Nancy 1994; Bd. 2.2], 1997, pp. 1–15.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 11766
S. Gamm, R. Haeb-Umbach, and D. Langmann, “The development of a command-based speech interface for a telephone answering machine,” Speech Communication, 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 5611
M. A. I. Valverde, R. Kabst, C. Brewster, and L. Mayne, “The Flexibility Paradox,” Employee Relations, vol. 6, pp. 596–608, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2442
A. Reinefeld et al., “The MOL Project: An Open, Extensible Metacomputer,” in Proc. Heterogenous Computing Workshop (HCW), 1997, pp. 17–31.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 3033
J. Blömer, R. Karp, and E. Welzl, “The rank of sparse random matrices over finite fields,” Random Structures \& Algorithms, no. 4, pp. 407–419, 1997.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 17494
V. Peckhaus, “The Way of Logic into Mathematics,” Theoria. Segunda Época (Seccion monografica Sobre la historia de la lógica matemática, hg. v. Luis Vega Reñon), vol. 12, no. 1, pp. 39–64, 1997.
LibreCat
 

1997 | Conference (Editor) | LibreCat-ID: 7795
G. Engels, Ed., Themenheft: Softwaretechnik, vol. 12, no. 4. Berlin/Heidelberg: Springer, 1997.
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7840
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, and H. Welling, “Thermooptische Effekte in Nd:YAG-Slablasern,” in Verhandlungen der Deutschen Physikalischen Gesellschaft, 1997, vol. 32, no. 3.
LibreCat
 

1997 | Encyclopedia Article | LibreCat-ID: 19485
N. O. Eke, “Tragödie,” in Literaturwissenschaftliches Lexikon. Grundbegriffe der Germanistik, H. Brunner and R. Moritz, Eds. Berlin, 1997, pp. 347–350.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8900
T. Hemsel and J. Wallaschek, “Ultrasonic motors for linear positioning tasks in automobiles,” in Proceedings of the 30th International Symposium on Automotive Technology \& Automation (ISATA), 1997, pp. 631–637.
LibreCat
 

1997 | Report | LibreCat-ID: 20740
O. Hahn and G. Meschut, Untersuchungen zur Wärmeleitfähigkeit und zum Festigkeits- und Alterungsverhalten von Klebverbindungen mit und ohne Füllstoffzusatz im Klebstoff. 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 16894
B. Gutkauf, S. Thies, and G. Domik-Kienegger, “User Adaptive Presentation of Information ,” in Proceedings 2nd International Symposium on Global Engineering Networking, Antwerp, Belgium, 1997, pp. 115–127.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 18628
A. Schindlmayr, “Violation of particle number conservation in the GW approximation,” Physical Review B, vol. 56, no. 7, pp. 3528–3531, 1997.
LibreCat | Files available | DOI | WoS
 

1997 | Book | LibreCat-ID: 6537
J. Bendfeld, S. O. Gärtner, and E. Ortjohann, Windatlas für die Kreise Holzminden, Hameln-Pyrmont und Teile der Kreise Schaumburg und Hildesheim. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, 1997.
LibreCat
 

1997 | Book Review | LibreCat-ID: 17780
V. Peckhaus, “Witold Marciszewski/Roman Murawski. Mechanization of Reasoning in a Historical Perspective. Amsterdam/Atlanta, GA: Rodopi 1995. (Poznań Studies in the Philosophy of the Sciences and the Humanities; 43),” Modern Logic, vol. 7, no. 3/4 (Juli/Oktober 1997). pp. 402–409, 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2438
J. Simon, R. Weicker, and M. Vieth, “Workload Analysis of Computation Intensive Tasks: Case Study on SPEC CPU95 Benchmarks,” in Proc. European Conf. on Parallel Processing (Euro-Par), 1997, vol. 1300, pp. 971–984.
LibreCat | DOI
 

1997 | Working Paper | LibreCat-ID: 2580
S. Betz, Zum Abbau der Diskriminierung von Frauenarbeit im Rahmen kostenminimaler Produktionen, vol. 5. Braunschweig, 1997.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 18427
D. Tophinke, “Zum Problem der Gattungsgrenze – Möglichkeiten einer prototypentheoretischen Lösung,” in Gattungen mittelalterlicher Schriftlichkeit, B. Frank, T. Haye, and D. Tophinke, Eds. Tübingen: Narr, 1997, pp. 161–182.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 15613
R. Hagengruber, “Über die Vervollständigung des Wissens. Philosophinnen in der Wissenschaft,” in Sie und Er. Frauenmacht und Männerherrschaft im Kulturvergleich, G. Völger, Ed. Köln: Rautenstrauch-Joest-Museum, 1997, pp. 109–114.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 19411
N. O. Eke, “„Sein Leben machen / ist nicht, / sein Glück machen / mein Herr“. Zum Verhältnis von Ästhetik und Politik in Herta Müllers Nachrichten aus Rumänien,” in Jahrbuch der Deutschen Schillergesellschaft, vol. 41, W. Barner, W. Müller-Seidel, and U. Ott, Eds. Stuttgart: Metzler, 1997, pp. 481–509.
LibreCat
 

1996 | Report | LibreCat-ID: 6399
W. Weber and R. Kabst, Personalwesen im europäischen Vergleich – Ergebnisbericht 1995, Paderborn 1996. 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13790
W. G. Schmidt, P. Käckell, and F. Bechstedt, “3d core-level shifts at,” Surface Science, vol. 357–358, pp. 545–549, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 11761
T. Eisele, R. Haeb-Umbach, and D. Langmann, “A Comparative Study of Linear Feature Transformation Techniques for Automatic Speech Recognition,” in ICSLP , Philadelphia, 1996.
LibreCat | Download (ext.)
 

1996 | Book Chapter | LibreCat-ID: 3529
T. Gries, “A Dynamic Model of a Reconstruction Economy,” in Modelling and Analysing Economies in Transition, J. W. Owsinski and Z. Nahorski, Eds. 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 15293
E. Hüllermeier, “A fuzzy simulation method,” in International Symposium on Soft Computing, Reading U.K., 1996, pp. B230–B236.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 7406
M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity Relationship Model,” Journal of Visual Languages and Computing, vol. 7, no. 3, pp. 321–352, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 17419
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, and R. Smolensky, “A lower bound for randomized algebraic decision trees,” in Proc. of 28th ACM-STOC, 1996, vol. 65453, pp. 612–621.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 13602
E. Lind, M. Platzner, and B. Rinner, “A Multi-DSP System with Dynamically Reconfigurable Processors,” in Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT), 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
M. Fischer, J. Rethmann, and A. Wachsmann, “A Realistic Cost Model for the Communication Time in Parallel Programs,” in 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), 1996, pp. 13–27.
LibreCat | Files available
 

1996 | Report | LibreCat-ID: 18352
M. Fischer, J. Rethmann, and A. Wachsmann, A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware. Universität Paderborn, 1996.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 7837
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, vol. 155, p. 11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 2445
J. Simon and J.-M. Wierum, “Accurate Performance Prediction for Massively Parallel Systems and its Applications,” in Proc. European Conf. on Parallel Processing (Euro-Par), 1996, vol. 1124, pp. 675–688.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 8101
S. Krauter and R. Hanitsch, “Actual Optical and Thermal Performance of PV Modules,” Solar Energy Materials and Solar Cells , vol. 41/42, pp. 557–574, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 8102
S. Krauter and R. Hanitsch, “Actual Optical and Thermal Performance of PV Modules,” Fuel and Energy Abstracts, vol. 37, no. 6, p. 436, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13786
F. Bechstedt, W. G. Schmidt, and A. Scholze, “Adatoms and vacancies on the diamond(111) surface,” Europhysics Letters (EPL), vol. 35, no. 8, pp. 585–590, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13787
W. Schmidt, “Adsorption of group-V elements on III–V (1 1 0) surfaces,” Surface Science Reports, vol. 25, pp. 141–223, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 15167
S. Volbracht, G. Domik, K. Shahrbabaki, and G. Fels, “An Experimental Comparison of 3-D Display Modes,” in IEEE Visualization, 1996, vol. 96, pp. 8–11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16896
S. Volbracht, G. Domik-Kienegger, K. Shahrbabaki, and G. Fels, “An Experimental Comparison of 3D Display Modes,” in Proceedings of IEEE Visualization , San Francisco, USA, 1996, pp. 8–11.
LibreCat
 

1996 | Book | LibreCat-ID: 14894
L. D. Fosdick, E. R. Jessup, C. J. Schauble, and G. Domik-Kienegger, An introduction to high-performance scientific computing. MIT Press, 1996.
LibreCat
 

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 | Conference Paper | LibreCat-ID: 15292
E. Hüllermeier, “Approminate probabilistic reasoning with fuzzy constraints,” in in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 13782
N. Esser et al., “Atomic Structure of the Sb-Stabilized GaAs(100)-(2×4) Surface,” Physical Review Letters, vol. 77, no. 21, pp. 4402–4405, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 13785
W. G. Schmidt and F. Bechstedt, “Atomic structures of GaAs(100)-(2 × 4) reconstructions,” Surface Science, vol. 360, no. 1, pp. L473–L477, 1996.
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 | 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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: IEEE

Export / Embed