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/ifip94-1.bht:"
download as .bib file
@inproceedings{DBLP:conf/ifip/AnselmoR94,
author = {Marcella Anselmo and
Antonio Restivo},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Factorizing Languages},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {445--450},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/AnselmoR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AsthanaCK94,
author = {Abhaya Asthana and
Mark Cravatts and
Paul Krzyzanowski},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {{SWIM} Active Memory: Architecture and Applications},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {183--188},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/AsthanaCK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BalboniL94,
author = {G. P. Balboni and
L. Liffredo},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {On the Effect of Statistical Bandwidth Allocation in an {ATM} Network
Running Today's Applications},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {163--168},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BalboniL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Beierle94,
author = {Christoph Beierle},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Formal Design of an Abstract Machine for Constraint Logic Programming},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {377--382},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Beierle94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BisselingM94,
author = {Rob H. Bisseling and
William F. McColl},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Scientific Computing on Bulk Synchronous Parallel Architectures},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {509--514},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BisselingM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlakesleeS94,
author = {Ken Blakeslee and
Ian Sugarbroad},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Evolution of Personal Computing and Communications Environments},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {21--26},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BlakesleeS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BlassG94,
author = {Andreas Blass and
Yuri Gurevich},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Evolving Algebras and Linear Time Hierarchy},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {383--390},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BlassG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Borger94,
author = {Egon B{\"{o}}rger},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Logic Programming: The Evolving Algebra Approach},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {391--395},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Borger94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerCGR94,
author = {Egon B{\"{o}}rger and
Giuseppe Del Castillo and
Paola Glavan and
Dean Rosenzweig},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Towards a Mathematical Specification of the {APE100} Architecture:
The {APESE} Model},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {396--401},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerCGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerG94,
author = {Egon B{\"{o}}rger and
Uwe Gl{\"{a}}sser},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Formal Specification of the {PVM} Architecture},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {402--409},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgerLR94,
author = {Egon B{\"{o}}rger and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Model for Mathematical Analysis of Functional Logic Programs and
Their Implementations},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {410--415},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BorgerLR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BraunGHLTW94,
author = {Katrin Braun and
Joachim Grollmann and
Michael Horn and
Manfred Langen and
Wolfgang Thulke and
Walter Weigel},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Personal Communication is More Than Wireless Communication},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {89--94},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BraunGHLTW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BucklesSE94,
author = {Bogdan D. Czejdo and
Bill P. Buckles and
L. Smith and
Christoph F. Eick},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {An Adaptive Browsing System Based on Rules for Object-Oriented Databases},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {121--126},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/BucklesSE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Carton94,
author = {Olivier Carton},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Chain Automata},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {451--458},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Carton94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cassaigne94,
author = {Julien Cassaigne},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {An Algorithm to Test if a Given Circular HDOL-Language Avoids a Pattern},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {459--464},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Cassaigne94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ChangH94,
author = {Ray{-}I Chang and
Pei{-}Yung Hsiao},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Solving System Partitioning Problem using a Massively Parallel Bio-Computing
Network},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {129--134},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ChangH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ChangH94a,
author = {Yung{-}Cheng Chang and
Lih{-}Hsing Hsu},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter
Objectives},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {241--246},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ChangH94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/CheathamFS94,
author = {Thomas E. Cheatham and
Amr F. Fahmy and
Dan C. Stefanescu},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {{H-BSP} - {A} General Purpose Parallel Computing Environment},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {515--520},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/CheathamFS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Cheng94,
author = {Xing Cheng},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Analysis and Modelling of Routing Algorithms in High-Speed Networks},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {63--68},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Cheng94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Chi94,
author = {Chi{-}Hung Chi},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Compiler's New Role in Data Cache Prefetching},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {189--194},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Chi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Danvy94,
author = {Olivier Danvy},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Partial Evaluation for Program Speedups},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {579--580},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Danvy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DrefenstedtKP94,
author = {Reinhard Drefenstedt and
J{\"{o}}rg Keller and
Wolfgang J. Paul},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Applications of PRAMs in Telecommunications},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {203--210},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/DrefenstedtKP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FowlerL94,
author = {Priscilla J. Fowler and
Linda Levine},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Role of Infrastructure in the Adoption of an Immature Software
Technology},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {81--86},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/FowlerL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GergovM94,
author = {Jordan Gergov and
Christoph Meinel},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Boolean Manipulation with Free BDDs: An Application in Combinational
Logic Verification},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {309--314},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GergovM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GiammarresiMMR94,
author = {Dora Giammarresi and
Sabrina Mantaci and
Filippo Mignosi and
Antonio Restivo},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Periodicity Theorem for Trees},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {473--478},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GiammarresiMMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GillJ94,
author = {Andrew John Gill and
Simon L. Peyton Jones},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Cheap Deforestation in Practice: An Optimizer for Haskell},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {581--586},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 29 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/GillJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GlavanR94,
author = {Paola Glavan and
Dean Rosenzweig},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Evolving Algebra Model of Programming Language Semantics},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {416--422},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GlavanR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GruskaG94,
author = {Jozef Gruska and
Ir{\`{e}}ne Guessarian},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Correctness of Basic Systolic Systems Transformations},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {315--321},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GruskaG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GruskaNP94,
author = {Jozef Gruska and
Margherita Napoli and
Domenico Parente},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Optimization of Systolic Tree Automata},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {247--252},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GruskaNP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Guibas94,
author = {Leonidas J. Guibas},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Design and Analysis of Geometric Algorithms},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {211--212},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Guibas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GuptaS94,
author = {Suresh C. Gupta and
Mukul K. Sinha},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Improving Software Testability by Observability and Controllabliity
Measures},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {147--154},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GuptaS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Gurevich94,
author = {Yuri Gurevich},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Evolving Algebras},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {423--427},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Gurevich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/GurevichH94,
author = {Yuri Gurevich and
James K. Huggins},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Evolving Algebras and Partial Evaluation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {587--592},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/GurevichH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hains94,
author = {Ga{\'{e}}tan Hains},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Parallel Functional Languages Should be Strict},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {527--532},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Hains94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Hartmanis94,
author = {Juris Hartmanis},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Structure of the Complexity of Computations: {A} Guided Tour Through
Complexity Classes},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {213--220},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Hartmanis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Heinrich94,
author = {Stefan Heinrich},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Complexity Theory and Monte Carlo Algorithms in Numerical Analysis},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {593--594},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Heinrich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Holzmann94,
author = {Gerard J. Holzmann},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Theory and Practice of {A} Formal Method: NewCoRe},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {35--44},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Holzmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HromkovicK94,
author = {Juraj Hromkovic and
Juhani Karhum{\"{a}}ki},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Two Lower Bounds on Computational Complexity of Infinite Word Generation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {479--484},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/HromkovicK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Ionescu94,
author = {Dan Ionescu},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Timed Temporal Logic Framework for Designing Real-Time Applications},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {322--329},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Ionescu94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/IwamaM94,
author = {Kazuo Iwama and
Shuichi Miyazaki},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {SAT-Varible Complexity of Hard Combinatorial Problems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {253--258},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/IwamaM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Johnson94,
author = {David S. Johnson},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Traveling Salesman Problem: {A} report on the State of the Art},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {221--222},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Johnson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Jones94,
author = {Neil D. Jones},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Program Speedups in Theory and Practice},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {595--602},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Jones94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kahl94,
author = {Wolfram Kahl},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Can Functional Programming Be Liberated from the Applicative Style?},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {330--335},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Kahl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kanovich94,
author = {Max I. Kanovich},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Computational and Concurrency Aspects of Linear Logic},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {336--341},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Kanovich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Klopotek94,
author = {Mieczyslaw A. Klopotek},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Restricted Causal Inference},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {342--347},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Klopotek94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Kreowski94,
author = {Hans{-}J{\"{o}}rg Kreowski},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {An Axiomatic Approach to Canonical Derivations},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {348--353},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Kreowski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KrollPP94,
author = {Chr. Kr{\"{o}}ll and
Peter Peinl and
J. Pommnitz},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Extensions of the Internet Protocol for Wireless Communication},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {95--100},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/KrollPP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KungLH94,
author = {David Chenho Kung and
Jyhjong Lin and
Pei Hsia},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {An Object-Oriented Conceptal Model for Information Systems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {259--264},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/KungLH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LeeM94,
author = {K.{-}H. Lee and
K.{-}F. Mak},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {{ACCEL:} {A} Concurrent Class Extension Language},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {533--538},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/LeeM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Li94,
author = {Qiang Li},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Lamport's Bakery Algorithm Applied to Loosely-coupled {SCI} Platforms},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {265--270},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Li94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Lindsay94,
author = {Bruce G. Lindsay},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {From Data Management To Information Exploitation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {45--48},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Lindsay94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LucaV94,
author = {Aldo de Luca and
Stefano Varricchio},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {On a Conjecture of Brzozowski},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {465--472},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/LucaV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LudersE94,
author = {Peter L{\"{u}}ders and
Rolf Ernst},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Dynamic Screen - Beyond the Limits of Traditional Graphic User
Interfaces},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {109--114},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/LudersE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MarcoM94,
author = {Ch. Marco and
Paz Morillo},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Use of Elliptic Curves in Smart Cards},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {271--275},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/MarcoM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/McColl94,
author = {William F. McColl},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Scalable Parallel Computing: {A} Grand Unified Theory and its Practical
Development},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {539--546},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/McColl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MehlhornN94,
author = {Kurt Mehlhorn and
Stefan N{\"{a}}her},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Implementation of Geometric Algorithms},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {223--231},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/MehlhornN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Milner94,
author = {Robin Milner},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Computing is Interaction},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {232--233},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Milner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MishraR94,
author = {Subhada K. Mishra and
Vijay V. Raghavan},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Design Issues in Randomized Branch and Bound Algorithms: {A} Study
of Graph Partitioning},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {276--281},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/MishraR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Mitchell94,
author = {K. I. Mitchell},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Software For the Re-engineered Corporation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {135--140},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Mitchell94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MiyaderaTY94,
author = {Youzou Miyadera and
Kensei Tsuchida and
Takeo Yaku},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams
and Its Application to Program Development},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {282--287},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/MiyaderaTY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MohanKR94,
author = {P. Jagan Mohan and
V. Kamakoti and
C. Pandu Rangan},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Efficient Randomized Parallel Algorithm for the Closest Pair Problem
in D-dimension},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {547--552},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MohanKR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Moilanen94,
author = {Usko Moilanen},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Experiences in Applying a Client Server {GUI} System},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {115--120},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Moilanen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Muller94,
author = {Bernd M{\"{u}}ller},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Semantics for Hybrid Object-Oriented Prolog Systems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {428--433},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Muller94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MurayamaH94,
author = {T. Murayama and
F. Hattori},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Adaptive Architecture for Flexible Information Systems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {157--162},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/MurayamaH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/NagaseTKNSK94,
author = {Hiroshi Nagase and
Kiyoshi Tawa and
Masayoshi Kaji and
Hiroaki Nakayama and
Hiroshi Suzuki and
Masaru Kakuma},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Reduction Method of Waiting Operands in Dataflow Machine},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {141--146},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/NagaseTKNSK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Natvig94,
author = {Lasse Natvig},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Compile and Runtime Padding: An Approach to Realising Synchronous
{MIMD} Execution},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {553--558},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Natvig94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Paige94,
author = {Robert Paige},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Efficient Translation of External Input in a Dynamically Typed Language},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {603--608},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Paige94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Parnas94,
author = {David Lorge Parnas},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Mathematical Description and Specification of Software},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {354--359},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Parnas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PelletierS94,
author = {Maryse Pelletier and
Jacques Sakarovitch},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {On the Lexicographic Uniformisation of Deterministic 2-Tape Automata
(Extended Abstract)},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {485--490},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/PelletierS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Perrin94,
author = {Dominique Perrin},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Automata on Infinite Words (Abstract)},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {491--492},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Perrin94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/PiardH94,
author = {F. Piard and
A. Haurat},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Temporal Algebraic Specification of an Industrial Information System},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {360--365},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/PiardH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Poetzsch-Heffter94,
author = {Arnd Poetzsch{-}Heffter},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Deriving Partial Correctness Logics From Evolving Algebras},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {434--439},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Poetzsch-Heffter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RaoP94,
author = {Arun Rao and
Bruce Perens},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Parallel Image-Processing Algorithms in a Virtual-Memory-Efficient
Environment},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {559--564},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/RaoP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Regan94,
author = {Kenneth W. Regan},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Linear-Time Algorithms in Memory Hierarchies},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {288--293},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Regan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Regan94a,
author = {Kenneth W. Regan},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Linear Speed-Up, Information Vicinity, and Finite-State Machines},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {609--614},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Regan94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ReichertIPO94,
author = {Frank Reichert and
Y. Ismailov and
P. Pruthi and
T. Ohsawa},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Walkstation Project - {A} Flexible Platform for Experiments in
Mobile Multimedia Environments},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {101--105},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ReichertIPO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Rosenzweig94,
author = {Dean Rosenzweig},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Distributed Computations: Evolving Algebra Approach},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {440--441},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Rosenzweig94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/RubinsteinS94,
author = {Roy S. Rubinstein and
John N. Shutt},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Self-Modifying Finite Automata},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {493--498},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/RubinsteinS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Saidi94,
author = {Sadegh Saidi},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {On the Associative Unification of Phrases},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {366--373},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Saidi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SaitoN94,
author = {Kazumi Saito and
Ryohei Nakano},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Adaptive Concept Learning Algorithm},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {294--299},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/SaitoN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Scherlis94,
author = {William L. Scherlis},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Boundary and Path Manipulations on Abstract Data Types (Extended Abstract)},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {615--620},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Scherlis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Shyamasandar94,
author = {R. K. Shyamasundar},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Specifying Dynamic Reat-Time Systems in {CRP}},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {75--80},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Shyamasandar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SimpsonH94,
author = {R. A. Simpson and
Alan J. Harget},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Simulation Study to Determine the Importance of Load Balancing Algorithms
for Loosely-Coupled Distributed Systems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {69--74},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/SimpsonH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Skillicorn94,
author = {David B. Skillicorn},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Categorial Data Type Approach to General-Purpose Parallel Computation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {565--570},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Skillicorn94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SwerupSB94,
author = {Jan Swerup and
Dany Suk and
Per Berqvist},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {C{\&}C Integration - How Does Industry Cope?},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {15--19},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/SwerupSB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/SzymanskiV94,
author = {Boleslaw K. Szymanski and
Jos{\'{e}} M. Vidal},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Automatic Verification of a Class of Symmetric Parallel Programs},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {571--576},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/SzymanskiV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Terashima94,
author = {Nobuyoshi Terashima},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Telesensation - Distributed Interactive Virtual Reality - Overview
and Prospects},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {49--59},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Terashima94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Thomas94,
author = {Wolfgang Thomas},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Finite-State Recognizability and Logic: from Words to Graphs},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {499--506},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Thomas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/TorreK94,
author = {Pilar de la Torre and
Clyde P. Kruskal},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Calculus of Adaptive Purpose Parallel Computation},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {521--526},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/TorreK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Valiant94,
author = {Leslie G. Valiant},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Computational Model for Cognition (Abstract)},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {234},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Valiant94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/WangWG94,
author = {Huai Min Wang and
Pu Wang and
Hong Kui Gao},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Decentralized Computing Environment for Agent-Oriented Programming},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {169--174},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/WangWG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/WasilkowskiW94,
author = {Grzegorz W. Wasilkowski and
Henryk Wozniakowski},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {On Strong Tractability of Multivariate Problems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {621--628},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/WasilkowskiW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Wigderson94,
author = {Avi Wigderson},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Wonders of the Digital Envelope - {A} Crash Course in Modern Cryptography},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {235--238},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Wigderson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Williams94,
author = {Raymond C. Williams},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Centralized Management in a Distributed World},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {27--33},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Williams94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/YamaguchiTNT94,
author = {Yoshinori Yamaguchi and
Kenji Toda and
Kenji Nishida and
Eiichi Takahashi},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {The Execution Model and the Architecture for Real-Time Parallel Systems},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {177--182},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/YamaguchiTNT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/YamamotoC94,
author = {Yoshihisa Yamamoto and
I. Chuang},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Physical Limits For Computing And Communication},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {3--14},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/YamamotoC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/YeK94,
author = {Xinfeng Ye and
John A. Keane},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {A Fault Tolerant Distributed Termination Detection Scheme},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {300--305},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/YeK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ZhangK94,
author = {L. Zhang and
Jan van Katwijk},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Designing Multi-Processor Real-Time Systems with a Multi-view Approach},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {195--200},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/ZhangK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip/1994-1,
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
publisher = {North-Holland},
year = {1994},
isbn = {0-444-81989-4},
timestamp = {Tue, 15 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/1994-1.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 16:23 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:
