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.

10400 Publications


1995 | Conference Paper | LibreCat-ID: 13470
E. Brenner et al., “High-Performance Simulators Based on Multi-TMS320C40,” in Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13797
P. V. Santos, N. Esser, M. Cardona, W. G. Schmidt, and F. Bechstedt, “Optical properties of Sb-terminated GaAs and InP (110) surfaces,” Physical Review B, vol. 52, no. 16, pp. 12158–12167, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13800
C. Kress, M. Fiedler, W. G. Schmidt, and F. Bechstedt, “Quasi-particle band structure of C(111)2 × 1 and C(100)2 × 1 surfaces,” Surface Science, vol. 331–333, pp. 1152–1156, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13850
C. Kress, M. Fiedler, W. G. Schmidt, and F. Bechstedt, “Geometrical and electronic structure of the reconstructed diamond (100) surface,” Physical Review B, vol. 50, no. 23, pp. 17697–17700, 1995.
LibreCat | DOI
 

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 | Book Chapter | LibreCat-ID: 2451
S. Blazy, U. Dralle, and J. Simon, “Parallel CG Poisson Solver for PowerPC 601,” in PowerXplorer User Report - Applications and Projects on the Parsytec PowerXplorer Parallel Computer, Düsseldorf: Heinrich-Heine-Universität, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2576
S. Betz, “Die Erfahrungskurve als Instrument der Zielkostenspaltung,” Betriebswirtschaftliche Forschung und Praxis, vol. 47, pp. 609–625, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7831
R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8098
K. Onneken and S. Krauter, “STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations,” in Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 8194
M. Conrad et al., Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem. 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
G. Engels and A. Schürr, “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, pp. 101–109.
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: 16551
M. Dellnitz, M. Golubitsky, A. Hohmann, and I. Stewart, “Spirals in Scalar Reaction–Diffusion Equations,” International Journal of Bifurcation and Chaos, pp. 1487–1501, 1995.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 17307
G. Oevel and G. Siek, “Computer algebra in education,” in AACE educational Multimedia and Hypermedia Annual, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 17446
V. Peckhaus, Hermann Ulrici (1806–1884). Der Hallesche Philosoph und die englische Algebra der Logik. Mit einer Auswahl von Texten Ulricis zur Logik und einer Bibliographie seiner Schriften. Halle/Saale: Hallescher Verlag, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 17491
V. Peckhaus, “Rüstow’s Thesis on Russell’s Paradox,” Modern Logic, vol. 5, pp. 167–169, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13469
M. Platzner, B. Rinner, and R. Weiss, “A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs,” in Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing , 1995, pp. 311–318.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13471
G. Friedl, M. Platzner, and B. Rinner, “A Special-Purpose Coprocessor for Qualitative Simulation,” in Proceedings of the EURO-PAR’95 International Conference on Parallel Processing, 1995, pp. 695–698.
LibreCat
 

1995 | Report | LibreCat-ID: 13027
S. Hellebrand, H.-J. Wunderlich, F. Goncalves, and J. Paulo Teixeira, Evaluation of Self-Testable Controller Architectures Based on Realistic Fault Analysis. University Siegen, Germany, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13798
W. G. Schmidt, F. Bechstedt, and G. P. Srivastava, “III-V(110) surface dynamics from anab initiofrozen-phonon approach,” Physical Review B, vol. 52, no. 3, pp. 2001–2007, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13801
W. G. Schmidt and G. P. Srivastava, “III-V(110)/Sb(1 ML): structural and dynamical properties,” Surface Science, vol. 331–333, no. Part A, pp. 540–545, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13851
W. G. Schmidt and F. Bechstedt, “Exchange reactions versus adsorption geometries for Se/GaAs(110),” Physical Review B, vol. 50, no. 23, pp. 17651–17654, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15294
E. Hüllermeier, “Towards modelling of fuzzy functions,” in in Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, 1995, pp. 150–154.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 15612
R. Hagengruber, “Philosophinnen in der Frauenforschung. Ein Plädoyer für Vernunft und Wissenschaft,” Metis, vol. 5, no. 9, pp. 67–74, 1995.
LibreCat
 

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: 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 Chapter | LibreCat-ID: 2091
D. Krimphove, “Kommentar § 5 c GWB (Einkaufskooperationen),” in Gesetz gegen Wettbewerbsbeschränkungen und Europäisches Kartellrecht , 4th ed., H. Müller-Henneberg, G. Schwartz, and W. Benisch, Eds. Köln: Carl Heymanns Verlag KG, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 3037
H. Alt, B. Behrends, and J. Blömer, “Approximate matching of polygonal shapes,” Annals of Mathematics and Artificial Intelligence, vol. 13, no. 3, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2577
S. Betz, “Kostenorientierte Planung der Entsorgungslogistik,” Zeitschrift für Planung, vol. 6, pp. 321–339, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 7976
H.-H. Kremer, “Planung und Durchführung der Ausbildung,” in Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., U. Braukmann, D. Euler, H.-H. Kremer, and M. Theis, Eds. Düsseldorf, 1995, pp. 1–123.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7832
W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany), 1995, pp. 412–419.
LibreCat
 

1995 | Report | LibreCat-ID: 8195
J. Ebert and G. Engels, Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8099
S. Krauter, “Actual Optical and Thermal Performance of PV-Modules,” in Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995, 1995.
LibreCat
 

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

1995 | Conference Paper | LibreCat-ID: 17492
V. Peckhaus, “The Genesis of Grelling’s Paradox,” in Logik und Mathematik. Frege-Kolloquium Jena 1993, 1995, vol. 5, pp. 269–280.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11786
R. Haeb-Umbach, P. Beyerlein, and D. Geller, “Speech recognition algorithms for voice control interfaces,” Philips Journal of Research, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13011
S. Hellebrand, J. Rajski, S. Tarnick, S. Venkataraman, and B. Courtois, “Built-In Test for Circuits with Scan Based on Reseeding of Multiple-Polynomial Linear Feedback Shift Registers,” {IEEE Transactions on Computers}, vol. 44, no. 2, pp. 223–233, 1995.
LibreCat | DOI
 

1995 | Report | LibreCat-ID: 13028
S. Hellebrand, M. Herzog, and H.-J. Wunderlich, Partitioning of CMOS-Circuits for On-Chip IDDQ-Testing. University of Siegen, Germany, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13472
M. Platzner, B. Rinner, and R. Weiss, “Parallel Qualitative Simulation,” in Proceedings of the EUROSIM Congress, 1995, pp. 231–236.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13484
R. Hranitzky and M. Platzner, “Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System,” in Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13799
W. G. Schmidt and F. Bechstedt, “Se/GaAs(110): energetics and structure,” Surface Science, vol. 331–333, no. Part A, pp. 557–563, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 13852
W. G. Schmidt and F. Bechstedt, “Se/GaAs(110): Atomic and electronic structure,” Physical Review B, vol. 50, no. 23, pp. 17280–17291, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 15295
E. Hüllermeier, “Rule-based modelling in fuzzy simulation,” in in Proceedings ISFL-95 International Symposium on Logic, Zürich, 1995, pp. B49–B56.
LibreCat
 

1995 | Book | LibreCat-ID: 1602
D. Krimphove and C. Brehmer, Die Gründung einer GmbH, vol. Nr. 13. Berlin: FHTW Schriftenreihe, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
E. Hüllermeier, “Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung,” in Moderne Makroökonomie-Eine kritische Bestandsaufnahme, J. Flemmig, Ed. Metropolis, 1995, pp. 413–454.
LibreCat
 

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 | Journal Article | LibreCat-ID: 2561
S. Betz, “Die Berücksichtigung von technischem Fortschritt im Konzept der investitionstheoretisch fundierten Abschreibung,” Zeitschrift für Betriebswirtschaft, vol. 65, pp. 425–444, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2573
S. Betz, “Gemeinkostencontrolling auf Basis der Prozesskostenrechnung,” Kostenrechnungspraxis, vol. 39, pp. 135–144, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 3038
J. Blömer, M. Kalfane, R. Karp, M. Karpinski, M. Luby, and D. Zuckerman, An XOR-based erasure-resilient coding scheme. Berkeley, USA, 1995.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 3386
T. Gries, Wachstum, Humankapital und die Dynamik der komparativen Vorteile. Tübingen: Mohr (Siebeck), 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 7833
R. Heckel, “Embedding of Conditional Graph Transformations,” in Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science, 1995, no. B-19.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
D. Euler, H.-H. Kremer, and M. Theis, “Grundfragen der Berufsbildung,” in Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung., 1st ed., U. Braukmann, D. Euler, H.-H. Kremer, and M. Theis, Eds. Düsseldorf, 1995, pp. 1–23.
LibreCat
 

1995 | Report | LibreCat-ID: 8196
G. Engels and A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 16611
M. Golubitsky, J. Marsden, I. Stewart, and M. Dellnitz, “The constrained Liapunov-Schmidt procedure and periodic orbits,” in Normal Forms and Homoclinic Chaos, Providence, Rhode Island, 1995.
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16510
P. J. Aston and M. Dellnitz, “Symmetry Breaking Bifurcations of Chaotic Attractors,” International Journal of Bifurcation and Chaos, pp. 1643–1676, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 11768
S. Gamm, R. Haeb-Umbach, and D. Langmann, “The Usability Engineering of a Voice-Controlled Answering Machine,” in International Symposium on Human Factors in Telecommunications, Melbourne, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11787
R. Haeb-Umbach, P. Beyerlein, and E. Thelen, “Automatic Transcription of Unknown Words in a Speech Recognition System,” in ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Conference Paper | LibreCat-ID: 13012
S. Hellebrand, B. Reeb, S. Tarnick, and H.-J. Wunderlich, “Pattern Generation for a Deterministic BIST Scheme,” in {ACM/IEEE International Conference on Computer Aided Design (ICCAD’95)}, 1995, pp. 88–94.
LibreCat | DOI
 

1995 | Misc | LibreCat-ID: 13086
S. Hellebrand, B. Reeb, S. Tarnick, and H.-J. Wunderlich, Pattern Generation for a Deterministic BIST Scheme. 2nd IEEE International Test Synthesis Workshop, Santa Barbara, CA, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13473
M. Platzner and B. Rinner, “Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture,” in Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, 1995, pp. 494–501.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15272
G. Domik-Kienegger and G. Owen, “Education for Visualization-Activities of the acm-siggraph Education Committee,” in Proceedings of the Third Eurographics Workshop on Graphics and Visualization, 1995.
LibreCat
 

1995 | Book | LibreCat-ID: 1603
D. Krimphove, Rechtliche Rahmenbedingungen des deutschen und internationalen Börsentermingeschäftes Ein Leitfaden für Banken, Sparkassen, Kreditinstitute, Anlagevermittler und Kunden mit Checklisten und Hinweisen zur Durchführung einer ordnungsgemäßen Anlageberatung  , vol. Nr. 14. Berlin: FHTW Schriftenreihe, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 16706
F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal trade-offs between size and slowdown for universal parallel networks,” in Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures  - SPAA ’95, 1995.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2447
M. Röttger, U.-P. Schroeder, and J. Simon, “Implementation of a Parallel and Distributed Mapping Kernel for PARIX,” in Proc. Int. Conf. on High-Performance Computing and Networking, 1995, vol. 919, pp. 781–786.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 2187
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: 2207
F. Meyer auf der Heide and C. Scheideler, “Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract),” in SPAA, 1995, pp. 137--146.
LibreCat | Files available
 

1995 | Book | LibreCat-ID: 2675
S. Betz, Erfolgscontrolling unter besonderer Berücksichtigung produktionswirtschaftlicher Aspekte. Paderborn, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8077
D. Euler, H.-H. Kremer, and M. Theis, “Grundfragen der Berufsbildung,” in Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk, 1st ed., D. Euler, H.-H. Kremer, and M. Theis, Eds. 1995, pp. 13–42.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8267
A. Corradini and R. Heckel, “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars,” in Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), 1995, vol. 2, pp. 46–55.
LibreCat
 

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 | Conference Paper | LibreCat-ID: 17482
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Simulating shared memory in real time: On the computation power of reconfigurable meshes,” in Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures, 1995, pp. 46--59.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 16566
D. Breslauer, A. Czumaj, D. P. Dubhashi, and F. Meyer auf der Heide, “Transforming comparison model lower bounds to the parallel-random-access-machine,” Information Processing Letters, pp. 103–110, 1995.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 13013
S. Hellebrand and H.-J. Wunderlich, “Synthesis of Self-Testable Controllers,” in {European Design and Test Conference (EDAC/ETC/EUROASIC)}, 1994, pp. 580–585.
LibreCat | DOI
 

1994 | Report | LibreCat-ID: 13025
S. Hellebrand, A. Juergensen, A. Stroele, and H.-J. Wunderlich, Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time. University of Siegen, Germany, 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 13854
W. G. Schmidt and G. Srivastava, “First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110),” Solid State Communications, vol. 89, no. 4, pp. 345–348, 1994.
LibreCat | DOI
 

1994 | Book Chapter | LibreCat-ID: 15608
R. Hagengruber, “Platons ‘Timaios’, eine Anleitung zur wissenschaftlichen Hypothesenbildung?,” in Cosmographica et Geographica. Algorismus. Studien zur Geschichte der Mathematik und der Naturwissenschaften, vol. 13, B. Fritscher and G. Brey, Eds. New York: Springer, 1994, pp. 75–96.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 15610
R. Hagengruber, “Die Theorie des Punktes aus der Philosophie der Ähnlichkeit bei Tommaso Campanella,” in Actas del primer Congreso Internacional de Ontología : categorías e inteligibilidad global : el proyecto ontológico a través de la reflexión contemporánea, V. Gómez Pin, Ed. Barcelona: Bellaterra, 1994, pp. 101–107.
LibreCat | Files available
 

1994 | Journal Article | LibreCat-ID: 1659
D. Krimphove, “Das zweite Finanzmarktförderungsgesetz - ein Beitrag zur ‘Europäisierung’ des Wertpapierrechts ,” Juristenzeitung (JZ), no. Heft 1, p. 244 ff., 1994.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
D. Krimphove, “Europejskie prawo pracy,” Monitor Prawniczy, no. 2, p. 42 ff., 1994.
LibreCat
 

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 | Book | LibreCat-ID: 3333
H. Kleine Büning and T. Lettmann, Aussagenlogik - Deduktion und Algorithmen. Teubner, 1994.
LibreCat
 

1994 | Book Chapter | LibreCat-ID: 7513
G. Engels and L. Groenewegen, “SOCCA: Specifications of Coordinated and Cooperative Activities,” in Software Process Modelling and Technology, Taunton: Research Studies Press, 1994, pp. 71–102.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7828
J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), 1994, vol. 858, pp. 142–157.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7830
G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective,” in Proceedings Colloquium on Graph Transformation and its Application in Computer Science, 1994, vol. B-19.
LibreCat
 

1994 | Report | LibreCat-ID: 8193
J. Ebert and G. Engels, Observable or Invocable Behaviour - You Have to Choose. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 8092
S. Krauter, R. Hanitsch, P. Campbell, and S. R. Wenham, “Optical Modelling, Simulation and Improvement of PV Module Encapsulation,” in Proceedings of the 12th European Photovoltaic Solar Energy Conference, Amsterdam (Niederlande), 11.–15. April 1994, Band 2, S. 1198–1201, 1994.
LibreCat
 

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 | Book Chapter | LibreCat-ID: 17488
V. Peckhaus, “Hilbert’s Axiomatic Programme and Philosophy,” in The History of Modern Mathematics, Bd. 3: Images, Ideas, and Communities, E. Knobloch and D. E. Rowe, Eds. Boston u. a.: Academic Press, 1994, pp. 91–112.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 11796
R. Haeb-Umbach and H. Ney, “Improvements in beam search for 10000-word continuous-speech recognition,” IEEE Transactions on Speech and Audio Processing, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 11878
H. Ney, V. Steinbeiss, X. L. Aubert, and R. Haeb-Umbach, “Progress in Large-Vocabulary, Continuous Speech Recognition,” in Artifical Intelligence, Progress and Prospects of Speech Research and Technology, Munich, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13014
S. Hellebrand and H.-J. Wunderlich, “An Efficient Procedure for the Synthesis of Fast Self-Testable Controller Structures,” in {ACM/IEEE International Conference on Computer-Aided Design (ICCAD’94)}, 1994, pp. 110–116.
LibreCat | DOI
 

1994 | Misc | LibreCat-ID: 13083
S. Venkataraman, J. Rajski, S. Hellebrand, and S. Tarnick, Effiziente Testsatzkodierung für Prüfpfad-basierte Selbsttestarchitekturen. 6th ITG/GI/GME Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”, Vaals, The Netherlands, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 13468
M. Platzner, C. Steger, and R. Weiss, “Experimental Evaluation of Multi-DSP Architectures in High Performance Applications,” in Proceedings of the 7th Mediterranean Electrotechnical Conference, 1994.
LibreCat
 

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 | Journal Article | LibreCat-ID: 1662
D. Krimphove, “Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung,” Arbeit und Recht , no. Heft 4, p. 215 ff., 1994.
LibreCat
 

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 | Book | LibreCat-ID: 6528
J. Bendfeld, A. Ernst, and E. Ortjohann, Windatlas für das PESAG-Versorgungsgebiet. Universität - GH Paderborn, Fachgebiet Elektrische Energieversorgung, Februar 1994, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 6530
J. Bendfeld, A. Ernst, E. Ortjohann, B. Langrock, and N. Scholz, “Flächendeckende Windpotentialbestimmung in einer Binnenlandregion mit ausgeprägter Orographie,” in Renergie 94 - Windenergienutzung im Binnenland, Solarenergienutzung in Deutschland, Hamm, 1994.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: IEEE

Export / Embed