The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Edward A. Feigenbaum
    Expert Systems: Looking Back and Looking Ahead. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:1-14 [Conf]
  2. W. Frank King III
    Relational Database Systems: Where We Stand Today. [Citation Graph (1, 0)][DBLP]
    GI Jahrestagung, 1980, pp:15-44 [Conf]
  3. Roger M. Needham
    Capabilities and Protection. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:45-53 [Conf]
  4. Zvi Galil, Wolfgang J. Paul
    Effizienz Paralleler Rechner. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:54-64 [Conf]
  5. Joseph Weizenbaum
    Die Rezeption des Buches "Die Macht der Computer und die Ohnmacht der Vernunft". [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:65- [Conf]
  6. Knut Ripken
    Application of Meta-Compilation Methods in the Ada Test Translator Development. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:66-77 [Conf]
  7. Alain Tarabout, Bernard Maillot, Irène Vatton
    Abstraction and Refinefent Principles Applied to the Conception of Functionally Distributed Systems. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:78-91 [Conf]
  8. Hans Keutgen, Hans-H. Meyer
    DARTS: Ein Softwareentwurfswerkzeug für Echtzeitprogramme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:92-105 [Conf]
  9. Ralf Steinbrüggen
    The Use of Nested Scheme Parameters in the System CIP. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:106- [Conf]
  10. Wolfgang Hesse
    Das Projektmodell - Eine Grundlage für die Ingenieurmäßige Software-Entwicklung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:107-122 [Conf]
  11. Hans-Joachim Habermann, Jürgen Kirbach
    Praxisbezogene Systementwicklung aus ganzheitlicher Sicht. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:123-138 [Conf]
  12. Horst Biller
    Ein Einführung der Strukturierten-Software-Dekompositions-Methode bei GOLEM. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:139-149 [Conf]
  13. Hubert Österle
    Eine Methode zum Entwurf betrieblicher Informationssyteme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:150-165 [Conf]
  14. Bernd Breutmann, Rosmarie Mauer
    Konstrukte zur Darstellung und Prüfung semantischer Regeln. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:166-180 [Conf]
  15. Carl August Zehnder, Bertram Thurnherr
    Dynamic Consistency Constraints in the Conceptual Schema and Their Connections with the External Schema. [Citation Graph (2, 0)][DBLP]
    GI Jahrestagung, 1980, pp:181-195 [Conf]
  16. Colette Rolland, Christian Richard
    Dynamics in Information System Design and Management. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:196-212 [Conf]
  17. Hartmut Wedekind
    Konstruktive Abstrakte Datentypen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:213-224 [Conf]
  18. Hermann Bense
    Modularer Datenbank Entwurf für Kleinrechner. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:225-242 [Conf]
  19. Theo Härder, Andreas Reuter
    Abhängigkeiten von Systemkomponenten in Datenbanksystemen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:243-257 [Conf]
  20. Patrick Bosc
    An Interface to Interrogate Heterogeneous Distributed Databases. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:258- [Conf]
  21. Peter Dadam
    Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:259- [Conf]
  22. Michael Böhm, Martin Riemer, Karl Heinz Höhne
    Implementation of a Relational Data Base System on Top of a Commercial DBMS. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:260- [Conf]
  23. Klaus R. Dittrich, Karlheinz Hug, Peter Kammerer, Dieter Lienert, Hans Mau, Klaus Wachsmuth
    Schutz im OSKAR-Betriebssystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:261-276 [Conf]
  24. D. Herman, Michel Raynal
    Synchronization and Protection Features for Data Abstraction. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:277-291 [Conf]
  25. Theo von Bomhard, Hans vor der Brück, Norbert Ramsperger
    Probleme beim Entwurf sicherer Datenbanksysteme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:292-303 [Conf]
  26. W. Ballin
    Subjektorientierte Zugriffsautorisierung. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:304- [Conf]
  27. S. Keramidis, Manfred Reitenspieß
    Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:305- [Conf]
  28. Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
    Polynomials - The Specification, Analysis and Development of an Abstract Data Type. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:306-320 [Conf]
  29. Helmut J. Ludwigs
    A LR-Like Analyzer Algorithm for Graphs. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:321-335 [Conf]
  30. Bernd Schmidt
    Platz- und zeiteffiziente Realisierung des Laufzeitkellers bei blockstrukturierten Programmiersprachen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:336-348 [Conf]
  31. Stefan Reisch
    Ein Sortierverfahren für Registermaschinen (Zusammenfassung). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:349- [Conf]
  32. Michael Breder
    Sortieren in Magnetblasenspeichern. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:350- [Conf]
  33. Hagen Huwig
    Das P=NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:351-364 [Conf]
  34. Peter Klein, Friedhelm Meyer auf der Heide
    Untere Zeitschranken für das Rucksack-Problem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:365-374 [Conf]
  35. Ralf Hartmut Güting, Hans-Peter Kriegel
    Multidimensional B-tree: An Efficient Dynamic File Structure for Exact Match Queries. [Citation Graph (2, 0)][DBLP]
    GI Jahrestagung, 1980, pp:375-388 [Conf]
  36. Gerhard Jaeschke
    Towards Single Probe Retrieval. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:389-399 [Conf]
  37. Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther
    Das Karlsruher Beweissystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:400-412 [Conf]
  38. Wolfram-Manfred Lippe, Franz Wagner
    Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:413-427 [Conf]
  39. Graham Wrightson
    On the Treatment of Equivalence Connectives in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:428- [Conf]
  40. Dominique Pastre
    Knowledge-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:429- [Conf]
  41. Jacek Leszczylowski
    Edingburgh LCF Supporting FP Systems. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:430- [Conf]
  42. H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer
    An Expert System for Automatic Codeing of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:431-441 [Conf]
  43. Eric Papon
    Inducing Non-Trivial Programs from Examples. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:442-456 [Conf]
  44. Georg Winterstein, Manfred Dausmann, Guido Persch
    A Method for Describing Concurrent Problems Based on Logic. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:457- [Conf]
  45. Heinz Dieter Maas
    Das Saarbrücker Übersetzungssystem SUSY. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:458- [Conf]
  46. Anthony Jameson, Wolfgang Hoeppner, Wolfgang Wahlster
    The Natural Language System HAM-RPM as a Hotel Manager: Some Representational Prerequisites. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:459-473 [Conf]
  47. J.-H. Jayez, P. Levasseur, M. Liscouet
    A Natural Language Processing Model. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:474- [Conf]
  48. Joachim Griese
    Computergestützte Informationssysteme in der Materialwirtschaft. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:475- [Conf]
  49. Peter Stahlknecht
    Online-Systeme im Finanz- und Rechnungswesen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:476-502 [Conf]
  50. Dietrich Seibt, Wilhelm Mülder
    Rechnergestützte Informations- und Dispositionssysteme für den Personalbereich. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:503- [Conf]
  51. Klaus Wenke
    Verteilte Datenverarbeitung und Bildschirmtext. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:504-513 [Conf]
  52. D. Schmidtmann
    5 Jahre BRIDGE - Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:514-534 [Conf]
  53. G. Müller, L. Dumke
    Entwicklung und Benutzung interaktiver Anwendungssyteme mit Hilfe von Methoden- und Datenbanksystemen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:536- [Conf]
  54. Jürgen C. W. Schröder
    Stand der Entwicklung von Bildschirmtext. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:537- [Conf]
  55. H. Werner
    Der Thesaurus als Datenbank. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:538- [Conf]
  56. Michael Eulenstein
    Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:539- [Conf]
  57. M. A. Ertel
    Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:540- [Conf]
  58. Michael Payer
    Systematischer Entwurf von Makroprozessoren. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:541- [Conf]
  59. Klaus-Jürgen Engelberg
    Plädoyer für den Datentyp Tree. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:542- [Conf]
  60. Andreas Meier
    Flächenbezogene Datenstrukturen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:543- [Conf]
  61. Horst Kosanke
    Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:544- [Conf]
  62. N. Bauchrowitz, F. Simon
    Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:545- [Conf]
  63. Eike Hagen Riedemann
    The Control of Parallel Computations by Labeled Petri Nets: A Study in terms of Multiple-Firing Automata and Parallel Program Schemata. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:546- [Conf]
  64. Horst Niggemann
    Automatisierte Parallelisierung von Programmen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:547- [Conf]
  65. Eberhard Wegner
    Semantik-Definition der Prozeß-Programmiersprache PEARL. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:548- [Conf]
  66. Peter Göhner
    Umwandlung von EPOS-Spezifikationen in Petri-Netze. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:549- [Conf]
  67. Wilhelm K. Hackmann, Ekkart Rudolph, Hans Seidl
    Entwurfstechnologie auf der Grundlage von Petri-Netzen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:550- [Conf]
  68. Wilhelm K. Hackmann, Peter Theobald
    Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:551- [Conf]
  69. Bernd Meister
    Bedinungssyteme mit Unterbrechungen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:552- [Conf]
  70. J. Reyes, G. Roehmer
    Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIM. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:553-554 [Conf]
  71. Hans-Josef Jeanrond, M. R. King, N. H. Shelness
    A Segment-Flow Model of Distributed Computing. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:555- [Conf]
  72. Hans-H. Meyer, Werner Tesch
    Statistische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwicklungssystem. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:556- [Conf]
  73. Monika Blum, Jürgen Höhne
    Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:557- [Conf]
  74. J. Riedel
    Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechnenzentren. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:558- [Conf]
  75. Reiner W. Hartenstein, Peter Liell
    Ein Compiler für die Register Transfer-Sprache KARL-2. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:559- [Conf]
  76. G. Stamon, Bertrand Zavidovique
    Some Problems in Parallel Image Processor Design. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:560- [Conf]
  77. Ipke Wachsmuth
    Netze mit zeitvarianten Komponentenverzögerungen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:561- [Conf]
  78. Claudio Moraga
    Induktive Inferenz und mehrwertige Logik. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:562- [Conf]
  79. Raymond Schneider
    Deadlock Prediction Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:563- [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