The SCEAS System
Navigation Menu

Conferences in DBLP

GI-Jahrestagung (gi)
1981 (conf/gi/1981)

  1. Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm
    Invariance of Approximate Semantics with Respect to Program Transformations. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:1-10 [Conf]
  2. Harald Ganzinger
    Description of Parameterized Compiler Modules. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:11-19 [Conf]
  3. Henner Kröger
    Static-Scope-Lisp: Zerlegung eines Interpretierers in Übersetzer und Laufzeitsystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:20-31 [Conf]
  4. Harald Ganzinger
    Programs as Transformations of Algebraic Theories (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:32-40 [Conf]
  5. Bernd Mahr, Dirk Siefkes
    Relating Uniform and Nonuniform Models of Computation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:41-48 [Conf]
  6. Rolf Bahlke, Manfred Daniel, Thomas Letschert
    Semantikdefinition im Rahmen eines Programmiersystemgenerators. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:49-56 [Conf]
  7. Uwe Schmidt, Reinhard Völler
    Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:57-64 [Conf]
  8. Ernst-Rüdiger Olderog
    Hoare-Style Proof Systems and Formal Computations. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:65-71 [Conf]
  9. Jan A. Bergstra, J. Terlouw
    A Characterization of Program Equivalence in Terms of Hoare's Logic. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:72-77 [Conf]
  10. Egidio Astesiano, Elena Zucca
    Semantics of Distributed Processes Derived by Translation. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:78-87 [Conf]
  11. Marly Roncken, Rob Gerth, Willem P. de Roever
    A Proof System for Brinch Hansen's Distributed Processes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:88-95 [Conf]
  12. Jacques Loeckx
    Implementations of Abstract Data Types and Their Verifaction. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:96-108 [Conf]
  13. Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
    GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:109-121 [Conf]
  14. Axel Poigné
    An Order Semantics for Non-Deterministic Recursive Program Schemes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:122-129 [Conf]
  15. Udo Voges
    Quantifizierung der Qualität von Software. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:131-143 [Conf]
  16. Rudolf van Megen, Heinz Bons
    Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:144-159 [Conf]
  17. A. Schulz
    Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung aud die Durchlaufzeit von Programmen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:160-169 [Conf]
  18. Helmut Balzert
    Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systemen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:170-190 [Conf]
  19. Hans Keutgen
    Eine Metrik zur Bewertung der Modularisierung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:191-199 [Conf]
  20. Friedbert Jochum, D. Winter
    ISAC - eine Analyse- und Entwurfsmethode für komplexe Softwaresysteme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:201-215 [Conf]
  21. Jakob Karszt, R. Krieger, Georg Lausen, Wolffried Stucky
    Designing the Conceptual Database Schema - A Framework for an Interactive Approach. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:216-226 [Conf]
  22. Carl-Otto Mertin
    Entwurfs- und Entwicklungswerkzeuge für rechnergestütze Informationsssysteme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:227-241 [Conf]
  23. Peter J. A. Reusch
    Das Data Dictionary: Ein universelles Werkzeug beim Aufbau und Einsatz von Informationssssystemen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:242-254 [Conf]
  24. Hartmut Ehrig, Werner Fey
    Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. [Citation Graph (1, 0)][DBLP]
    GI Jahrestagung, 1981, pp:255-269 [Conf]
  25. Erich Ortner
    Durch Prädikation zu Objekttypen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:270-284 [Conf]
  26. Mario Dal Cin
    Self-Diagnosis for Parallel Computers. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:285-292 [Conf]
  27. R. Konakovsky
    Verfahren zur Erkennung von Einfach- und Doppel-Ausfällen in einem zweikanaligen Schaltkreisssystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:293-306 [Conf]
  28. Erik Maehle, Shi-Cheng Hu
    Ein Baukastenkonzept für fehlertolerante Multi-Mikroprozessorsysteme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:307-316 [Conf]
  29. F. Fetsch, Lothar Gmeiner, Udo Voges
    Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:317-326 [Conf]
  30. Jan Schlörer
    Sicherung statistischer Datenbanken: Output von Intervallen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:327-336 [Conf]
  31. Klaus R. Dittrich
    Schutz, Sicherung und Sicherheit: Versuch einer Begriffsklärung aus der Sicht der Informatik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:337-350 [Conf]
  32. Karl-August Keil
    Computer an der Schule im Wandel. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:351-358 [Conf]
  33. Ernestina Dittrich
    Projektbezogenes Arbeiten in einem Grundkurs Informatik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:359-367 [Conf]
  34. Ulrike Wabel-Frenk
    Informatik im zweiten Bildungsweg - Erfahrungen mit einem Informatikkurs am Abendgymnasium. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:368-376 [Conf]
  35. Mario Spengler
    Zum Beginn des Rechnereinsatzes im Informatikunterricht. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:377-384 [Conf]
  36. Dierk Buse
    Erste Erfahrungen mit Informatik als Abiturprüfungsfach in Niedersachsen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:385-389 [Conf]
  37. Bernd Kretschmer
    Berufsqualifizierender Datenverarbeitungsunterricht. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:390-398 [Conf]
  38. J. Loff
    Lernziele im Informatik-Datenverarbeitungs-Organisationslehre-Unterricht kaufmännischer Schulen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:399-408 [Conf]
  39. Gerhard Fischer
    Computer als konviviale Werkzeuge. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:409-416 [Conf]
  40. K. Wagner
    Der Bildschirmcomputer im Physikunterricht. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:417-424 [Conf]
  41. Leo H. Klingen
    Auswertung naturwissenschaftlicher Meßreihen und sozialwissenschaftlicher Erhebungen mit Computerunterstützung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:425-432 [Conf]
  42. Peter Hruschka
    Ein Projektmodell und Werkzeuge zu dessen Unterstützung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:433-439 [Conf]
  43. Walter Sonnenberg
    Erfahrungen beim softwareorientierten Entwurf eines portablen Betriebsleitsystems des öffentlichen Personennahverkehrs. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:440-447 [Conf]
  44. Reinhard Budde
    Einige Bemerkungen zum Verständnis nebenläfiger Prozesse und Systeme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:448-459 [Conf]
  45. Bernd J. Krämer, Heinz W. Schmidt
    Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:460-471 [Conf]
  46. T. Martin
    Anforderungen an die Software zur Gestaltung humaner Arbeitsplätze in computergesteuerten Fertigungsprozessen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:472-481 [Conf]
  47. Rudolf Lauber, Silvije Jovalekic
    Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungsssystem sein? [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:482-490 [Conf]
  48. Manfred Pils
    Kontextverluste in computergestützten Personalinformationssystemen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:491-499 [Conf]
  49. R. Reichel
    Erfahrungen über die Implementierung eines Konnzeptes für ein Personalinformationssystem (PERSIS) im Bereiche des österr. Bundesheeres. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:500-504 [Conf]
  50. K. Ulmer
    Erfahrungen bei Konzeption, Entwicklung und Einführung des Personalinformations-Systems der IBM Deutschland. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:505-515 [Conf]
  51. M. Behr, B. Sperling
    Integriertes Personalinformationssystem der Siemens AG. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:516-526 [Conf]
  52. Karl-Friedrich Ackermann
    Computergestützte Motivations- und Zufriedenheitsforschung als Instrument der betrieblichen Personalpolitik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:527-541 [Conf]
  53. Paul Kolm
    Personalinformationssysteme und Gewerkschaftspolitik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:542-548 [Conf]
  54. P. L. Reichertz
    Wesen und Probleme der Urteilsfindung in der Medizin. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:549-556 [Conf]
  55. N. Victor
    Probleme des Einsatzes entscheidungstheoretischer Methoden in der medizinischen Diagnostik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:557-567 [Conf]
  56. Wolfgang Wahlster
    KI-Verfahren zur Unterstützung der ärztlichen Urteilsbildung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:568-579 [Conf]
  57. J. R. Möhr, Hans-Jürgen Seelos, W. Raufmann, M. Rothemund
    Probleme der Standardisierung medizinischer Daten am Beispiel der Erstellung einer standardisierten Symptomanamnese. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:580-589 [Conf]
  58. A. Schmidt, Bernd Schmidt
    Modelluntersuchungen zum Flüsigkeitshaushalt des menschlichen Körpers. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:590-597 [Conf]
  59. Günter Tusch
    Ein Fuzzy Algorithmus zur diagnostischen Klassifizierung in der cranialen Computer-Tomographie (CCT). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:598-605 [Conf]
  60. Werner Horn, Walter Buchstaller, Robert Trappl
    Struktur der Wissensbasis für ein AI-System zur Unterstützung ärztlicher diagnostischer und therapeutischer Entscheidungen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:606-613 [Conf]
  61. H. Sator, W. Vogt, D. Nagel, M. Knedel
    Mustererkennung und -wiedererkennung am Beispiel der biochemischen Schilddrüsendiagnostik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:614-617 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002