Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ifip/ifip89.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifip/Abraham89,
author = {Jacob A. Abraham},
editor = {Gerhard X. Ritter},
title = {Advances in VLSI-Testing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1013--1018},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Abraham89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ackland89,
author = {Bryan D. Ackland},
editor = {Gerhard X. Ritter},
title = {Experiences with Advanced Design Automation Tools},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {532},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ackland89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AdelantadoH89,
author = {Martin Adelantado and
Nourredine Hifdi},
editor = {Gerhard X. Ritter},
title = {MaRGOH: Clustering as a Global Solution to Massive Parallel Computing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {897--902},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AdelantadoH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AikenA89,
author = {Robert M. Aiken and
Cristine Aiken},
editor = {Gerhard X. Ritter},
title = {Better Education - Different Tools},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {107--108},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AikenA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AklG89,
author = {Selim G. Akl and
G. R. Guenther},
editor = {Gerhard X. Ritter},
title = {Broadcasting with Selective Reduction},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {515--520},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AklG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AmanoTK89,
author = {Hideharu Amano and
Takuya Terasawa and
Tomohiro Kudoh},
editor = {Gerhard X. Ritter},
title = {Cache with Synchronization Mechanism},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1001--1006},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AmanoTK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Anceau89,
author = {Fran{\c{c}}ois Anceau},
editor = {Gerhard X. Ritter},
title = {Formal Verification: {A} Significant Step Towards Zero Deffect {VLSI}
Design},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {528},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Anceau89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ArientiCGM89,
author = {Gisella Arienti and
Tiziana Cazzaniga and
Francesco Gardin and
Giancarlo Mauri},
editor = {Gerhard X. Ritter},
title = {UNIX-Tutor: An Experiment for the Use of Deep Knowledge for Tutoring},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {569--574},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ArientiCGM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Arroyabe89,
author = {J. L. Fern{\'{a}}ndez de Arroyabe},
editor = {Gerhard X. Ritter},
title = {Fault Tolerant Control in Manufacturing Processes},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {772},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Arroyabe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AsthanaBCM89,
author = {Abhaya Asthana and
Cheryl J. Briggs and
Mark R. Cravats and
Boyd Mathews},
editor = {Gerhard X. Ritter},
title = {The Architecture of Massively Parallel Numeric Processor},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {891--891},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AsthanaBCM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Atchison89,
author = {William F. Atchison},
editor = {Gerhard X. Ritter},
title = {Personal Computers on Campuses: The Experience},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {775},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Atchison89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Avizienis89,
author = {Algirdas Avizienis},
editor = {Gerhard X. Ritter},
title = {Software Fault Tolerance},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {491--498},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Avizienis89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BabayanRC89,
author = {Boris Artashesovich Babayan and
Gennadiy Georgevich Ryabov and
G. D. Chinin},
editor = {Gerhard X. Ritter},
title = {Elbrus Software Methodology: Instrumentation - Experience},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {879--882},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Fri, 19 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BabayanRC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bakker89,
author = {J. W. de Bakker},
editor = {Gerhard X. Ritter},
title = {Designing Concurrency Semantics},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {591--598},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bakker89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BarachiniMB89,
author = {Franz Barachini and
Hans Mistelberger and
E. Bahr},
editor = {Gerhard X. Ritter},
title = {A New Method for Parallel Pattern Matching},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {337--342},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BarachiniMB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BayerM89,
author = {Judy Bayer and
Nancy Melone},
editor = {Gerhard X. Ritter},
title = {Technology Transition of Software Engineering Innovations: Experiences
in the Field},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {871--874},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BayerM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BellW89,
author = {Gordon Bell and
William S. Worley Jr.},
editor = {Gerhard X. Ritter},
title = {The Graphics Supercomputer: {A} New Class of Computer},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {727--734},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BellW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Berry89,
author = {G{\'{e}}rard Berry},
editor = {Gerhard X. Ritter},
title = {Real Time Programming: Special Purpose or General Purpose Languages},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {11--17},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Berry89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bhatnagar89,
author = {Subhash C. Bhatnagar},
editor = {Gerhard X. Ritter},
title = {Strategic Choices in Developing Competence in Information Technology},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {435--436},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bhatnagar89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BhuyanDR89,
author = {Jay N. Bhuyan and
Jitender S. Deogun and
Vijay V. Raghavan},
editor = {Gerhard X. Ritter},
title = {Near-Optimal Algorithms for the Boundary Selection Problem in User-Oriented
Information Retrieval},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {275--280},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BhuyanDR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BiebowS89,
author = {Brigitte Biebow and
Sylvie Szulman},
editor = {Gerhard X. Ritter},
title = {Enrichment of Semantic Network for Requirements Expressed in Natural
Language},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {693--698},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BiebowS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BinstW89,
author = {Paul van Binst and
Luc Wilkin},
editor = {Gerhard X. Ritter},
title = {Informatics and Human Sciences: {A} Working Synergy},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {415--418},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BinstW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlakemoreS89,
author = {Alex Blakemore and
Gary Schebella},
editor = {Gerhard X. Ritter},
title = {Tools for Analyzing Dynamic Properties of System and Software Designs},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {985--988},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BlakemoreS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlumR89,
author = {Manuel Blum and
Prabhakar Raghavan},
editor = {Gerhard X. Ritter},
title = {Program Correctness: Can One Test For It?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {127--134},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BlumR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Boehm89,
author = {Barry W. Boehm},
editor = {Gerhard X. Ritter},
title = {Software Factories in the {USA}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {701--703},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Boehm89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorovskyI89,
author = {Boris Borovsky and
Plamenka Ivanova},
editor = {Gerhard X. Ritter},
title = {Performance Issues in Multicomputer Architectures with Recirculation
of Heterogeneous Information Flows},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1007--1012},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BorovskyI89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorrioneP89,
author = {Dominique Borrione and
Paolo Prinetto},
editor = {Gerhard X. Ritter},
title = {Zero-Defect Designs, Why and How: Formal Verification vs. Automated
Synthesis},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {233--240},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BorrioneP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BracchiF89,
author = {Giampio Bracchi and
Maria Grazia Fugini},
editor = {Gerhard X. Ritter},
title = {The Future of Office Automation: Advanced Design Techniques for Office
Applications},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {751--752},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BracchiF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BrauerB89,
author = {Wilfried Brauer and
Ute Brauer},
editor = {Gerhard X. Ritter},
title = {Better Tools - Less Education?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {101--106},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BrauerB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BrayCFZ89,
author = {Brian K. Bray and
K. Cuderman and
Michael J. Flynn and
Andrew Zimmerman},
editor = {Gerhard X. Ritter},
title = {The Computer Architect's Workbench},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {509--514},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BrayCFZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Briefs89,
author = {Ulrich Briefs},
editor = {Gerhard X. Ritter},
title = {Information System Design and Design of Work and Organization (Position
Paper)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {271},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Briefs89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Brooks89,
author = {Martin Brooks},
editor = {Gerhard X. Ritter},
title = {Some Recent Process in Sensor-Based Motion Planning},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {930},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Brooks89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Browne89,
author = {J. Browne},
editor = {Gerhard X. Ritter},
title = {A Respons to the Paper of E. Eloranta and J. Hynynen},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1065--1066},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Browne89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Broy89,
author = {Manfred Broy},
editor = {Gerhard X. Ritter},
title = {Functional Specification of Communicating Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {851--856},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Broy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Broy89a,
author = {Manfred Broy},
editor = {Gerhard X. Ritter},
title = {Position Statement for the {IFIP} Congress 89 Panel on Foundations
of Software Engineering},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {953},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Broy89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bryant89,
author = {Randal E. Bryant},
editor = {Gerhard X. Ritter},
title = {Silicon Compilers: How Well Have They Done, and Where Are They Headed?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {379},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bryant89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bryant89a,
author = {Tony Bryant},
editor = {Gerhard X. Ritter},
title = {Better Professionals for the Tools},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {419--425},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bryant89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Caluwe89,
author = {Rita M. M. De Caluwe},
editor = {Gerhard X. Ritter},
title = {Personal Computers on Campuses: The Experience at the Univerity of
Ghent},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {776--777},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Caluwe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CamardaG89,
author = {Pietro Camarda and
Mario Gerla},
editor = {Gerhard X. Ritter},
title = {Improving the Efficiency of High Speed Implicit Token FOLANs},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {645--650},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CamardaG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cambell-GrantK89,
author = {Ian R. Campbell{-}Grant and
G{\"{u}}nther Kr{\"{o}}nert},
editor = {Gerhard X. Ritter},
title = {First Implementations of the {ODA} Standard},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1025--1028},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Cambell-GrantK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Carter89,
author = {William C. Carter},
editor = {Gerhard X. Ritter},
title = {Hardware and Software Dependability Evaluation: System Dependability},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {118},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Carter89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CasaleCPV89,
author = {Salvatore Casale and
Vincenzo Catania and
Antonio Puliafito and
Lorenzo Vita},
editor = {Gerhard X. Ritter},
title = {A Multiple Spanning Tree Protocol in Bridged LANs},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {633--638},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CasaleCPV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CazinJLMM89,
author = {Jacques Cazin and
Ren{\'{e}} Jacquart and
Michel Lemoine and
P. Michel and
P. Maurice},
editor = {Gerhard X. Ritter},
title = {Method Driven Programming},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {351--356},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CazinJLMM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cercone89,
author = {Nick Cercone},
editor = {Gerhard X. Ritter},
title = {Better Tool for Professionals: Knowledge Based Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {191--192},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Cercone89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cerny89,
author = {Vladim{\'{\i}}r Cern{\'{y}}},
editor = {Gerhard X. Ritter},
title = {Frontiers in Computing: Computing as a Simulation of Physical Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {2},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Cerny89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Chang89,
author = {Ifay F. Chang},
editor = {Gerhard X. Ritter},
title = {Advanced Software Technology for Automating the Office},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1041--1042},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Chang89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ChenHFDW89,
author = {S. F. Steven Chen and
Pei{-}Yung Hsiao and
Wu{-}Shiung Feng and
Shun{-}Nan Dai and
Wen{-}Zyh Wang},
editor = {Gerhard X. Ritter},
title = {The Control Model for a Knowledge-Based Approach to {VLSI} Compaction
Design},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {241--246},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ChenHFDW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ChereshkinT89,
author = {Dimitry Chereshkin and
M. Sh. Tsalenko},
editor = {Gerhard X. Ritter},
title = {Information and Restructuring of Soviet Society},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1083--1087},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ChereshkinT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Chi89,
author = {Chi{-}Hung Chi},
editor = {Gerhard X. Ritter},
title = {Improving Cache Performance Using a Unified Management of Registers
and Cache},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {521--526},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Chi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Claasen89,
author = {Theo A. C. M. Claasen},
editor = {Gerhard X. Ritter},
title = {{VLSI} Design Methods: Posibilities and Limitations},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {533},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Claasen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Coelho89,
author = {Helder Coelho},
editor = {Gerhard X. Ritter},
title = {Developing Competence in a Developing Environment},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {427--433},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Coelho89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cohen89,
author = {Danny Cohen},
editor = {Gerhard X. Ritter},
title = {Computerized Commerce},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1095--1100},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Cohen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Collis89,
author = {Betty A. Collis},
editor = {Gerhard X. Ritter},
title = {Impact of Computers on Education: {A} Response},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {561--562},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Collis89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CoyB89,
author = {Wolfgang Coy and
Lena Bonsiepen},
editor = {Gerhard X. Ritter},
title = {Expert Systems Before the Flood?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1167--1172},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CoyB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CzarnetzkiS89,
author = {Rainer Czarnetzki and
Friedrich Sp{\"{o}}rl},
editor = {Gerhard X. Ritter},
title = {Implementation of an {ERM} Data Dictionary System for Open {CASE}
Environment},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {713--718},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CzarnetzkiS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DallyCFHKLLNW89,
author = {William J. Dally and
Andrew A. Chien and
Stuart Fiske and
Waldemar Horwat and
John S. Keen and
Michael Larivee and
Richard A. Lethin and
Peter R. Nuth and
D. Scott Wills},
editor = {Gerhard X. Ritter},
title = {The J-Machine: {A} Fine-Gain Concurrent Computer},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1147--1153},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/DallyCFHKLLNW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Danthine89,
author = {Andr{\'{e}} A. S. Danthine},
editor = {Gerhard X. Ritter},
title = {Communication Support for Distributed Systems: {OSI} verus Special
Protocols},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {181--190},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Danthine89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Darringer89,
author = {John A. Darringer},
editor = {Gerhard X. Ritter},
title = {Advanced Design Automation in Industry},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {527},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Darringer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Davidson89,
author = {James Davidson},
editor = {Gerhard X. Ritter},
title = {Towards Practical Knowledge Representation Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {193},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Davidson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Demolombe89,
author = {Robert Demolombe},
editor = {Gerhard X. Ritter},
title = {An Efficient Strategy for Non-Horn Deductive Data Bases},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {325--330},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Demolombe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Denenberg89,
author = {Stewart A. Denenberg},
editor = {Gerhard X. Ritter},
title = {Developing Reasoning Skills in College Freshman Using Computer Programming,
Collaborative Problem Solving and Writing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {947--952},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Denenberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Dincbas89,
author = {Mehmet Dincbas},
editor = {Gerhard X. Ritter},
title = {Parallelism vs. Efficiency in Logic Programming},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {965--966},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Dincbas89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DockerF89,
author = {Thomas W. G. Docker and
Robert B. France},
editor = {Gerhard X. Ritter},
title = {Flexibility and Rigour in Structured Analysis},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {89--94},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/DockerF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ElorantaH89,
author = {Eero Eloranta and
Juha Hynynen},
editor = {Gerhard X. Ritter},
title = {Artificial Intelligence and Production Management},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1057--1064},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ElorantaH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Endo89,
author = {Makoto Endo},
editor = {Gerhard X. Ritter},
title = {The Roles of Logic Synthesis Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {529},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Endo89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ercoli89,
author = {Paolo Ercoli},
editor = {Gerhard X. Ritter},
title = {Personal Computers on Campuses: The Experience},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {778},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ercoli89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Franchi-Zannettacci89,
author = {Paul Franchi{-}Zannettacci},
editor = {Gerhard X. Ritter},
title = {Attribute Specifications for Graphical Interface Generation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {149--155},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Franchi-Zannettacci89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Freeman89,
author = {Peter Freeman},
editor = {Gerhard X. Ritter},
title = {Strategic Directions in Software Engineering: Past, Present, and Future},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {205--210},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Freeman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Freisleben89,
author = {Bernd Freisleben},
editor = {Gerhard X. Ritter},
title = {Non-Broadcast Communication Schemes for Information Dissemination},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {299--304},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Freisleben89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Freytag89,
author = {Johann Christoph Freytag},
editor = {Gerhard X. Ritter},
title = {The Basic Principles of Query Optimization in Relational Database
Management Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {801--807},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Freytag89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Fuchs-KittowskiF89,
author = {Klaus Fuchs{-}Kittowski and
Margrit Falck},
editor = {Gerhard X. Ritter},
title = {Information System Design and Design of Work and Organization - Necessity
for Widening the Socio-Technological to an Actional Approach},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {269--270},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Fuchs-KittowskiF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Furukawa89,
author = {Koichi Furukawa},
editor = {Gerhard X. Ritter},
title = {Constraint Logic Programming as a New Vehicle for Knowledge Representation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {194},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Furukawa89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GayL89,
author = {Robert K. L. Gay and
Kin{-}Kiong Low},
editor = {Gerhard X. Ritter},
title = {Implementing Information Technology on a Campus},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {941--946},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GayL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gerhart89,
author = {Susan L. Gerhart},
editor = {Gerhard X. Ritter},
title = {The {MCC} Software Technology Program},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {883--889},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gerhart89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gibbs89,
author = {Norman E. Gibbs},
editor = {Gerhard X. Ritter},
title = {The {SEI} Education Program: Strategy and Accomplishments},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {863--866},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gibbs89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GlabbeekW89,
author = {Rob J. van Glabbeek and
W. P. Weijland},
editor = {Gerhard X. Ritter},
title = {Branching Time and Abstraction in Bisimulation Semantics (Extended
Abstract)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {613--618},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GlabbeekW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Goldsworthy89,
author = {Ashley W. Goldsworthy},
editor = {Gerhard X. Ritter},
title = {How Specialists Perceive the Impact of Computers on Society},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {267},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Goldsworthy89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GolinRW89,
author = {Eric J. Golin and
Robert V. Rubin and
James Walker II},
editor = {Gerhard X. Ritter},
title = {The Visual Programmers Workbench (Extended Abstract)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {143--148},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GolinRW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GomardJ89,
author = {Carsten K. Gomard and
Neil D. Jones},
editor = {Gerhard X. Ritter},
title = {Compiler Generation by Partial Evaluation: {A} Case Study},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1139--1144},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GomardJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gries89,
author = {David Gries},
editor = {Gerhard X. Ritter},
title = {Position Statement on the Foundations of Software Engineering},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {954},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gries89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Guessarian89,
author = {Ir{\`{e}}ne Guessarian},
editor = {Gerhard X. Ritter},
title = {Improving Fixpoint Toole for Computer Science},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1109--1114},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Guessarian89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gurd89,
author = {John R. Gurd},
editor = {Gerhard X. Ritter},
title = {Future Trends in Supercomputing: Access and Evaluation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {229},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gurd89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hagelin89,
author = {Gunnar Hagelin},
editor = {Gerhard X. Ritter},
title = {Can Software Faults be Tolerated?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {500},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hagelin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HarpO89,
author = {J. G. Harp and
Eddy Odijk},
editor = {Gerhard X. Ritter},
title = {Parallel Architectures in {ESPRIT}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {619--622},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HarpO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hashiguchi89,
author = {Kosaburo Hashiguchi},
editor = {Gerhard X. Ritter},
title = {Algorithms for Determining Relative Star height and Star Height},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {5--10},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hashiguchi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Haxthausen89,
author = {Anne E. Haxthausen},
editor = {Gerhard X. Ritter},
title = {Recursive Algebraic Specifications and their Semantics},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {607--612},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Haxthausen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HeintzSR89,
author = {Joos Heintz and
Pablo Solern{\'{o}} and
Marie{-}Fran{\c{c}}oise Roy},
editor = {Gerhard X. Ritter},
title = {On the Complexity of Semialgebraic Sets},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {293--298},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HeintzSR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HemachandraW89,
author = {Lane A. Hemachandra and
Gerd Wechsung},
editor = {Gerhard X. Ritter},
title = {Using Randomness to Characterize the Complexity of Computation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {281--286},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HemachandraW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Herbert89,
author = {Andrew Herbert},
editor = {Gerhard X. Ritter},
title = {Distributed Systems and {OSI}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {312},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Herbert89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HerrmannH89,
author = {Marc Herrmann and
Ralph D. Hill},
editor = {Gerhard X. Ritter},
title = {Abstraction and Declarativness in User Interface Development. The
Methological Basis of the Composite Object Architecture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {253--258},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HerrmannH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hester89,
author = {Richard K. Hester},
editor = {Gerhard X. Ritter},
title = {Zen and the Art of Analog Design Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {912},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hester89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hewitt89,
author = {Carl Hewitt},
editor = {Gerhard X. Ritter},
title = {Toward an Open Systems Architecture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {389--392},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hewitt89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HeydonMTWZ89,
author = {Allan Heydon and
Mark W. Maimone and
J. D. Tygar and
Jeannette M. Wing and
Amy Moormann Zaremski},
editor = {Gerhard X. Ritter},
title = {Constraining Pictures with Pictures},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {157--162},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HeydonMTWZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hiltz89,
author = {Starr Roxanne Hiltz},
editor = {Gerhard X. Ritter},
title = {Computer-Mediated Communication Systems: Dropouts versus Users},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1089--1094},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hiltz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hirschheim89,
author = {Rudy Hirschheim},
editor = {Gerhard X. Ritter},
title = {Towards a Broader Notion of the Office},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {394--395},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hirschheim89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hlavicka89,
author = {Jan Hlavicka},
editor = {Gerhard X. Ritter},
title = {Validation and Verification of Hardware and Software (Position Statement)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {343},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hlavicka89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ho89,
author = {Cheng{-}Seen Ho},
editor = {Gerhard X. Ritter},
title = {A Pragmatic Approach to Office Modeling},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {396},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ho89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hopfield89,
author = {John J. Hopfield},
editor = {Gerhard X. Ritter},
title = {The Effectiveness of Neural Computing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {503--507},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hopfield89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Howden89,
author = {William E. Howden},
editor = {Gerhard X. Ritter},
title = {A Comparison of Software and Hardware Testing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {344},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Howden89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Humphrey89,
author = {Watts S. Humphrey},
editor = {Gerhard X. Ritter},
title = {The {SEI} Software Process Program},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {867--869},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Humphrey89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hunt89,
author = {Ray Hunt},
editor = {Gerhard X. Ritter},
title = {A Review of Telecommunication Services Operating in New Zealand up
to the Time of Deregulation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {467--472},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hunt89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/IbbetsonSC89,
author = {A. L. Ibbetson and
E. B. Spratt and
R. P. A. Collinson},
editor = {Gerhard X. Ritter},
title = {Ten Years of Local Area Networking in a University Context},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {461--466},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/IbbetsonSC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ikeda89,
author = {Hiromasa Ikeda},
editor = {Gerhard X. Ritter},
title = {From {ISDN} to {IBCN}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {487--488},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ikeda89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/IoannidisL89,
author = {Yannis E. Ioannidis and
Miron Livny},
editor = {Gerhard X. Ritter},
title = {{MOOSE:} Modeling Objects in a Simulation Environment},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {821--826},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/IoannidisL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ishii89,
author = {Mitsuo Ishii},
editor = {Gerhard X. Ritter},
title = {Automated Testing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {534},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ishii89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/IwamaK89,
author = {Kazuo Iwama and
Yahiko Kambayashi},
editor = {Gerhard X. Ritter},
title = {An O(log n) Parallel Connectivity Algorithm on the Mesh of Buses},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {305--310},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/IwamaK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Iyer89,
author = {Ravishankar K. Iyer},
editor = {Gerhard X. Ritter},
title = {Measurement and Modeling of Computer System Failures},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {115--116},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Iyer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jager89,
author = {Gerhard J{\"{a}}ger},
editor = {Gerhard X. Ritter},
title = {Proofs as Advanced and Powerful Tool},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {783--790},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jager89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jain89,
author = {Ramesh C. Jain},
editor = {Gerhard X. Ritter},
title = {Environment Model for Advanced Robots},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {931},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sat, 26 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jain89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jarke89,
author = {Matthias Jarke},
editor = {Gerhard X. Ritter},
title = {Computer-Supported Cooperative Design: {A} Knowledge Base Management
Approach},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {743},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jarke89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jarratt89,
author = {P. Jarratt},
editor = {Gerhard X. Ritter},
title = {Personal Computers on Campuses: The Experience},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {780--781},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jarratt89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jin89,
author = {Lan Jin},
editor = {Gerhard X. Ritter},
title = {Report on Interconnection Networks and Distributed Processing Projects
in China},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {79--80},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/JohannessonW89,
author = {Paul Johannesson and
Benkt Wangler},
editor = {Gerhard X. Ritter},
title = {The Negotiation Mechanism in a Decentralized Autonomous Cooperating
Information Systems Architecture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {163--168},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/JohannessonW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/JohnsonH89,
author = {I. D. Johnson and
Alan J. Harget},
editor = {Gerhard X. Ritter},
title = {On the Performance of Load Balancing Algorithms in Distributed Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {175--180},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/JohnsonH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jones89,
author = {Cliff B. Jones},
editor = {Gerhard X. Ritter},
title = {Position Statement for the Panel on Foundations of Software Engineering},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {955},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jones89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Juuso89,
author = {Esko Juuso},
editor = {Gerhard X. Ritter},
title = {An Expert System in Fuzzy Simulation of Metallurgical Processes},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1051--1056},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Juuso89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kaelbling89,
author = {Leslie Pack Kaelbling},
editor = {Gerhard X. Ritter},
title = {Intelligent Robots in the Real World},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {932--933},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kaelbling89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kaiser89,
author = {Gail E. Kaiser},
editor = {Gerhard X. Ritter},
title = {A Marvelous Extended Transaction Processing Model},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {707--712},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kaiser89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KalisK89,
author = {Andrzej Kalis and
Jan Kwiatkowski},
editor = {Gerhard X. Ritter},
title = {The Way of New Computer Architecture Education},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1079--1082},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KalisK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KaplanJ89,
author = {Simon M. Kaplan and
Ralph E. Johnson},
editor = {Gerhard X. Ritter},
title = {On Language Choice for the Introductory Comuter Science Course},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {563--568},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KaplanJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KeoghSPLRC89,
author = {B. French Keogh and
D. Sin and
A. Kuczewski de Poray and
A. Latreche and
G. Roullet and
Jean{-}Pierre Cabanel},
editor = {Gerhard X. Ritter},
title = {{MAN5:} {A} Multivendor Network Management Tool},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {43--48},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Thu, 23 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KeoghSPLRC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Khakhar89,
author = {Dipak Khakhar},
editor = {Gerhard X. Ritter},
title = {Expert Systems: Professional Tools for Data Communication? (Panel)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {39--40},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Khakhar89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KilisES89,
author = {Danny Kilis and
Albert C. Esterline and
James R. Slagle},
editor = {Gerhard X. Ritter},
title = {Specification and Verification of Network Protocols Using Executable
Temporal Logic},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {845--850},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KilisES89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KirschenhoferPS89,
author = {Peter Kirschenhofer and
Helmut Prodinger and
Wojciech Szpankowski},
editor = {Gerhard X. Ritter},
title = {Digital Search Trees - Further Results on a Fundamental Data Structure},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {443--447},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KirschenhoferPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KleinW89,
author = {Rolf Klein and
Derick Wood},
editor = {Gerhard X. Ritter},
title = {On Binary Trees},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {449--454},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KleinW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Knight89,
author = {John C. Knight},
editor = {Gerhard X. Ritter},
title = {Can Software Faults be Tolerated? (Position Statement)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {501},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Knight89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KnightA89,
author = {John C. Knight and
Paul Ammann},
editor = {Gerhard X. Ritter},
title = {Issues Influencing the Use of N-Version Programming},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {217--222},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KnightA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kodratoff89,
author = {Yves Kodratoff},
editor = {Gerhard X. Ritter},
title = {The {AI} Approach to {ML} and Enlarging the "ES Certification Bottleneck"},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {489},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kodratoff89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kohonen89,
author = {Teuvo Kohonen},
editor = {Gerhard X. Ritter},
title = {Practical Problems and Vistas of Neural Computing (Position Statement)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {3},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kohonen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KosankeV89,
author = {Kurt Kosanke and
Jakob Vlietstra},
editor = {Gerhard X. Ritter},
title = {The Models and the Integrated Infrastructure of {CIM-OSA}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {759--764},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KosankeV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KosankeV89a,
author = {Kurt Kosanke and
Jakob Vlietstra},
editor = {Gerhard X. Ritter},
title = {An Open System Architecture in Computer Integrated Manufacturing:
{CIM-OSA}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {765--770},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KosankeV89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kotov89,
author = {Vadim E. Kotov},
editor = {Gerhard X. Ritter},
title = {Designing Concurrency Models},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {599--600},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kotov89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KotovNT89,
author = {Vadim E. Kotov and
Alexander S. Narin'ani and
Enn Tyugu},
editor = {Gerhard X. Ritter},
title = {The {USSR} Academy of Sciences Start Project},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {623--626},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KotovNT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kouloumdjian89,
author = {Jacques Kouloumdjian},
editor = {Gerhard X. Ritter},
title = {Shell and Interfaces with DBMSs},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {967--971},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kouloumdjian89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kovacs89,
author = {George L. Kov{\'{a}}cs},
editor = {Gerhard X. Ritter},
title = {Position Statement on Computers and Continuing Education},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {265},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kovacs89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kovacs89a,
author = {George L. Kov{\'{a}}cs},
editor = {Gerhard X. Ritter},
title = {Position Statement on Flexible Integrated Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {771},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kovacs89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KovacsL89,
author = {George L. Kov{\'{a}}cs and
Zolt{\'{a}}n L{\'{e}}tray},
editor = {Gerhard X. Ritter},
title = {A Knowledge-Based Manufacturing Cell Design System},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1043--1049},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KovacsL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Krasner89,
author = {Herb Krasner},
editor = {Gerhard X. Ritter},
title = {Requirements Dynamics in Large Software Projects: {A} Perspective
on New Directions in Software Engineering Process},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {211--216},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Krasner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KrauseMW89,
author = {Matthias Krause and
Christoph Meinel and
Stephan Waack},
editor = {Gerhard X. Ritter},
title = {Separating Complexity Classes Related to Restricted Logarithmic Space-Bounded
Turing Machines},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {287--292},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KrauseMW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KreckerLM89,
author = {G. M. Krecker and
T. I. Lelchuk and
Alexander G. Marchuk},
editor = {Gerhard X. Ritter},
title = {{POLAR} - {A} Programming Language for Multiprocessor Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {33--37},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KreckerLM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kuck89,
author = {David J. Kuck},
editor = {Gerhard X. Ritter},
title = {The Von Neumann and Parallel Computing Eras},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {230},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kuck89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kuhn89,
author = {Paul J. K{\"{u}}hn},
editor = {Gerhard X. Ritter},
title = {rom {ISDN} to {IBCN} (Integrated Broadband Communication Network)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {479--486},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kuhn89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KumarPY89,
author = {Vijay Kumar and
Jerry Place and
Gi{-}Chul Yang},
editor = {Gerhard X. Ritter},
title = {A Superior Algorithm for Mutual Exclusion in Computer Networks - {VISHNU}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {169--174},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KumarPY89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KuntzM89,
author = {Michel Kuntz and
Rainer Melchert},
editor = {Gerhard X. Ritter},
title = {Pasta-3: {A} Complete Integrated Graphical Direct Manipulation Interface
for Knowledge Bases},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {547--552},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KuntzM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Laprie89,
author = {Jean{-}Claude Laprie},
editor = {Gerhard X. Ritter},
title = {Hardware-and-Software Dependability Evaluation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {109--114},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Laprie89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LarsenAMB89,
author = {Peter Gorm Larsen and
Michael Meincke Arentoft and
Brian Q. Monahan and
Stephen Bear},
editor = {Gerhard X. Ritter},
title = {Towards a Formal Semantics of the {BS/VDM} Specification Language},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {95--100},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LarsenAMB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Latombe89,
author = {Jean{-}Claude Latombe},
editor = {Gerhard X. Ritter},
title = {Artificial Intelligence and Advanced Robotics},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {929},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Latombe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lauther89,
author = {Ulrich Lauther},
editor = {Gerhard X. Ritter},
title = {Some Experiences with Advanced Design Automation Tools},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {530},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lauther89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lazarev89,
author = {V. Lazarev},
editor = {Gerhard X. Ritter},
title = {Layer {N} Protocol Decomposition on Subprotocols},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {313},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lazarev89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Li89,
author = {Wei Li},
editor = {Gerhard X. Ritter},
title = {A Type-Theoretic Approach to Program Development},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1133--1138},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Li89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LiM89,
author = {Tao Li and
Chris D. Marlin},
editor = {Gerhard X. Ritter},
title = {Algorithms for the Parallel Execution of Rule-Based Expert Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {331--336},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LiM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lifschitz89,
author = {Vladimir Lifschitz},
editor = {Gerhard X. Ritter},
title = {Logical Foundations of Deductive Databases},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {315--321},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lifschitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Littlewood89,
author = {Bev Littlewood},
editor = {Gerhard X. Ritter},
title = {Hardware and Software Dependability Evaluation: Software Dependability},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {119},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Littlewood89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Litzenberg89,
author = {Karl Litzenberg},
editor = {Gerhard X. Ritter},
title = {How to Use {OSE} - Reducing Limitations},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {314},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Litzenberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LiuP89,
author = {Lap{-}Ming Liu and
N. S. Pryes},
editor = {Gerhard X. Ritter},
title = {{SPCHECK:} {A} Specification-Based Tool for INterface Checking of
Large, Real-Time/Distributed Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {55--60},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LiuP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LiuS89,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
editor = {Gerhard X. Ritter},
title = {{RT-CDL:} {A} Real Time Design Language and Its Semantics},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {21--26},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LiuS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lloyd89,
author = {John W. Lloyd},
editor = {Gerhard X. Ritter},
title = {Logic as a Foundation for Deductive Database Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {323--324},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lloyd89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lovasz89,
author = {L{\'{a}}szl{\'{o}} Lov{\'{a}}sz},
editor = {Gerhard X. Ritter},
title = {Faster Algorithms for Hard Problems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {135--141},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lovasz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LovisL89,
author = {Frank Lovis and
Bernard Levrat},
editor = {Gerhard X. Ritter},
title = {The Computerised Society: {A} Challenge for Educators},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {409--413},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LovisL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lyytinen89,
author = {Kalle Lyytinen},
editor = {Gerhard X. Ritter},
title = {Computer Supported Coorperative Work {(CSCW)} - Issues and Challenges},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {744},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lyytinen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Maier89,
author = {David Maier},
editor = {Gerhard X. Ritter},
title = {Why Isn't There an Object-Oriented Data Model?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {793--798},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Maier89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Man89,
author = {Hugo De Man},
editor = {Gerhard X. Ritter},
title = {Behavioral Interactive Silicon Compilation for Real Time Synchronous
Algorithms},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {380},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Man89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MarriottS89,
author = {Kim Marriott and
Harald S{\o}ndergaard},
editor = {Gerhard X. Ritter},
title = {Semantics-Based Dataflow Analysis of Logic Programs},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {601--606},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MarriottS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MarshallB89,
author = {Andrew D. Marshall and
Michael A. Bauer},
editor = {Gerhard X. Ritter},
title = {Using {OSI} as a Basis for Decentralized File Servers in a Heterogeneous
Environment},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {833--838},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MarshallB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MatsumotoII89,
author = {Gen Matsumoto and
Toshio Iijima and
Michinori Ichikawa},
editor = {Gerhard X. Ritter},
title = {Bio-Computing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {375--378},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MatsumotoII89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MatwinSK89,
author = {Stan Matwin and
Stan Szpakowicz and
Zbig Koperczak},
editor = {Gerhard X. Ritter},
title = {{NEGOPLAN:} An Inference-Based Negotiation Support Tool},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {679--685},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MatwinSK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/McIntyreC89,
author = {Scott C. McIntyre and
J. Daniel Couger},
editor = {Gerhard X. Ritter},
title = {Literacy and Specialization in Artificial Intelligence for Business
and Information Systems Students},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1073--1078},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/McIntyreC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MeierACDEVHKPRS89,
author = {Micha Meier and
Abderrahmane Aggoun and
David Chan and
Pierre Dufresne and
Reinhard Enders and
Dominique Henry de Villeneuve and
Alexander Herold and
Philip Kay and
Bruno Perez and
Emmanuel van Rossum and
Joachim Schimpf},
editor = {Gerhard X. Ritter},
title = {{SEPIA} - An Extendible Prolog System},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1127--1132},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MeierACDEVHKPRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer89,
author = {John F. Meyer},
editor = {Gerhard X. Ritter},
title = {Hardware and Software Dependability Evaluation: Future Trends},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {117},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Meyer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Micali89,
author = {Silvio Micali},
editor = {Gerhard X. Ritter},
title = {"Perfect" Pseudo-Random Number Generation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {121--126},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Micali89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Mills89,
author = {Harlan D. Mills},
editor = {Gerhard X. Ritter},
title = {Position Statement - Foundations of Software Engineering},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {956},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Mills89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Mizoguchi89,
author = {Fumio Mizoguchi},
editor = {Gerhard X. Ritter},
title = {Novel Aspects of Logic Programming in New Generation Applications},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {973--976},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Mizoguchi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Moli89,
author = {Gesualdo Le Moli},
editor = {Gerhard X. Ritter},
title = {Impact of {OSI} on the Architecture of the Design of Application Processes},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {311},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Moli89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Moonen89,
author = {Jef Moonen},
editor = {Gerhard X. Ritter},
title = {Impact of Computer Technologies on Education},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {553--559},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Moonen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MukaiU89,
author = {Makoto Mukai and
Keiichiro Uchida},
editor = {Gerhard X. Ritter},
title = {Pushing the Limits of Conventional Media},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {363--366},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MukaiU89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Mulder89,
author = {Fred Mulder},
editor = {Gerhard X. Ritter},
title = {Distance Learning of University Level Informatics with and without
Computers},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {575--580},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Mulder89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MullerP89,
author = {Silvia M. M{\"{u}}ller and
Wolfgang J. Paul},
editor = {Gerhard X. Ritter},
title = {Contributions of Theoretical Computer Science, Applied Computer Science
and Numerical Mathematics to the Design of Parallel Computers},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {459--460},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MullerP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MurakamiMFST89,
author = {Kazuaki J. Murakami and
Shin{-}ichiro Mori and
Akira Fukuda and
Toshinori Sueyoshi and
Shinji Tomita},
editor = {Gerhard X. Ritter},
title = {The Kyushu University Reconfigurable Parallel Processor - Design Philosophy
and Architecture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {995--1000},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Mon, 06 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MurakamiMFST89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Naffah89,
author = {Najah Naffah},
editor = {Gerhard X. Ritter},
title = {The Future of Office Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {745--750},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Naffah89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NaffahTJ89,
author = {Najah Naffah and
Michel Texier and
Gabriel Jureidini},
editor = {Gerhard X. Ritter},
title = {Intelligent User Interfaces for Advanced Workstations},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1021--1024},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NaffahTJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NejmehDW89,
author = {Brian A. Nejmeh and
Thomas E. Dickey and
Steven P. Wartik},
editor = {Gerhard X. Ritter},
title = {Traceability Technology at the Software Productivity Consortium},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {981--984},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NejmehDW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NguyenR89,
author = {Gia Toan Nguyen and
Dominique Rieu},
editor = {Gerhard X. Ritter},
title = {Schema Change Propagation in Object-Oriented Databases},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {815--820},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NguyenR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nilsson89,
author = {J{\o}rgen Fischer Nilsson},
editor = {Gerhard X. Ritter},
title = {Knowledge Base Property Combinator Logic},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {661--666},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nilsson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Osaki89,
author = {Shunji Osaki},
editor = {Gerhard X. Ritter},
title = {Hardware and Software Dependability Evaluation: Hardware Dependability},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {120},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Osaki89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Otsuki89,
author = {Setsuko Otsuki},
editor = {Gerhard X. Ritter},
title = {Personal Computers on Campuses: The Experience},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {779},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Otsuki89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Padawitz89,
author = {Peter Padawitz},
editor = {Gerhard X. Ritter},
title = {Proving the Correctness of Schorr-Waite Graph Marking by Inductive
Expansion},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1121--1126},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Padawitz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Parnas89,
author = {David Lorge Parnas},
editor = {Gerhard X. Ritter},
title = {On "Artificial Intelligence and Expert Systems - Myths, Legends, and
Facts"},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1145--1146},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Parnas89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Pedersen89,
author = {Jan Storbank Pedersen},
editor = {Gerhard X. Ritter},
title = {Some Thoughts on the Use of Special Purpose Languages for Real-Time
Programming},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {19--20},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Pedersen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PeitgenJ89,
author = {Heinz{-}Otto Peitgen and
Hartmut J{\"{u}}rgens},
editor = {Gerhard X. Ritter},
title = {Fractals: {A} New Challenge to Model Reality},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {581--588},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/PeitgenJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Penczek89,
author = {Wojciech Penczek},
editor = {Gerhard X. Ritter},
title = {A Temporal Logic for the Local Specification of Concurrent Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {857--862},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Penczek89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Perry89,
author = {Dewayne E. Perry},
editor = {Gerhard X. Ritter},
title = {Industrial Strength Software Development Environments},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {195--203},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Perry89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Peterson89,
author = {James L. Peterson},
editor = {Gerhard X. Ritter},
title = {{XSCOPE:} {A} Debugging and Performance Toll for {X11}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {49--54},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Peterson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Pine89,
author = {Milton R. Pine},
editor = {Gerhard X. Ritter},
title = {Some Unresolved Issues for Computers in Continuing Education},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {266},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Pine89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Politakis89,
author = {Peter Politakis},
editor = {Gerhard X. Ritter},
title = {A Review of Knowledge Acquisition and Refinement for Diagnostic Classification
Tasks (Panel)},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {41},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Politakis89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Postel89,
author = {Jonathan B. Postel},
editor = {Gerhard X. Ritter},
title = {Computer Network Interconnection},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {659--660},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Postel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Preiss89,
author = {Kenneth Preiss},
editor = {Gerhard X. Ritter},
title = {Advanced Design for Automated Manufacture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {407--408},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Preiss89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Pyster89,
author = {Arthur B. Pyster},
editor = {Gerhard X. Ritter},
title = {"Synthesis" - {A} Reuse/Prototyping Process for Software Development},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {977--980},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Pyster89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/QianZ89,
author = {Wei Qian and
Zhaokeng Zhao},
editor = {Gerhard X. Ritter},
title = {Temporal Reasoning Management with Nonmonotonicity},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {667--672},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/QianZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Qualid89,
author = {Abdechahid Qualid},
editor = {Gerhard X. Ritter},
title = {Problems of Software Development in Developing Countries},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1067--1071},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Qualid89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RajaramG89,
author = {L. N. Rajaram and
S. C. Gupta},
editor = {Gerhard X. Ritter},
title = {An Integrated Framework for User-Driven Interactive Application Development},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {357--362},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/RajaramG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Randell89,
author = {Brian Randell},
editor = {Gerhard X. Ritter},
title = {Can Design Faults be Tolerated},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {499},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Randell89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Redondo89,
author = {Fernando Redondo},
editor = {Gerhard X. Ritter},
title = {Labour, Consumption, Data Processing and the Future},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1173--1178},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Redondo89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ReifS89,
author = {John H. Reif and
Sandeep Sen},
editor = {Gerhard X. Ritter},
title = {Randomized Parallel Algorithms},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {455--458},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ReifS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Reinhard89,
author = {Nicolau Reinhard},
editor = {Gerhard X. Ritter},
title = {Cross-Cultural Perspective in Office Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {393},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Reinhard89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Rosenberg89,
author = {Richard S. Rosenberg},
editor = {Gerhard X. Ritter},
title = {Panel Position Statement for Track 11 Computer and Society},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {268},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Rosenberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Rowe89,
author = {Lawrence A. Rowe},
editor = {Gerhard X. Ritter},
title = {Report on the 1989 Software {CAD} Database Workshop},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {719--725},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Rowe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Royer89,
author = {V{\'{e}}ronique Royer},
editor = {Gerhard X. Ritter},
title = {Modeling Preference Choices in Incomplete Deductive Databases},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {673--678},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Royer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Rubbert89,
author = {Paul E. Rubbert},
editor = {Gerhard X. Ritter},
title = {Supercomputing in Airplane Design},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {989--994},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Rubbert89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Russell89,
author = {Kendall Russell},
editor = {Gerhard X. Ritter},
title = {Zen and the Art of Analog Design Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {913},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Russell89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Rutenbar89,
author = {Rob A. Rutenbar},
editor = {Gerhard X. Ritter},
title = {Zen and the Art of Analog Design Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {911},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Rutenbar89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Sacerdoti89,
author = {Giorgio Sacerdoti},
editor = {Gerhard X. Ritter},
title = {Formal Structures in an Informal World},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1107--1108},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Sacerdoti89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SalingerSSR89,
author = {Jorge D. Salinger and
Wunnava V. Subbarao and
Mauricio O. Salinas and
Laura V. Ruiz},
editor = {Gerhard X. Ritter},
title = {Microprocessor Based System Design Courses for Graduate and Undergraduate
College Eduction},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {935--939},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/SalingerSSR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Sangiovanni-Vincentelli89,
author = {Alberto L. Sangiovanni{-}Vincentelli},
editor = {Gerhard X. Ritter},
title = {Design Methods and Tools for Application Specific Integrated Circuits},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {903},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Sangiovanni-Vincentelli89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schefstrom89,
author = {Dick Schefstr{\"{o}}m},
editor = {Gerhard X. Ritter},
title = {Building a Highly Integrated Development Environment Using Preexisting
Parts},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {345--350},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schefstrom89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schlechtendahl89,
author = {Ernst G. Schlechtendahl},
editor = {Gerhard X. Ritter},
title = {Intelligent Communication of Product Definition Data},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1029--1032},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schlechtendahl89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schraft89,
author = {Rolf Dieter Schraft},
editor = {Gerhard X. Ritter},
title = {Factory Automation - {A} Position Statement},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {773--774},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schraft89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schwartz89,
author = {Michael F. Schwartz},
editor = {Gerhard X. Ritter},
title = {The Networked Resource Discovery Project},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {827--832},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schwartz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Sendov89,
author = {Blagovest Sendov},
editor = {Gerhard X. Ritter},
title = {Fractals, Chaos and Approximation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {589--590},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Sendov89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Shevell89,
author = {Steven F. Shevell},
editor = {Gerhard X. Ritter},
title = {Computer Integrated Manufacturing: Small Can Be Beautiful},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {753--758},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Shevell89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Shneiderman89,
author = {Ben Shneiderman},
editor = {Gerhard X. Ritter},
title = {Intelligent User Interfaces: From Fantasy to Fact},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {915},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Shneiderman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Skillicorn89,
author = {David B. Skillicorn},
editor = {Gerhard X. Ritter},
title = {Techniques for Compiling and Executing Dataflow Graphs},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {27--32},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Skillicorn89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SmidOTB89,
author = {Michiel H. M. Smid and
Mark H. Overmars and
Leen Torenvliet and
Peter van Emde Boas},
editor = {Gerhard X. Ritter},
title = {Multiple Representations of Dynamic Data Structures},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {437--442},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/SmidOTB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Snelgrove89,
author = {W. Martin Snelgrove},
editor = {Gerhard X. Ritter},
title = {Zen and the Art of Analog Design Automation},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {914},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Snelgrove89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Solberg89,
author = {James J. Solberg},
editor = {Gerhard X. Ritter},
title = {Production Palnning and Scheduling in {CIM}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {919--925},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Solberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Spur89,
author = {G{\"{u}}nter Spur},
editor = {Gerhard X. Ritter},
title = {Advanced Design for Automated Manufacture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {399--406},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Spur89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Stickel89,
author = {Mark E. Stickel},
editor = {Gerhard X. Ritter},
title = {More Advanced and Powerful Proof Tools},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {791--792},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Stickel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/StorkS89,
author = {Hans{-}Georg Stork and
Wolffried Stucky},
editor = {Gerhard X. Ritter},
title = {Broadcasting Classified Information},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {839--844},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/StorkS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Suchman89,
author = {Lucy A. Suchman},
editor = {Gerhard X. Ritter},
title = {What Are Models for and Do We Want Them to Support Automation?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {397},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Suchman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Sufrin89,
author = {Bernard Sufrin},
editor = {Gerhard X. Ritter},
title = {Effective Industrial Application of Formal Methods},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {61--69},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Sufrin89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Sunshine89,
author = {Carl A. Sunshine},
editor = {Gerhard X. Ritter},
title = {Network Interconnection and Gateways},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {651--658},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Sunshine89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Suzuki89,
author = {Norihisa Suzuki},
editor = {Gerhard X. Ritter},
title = {Design and Evaluation of Multiprocessor Workstations},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {231},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Suzuki89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SwindleA89,
author = {R. I. Swindle and
R. G. F. Aitchison},
editor = {Gerhard X. Ritter},
title = {{ISDN:} Will the World Embrace It?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {473--477},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/SwindleA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Takeda89,
author = {Kenji Takeda},
editor = {Gerhard X. Ritter},
title = {What Leads to a New Paradigm in CIM?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {927--928},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Takeda89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Taki89,
author = {Kazuo Taki},
editor = {Gerhard X. Ritter},
title = {The {FGCS} Computing Architecture},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {627--632},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Taki89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/TanakaI89,
author = {Yuzuru Tanaka and
Takamoto Imataki},
editor = {Gerhard X. Ritter},
title = {IntelligentPad: {A} Hypermedia System Allowing Functional Compositions
of Active Media Objects Through Direct Manipulations},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {541--546},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/TanakaI89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Thomas89,
author = {Richard E. Thomas},
editor = {Gerhard X. Ritter},
title = {The European Position on Software Factories},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {704--705},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Thomas89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Thomas89a,
author = {Ian Thomas},
editor = {Gerhard X. Ritter},
title = {Software Environments: {PCTE} and Related Projects},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {875--878},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Thomas89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Thoresen89,
author = {Kari Thoresen},
editor = {Gerhard X. Ritter},
title = {Integrating Systems Development and Use},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {272},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Thoresen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Toffoli89,
author = {Tommaso Toffoli},
editor = {Gerhard X. Ritter},
title = {Position Statement for Panel 1: Frontiers in Computing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Toffoli89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tsichritzis89,
author = {Dennis Tsichritzis},
editor = {Gerhard X. Ritter},
title = {Object-Oriented Development for Open Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1033--1040},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tsichritzis89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tully89,
author = {Colin Tully},
editor = {Gerhard X. Ritter},
title = {Software Factories Around the World: Introduction to Panel Session},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {699--700},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tully89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ueda89,
author = {Kazunori Ueda},
editor = {Gerhard X. Ritter},
title = {Parallelism in Logic Programming},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {957--964},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ueda89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Usui89,
author = {Shiro Usui},
editor = {Gerhard X. Ritter},
title = {Neural Computing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {371--374},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Usui89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Vassiliou89,
author = {Yannis Vassiliou},
editor = {Gerhard X. Ritter},
title = {Is it User or Computer Interface?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {916},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Vassiliou89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/WaddingtonJ89,
author = {Ray Waddington and
Peter Johnson},
editor = {Gerhard X. Ritter},
title = {Designing and Evaluating Interfaces Using Task Models},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {247--252},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/WaddingtonJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wagner89,
author = {Ina Wagner},
editor = {Gerhard X. Ritter},
title = {Panel: Information Systems - Work and Organization Design: Challenges
for Organizational Learning},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {273--274},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Wagner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wahlster89,
author = {Wolfgang Wahlster},
editor = {Gerhard X. Ritter},
title = {Intelligent Interfaces as Cooperative Agents: From Stick Shift to
Automatic Transmission in Human-Computer Interaction},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {917},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Wahlster89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/WaxmanS89,
author = {Ronald Waxman and
Larry F. Saunders},
editor = {Gerhard X. Ritter},
title = {The Evolution of {VHDL}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {735--742},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Tue, 09 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/WaxmanS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Weber89,
author = {Gerhard Weber},
editor = {Gerhard X. Ritter},
title = {Reading and Pointing - Modes of Interaction for Blind Users},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {535--540},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Weber89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/WelzelSM89,
author = {Thomas Welzel and
Martine Sch{\"{u}}mmer and
Peter Martini},
editor = {Gerhard X. Ritter},
title = {Performance Comparison of Bridges and {MAC} Protocols for High Speed
Backbone Networks},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {639--644},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/WelzelSM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wieth89,
author = {Morten Wieth},
editor = {Gerhard X. Ritter},
title = {Loose Specification and Its Semantics},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1115--1120},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Wieth89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Williams89,
author = {Thomas W. Williams},
editor = {Gerhard X. Ritter},
title = {Future Trends in the Testing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1019--1020},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Williams89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/WilliamsL89,
author = {Lawrence J. Williams and
Frederick H. Lochovsky},
editor = {Gerhard X. Ritter},
title = {Supporting Knowledge Migration in Organizations},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {259--264},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/WilliamsL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wilson89,
author = {Kenneth G. Wilson},
editor = {Gerhard X. Ritter},
title = {Supercomputing in the 1990's},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {223--227},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Wilson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Winograd89,
author = {Terry Winograd},
editor = {Gerhard X. Ritter},
title = {Can Office Technology Support Office Dialogues?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {381--387},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Winograd89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/XiaLZLW89,
author = {P. Xia and
Q. Lin and
M. Zhu and
G.{-}J. Li and
Y. Wang},
editor = {Gerhard X. Ritter},
title = {A Very Fast Array Processor and the Architecture of a Parallel Computer
{BJ}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {77--78},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/XiaLZLW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Xiang89,
author = {Zhigang Xiang},
editor = {Gerhard X. Ritter},
title = {A Dual-Level Differentiation Strategy for Fault Localization},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {687--692},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Xiang89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Xu89,
author = {Kongshi Xu},
editor = {Gerhard X. Ritter},
title = {Report on {R} and {D} at the Software Institute},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {73--76},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Xu89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Xu89a,
author = {Jiafu Xu},
editor = {Gerhard X. Ritter},
title = {Report on a Software Automation R{\&}D Project},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {81},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Xu89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/XuKT89,
author = {Lu Xu and
Hanpei Koike and
Hidehiko Tanaka},
editor = {Gerhard X. Ritter},
title = {Distributed Garbage Collection for the Parallel Inference Machine
{PIE64}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1161--1166},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/XuKT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Yamada89,
author = {Akihiko Yamada},
editor = {Gerhard X. Ritter},
title = {Design Automation for Large Mainframes and Supercomputers in {NEC}},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {531},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Yamada89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/YamaguchiSHK89,
author = {Yoshinori Yamaguchi and
Shuichi Sakai and
Kei Hiraki and
Yuetsu Kodama},
editor = {Gerhard X. Ritter},
title = {An Architectural Disgn of a Highly Parallel Dataflow Machine},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1155--1160},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/YamaguchiSHK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Yatagai89,
author = {Toyohiko Yatagai},
editor = {Gerhard X. Ritter},
title = {Optical Computing},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {367--370},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Yatagai89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Yokota89,
author = {Kazumasa Yokota},
editor = {Gerhard X. Ritter},
title = {What is Expected of an Object-Oriented Data Model?},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {799--800},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Yokota89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ZaveJ89,
author = {Pamela Zave and
Daniel Jackson},
editor = {Gerhard X. Ritter},
title = {Practical Specification Techniques for Control-Oriented Systems},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {83--88},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ZaveJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Zemanek89,
author = {Heinz Zemanek},
editor = {Gerhard X. Ritter},
title = {Formal Structures in an Informal World: Information Processing is
Model Processing for Reality},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {1101--1105},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Zemanek89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Zhang89,
author = {Xiao Xiang Zhang},
editor = {Gerhard X. Ritter},
title = {Some Comments on Research and Development of Information Processing
in China},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {71},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Zhang89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Zimmermann89,
author = {Gerhard Zimmermann},
editor = {Gerhard X. Ritter},
title = {{PLAYOUT} - {A} Hierarchical Design System},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {905--910},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Sun, 28 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Zimmermann89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/1989,
editor = {Gerhard X. Ritter},
title = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
publisher = {North-Holland/IFIP},
year = {1989},
isbn = {0-444-88015-1},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 13:05 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
