Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: John Staples
@article{DBLP:journals/tcs/JayS96,
author = {C. Barry Jay and
John Staples},
title = {Preface: Theoretical Computer Science in Australia and New Zealand},
journal = {Theor. Comput. Sci.},
volume = {169},
number = {1},
pages = {1},
year = {1996},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JayS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/Staples96,
author = {John Staples},
title = {Verification, Validation and the Future of Software Engineering},
booktitle = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
14-18, 1996, Melbourne, Australia},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.10006},
doi = {10.1109/ASWEC.1996.10006},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/Staples96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/ZucconiRRS96,
author = {Lin Zucconi and
Greg Royle and
Karl Reed and
John Staples},
title = {Do Formal Methods Really Work?},
booktitle = {1996 Australian Software Engineering Conference {(ASWEC} '96), July
14-18, 1996, Melbourne, Australia},
pages = {66},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.10003},
doi = {10.1109/ASWEC.1996.10003},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/ZucconiRRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BechtS95,
author = {H. Becht and
John Staples},
title = {Soft Typing of General First-Order Languages},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {480--488},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496997},
doi = {10.1109/APSEC.1995.496997},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BechtS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaac/1995,
editor = {John Staples and
Peter Eades and
Naoki Katoh and
Alistair Moffat},
title = {Algorithms and Computation, 6th International Symposium, {ISAAC} '95,
Cairns, Australia, December 4-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1004},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015401},
doi = {10.1007/BFB0015401},
isbn = {3-540-60573-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StaplesRH94,
author = {John Staples and
Peter J. Robinson and
Daniel Hazel},
title = {A Functional Logic for Higher Level Reasoning About Computation},
journal = {Formal Aspects Comput.},
volume = {6},
number = {1},
pages = {1--38},
year = {1994},
url = {https://doi.org/10.1007/BF01211079},
doi = {10.1007/BF01211079},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/StaplesRH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RobinsonSC94,
author = {Peter J. Robinson and
John Staples and
Anthony S. K. Cheng},
editor = {Roy Dyckhoff and
Lars{-}Henrik Eriksson and
Alberto Momigliano and
Mario Ornaghi},
title = {Theorem Proving Applications for QU-Prolog},
booktitle = {{ICLP} 1994, Workshop {W10:} Proof-Theoretical Extensions on Logic
Programming, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RobinsonSC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/RobinsonS93,
author = {Peter J. Robinson and
John Staples},
title = {Formalizing a Hierarchical Structure of Practical Mathematical Reasoning},
journal = {J. Log. Comput.},
volume = {3},
number = {1},
pages = {47--61},
year = {1993},
url = {https://doi.org/10.1093/logcom/3.1.47},
doi = {10.1093/LOGCOM/3.1.47},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/RobinsonS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChenS93,
author = {Jian Chen and
John Staples},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Defining Soft Sortedness by Abstract Interpretation},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {362--371},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_28},
doi = {10.1007/3-540-57182-5\_28},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChenS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/ChenS92,
author = {Jian Chen and
John Staples},
editor = {Krysia Broda},
title = {Soft Sorting in Logic Programming},
booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
pages = {79--96},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3421-3\_5},
doi = {10.1007/978-1-4471-3421-3\_5},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/ChenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/KearneySA92,
author = {Peter Kearney and
John Staples and
Abdu Abbas},
editor = {Jan van Leeuwen},
title = {Functional Verification of Hard Real-Time Programs},
booktitle = {Algorithms, Software, Architecture - Information Processing '92, Volume
1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-12}},
pages = {113--119},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/KearneySA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KearneyS91,
author = {Peter Kearney and
John Staples},
title = {An Extensional Fixed-Point Semantics for Nondeterministic Data Flow},
journal = {Theor. Comput. Sci.},
volume = {91},
number = {2},
pages = {129--179},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90082-D},
doi = {10.1016/0304-3975(91)90082-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KearneyS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChengRS91,
author = {Anthony S. K. Cheng and
Peter J. Robinson and
John Staples},
editor = {Koichi Furukawa},
title = {Higher Level Meta Programming in Qu-Prolog 3: 0},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {285--298},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChengRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/StaplesR90,
author = {John Staples and
Peter J. Robinson},
title = {Structure Sharing for Quantified Terms: Fundamentals},
journal = {J. Autom. Reason.},
volume = {6},
number = {2},
pages = {115--145},
year = {1990},
url = {https://doi.org/10.1007/BF00245815},
doi = {10.1007/BF00245815},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/StaplesR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/StaplesR88,
author = {John Staples and
Peter J. Robinson},
title = {Efficient Unification of Quantified Terms},
journal = {J. Log. Program.},
volume = {5},
number = {2},
pages = {133--149},
year = {1988},
url = {https://doi.org/10.1016/0743-1066(88)90015-5},
doi = {10.1016/0743-1066(88)90015-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/StaplesR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples88,
author = {John Staples},
title = {Delaying Unification Algorithms for Lambda Calculi},
journal = {Theor. Comput. Sci.},
volume = {56},
pages = {277--288},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(88)90135-1},
doi = {10.1016/0304-3975(88)90135-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Staples88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/StaplesRPHCW88,
author = {John Staples and
Peter J. Robinson and
R. A. Paterson and
R. A. Hagen and
A. J. Craddock and
P. C. Wallis},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Qu-Prolog: An Extended Prolog for Meta Level Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {435--452},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/StaplesRPHCW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gr/StaplesR86,
author = {John Staples and
Peter J. Robinson},
editor = {Joseph H. Fasel and
Robert M. Keller},
title = {Unification of quantified terms},
booktitle = {Graph Reduction, Proceedings of a Workshop, Santa F{\'{e}}, New
Mexico, USA, September 29 - October 1, 1986},
series = {Lecture Notes in Computer Science},
volume = {279},
pages = {426--450},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-18420-1\_69},
doi = {10.1007/3-540-18420-1\_69},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/gr/StaplesR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/StaplesN85,
author = {John Staples and
V. L. Nguyen},
title = {A Fixpoint Semantics for Nondeterministic Data Flow},
journal = {J. {ACM}},
volume = {32},
number = {2},
pages = {411--444},
year = {1985},
url = {https://doi.org/10.1145/3149.3155},
doi = {10.1145/3149.3155},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/StaplesN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StaplesN83,
author = {John Staples and
V. L. Nguyen},
title = {Computing the Behaviour of Asynchronous Processes},
journal = {Theor. Comput. Sci.},
volume = {26},
pages = {343--353},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90017-8},
doi = {10.1016/0304-3975(83)90017-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StaplesN83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoldschlagerSS82,
author = {Leslie M. Goldschlager and
Ralph A. Shaw and
John Staples},
title = {The Maximum Flow Problem is Log Space Complete for {P}},
journal = {Theor. Comput. Sci.},
volume = {21},
pages = {105--111},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90092-5},
doi = {10.1016/0304-3975(82)90092-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoldschlagerSS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigS82,
author = {Hartmut Ehrig and
John Staples},
editor = {Hartmut Ehrig and
Manfred Nagl and
Grzegorz Rozenberg},
title = {Church-Rosser properties for graph replacement systems with unique
splitting},
booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International
Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
4-8, 1982},
series = {Lecture Notes in Computer Science},
volume = {153},
pages = {82--101},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000100},
doi = {10.1007/BFB0000100},
timestamp = {Thu, 14 Oct 2021 10:05:48 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Staples82,
author = {John Staples},
editor = {Hartmut Ehrig and
Manfred Nagl and
Grzegorz Rozenberg},
title = {Two-level expression representation for faster evaluation},
booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International
Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October
4-8, 1982},
series = {Lecture Notes in Computer Science},
volume = {153},
pages = {392--404},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0000121},
doi = {10.1007/BFB0000121},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Staples82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/EadesS81,
author = {Peter Eades and
John Staples},
title = {On Optimal Trees},
journal = {J. Algorithms},
volume = {2},
number = {4},
pages = {369--384},
year = {1981},
url = {https://doi.org/10.1016/0196-6774(81)90035-3},
doi = {10.1016/0196-6774(81)90035-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/EadesS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Staples81,
author = {John Staples},
title = {Efficient Combinatory Reduction},
journal = {Math. Log. Q.},
volume = {27},
number = {25-30},
pages = {391--402},
year = {1981},
url = {https://doi.org/10.1002/malq.19810272503},
doi = {10.1002/MALQ.19810272503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Staples81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples80,
author = {John Staples},
title = {Computation on Graph-Like Expressions},
journal = {Theor. Comput. Sci.},
volume = {10},
pages = {171--185},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90013-4},
doi = {10.1016/0304-3975(80)90013-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Staples80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples80a,
author = {John Staples},
title = {Optimal Evaluations of Graph-Like Expressions},
journal = {Theor. Comput. Sci.},
volume = {10},
pages = {297--316},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90051-1},
doi = {10.1016/0304-3975(80)90051-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Staples80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Staples80b,
author = {John Staples},
title = {Speeding up Subtree Replacement Systems},
journal = {Theor. Comput. Sci.},
volume = {11},
pages = {39--47},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90033-X},
doi = {10.1016/0304-3975(80)90033-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Staples80b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Staples78,
author = {John Staples},
title = {Truth in constructive metamathematics},
journal = {Notre Dame J. Formal Log.},
volume = {19},
number = {3},
pages = {489--494},
year = {1978},
url = {https://doi.org/10.1305/ndjfl/1093888413},
doi = {10.1305/NDJFL/1093888413},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Staples78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Staples78,
author = {John Staples},
editor = {Volker Claus and
Hartmut Ehrig and
Grzegorz Rozenberg},
title = {A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction
is Optimal},
booktitle = {Graph-Grammars and Their Application to Computer Science and Biology,
International Workshop, Bad Honnef, Germany, October 30 - November
3, 1978},
series = {Lecture Notes in Computer Science},
volume = {73},
pages = {440--455},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0025740},
doi = {10.1007/BFB0025740},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/Staples78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Staples74,
author = {John Staples},
title = {Combinator Realizability of a Constructive Morse Set Theory},
journal = {J. Symb. Log.},
volume = {39},
number = {2},
pages = {226--234},
year = {1974},
url = {https://doi.org/10.2307/2272635},
doi = {10.2307/2272635},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Staples74.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.
last updated on 2023-09-27 22:38 CEST 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:
