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.

8455 Publications


1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
 

1996 | Book | LibreCat-ID: 6146
Working Time and Contract Flexibility in the E.U.
C. Brewster, W. Weber, R. Kabst, Working Time and Contract Flexibility in the E.U., Bedford, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 5612
How Do Lean Management Organizations Behave Regarding Training and Development?
R. Kabst, H.H. Larsen, P. Bramming, The International Journal of Human Resource Management 7 (1996) 618–639.
LibreCat
 

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

1996 | Journal Article | LibreCat-ID: 9626 LibreCat
 

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

1996 | Journal Article | LibreCat-ID: 13783
Geometry and electronic structure of GaAs(001)(2×4) reconstructions
W.G. Schmidt, F. Bechstedt, Physical Review B 54 (1996) 16742–16748.
LibreCat | DOI
 

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

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

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

1995 | Conference Paper | LibreCat-ID: 2208
Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations
F. Meyer auf der Heide, C. Scheideler, V. Stemann, in: STACS, 1995, pp. 267--278.
LibreCat | Files available
 

1995 | Conference Paper | LibreCat-ID: 2448
An Efficient Mapping Library for Parix
T. Römke, M. Röttger, U.-P. Schroeder, J. Simon, in: Proc. ZEUS Workshop on Par. Programming and Computation, IOS Press, 1995.
LibreCat
 

1995 | Report | LibreCat-ID: 2450
SparcStation SCI-Interface
J. Gehring, J. Simon, SparcStation SCI-Interface, Paderborn Center for Parallel Computing, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2563 LibreCat
 

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

1995 | Conference Paper | LibreCat-ID: 8097
Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules
S. Krauter, in: Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8100
Thermal and Optical Enhanced PV-Modules
S. Krauter, in: Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309., 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development
B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8270
Ensuring Consistency of Conditional Graph Grammars - A constructive Approach
R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 3530
Neue regionale Wachstumstheorie und Humankapital als regionaler charakteristischer Faktor
T. Gries, in: B. Gahlen, H. Hesse (Eds.), Standort Und Region, Neue Ansätze Zur Regionalökonomik, Mohr (Siebeck), Tübingen, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 11757
Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition
C. Dugast, P. Beyerlein, R. Haeb-Umbach, in: ICASSP, Detroit, 1995.
LibreCat | Download (ext.)
 

1995 | Journal Article | LibreCat-ID: 11764
User interface design of voice controlled consumer electronics
S. Gamm, R. Haeb-Umbach, Philips Journal of Research (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 10610
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation
M. Platzner, B. Rinner, R. Weiss, J.UCS Journal of Universal Computer Science 12 (1995) 811–820.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13474
High-Performance Qualitative Simulation on a Multi-DSP Architecture
M. Platzner, B. Rinner, in: Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT), 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 13796
Hydrogen interaction with Sb-terminated GaAs and InP (110) surfaces
P.V. Santos, N. Esser, J. Groenen, M. Cardona, W.G. Schmidt, F. Bechstedt, Physical Review B 52 (1995) 17379–17385.
LibreCat | DOI
 

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

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

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

1995 | Conference Paper | LibreCat-ID: 7831
Attributed Graph Transformations with Controlled Application of Rules
R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

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

1995 | Report | LibreCat-ID: 8194
Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem
M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 11765
Human Factors of a Voice-Controlled Car Stereo
S. Gamm, R. Haeb-Umbach, in: Eurospeech, Madrid, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11948
Continuous speech dictation - From theory to practice
V. Steinbiss, H.J. Ney, U. Essen, B.H. Tran, X.L. Aubert, C. Dugast, R. Kneser, H.G. Meier, M. Oerder, R. Haeb-Umbach, D. Geller, W. Hoellerbauer, H. Bartosik, Speech Communication (1995).
LibreCat
 

1995 | Journal Article | LibreCat-ID: 11905
The Philips Research system for continuous-speech dictation
V. Steinbiss, H.J. Ney, X.L. Aubert, S. Besling, C. Dugast, U. Essen, D. Geller, R. Haeb-Umbach, R. Kneser, H.G. Meier, M. Oerder, B.H. Tran, Philips Journal of Research (1995).
LibreCat
 

1995 | Report | LibreCat-ID: 13026
Synthesis Procedures for Self-Testable Controllers
S. Hellebrand, H.-J. Wunderlich, Synthesis Procedures for Self-Testable Controllers, University of Siegen, Germany, 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
High-Performance Simulators Based on Multi-TMS320C40
E. Brenner, R. Ginthör-Kalcsics, R. Hranitzky, M. Platzner, B. Rinner, C. Steger, R. Weiss, in: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference, 1995.
LibreCat
 

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

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

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

1995 | Book Chapter | LibreCat-ID: 2091
Kommentar § 5 c GWB (Einkaufskooperationen)
D. Krimphove, in: H. Müller-Henneberg, G. Schwartz, W. Benisch (Eds.), Gesetz Gegen Wettbewerbsbeschränkungen Und Europäisches Kartellrecht , 4th ed., Carl Heymanns Verlag KG, Köln, 1995.
LibreCat
 

1995 | Journal Article | LibreCat-ID: 2577
Kostenorientierte Planung der Entsorgungslogistik
S. Betz, Zeitschrift Für Planung 6 (1995) 321–339.
LibreCat
 

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

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

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

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

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

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

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

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

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

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

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

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

1995 | Journal Article | LibreCat-ID: 2561 LibreCat
 

1995 | Journal Article | LibreCat-ID: 2573
Gemeinkostencontrolling auf Basis der Prozesskostenrechnung
S. Betz, Kostenrechnungspraxis 39 (1995) 135–144.
LibreCat
 

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

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

1995 | Conference Paper | LibreCat-ID: 7833
Embedding of Conditional Graph Transformations
R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 8076
Grundfragen der Berufsbildung
D. Euler, H.-H. Kremer, M. Theis, in: U. Braukmann, D. Euler, H.-H. Kremer, M. Theis (Eds.), Meisterprüfung - Lernen Für Die Praxis, Ausbilden Im Handwerk. Dozentenhandbuch Für Teil IV Der Meisterausbildung., 1st ed., Düsseldorf, 1995, pp. 1–23.
LibreCat
 

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

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

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

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

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

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

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

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

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

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

1995 | Conference Paper | LibreCat-ID: 2207
Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract)
F. Meyer auf der Heide, C. Scheideler, in: SPAA, 1995, pp. 137--146.
LibreCat | Files available
 

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

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

1995 | Book | LibreCat-ID: 1603
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
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  , FHTW Schriftenreihe, Berlin, 1995.
LibreCat
 

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

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

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

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

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

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

1995 | Misc | LibreCat-ID: 13086
Pattern Generation for a Deterministic BIST Scheme
S. Hellebrand, B. Reeb, S. Tarnick, 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
Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture
M. Platzner, B. Rinner, in: Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems, ISCA, 1995, pp. 494–501.
LibreCat
 

1994 | Journal Article | LibreCat-ID: 1659 LibreCat
 

1994 | Journal Article | LibreCat-ID: 1661
Europejskie prawo pracy
D. Krimphove, Monitor Prawniczy (1994) 42 ff.
LibreCat
 

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

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

1994 | Conference Paper | LibreCat-ID: 7830
Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective
G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {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
Aussagenlogik - Deduktion und Algorithmen
H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.
LibreCat
 

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

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

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

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

1994 | Report | LibreCat-ID: 13025
Chip Level Test Planning for Controlling the Tradeoff between Hardware Overhead and Test Time
S. Hellebrand, A. Juergensen, A. Stroele, 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
First principles calculations of interface phonons of an Epitaxial Sb monolayer on GaAs(110) and InP(110)
W.G. Schmidt, G. Srivastava, Solid State Communications 89 (1994) 345–348.
LibreCat | DOI
 

1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), 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 | Journal Article | LibreCat-ID: 1662
Die Mitwirkungsrechte des Betriebsrates in der Betriebsverfassung
D. Krimphove, Arbeit Und Recht (1994) 215 ff.
LibreCat
 

1994 | Conference (Editor) | LibreCat-ID: 7797
Fundamentals of Object-Oriented Languages, Systems, and Methods
H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.
LibreCat
 

1994 | Conference Paper | LibreCat-ID: 7829
Object-Oriented System Development: Will the New Approach Solve Old Problems?
G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed