@inproceedings{8268,
  abstract     = {{The overall aim of this paper is a proposal how to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial practice. The main idea to overcome these problems is to develop graphical support for formal methods in order to increase acceptance by practitioners and to provide means for integration of formal and semi--formal methods. More specifically suitable concepts will be developed to combine algebraic specifications, Petri Nets, and Graph Grammars with each other and with distinguished graphical components to be used by industrial partners.}},
  author       = {{Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}},
  booktitle    = {{Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}},
  publisher    = {{Forschungszentrum Jülich GmbH}},
  title        = {{{GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}}},
  volume       = {{26}},
  year         = {{1995}},
}

@inproceedings{8269,
  abstract     = {{Currently existing graph grammar-based specification languages have serious problems with supporting any kind of “specification-in-the-large” activities. More precisely, they have deficiencies with respect to modeling hierarchical data structures or specifying meta activities like manipulation of graph schemata. Furthermore, already proposed graph grammar module concepts are still too abstract to be useful in practice. Our contribution addresses these problems by introducing a new hierarchical graph data model with an infinite number of schema, meta-schema, etc. layers. It forms the base for a forthcoming concrete modular graph grammar specification language where in addition information hiding aspects like explicit export and import interfaces are expressible.}},
  author       = {{Engels, Gregor and Schürr, Andy}},
  booktitle    = {{Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}},
  pages        = {{101--109}},
  publisher    = {{Elsevier}},
  title        = {{{Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(05)80186-0}},
  year         = {{1995}},
}

@inproceedings{8270,
  author       = {{Heckel, Reiko and Wagner, Annika}},
  booktitle    = {{Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}},
  pages        = {{118--126}},
  publisher    = {{Elsevier}},
  title        = {{{Ensuring Consistency of Conditional Graph Grammars - A constructive Approach}}},
  doi          = {{http://dx.doi.org/10.1016/S1571-0661(05)80188-4}},
  volume       = {{2}},
  year         = {{1995}},
}

@inbook{8354,
  author       = {{Kremer, H.-Hugo}},
  booktitle    = {{Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1}},
  editor       = {{Braukmann, U. and Diettrich, A. and Kremer, H.-H. and Sloane, P.F.E. and Stickling, E.}},
  pages        = {{19--94}},
  title        = {{{Existenzgründung}}},
  year         = {{1995}},
}

@article{16510,
  abstract     = {{<jats:p> In an array of coupled oscillators, synchronous chaos may occur in the sense that all the oscillators behave identically although the corresponding motion is chaotic. When a parameter is varied this fully symmetric dynamical state can lose its stability, and the main purpose of this paper is to investigate which type of dynamical behavior is expected to be observed once the loss of stability has occurred. The essential tool is a classification of Lyapunov exponents based on the symmetry of the underlying problem. This classification is crucial in the derivation of the analytical results but it also allows an efficient computation of the dominant Lyapunov exponent associated with each symmetry type. We show how these dominant exponents determine the stability of invariant sets possessing various instantaneous symmetries, and this leads to the idea of symmetry breaking bifurcations of chaotic attractors. Finally, the results and ideas are illustrated for several systems of coupled oscillators. </jats:p>}},
  author       = {{Aston, Philip J. and Dellnitz, Michael}},
  issn         = {{0218-1274}},
  journal      = {{International Journal of Bifurcation and Chaos}},
  pages        = {{1643--1676}},
  title        = {{{Symmetry Breaking Bifurcations of Chaotic Attractors}}},
  doi          = {{10.1142/s021812749500123x}},
  year         = {{1995}},
}

@article{16532,
  author       = {{Dellnitz, M and Heinrich, C}},
  issn         = {{0951-7715}},
  journal      = {{Nonlinearity}},
  pages        = {{1039--1066}},
  title        = {{{Admissible symmetry increasing bifurcations}}},
  doi          = {{10.1088/0951-7715/8/6/009}},
  year         = {{1995}},
}

@article{16542,
  author       = {{Dellnitz, M and Melbourne, I}},
  issn         = {{0951-7715}},
  journal      = {{Nonlinearity}},
  pages        = {{1067--1075}},
  title        = {{{A note on the shadowing lemma and symmetric periodic points}}},
  doi          = {{10.1088/0951-7715/8/6/010}},
  year         = {{1995}},
}

@article{16550,
  author       = {{Dellnitz, Michael and Field, Michael and Golubitsky, Martin and Ma, Jun and Hohmann, Andreas}},
  issn         = {{0218-1274}},
  journal      = {{International Journal of Bifurcation and Chaos}},
  pages        = {{1243--1247}},
  title        = {{{Cycling Chaos}}},
  doi          = {{10.1142/s0218127495000909}},
  year         = {{1995}},
}

@article{16551,
  abstract     = {{<jats:p> Spiral patterns have been observed experimentally, numerically, and theoretically in a variety of systems. It is often believed that these spiral wave patterns can occur only in systems of reaction–diffusion equations. We show, both theoretically (using Hopf bifurcation techniques) and numerically (using both direct simulation and continuation of rotating waves) that spiral wave patterns can appear in a single reaction–diffusion equation [ in u(x, t)] on a disk, if one assumes "spiral" boundary conditions (u<jats:sub>r</jats:sub> = mu<jats:sub>θ</jats:sub>). Spiral boundary conditions are motivated by assuming that a solution is infinitesimally an Archimedian spiral near the boundary. It follows from a bifurcation analysis that for this form of spirals there are no singularities in the spiral pattern (technically there is no spiral tip) and that at bifurcation there is a steep gradient between the "red" and "blue" arms of the spiral. </jats:p>}},
  author       = {{Dellnitz, Michael and Golubitsky, Martin and Hohmann, Andreas and Stewart, Ian}},
  issn         = {{0218-1274}},
  journal      = {{International Journal of Bifurcation and Chaos}},
  pages        = {{1487--1501}},
  title        = {{{Spirals in Scalar Reaction–Diffusion Equations}}},
  doi          = {{10.1142/s0218127495001149}},
  year         = {{1995}},
}

@article{16566,
  author       = {{Breslauer, Dany and Czumaj, Artur and Dubhashi, Devdatt P. and Meyer auf der Heide, Friedhelm}},
  issn         = {{0020-0190}},
  journal      = {{Information Processing Letters}},
  pages        = {{103--110}},
  title        = {{{Transforming comparison model lower bounds to the parallel-random-access-machine}}},
  doi          = {{10.1016/s0020-0190(97)00032-x}},
  year         = {{1995}},
}

@inbook{16611,
  author       = {{Golubitsky, Martin and Marsden, Jerrold and Stewart, Ian and Dellnitz, Michael}},
  booktitle    = {{Normal Forms and Homoclinic Chaos}},
  isbn         = {{9780821803264}},
  title        = {{{The constrained Liapunov-Schmidt procedure and periodic orbits}}},
  doi          = {{10.1090/fic/004/05}},
  year         = {{1995}},
}

@inbook{16704,
  author       = {{Meyer auf der Heide, Friedhelm and Vöcking, Berthold}},
  booktitle    = {{STACS 95}},
  isbn         = {{9783540590422}},
  issn         = {{0302-9743}},
  title        = {{{A packet routing protocol for arbitrary networks}}},
  doi          = {{10.1007/3-540-59042-0_81}},
  year         = {{1995}},
}

@inbook{16705,
  author       = {{Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540603139}},
  issn         = {{0302-9743}},
  title        = {{{Shared memory simulations with triple-logarithmic delay}}},
  doi          = {{10.1007/3-540-60313-1_133}},
  year         = {{1995}},
}

@inproceedings{16706,
  author       = {{Meyer auf der Heide, Friedhelm and Storch, Martin and Wanka, Rolf}},
  booktitle    = {{Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures  - SPAA '95}},
  isbn         = {{0897917170}},
  title        = {{{Optimal trade-offs between size and slowdown for universal parallel networks}}},
  doi          = {{10.1145/215399.215430}},
  year         = {{1995}},
}

@inproceedings{16707,
  author       = {{Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}},
  booktitle    = {{Proceedings Third Israel Symposium on the Theory of Computing and Systems}},
  isbn         = {{0818669152}},
  title        = {{{Improved optimal shared memory simulations, and the power of reconfiguration}}},
  doi          = {{10.1109/istcs.1995.377051}},
  year         = {{1995}},
}

@inbook{16717,
  author       = {{Meyer auf der Heide, Friedhelm and Westermann, Matthias}},
  booktitle    = {{Graph-Theoretic Concepts in Computer Science}},
  isbn         = {{9783540606185}},
  issn         = {{0302-9743}},
  title        = {{{Hot-potato routing on multi-dimensional tori}}},
  doi          = {{10.1007/3-540-60618-1_77}},
  year         = {{1995}},
}

@inbook{16874,
  author       = {{Bäumker, Armin and Dittrich, Wolfgang and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540603139}},
  issn         = {{0302-9743}},
  title        = {{{Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model}}},
  doi          = {{10.1007/3-540-60313-1_131}},
  year         = {{1995}},
}

@article{10610,
  author       = {{Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}},
  journal      = {{J.UCS Journal of Universal Computer Science}},
  pages        = {{811--820}},
  publisher    = {{Springer}},
  title        = {{{Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation}}},
  volume       = {{12}},
  year         = {{1995}},
}

@inproceedings{11757,
  abstract     = {{Clustering techniques have been integrated at different levels into the training procedure of a continuous-density hidden Markov model (HMM) speech recognizer. These clustering techniques can be used in two ways. First acoustically similar states are tied together. It will help to reduce the number of parameters but also allow to train otherwise rarely seen states together with more robust ones (state-tying). Secondly densities are clustered across states, this reduces the number of densities while at the same time keeping the best performances of our recognizer (density-clustering). We have applied these techniques both to word-based small-vocabulary and phoneme-based large-vocabulary recognition tasks. On the WSJ task, we could achieve a reduction of the word error rate by 7%. On the TI/NIST-connected digit task, the number of parameters was reduced by a factor 2-3 while keeping the same string error rate.}},
  author       = {{Dugast, Christian and Beyerlein, Peter and Haeb-Umbach, Reinhold}},
  booktitle    = {{ICASSP, Detroit}},
  title        = {{{Application of Clustering Techniques to Mixture Density Modelling for Continuous-Speech Recognition}}},
  year         = {{1995}},
}

@article{11764,
  abstract     = {{Today speech recognition of a small vocabulary can be realized so cost-effectively that the technology can penetrate into consumer electronics. But, as first applications that failed on the market show, it is by no means obvious how to incorporate voice control in a user interface. This paper addresses the issue of how to design a voice control so that the user perceives it as a benefit. User interface guidelines that are adapted or specific to voice control are presented. Then the process of designing a voice control in the user-centred approach is described. By means of two examples, the car stereo and telephone answering machine, it is shown how this is turned into practice.}},
  author       = {{Gamm, Stephan and Haeb-Umbach, Reinhold}},
  journal      = {{Philips Journal of Research}},
  title        = {{{User interface design of voice controlled consumer electronics}}},
  year         = {{1995}},
}