@article{20745, author = {{Hahn, O. and Koyro, M. and Meschut, Gerson}}, journal = {{Schweißen und Schneiden}}, number = {{7}}, pages = {{424--430}}, title = {{{Wärmeleitfähigkeit, Festigkeit und Alterungsverhalten von Klebverbindungen mit füllstoffmodifizierten Klebstoffen}}}, volume = {{50}}, year = {{1998}}, } @inproceedings{20746, author = {{Hahn, O. and Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zum 6. Paderborner Symposium Fügetechnik}}, isbn = {{ISBN 3-9805447-1-0}}, location = {{Paderborn}}, pages = {{210--218}}, title = {{{Kleben abzeichnungsfreier Leichtbaustrukturen durch Prozeß-, Gestalt- und Klebstoffoptimierung}}}, year = {{1998}}, } @inproceedings{20747, author = {{Hahn, O. and Meschut, Gerson and Peetz, A.}}, pages = {{407--411}}, title = {{{A new technique for joining mobile frame constructions in car body manufacturing}}}, volume = {{41}}, year = {{1998}}, } @book{18144, author = {{Büker, Petra}}, publisher = {{Lang}}, title = {{{Erziehung zu europäischer Verständigung in der Grundschule - Bedingungen - didaktische Konkretisierung - Realisationsmöglichkeiten}}}, year = {{1998}}, } @techreport{18145, abstract = {{Preis für den Beitrag "Multimediale Entdeckungsreisen unserer Welt mit dem Internet"}}, author = {{Ziegler, Martin and Fischer, Matthias and Lukovszki, Tamás}}, title = {{{Multimediale Entdeckungsreisen unserer Welt mit dem Internet}}}, year = {{1998}}, } @misc{18269, author = {{Peckhaus, Volker}}, booktitle = {{Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 889.03002]}}, title = {{{Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108}}}, year = {{1998}}, } @phdthesis{18445, author = {{Oesterdiekhoff, Brigitte}}, title = {{{On Periodic Comparator Networks}}}, year = {{1998}}, } @article{23349, author = {{Honda, Satoshi and Trächtler, Ansgar}}, journal = {{ASME FED-Vol. 247}}, pages = {{43--48,}}, title = {{{Reconstruction of Steady Flow Field by Electromagnetic Tomography}}}, year = {{1998}}, } @article{23350, author = {{Trächtler, Ansgar and Mesch, Franz}}, journal = {{Particle & Particle Systems Characterization }}, pages = {{30--35,}}, title = {{{In-line monitoring of rheological parameters with an electromagnetic flowmeter}}}, volume = {{15}}, year = {{1998}}, } @article{2168, author = {{Scheideler, Christian and Vöcking, Berthold}}, journal = {{Theory Comput. Syst.}}, number = {{4}}, pages = {{425----449}}, title = {{{Universal Continuous Routing Strategies}}}, doi = {{10.1007/s002240000096}}, volume = {{31}}, year = {{1998}}, } @inproceedings{2169, author = {{Adler, Micah and Scheideler, Christian}}, booktitle = {{SPAA}}, pages = {{259----268}}, title = {{{Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract)}}}, year = {{1998}}, } @inproceedings{2170, author = {{Feige, Uriel and Scheideler, Christian}}, booktitle = {{STOC}}, pages = {{624----633}}, title = {{{Improved Bounds for Acyclic Job Shop Scheduling (Extended Abstract)}}}, year = {{1998}}, } @article{21784, author = {{Domik, Gitta and Vollbracht, S.}}, journal = {{Zeitschrift Forschungsforum Paderborn}}, title = {{{Dreidimensionale Welten auf flachen Bildschirmen}}}, year = {{1998}}, } @inproceedings{21785, author = {{D. Stuwe, J. and Lenz, C. and Domik, Gitta}}, booktitle = {{Proceedings. Computer Graphics International (Cat. No.98EX149)}}, pages = {{111--112}}, title = {{{Visualization of geographic data using VRML-an Internet client, for a geographic information system (GIS)}}}, doi = {{10.1109/CGI.1998.694258}}, volume = {{1}}, year = {{1998}}, } @book{2185, author = {{Scheideler, Christian}}, isbn = {{978-3-540-69792-3}}, title = {{{Universal Routing Strategies for Interconnection Networks}}}, doi = {{10.1007/BFb0052928}}, volume = {{1390}}, year = {{1998}}, } @proceedings{7793, abstract = {{During the last 20 years several different formal and semi-formal specification techniques have been successfully developed and used. Applications comprise the specification of simple programs, data types and processes as well as complex hardware and software systems. The variety of specification techniques ranges from formal set theoretical, algebraic, and logic approaches for specifying sequential systems and from Petri-nets, process algebras, automata, and graph grammars for specifying concurrent and distributed behaviors to semi-formal software engineering methods for developing complex systems. Formal and semi-formal approaches have their advantages and disadvantages: the informal diagrammatic methods are easier to understand and to apply but they can be ambiguous. Due to the different nature of the employed diagrams and descriptions it is often difficult to get a comprehensive view of all functional and dynamic properties. On the other hand, the formal approaches are more difficult to learn and require mathematical training. But they provide mathematical rigor for analysis and prototyping of designs. Verification is possible only with formal techniques. Since a few years many researchers and research groups are putting more and more effort in closing this gap by integrating semi-formal and formal specification techniques. Their studies and experiences show the added value of combining semi-formal and formal techniques and at the same time open a whole range of new problems and questions which cannot be asked when studying formalisms in isolation. In this seminar more than 40 scientists came together in 28 talks and two panel discussions to study possibilities and solutions for integrating and validating different formal and semi-formal specification techniques. Similarities and differences of formal and semi-formal specification formalisms as well as possibilities for combining such techniques were discussed. Most talks of this seminar analysed, compared, or integrated at least two such methods. On behalf of all participants the organizers would like to thank the staff of Schloss Dagstuhl for providing an excellent environment to the conference. The support of the TMR programme of the European Community is gratefully acknowledged. Due to this programme it was possible to fund the participation of several young researchers and of three key note speakers.}}, editor = {{Engels, Gregor and Ehrig, Hartmut and Orejas, Fernando and Wirsing, M.}}, publisher = {{Schloss Dagstuhl, Leibniz Center for Informatics}}, title = {{{Semi-Formal and Formal Specification Techniques}}}, volume = {{218}}, year = {{1998}}, } @proceedings{7794, editor = {{Engels, Gregor and Ehrig, Hartmut and Kreowski, Hans-Jörg and Rozenberg, Grzegorz}}, publisher = {{Springer}}, title = {{{6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers}}}, volume = {{1764}}, year = {{1998}}, } @inproceedings{7843, author = {{Depke, Ralph and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}}, booktitle = {{Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)}}, number = {{3}}, pages = {{12--19}}, publisher = {{GI}}, title = {{{Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen}}}, volume = {{18}}, year = {{1998}}, } @inproceedings{7844, author = {{Didrich, Klaus and Wagner, Annika}}, booktitle = {{Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)}}, pages = {{65--73}}, publisher = {{Society for Design and Process Science}}, title = {{{Integration of Single Pushout Transformation and Functional Programming}}}, volume = {{4}}, year = {{1998}}, } @inproceedings{7845, author = {{Cherchago, Alexey}}, booktitle = {{Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)}}, title = {{{A generalized schema of a decision-making process of a SCENAR-therapeutist}}}, year = {{1998}}, }