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.

10394 Publications

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.


Filter Publications

Display / Sort

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

Export / Embed