@article{51435,
  author       = {{Hilgert, Joachim and Neeb, K.-H.}},
  journal      = {{Japan. J. Math.}},
  pages        = {{117--188}},
  title        = {{{Groupoid C*-Algebras of Order Compactified Symmetric Spaces}}},
  volume       = {{21}},
  year         = {{1995}},
}

@article{51433,
  author       = {{Hilgert, Joachim and Neeb, K.-H.}},
  journal      = {{J. Funct. Anal.}},
  pages        = {{86--118}},
  title        = {{{Wiener-Hopf Operators on Ordered Homogeneous Spaces}}},
  volume       = {{132}},
  year         = {{1995}},
}

@article{51434,
  author       = {{Hilgert, Joachim}},
  journal      = {{mathematica didactica}},
  pages        = {{93--108}},
  title        = {{{Streitfragen der Mathematik in Forschung und Lehre}}},
  volume       = {{18}},
  year         = {{1995}},
}

@article{51437,
  author       = {{Hilgert, Joachim and Neeb, K.-H.}},
  journal      = {{Semigroup Forum}},
  pages        = {{205--222}},
  title        = {{{Maximality of Compression Semigroups}}},
  volume       = {{50}},
  year         = {{1995}},
}

@phdthesis{23686,
  author       = {{Hornbostel, Dirk}},
  publisher    = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}},
  title        = {{{Methode zur Modellierung der Informationsverarbeitung in Industrieunternehmen}}},
  volume       = {{2}},
  year         = {{1995}},
}

@inproceedings{40655,
  author       = {{Rösler, Margit}},
  booktitle    = {{Probability measures on groups and related structures XI (Oberwolfach 1994)}},
  pages        = {{292--304}},
  publisher    = {{World Scientific}},
  title        = {{{Bessel-type signed hypergroups on R}}},
  year         = {{1995}},
}

@misc{17777,
  author       = {{Peckhaus, Volker}},
  booktitle    = {{Mathesis (México)}},
  pages        = {{285--290}},
  title        = {{{"Russell y las ‘Paradojas" [Rez. v. Alejandro R. Garciadiego, Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’. Birkhäuser Verlag: Basel/Boston/Berlin 1992]}}},
  volume       = {{11}},
  year         = {{1995}},
}

@article{17491,
  author       = {{Peckhaus, Volker}},
  journal      = {{Modern Logic}},
  pages        = {{167--169}},
  title        = {{{Rüstow’s Thesis on Russell’s Paradox}}},
  volume       = {{5}},
  year         = {{1995}},
}

@article{17490,
  abstract     = {{Rezension: Zbl. Math. 908.01010 (V.V. Pambuccian).}},
  author       = {{Peckhaus, Volker}},
  journal      = {{NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin N.F.}},
  pages        = {{65--86}},
  title        = {{{Hilberts Logik. Von der Axiomatik zur Beweistheorie}}},
  volume       = {{3}},
  year         = {{1995}},
}

@article{27953,
  author       = {{Walther, J. and Bigga, Regine and Bischof, H.}},
  journal      = {{Sonderpädagogik }},
  pages        = {{4--22}},
  title        = {{{Computergestützte Intervention bei Rechtschreibschwäche: Effekte eines kognitions- und lernpsychologisch orientierten Trainingsprogramms auf Morphembasis bei sehr schwachen Sonderschülern.}}},
  volume       = {{1}},
  year         = {{1995}},
}

@inproceedings{39532,
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}},
  booktitle    = {{Proceedings of the 4th EXPRESS User's Group}},
  title        = {{{Conformance Tests of Very Large STEP Files}}},
  year         = {{1995}},
}

@inproceedings{39535,
  author       = {{Zhao, R. and Kaufmann, H. J. and Kern, T. and Müller, Wolfgang}},
  location     = {{Tokyo, Japan}},
  title        = {{{Pen-based Interfaces for Engineering Environments}}},
  year         = {{1995}},
}

@inproceedings{39541,
  abstract     = {{We investigate a translation of SDL diagrams into the complete visual representation of Pictorial Janus (PJ) programs in order to analyze the specification by visual debugging and animation. We additionally introduce timing concepts to PJ (Timed PJ) for a mapping of the SDL timing statements. The concepts transforming SDL interaction and process diagrams into Timed PJ are outlined by an example sketching the transformation of an Ethernet CSMA/CD protocol specification.}},
  author       = {{Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}},
  booktitle    = {{Proceedings of Symposium on Visual Languages}},
  isbn         = {{0-8186-7045-2}},
  keywords     = {{Animation, Timing, Debugging, Ethernet networks, Multiaccess communication, Protocols, Computer languages, Prototypes, Environmental management, Visualization}},
  title        = {{{Transforming SDL Diagrams Into a Complete Visual Representation}}},
  doi          = {{10.1109/VL.1995.520803}},
  year         = {{1995}},
}

@inproceedings{39546,
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}},
  title        = {{{Validation of EXPRESS Models}}},
  year         = {{1995}},
}

@inproceedings{38445,
  author       = {{REHAGE, M and Noé, Reinhold and HARIZI, C and RICKEN, R}},
  booktitle    = {{FIBER OPTIC NETWORK COMPONENTS}},
  editor       = {{Najafi, SI and Porte, H}},
  isbn         = {{0-8194-1800-5}},
  pages        = {{365--374}},
  title        = {{{SINGLE-STAGE AND DOUBLE-STAGE ACOUSTOOPTICAL TI-LINBO3 TE-TM CONVERTERS USED IN WAVELENGTH-SELECTIVE POLARIMETER AND POLARIZATION-INDEPENDENT DEPOLARIZER}}},
  doi          = {{10.1117/12.201990}},
  volume       = {{2449}},
  year         = {{1995}},
}

@misc{38033,
  author       = {{Öhlschläger, Claudia}},
  booktitle    = {{Rundbrief Frauen in der Literaturwissenschaft}},
  pages        = {{74--78}},
  title        = {{{Weibliche" Ästhetik? Möglichkeiten und Grenzen einer Subversion von Codes}}},
  volume       = {{44}},
  year         = {{1995}},
}

@inproceedings{39531,
  abstract     = {{Greenville, South Carolina}},
  author       = {{Müller, Wolfgang and Felser, W. and Buijs, F.}},
  booktitle    = {{Proceedings of the 4th EXPRESS User's Group}},
  title        = {{{Guide to EXPRESS-P}}},
  year         = {{1995}},
}

@inproceedings{39538,
  abstract     = {{This article discusses the application of Pictorial Janus (PJ) for the rapid development and analysis of protocols by animation and complete visualization. In order to make PJ applicable in the context of hardware description we first extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating VHDL models into this visual framework preserving the simulation semantics of VHDL. We finally give the example of the specification and animation of a non interlocked protocol.}},
  author       = {{Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}},
  booktitle    = {{Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair}},
  isbn         = {{4-930813-67-0}},
  keywords     = {{Animation, Protocols, Timing, Computer languages, Electronic mail, Context modeling, Visualization, Control systems, Flow graphs, Trademarks}},
  title        = {{{Complete Visual Specification and Animations of Protocols}}},
  doi          = {{10.1109/ASPDAC.1995.486383}},
  year         = {{1995}},
}

@inproceedings{39543,
  author       = {{Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}},
  booktitle    = {{Proceedings of the 5th EXPRESS User's Group}},
  title        = {{{An Editor for the Rapid Prototyping of EXPRESS-G Models}}},
  year         = {{1995}},
}

@inproceedings{39550,
  author       = {{Müller, Wolfgang and Felser, W. and Wiechers, N.}},
  title        = {{{The Process Modeling Language EXPRESS-P}}},
  year         = {{1995}},
}