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/ifip80.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifip/Acildiev80,
author = {A. I. Acil'diev},
editor = {Simon H. Lavington},
title = {The Method of Normal Solutions in Linear Programming},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {667--670},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Acildiev80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AdibaAFT80,
author = {Michel E. Adiba and
Juan M. Andrade and
F. Fernandez and
Gia Toan Nguyen},
editor = {Simon H. Lavington},
title = {An Overview of the Polypheme Distributed Database Management System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {475--479},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AdibaAFT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Albrecht80,
author = {Peter Albrecht},
editor = {Simon H. Lavington},
title = {Survey of Recent Results on Composite Integration Methods for Ordinary
Differential Equation, Especially Cyclic Methods},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {711--716},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Albrecht80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AstrahanSK80,
author = {Morton M. Astrahan and
Mario Schkolnick and
Won Kim},
editor = {Simon H. Lavington},
title = {Performance of the System {R} Access Path Selection Mechanism},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {487--491},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AstrahanSK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AxelssonG80,
author = {Owe Axelsson and
Ivar Gustafsson},
editor = {Simon H. Lavington},
title = {A Preconditioned Conjugate Gradient Method for Finite Element Equations,
which is Stable for Rounding Errors},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {723--728},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AxelssonG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AzemaBD80,
author = {Pierre Az{\'{e}}ma and
Bernard Berthomieu and
Paul Decitre},
editor = {Simon H. Lavington},
title = {The Design and Validation by Petri Nets of a Mechanism for the Invocation
of Remote Servers},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {599--604},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AzemaBD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BabaIOK80,
author = {Takanobu Baba and
Ken Ishikawa and
Kenzo Okuda and
Hiroyuki Kobayashi},
editor = {Simon H. Lavington},
title = {{MUNAP} - {A} Two-Level Microprogrammed Multiprocessor Architecture
for Nonnumeric Processing},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {169--174},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BabaIOK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bachman80,
author = {Charles W. Bachman},
editor = {Simon H. Lavington},
title = {The Impact Structured Data Throughout Computer-Based Information Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {383--394},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bachman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BarrosG80,
author = {Oscar Barros and
Alejandro Gomez},
editor = {Simon H. Lavington},
title = {Decision Support Systems for Economic Policy Analysis in a Market
Oriented Environment},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {833--838},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BarrosG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BerthodF80,
author = {Marc Berthod and
Olivier D. Faugeras},
editor = {Simon H. Lavington},
title = {Using Context in the Global Recognition of a Set of Objects: An Optimization
Approach},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {695--698},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BerthodF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Blackmore80,
author = {Sheila M. Blackmore},
editor = {Simon H. Lavington},
title = {A Computer Training Scheme for the Disabled},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {897--902},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Blackmore80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlumJ80,
author = {Bruce I. Blum and
Richard J. Johns},
editor = {Simon H. Lavington},
title = {Computer Technology and Medical Costs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {903--906},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BlumJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Boehm80,
author = {Barry W. Boehm},
editor = {Simon H. Lavington},
title = {Developing Small-Scale Application Software Products: Some Experiment
Results},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {321--326},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Boehm80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgersonJ80,
author = {Barry R. Borgerson and
R. H. Johnson},
editor = {Simon H. Lavington},
title = {Beyond {CAD} to Computer Aided Engineering},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {659--666},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BorgersonJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BourretC80,
author = {Paul Bourret and
Patrice Cros},
editor = {Simon H. Lavington},
title = {A Deterministic Model of Operating Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {275--280},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BourretC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bozzetti80,
author = {Marco Bozzetti},
editor = {Simon H. Lavington},
title = {A General Overview of the Olivetti Network File System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {551--556},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bozzetti80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BrainerdA80,
author = {Walter S. Brainerd and
Jeanne C. Adams},
editor = {Simon H. Lavington},
title = {{FORTRAN} for the 1980s},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {361--366},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BrainerdA80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Brent80,
author = {Richard P. Brent},
editor = {Simon H. Lavington},
title = {Unrestricted Algorithms for Elementary and Special Functions},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {613--619},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Brent80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BroyPPW80,
author = {Manfred Broy and
Helmuth Partsch and
Peter Pepper and
Martin Wirsing},
editor = {Simon H. Lavington},
title = {Semantic Relations in Programming Languages},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {101--106},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BroyPPW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BrussaardT80,
author = {Bas K. Brussaard and
Peter A. Tas},
editor = {Simon H. Lavington},
title = {Information and Organization Policies in Public Administration},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {821--826},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BrussaardT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Brzozowski80,
author = {Janusz A. Brzozowski},
editor = {Simon H. Lavington},
title = {Developments in the Theory of regular Languages},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {29--40},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Brzozowski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Bubenko80,
author = {Janis A. Bubenko Jr.},
editor = {Simon H. Lavington},
title = {Information Modeling in the Context of System Development},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {395--411},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Bubenko80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CarlsonM80,
author = {Eric D. Carlson and
Wolfgang Metz},
editor = {Simon H. Lavington},
title = {Integrating Dialog Management and Data Base Management},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {463--468},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CarlsonM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CattoG80,
author = {Arthur J. Catto and
John R. Gurd},
editor = {Simon H. Lavington},
title = {Nondeterministic Dataflow Graphs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {251--256},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CattoG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CeriPB80,
author = {Stefano Ceri and
Giuseppe Pelagatti and
Giampio Bracchi},
editor = {Simon H. Lavington},
title = {Integrated Specification of Static and Dynamic Requirements of Database
Applications: The Transaction Definition Language},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {499--504},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CeriPB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ChungLW80,
author = {Kin{-}Man Chung and
Fabrizio Luccio and
C. K. Wong},
editor = {Simon H. Lavington},
title = {Magnetic Bubble Memory Structures for Efficient Sorting and Searching},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {439--444},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ChungLW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Chusho80,
author = {Takeshi Chusho},
editor = {Simon H. Lavington},
title = {A Good Program = {A} Structured Program + Optimization Commands},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {269--274},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Chusho80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CockeM80,
author = {John Cocke and
Peter W. Markstein},
editor = {Simon H. Lavington},
title = {Measurement of Programming Improvement Algorithms},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {221--228},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CockeM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cohen-Hadria80,
author = {Yves Cohen{-}Hadria},
editor = {Simon H. Lavington},
title = {Automation, Organizational Choices and Social Effects: The Case of
the Cement Industry},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {913--917},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Cohen-Hadria80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ComteHS80,
author = {Dominique Comte and
Nourredine Hifdi and
Jean{-}Claude Syre},
editor = {Simon H. Lavington},
title = {The Data Driven {LAU} Multiprocessor System: Results and Perspectives},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {175--180},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ComteHS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DadamS80,
author = {Peter Dadam and
Gunter Schlageter},
editor = {Simon H. Lavington},
title = {Recovery in Distributed Databases Based on Non-Synchronized Local
Checkpoints},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {457--462},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/DadamS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Davenport80,
author = {R. A. Davenport},
editor = {Simon H. Lavington},
title = {Data Administration - The Need for a New Function},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {505--510},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Davenport80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DavidGM80,
author = {Benoit David and
Yvon Gardan and
J. Mermet},
editor = {Simon H. Lavington},
title = {{CAD} in Small and Medium Sized Industries},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {677--682},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/DavidGM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Deb80,
author = {Ashoke Deb},
editor = {Simon H. Lavington},
title = {A Regular Non-Periodic Skewing Scheme for Optimal Conflict-Free Memory
Access},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {193--198},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Deb80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Delobel80,
author = {Claude Delobel},
editor = {Simon H. Lavington},
title = {An Overview of the Relational Data Theory},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {413--426},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Delobel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Dincbas80,
author = {Mehmet Dincbas},
editor = {Simon H. Lavington},
title = {A Knowledge-Based Expert System for Automatic Analysis and Synthesis
in {CAD}},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {705--710},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Dincbas80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/EhrichL80,
author = {Hans{-}Dieter Ehrich and
Udo W. Lipeck},
editor = {Simon H. Lavington},
title = {Proving Implementations Correct - Two Alternative Approaches},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {83--88},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/EhrichL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/EnjalbertC80,
author = {Patrice Enjalbert and
Guy Cousineau},
editor = {Simon H. Lavington},
title = {Three Semantics: {A} Framework for Studying Program Structures and
Program Logics},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {77--82},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/EnjalbertC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/EvtushenkoP80,
author = {Yu. G. Evtushenko and
Yu. Pavlovsky},
editor = {Simon H. Lavington},
title = {Integrated Optimization - Simulation System for Industry and Regional
Planning},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {651--658},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/EvtushenkoP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FoisseauJLLVZ80,
author = {Jack Foisseau and
Ren{\'{e}} Jacquart and
Michel Lema{\^{\i}}tre and
Michel Lemoine and
J. C. Vignat and
Guy Zanon},
editor = {Simon H. Lavington},
title = {Programming Development with or without Coding},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {327--330},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/FoisseauJLLVZ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Foley80,
author = {James D. Foley},
editor = {Simon H. Lavington},
title = {Optimum Design of Two-Computer Networks},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {587--592},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Foley80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FolkjarB80,
author = {Preben Folkj{\"{a}}r and
Dines Bj{\o}rner},
editor = {Simon H. Lavington},
title = {A Formal Model of a Generalized CSP-like Language},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {95--99},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/FolkjarB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Freeman80,
author = {Herbert Freeman},
editor = {Simon H. Lavington},
title = {Lines, Curves, and the Characterization of Shape},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {629--639},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Freeman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FutatsugiO80,
author = {Kokichi Futatsugi and
Koji Okada},
editor = {Simon H. Lavington},
title = {Specification Writing as Construction of Hierarchically Structured
Clusters of Operators},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {287--292},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/FutatsugiO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GabayG80,
author = {Daniel Gabay and
Marc Guillaume},
editor = {Simon H. Lavington},
title = {Computers in Economic Policy-Making: Challenging Advances in Computer
Systems and Econometric Models},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {797--802},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GabayG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GambolatiV80,
author = {Giuseppe Gambolati and
Giampiero Volpi},
editor = {Simon H. Lavington},
title = {An Improved Iterative Scheme for Refining the Solution of Ill-Conditioned
Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {729--734},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GambolatiV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GaudeLPK80,
author = {C. Gaude and
J. Langet and
S. Palassin and
Claude Kaiser},
editor = {Simon H. Lavington},
title = {Distributed Processing as a Key to Reliable and Evolving Software
for Real Time Applications},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {315--320},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GaudeLPK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gear80,
author = {C. William Gear},
editor = {Simon H. Lavington},
title = {Automatic Multirate Methods for Ordinary Differential Equation},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {717--722},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gear80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Genuys80,
author = {Fran{\c{c}}oise Gallouedec Genuys},
editor = {Simon H. Lavington},
title = {The Impact of Computerization on the Relationship between Administration
and the Citizen},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {879--883},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Genuys80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GergelyHK80,
author = {Csaba Gergely and
L{\'{a}}szl{\'{o}} H{\'{a}}kl{\'{a}}r and
Helmuth Kraenzlein},
editor = {Simon H. Lavington},
title = {The Financial System in Hungary, Based on a Three Level Equipment
Hierarcy},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {803--808},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GergelyHK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GergelyU80,
author = {Tam{\'{a}}s Gergely and
L{\'{a}}szl{\'{o}} {\'{U}}ry},
editor = {Simon H. Lavington},
title = {Program Behaviour Specification through Explicit Time Consideration},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {107--111},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GergelyU80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GerhartMTBBELTW80,
author = {Susan L. Gerhart and
David R. Musser and
David H. Thompson and
D. A. Baker and
R. L. Bates and
Roddy W. Erickson and
Ralph L. London and
D. G. Taylor and
David S. Wile},
editor = {Simon H. Lavington},
title = {An Overview of {AFFIRM:} {A} Specification and Verification System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {343--347},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GerhartMTBBELTW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gilchrist80,
author = {Bruce Gilchrist},
editor = {Simon H. Lavington},
title = {Computers and Employment: The U. S. Experience},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {919--924},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gilchrist80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Goldberg80,
author = {Jack Goldberg},
editor = {Simon H. Lavington},
title = {{SIFT:} {A} Provable Fault-Tolerant Computer for Aircraft Flight Control},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {151--156},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Goldberg80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gotlieb80,
author = {C. C. Gotlieb},
editor = {Simon H. Lavington},
title = {Computer - {A} Gift of Fire},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {863--872},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gotlieb80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gries80,
author = {David Gries},
editor = {Simon H. Lavington},
title = {Educating the Programmer: Notation, Proofs and the Development of
Programs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {935--944},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Gries80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Haefner80,
author = {Klaus Haefner},
editor = {Simon H. Lavington},
title = {The Concept of an Integrated System for Information Access and Telecommunication
{(ISIT)} and its Impact on Education in the 80s},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {973--978},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Haefner80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HaessigJ80,
author = {Kurt H{\"{a}}ssig and
Christian J. Jenny},
editor = {Simon H. Lavington},
title = {Partitioning and Allocating Computational Objects in Distributed Computing
Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {593--598},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HaessigJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hearn80,
author = {Anthony C. Hearn},
editor = {Simon H. Lavington},
title = {The Personal Algebra Machine},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {621--628},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hearn80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HernanJ80,
author = {Miguel A. Hernan and
Javier Jim{\'{e}}nez},
editor = {Simon H. Lavington},
title = {Image Analysis of Experimental Data in Turbulence},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {753--756},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HernanJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Herot80,
author = {Christopher F. Herot},
editor = {Simon H. Lavington},
title = {A Spatial Graphical Man-Machine Interface},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1039--1044},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Herot80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HikitaK80,
author = {Teruo Hikita and
Satoru Kawai},
editor = {Simon H. Lavington},
title = {Parallel Sieve Methods for Generating Prime Numbers},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {257--262},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/HikitaK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hunter80,
author = {Gregory M. Hunter},
editor = {Simon H. Lavington},
title = {Teleconference in Virtual Space},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1045--1048},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Hunter80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Inose80,
author = {Hiroshi Inose},
editor = {Simon H. Lavington},
title = {Aspects of Data Communication and Computer Networks},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {543--550},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Inose80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ishii80,
author = {Osamu Ishii},
editor = {Simon H. Lavington},
title = {Feasibility Experiments on Versatile Information Processing Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1033--1038},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Ishii80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/IsomotoYI80,
author = {Yukuo Isomoto and
Keiichi Yamagata and
Tadashi Ishiketa},
editor = {Simon H. Lavington},
title = {A Computer-Aided Advising System for {FORTRAN} Program Debugging:
{ADVISOR}},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {985--990},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/IsomotoYI80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/JammelSV80,
author = {Alfons J. Jammel and
Helmut G. Stiegler and
Pavel Vogel},
editor = {Simon H. Lavington},
title = {Impacts of Message Orientation},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {281--286},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/JammelSV80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/JiafuCSF80,
author = {Xu Jiafu and
Chong Cuihao and
N. V. Shulman and
Fuqing Yang},
editor = {Simon H. Lavington},
title = {On the Design, Implementation and Use of the Systems Programming Language
{XCY}},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {305--308},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/JiafuCSF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Johnson80,
author = {Timothy Johnson},
editor = {Simon H. Lavington},
title = {Identifying the Main Applications of Data Communications in Western
Europe},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {569--574},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Johnson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jong80,
author = {S. Peter de Jong},
editor = {Simon H. Lavington},
title = {The System for Business Automation {(SBA):} {A} Unified Application
Development System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {469--474},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Jong80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KanouiC80,
author = {Henry Kanoui and
Michel Van Caneghem},
editor = {Simon H. Lavington},
title = {Implementing a very High Level Language on a very Low Cost Computer},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {349--354},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KanouiC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KaplanS80,
author = {Ronald M. Kaplan and
B. A. Sheil},
editor = {Simon H. Lavington},
title = {Adding Type Declarations to Interlisp},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {355--360},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KaplanS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KatoFNMT80,
author = {O. Kato and
T. Fujita and
M. Niwa and
T. Morishita and
J. Tanahashi},
editor = {Simon H. Lavington},
title = {A Handwriting Input System for Japanese},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {689--694},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KatoFNMT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KavianpourF80,
author = {Alireza Kavianpour and
Arthur D. Friedman},
editor = {Simon H. Lavington},
title = {Different Diagnostic Models for Multiprocessor Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {157--162},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KavianpourF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kay80,
author = {Alan C. Kay},
editor = {Simon H. Lavington},
title = {User Interface Design in the Smalltalk Computing System (Abstract)},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1025},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kay80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Keedy80,
author = {James Leslie Keedy},
editor = {Simon H. Lavington},
title = {Paging and Small Segments: {A} Memory Management Model},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {337--342},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Keedy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/King80,
author = {W. Frank King III},
editor = {Simon H. Lavington},
title = {Relational Database Systems: Where We Stand Today},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {369--381},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/King80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kirstein80,
author = {Peter T. Kirstein},
editor = {Simon H. Lavington},
title = {New Text and Message Services},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {521--535},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kirstein80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KleinrockY80,
author = {Leonard Kleinrock and
Yechiam Yemini},
editor = {Simon H. Lavington},
title = {Interfering Queueing Processes in Packet-Switched Broadcast Communication},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {557--562},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KleinrockY80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KlopproggeL80,
author = {Manfred R. Klopprogge and
Peter C. Lockemann},
editor = {Simon H. Lavington},
title = {Teaching Systems Analysis and Planning in Informatics: {A} Practical
Course},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {979--983},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KlopproggeL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KodamaYMK80,
author = {Koji Kodama and
Jiro Yoshii and
Ken{-}ichi Mori and
Tsutomu Kawada},
editor = {Simon H. Lavington},
title = {The Japanese Word Processor {JW-10}},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {139--143},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KodamaYMK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kohonen80,
author = {Teuvo Kohonen},
editor = {Simon H. Lavington},
title = {Automatic Pattern Recognition - {A} Challenge to Computer Technology},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {641--649},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kohonen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kotov80,
author = {Vadim E. Kotov},
editor = {Simon H. Lavington},
title = {On Basic Parallel Language},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {229--240},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kotov80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kubba80,
author = {Ghassan A. Kubba},
editor = {Simon H. Lavington},
title = {The Impact of Computers on Arabic Writing, Character Processing and
teaching},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {961--965},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Kubba80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KuboTAO80,
author = {Masatoshi Kubo and
Yasushi Taguchi and
Kiyoshi Agusa and
Yutaka Ohno},
editor = {Simon H. Lavington},
title = {Multi-Microprocessor System for Three-Dimensional Color Graphs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {145--150},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KuboTAO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LawsonS80,
author = {J. D. Lawson and
David A. Swayne},
editor = {Simon H. Lavington},
title = {High-Order Near Best Uniform Approximations to the Solution of Heat
Conduction Problems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {741--746},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LawsonS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LeinwandL80,
author = {Sany Leinwand and
T. Lamdan},
editor = {Simon H. Lavington},
title = {Models of Control at Register Transfer Level},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {163--168},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/LeinwandL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lincoln80,
author = {T. J. Lincoln},
editor = {Simon H. Lavington},
title = {Information Systems Constraints - {A} Strategic Review},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {907--911},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Lincoln80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MacleodJE80,
author = {Ian D. G. Macleod and
J. J. Jackson and
John B. Eulenberg},
editor = {Simon H. Lavington},
title = {A Multisensory Electronic System for Developing Handwriting Skills
with Blind Trainees},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {945--950},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MacleodJE80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MahabalaM80,
author = {Hosaker N. Mahabala and
Mudambi R. Muralidharan},
editor = {Simon H. Lavington},
title = {Pseudo-Ternary Coding to Incorporate checking without a Parity},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {605--610},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MahabalaM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Maller80,
author = {V. A. J. Maller},
editor = {Simon H. Lavington},
title = {Information Retrieval Using the Content Addressable File Store},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {187--192},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Maller80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MalyK80,
author = {Kurt Maly and
Leonhard Kampa},
editor = {Simon H. Lavington},
title = {H-Trees},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {445--450},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MalyK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Manna80,
author = {Zohar Manna},
editor = {Simon H. Lavington},
title = {Logics of Programs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {41--51},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Manna80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ManningLT80,
author = {Eric G. Manning and
N. J. Livesey and
Hideyuki Tokuda},
editor = {Simon H. Lavington},
title = {Interprocess Communication in Distributed Systems: One View},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {513--520},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ManningLT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MarchukI80,
author = {Guri I. Marchuk and
Valeri P. Il'in},
editor = {Simon H. Lavington},
title = {Parallel Computations in Grid Methods for Solving Mathematical Physics
Problems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {671--676},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MarchukI80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Martin80,
author = {Alain J. Martin},
editor = {Simon H. Lavington},
title = {A Distributed Implementation Method for Parallel Programming},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {309--314},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Martin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Matthews80,
author = {Roderick A. Matthews},
editor = {Simon H. Lavington},
title = {Trends in User-Oriented Software within the {U.K.} Central Electricity
Generating Board},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {839--844},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Matthews80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer80,
author = {Bertrand Meyer},
editor = {Simon H. Lavington},
title = {A Basis for the Constructive Approach to Programming},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {293--298},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Meyer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Mills80,
author = {Harlan D. Mills},
editor = {Simon H. Lavington},
title = {Function Semantics for Sequential Programs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {241--250},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Mills80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Morgan80,
author = {Howard L. Morgan},
editor = {Simon H. Lavington},
title = {Research and Practice in Office Automation},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {783--789},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Morgan80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MoriG80,
author = {Renato de Mori and
Giovanna Giordano},
editor = {Simon H. Lavington},
title = {Structural Knowledge for the Recognition of Syllables in Continuous
Speech},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {747--751},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MoriG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MorinoT80,
author = {Kazuyoshi Morino and
Osamu Takahashi},
editor = {Simon H. Lavington},
title = {A Technique for Describing High-Level Data Link Control {(HDLC)} Procedures},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {575--579},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MorinoT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Munz80,
author = {Rudolf Munz},
editor = {Simon H. Lavington},
title = {Transaction Management in the Distributed Database System {VDN}},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {481--486},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Munz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Murphy80,
author = {Brian M. Murphy},
editor = {Simon H. Lavington},
title = {The Development of the British, French and German Native Computer
Industries, 1960 - 1978},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {873--878},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Murphy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NagataAF80,
author = {Mario Nagata and
Teruo Akiyama and
Yasutaka Fujikake},
editor = {Simon H. Lavington},
title = {An Interactive Supporting System for Functional Recursive Programming},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {263--268},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NagataAF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nakagawa80,
author = {Masali Nakagawa},
editor = {Simon H. Lavington},
title = {Specifying the Underlying Control Structures of Programming Languages
in their Denotational Semantics},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {89--94},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nakagawa80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NakajimaYK80,
author = {Reiji Nakajima and
Taiichi Yuasa and
Keiji Kojima},
editor = {Simon H. Lavington},
title = {The iota-Programming System - {A} Support System for Hieratchical
and Modular Programming},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {299--304},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NakajimaYK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nelson80,
author = {Theodor Holm Nelson},
editor = {Simon H. Lavington},
title = {Replacing the Printed Word: {A} Complete Literay System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1013--1023},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nelson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nepomiastchy80,
author = {Pierre Nepomiastchy},
editor = {Simon H. Lavington},
title = {{MODULECO:} Software for Macroeconomic Modelling},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {827--831},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nepomiastchy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NeuholdO80,
author = {Erich J. Neuhold and
Thomas Olnhoff},
editor = {Simon H. Lavington},
title = {The Vienna Development Method {(VDM)} and its Use for the Specification
of a Rational Data Base System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {3--16},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NeuholdO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nievergelt80,
author = {J{\"{u}}rg Nievergelt},
editor = {Simon H. Lavington},
title = {Computer Science Education: An Emerging Consensus on Basic Concepts},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {927--933},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nievergelt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NishidaD80,
author = {Toyoaki Nishida and
Shuji Doshita},
editor = {Simon H. Lavington},
title = {A Knowledge-Based Literature Guide System - {A} NEw Approach to Document
Retrieval},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {699--704},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/NishidaD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Nivat80,
author = {Maurice Nivat},
editor = {Simon H. Lavington},
title = {Non Deterministic Programs: An Algebraic Overview},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {17--28},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Nivat80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/OnozatoN80,
author = {Yoshikuni Onozato and
Shoichi Noguchi},
editor = {Simon H. Lavington},
title = {Dynamic Characteristics of a Satellite Communication System Employing
the Slotted Aloha Scheme},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {581--585},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/OnozatoN80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/OyamaguchiIH80,
author = {Michio Oyamaguchi and
Yasuyoshi Inagaki and
Namio Honda},
editor = {Simon H. Lavington},
title = {On the Equivalence Problem for Two DPDA's, One of which is Real-Time},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {53--58},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/OyamaguchiIH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PagesGH80,
author = {Jean{-}Claude Pag{\`{e}}s and
Dominique Gremillet and
Andreas Horst},
editor = {Simon H. Lavington},
title = {A General Structure for Building Personalized Information: An Alternative
Approach to Computer Aided Education},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {955--960},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/PagesGH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Papert80,
author = {Seymour Papert},
editor = {Simon H. Lavington},
title = {Redefining Childhood: The Computer Presence as an Experiment in Developmental
Psychology},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {993--998},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Papert80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Pask80,
author = {Gordon Pask},
editor = {Simon H. Lavington},
title = {The Limits of Togetherness},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {999--1012},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Pask80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PilotyBBDHS80,
author = {Robert Piloty and
Mario Barbacci and
Dominique Borrione and
Donald L. Dietmeyer and
Fredrick J. Hill and
Patrick Skelly},
editor = {Simon H. Lavington},
title = {An Overview of {CONLAN:} {A} Formal Construction Method for Hardware
Description Language},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {199--204},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/PilotyBBDHS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PollardC80,
author = {John Pollard and
Glen Campbell},
editor = {Simon H. Lavington},
title = {Using a Home Microcomputer to Teach a Dyslexic Child to Read},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1055--1059},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/PollardC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RaihaU80,
author = {Kari{-}Jouko R{\"{a}}ih{\"{a}} and
Esko Ukkonen},
editor = {Simon H. Lavington},
title = {Balancing Syntactic and Semantic Power in Compiler Specification},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {65--70},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/RaihaU80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Recoque80,
author = {Alice Recoque},
editor = {Simon H. Lavington},
title = {Survey of Main Trends in Computer Hardware Architecture},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {115--125},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Recoque80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RestBF80,
author = {A. D. Le Rest and
J. Blevanus and
M. Ferragu},
editor = {Simon H. Lavington},
title = {{NTI:} International Gateway to {TRANSPAC}},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {563--567},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/RestBF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RolstadasF80,
author = {Asbj{\o}rn Rolstad{\aa}s and
Peter Falster},
editor = {Simon H. Lavington},
title = {Prototyping Factory Management Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {683--688},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/RolstadasF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Salmona80,
author = {Jean Salmona},
editor = {Simon H. Lavington},
title = {Information Systems, Develoment and Structural Changes},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {767--781},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Salmona80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schek80,
author = {Hans{-}J{\"{o}}rg Schek},
editor = {Simon H. Lavington},
title = {On Index Intervals and Their Optimisation},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {493--498},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schek80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schmandt80,
author = {Chris Schmandt},
editor = {Simon H. Lavington},
title = {Soft Typography},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1027--1031},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schmandt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Schweikhardt80,
author = {Waltraud Schweikhardt},
editor = {Simon H. Lavington},
title = {A Computer Based Education System for the Blind},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {951--954},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Schweikhardt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ShibayamaTHYK80,
author = {Kiyoshi Shibayama and
Shinji Tomita and
Hiroshi Hagiwara and
Katsuhiro Yamazaki and
Toshiaki Kitamura},
editor = {Simon H. Lavington},
title = {Performance Evaluation and Improvement of a Dynamically Microprogrammable
Computer with Low-Level Parallelism},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {181--186},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ShibayamaTHYK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SmythJ80,
author = {W. F. Smyth and
N. W. N. Jayasiri},
editor = {Simon H. Lavington},
title = {The Encouragement of Effective Computer Use in Developing Countries},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {885--890},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/SmythJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Solms80,
author = {Sebastiaan H. von Solms},
editor = {Simon H. Lavington},
title = {Random Context Array Grammmars},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {59--64},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Solms80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Stanley80,
author = {Philip M. Stanley},
editor = {Simon H. Lavington},
title = {A Design Approach to the Audit of Computer Information Systems},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {845--849},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Stanley80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Steinmuller80,
author = {Wilhelm Steinm{\"{u}}ller},
editor = {Simon H. Lavington},
title = {Rationalisation and Modellification: Two Complementary Implications
of Information Technologies},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {853--861},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Steinmuller80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Stevens80,
author = {David F. Stevens},
editor = {Simon H. Lavington},
title = {Some Cautionary Aphorisms for User-Oriented Computer Management},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {791--796},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Stevens80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Szyperski80,
author = {Norbert Szyperski},
editor = {Simon H. Lavington},
title = {Organizational Response to Changes in Information Technology},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {759--765},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Szyperski80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/TakizawaH80,
author = {Makoto Takizawa and
Eiji Hamanaka},
editor = {Simon H. Lavington},
title = {Query Translation in Distributed Database},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {451--456},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/TakizawaH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/TanakaNM80,
author = {Yuzuru Tanaka and
Yukoo Nozaka and
Akinari Masuyama},
editor = {Simon H. Lavington},
title = {Pipeline Searching and Sorting Modules as Components of a Data Flow
Database Computer},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {427--432},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/TanakaNM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Terajima80,
author = {Makoto Terajima},
editor = {Simon H. Lavington},
title = {Recent Progress inMemory Devices and their Prospect},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {127--135},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Terajima80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Texier80,
author = {Alain G. Texier},
editor = {Simon H. Lavington},
title = {New Telecommunication Services and Network Architecture: {A} Tentative
Survey},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {537--541},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Texier80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ThomasM80,
author = {D. R. Thomas and
R. Brien Maguire},
editor = {Simon H. Lavington},
title = {Computers and Education: {A} Remote Learning Application},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {967--671},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Sat, 27 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ThomasM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Turkle80,
author = {Sherry Turkle},
editor = {Simon H. Lavington},
title = {Personal Computaion and Personal Meanings},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {1049--1054},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Turkle80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tyson80,
author = {Alan R. Tyson},
editor = {Simon H. Lavington},
title = {South Australian Land Information System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {815--820},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tyson80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Tyugu80,
author = {Enn Tyugu},
editor = {Simon H. Lavington},
title = {Towards Practical Synthesis of Programs},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {207--219},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Tyugu80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/UemuraYKOS80,
author = {Syunsuke Uemura and
Toshitsugu Yuba and
Akio Kokubu and
Ryoichi Ooomote and
Yasuo Sugawara},
editor = {Simon H. Lavington},
title = {The Design and Implementaion of a Magnetic-Bubble Database Machine},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {433--438},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/UemuraYKOS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/VaqueroT80,
author = {A. Vaquero and
Jos{\'{e}} M. Troya},
editor = {Simon H. Lavington},
title = {Placement of Records on Linear Storage Devices},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {331--336},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/VaqueroT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Vrecion80,
author = {Vladim{\'{\i}}r Vrecion},
editor = {Simon H. Lavington},
title = {Some Basic Applications of Computering in the Law-Making Process},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {891--895},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Vrecion80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/YoeliG80,
author = {Michael Yoeli and
Abraham Ginzburg},
editor = {Simon H. Lavington},
title = {Control Nets for Parallel Processing},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {71--76},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/YoeliG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/YokoyamaF80,
author = {Jun{-}ichiro Yokoyama and
Akira Fukuda},
editor = {Simon H. Lavington},
title = {Prescription Order Service in Kanto Teishin Hospital Information System},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {809--813},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/YokoyamaF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ZhurinT80,
author = {V. V. Zhurin and
F. G. Tcheremissine},
editor = {Simon H. Lavington},
title = {Recent Advances in the Numerical Solution of the Boltzmann Equation},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {735--740},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ZhurinT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/1980,
editor = {Simon H. Lavington},
title = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
publisher = {North-Holland/IFIP},
year = {1980},
isbn = {0-444-86034-7},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/1980.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-05-28 17:09 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:
