default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roger Duke
@inproceedings{DBLP:conf/cade/HakimipourSD08,
author = {Niusha Hakimipour and
Paul A. Strooper and
Roger Duke},
editor = {Bernhard Beckert and
Gerwin Klein},
title = {Exploring Model-Based Development for the Verification of Real-Time
Java Code},
booktitle = {Proceedings of the 5th International Verification Workshop in connection
with {IJCAR} 2008, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {372},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-372/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/HakimipourSD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LiangDSDS06,
author = {Hui Liang and
Jin Song Dong and
Jing Sun and
Roger Duke and
Rudolph E. Seviora},
title = {Formal Specification-based Online Monitoring},
booktitle = {11th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
pages = {152--162},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.56},
doi = {10.1109/ICECCS.2006.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LiangDSDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/KimWD05,
author = {Soon{-}Kyeong Kim and
Luke Wildman and
Roger Duke},
title = {A {UML} Approach to the Generation of Test Sequences for Java-Based
Concurrent Systems},
booktitle = {16th Australian Software Engineering Conference {(ASWEC} 2005), 31
March - 1 April 2005, Brisbane, Australia},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ASWEC.2005.11},
doi = {10.1109/ASWEC.2005.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/KimWD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongDH05,
author = {Jin Song Dong and
Roger Duke and
Ping Hao},
title = {Integrating Object-Z with Timed Automata},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {488--497},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.56},
doi = {10.1109/ICECCS.2005.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WildmanDS04,
author = {Luke Wildman and
Roger Duke and
Paul A. Strooper},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Viewpoint-Based Testing of Concurrent Components},
booktitle = {Integrated Formal Methods, 4th International Conference, {IFM} 2004,
Canterbury, UK, April 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2999},
pages = {501--520},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24756-2\_27},
doi = {10.1007/978-3-540-24756-2\_27},
timestamp = {Thu, 07 Apr 2022 08:44:27 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WildmanDS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LongDGSW04,
author = {Brad Long and
Roger Duke and
Doug Goldson and
Paul A. Strooper and
Luke Wildman},
title = {Mutation-Based Exploration of a Method for Verifying Concurrent Java
Components},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1303338},
doi = {10.1109/IPDPS.2004.1303338},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/LongDGSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/DukeMS04,
author = {Roger Duke and
Tim Miller and
Paul A. Strooper},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {Integrating Formal Specification and Software Verification and Validation},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {124--139},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_8},
doi = {10.1007/978-3-540-30472-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tfm/DukeMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/PollardD03,
author = {Janelle Pollard and
Roger Duke},
editor = {Vladan Devedzic and
J. Michael Spector and
Demetrios G. Sampson and
Kinshuk},
title = {Using Student-Computer Interactions to Categorize Educational Software},
booktitle = {2003 {IEEE} International Conference on Advanced Learning Technologies,
{ICALT} 2003, Athens, Greece, July 9-11, 2003},
pages = {302--303},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICALT.2003.1215094},
doi = {10.1109/ICALT.2003.1215094},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/PollardD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DukeWL03,
author = {Roger Duke and
Luke Wildman and
Brad Long},
title = {Modelling Java Concurrency with Object-Z},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {173--181},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236219},
doi = {10.1109/SEFM.2003.1236219},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DukeWL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/PollardD02,
author = {Janelle Pollard and
Roger Duke},
title = {A Software Design Process to Facilitate the Teaching of Mathematics},
booktitle = {International Conference on Computers in Education, {ICCE} 2002, Auckland,
New Zealand, December 3-6, 2002, Volume 2},
pages = {906--907},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CIE.2002.1186109},
doi = {10.1109/CIE.2002.1186109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icce/PollardD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/WinterD02,
author = {Kirsten Winter and
Roger Duke},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Model Checking Object-Z Using {ASM}},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {165--184},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_10},
doi = {10.1007/3-540-47884-1\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/WinterD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/KimCD01,
author = {Soon{-}Kyeong Kim and
David A. Carrington and
Roger Duke},
title = {A Metamodel-based transformation between {UML} and Object-Z},
booktitle = {2002 {IEEE} {CS} International Symposium on Human-Centric Computing
Languages and Environments {(HCC} 2001), September 5-7, 2001 Stresa,
Italy},
pages = {112--119},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HCC.2001.995246},
doi = {10.1109/HCC.2001.995246},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/KimCD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/DukeSBPM00,
author = {Roger Duke and
Eric Salzman and
Jay Burmeister and
Josiah Poon and
Leesa Murray},
editor = {Ainslie E. Ellis},
title = {Teaching programming to beginners - choosing the language is just
the first step},
booktitle = {Proceedings of the {ACM} {SIGCSE} 4th Australasian Conference on Computer
Science Education, {ACSE} 2000, Melbourne, Victoria, Australia, 2000},
series = {{ACM} International Conference Proceeding Series},
volume = {8},
pages = {79--86},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/359369.359381},
doi = {10.1145/359369.359381},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acse/DukeSBPM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oos/ButlerD98,
author = {Steven Butler and
Roger Duke},
title = {Defining composition operators for object interaction},
journal = {Object Oriented Syst.},
volume = {5},
pages = {1--16},
year = {1998},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oos/ButlerD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oos/DongDR97,
author = {Jin Song Dong and
Roger Duke and
Gordon A. Rose},
title = {An object-oriented denotational semantics of a small programming language},
journal = {Object Oriented Syst.},
volume = {4},
pages = {29--52},
year = {1997},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oos/DongDR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/Duke97,
author = {Roger Duke},
editor = {Harald S{\o}ndergaard and
A. John Hurst},
title = {In search of the inverse curriculum},
booktitle = {Proceedings of the {ACM} {SIGCSE} 2nd Australasian Conference on Computer
Science Education, {ACSE} 1997, Melbourne, Victoria, Australia, 1997},
series = {{ACM} International Conference Proceeding Series},
volume = {2},
pages = {65--70},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/299359.299370},
doi = {10.1145/299359.299370},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acse/Duke97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdse/DongZD97,
author = {Jin Song Dong and
Lin Zucconi and
Roger Duke},
title = {Specifying Parallel and Distributed Systems in Object-Z},
booktitle = {International Symposium on Software Engineering for Parallel and Distributed
Systems, {PDSE} 1997, Boston, MA, USA, May 17-18, 1997},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/PDSE.1997.596834},
doi = {10.1109/PDSE.1997.596834},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdse/DongZD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DukeBS96,
author = {Roger Duke and
Cecily Bailes and
Graeme Smith},
title = {A Blocking Model for Reactive Objects},
journal = {Formal Aspects Comput.},
volume = {8},
number = {3},
pages = {347--368},
year = {1996},
url = {https://doi.org/10.1007/BF01214919},
doi = {10.1007/BF01214919},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DukeBS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/Duke96,
author = {Roger Duke},
editor = {Alan D. Fekete and
John Rosenberg},
title = {The design of an experiential component for a formal methods computer
science subject},
booktitle = {Proceedings of the {ACM} {SIGCSE} 1st Australasian Conference on Computer
Science Education, {ACSE} 1996, Sydney, NSW, Australia, July 1996},
series = {{ACM} International Conference Proceeding Series},
volume = {1},
pages = {111--118},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/369585.369602},
doi = {10.1145/369585.369602},
timestamp = {Thu, 27 Aug 2020 11:23:10 +0200},
biburl = {https://dblp.org/rec/conf/acse/Duke96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SaekiD95,
author = {Motoshi Saeki and
Roger Duke},
title = {Guest Editor's Introduction},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {5},
number = {3},
pages = {325--326},
year = {1995},
url = {https://doi.org/10.1142/S0218194095000320},
doi = {10.1142/S0218194095000320},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/SaekiD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongRD95,
author = {Jin Song Dong and
Gordon A. Rose and
Roger Duke},
title = {The role of secondary attributes in formal object modelling},
booktitle = {1st {IEEE} International Conference on Engineering of Complex Computer
Systems {(ICECCS} '95), November 6-10, 1995, Fort Lauderdale, Florida,
{USA}},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICECCS.1995.479299},
doi = {10.1109/ICECCS.1995.479299},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongRD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/odp/DongD93,
author = {Jin Song Dong and
Roger Duke},
editor = {Jan de Meer and
Bernd Mahr and
Silke Storp},
title = {An Object-Oriented Approach to the Formal Specification of {ODP} Trader},
booktitle = {Open Distributed Processing, {II:} Proceedings of the {IFIP} {TC6/WG6.1}
International Conference on Open Distributed Processing, Berlin, Germany,
13-16 September 1993},
series = {{IFIP} Transactions},
volume = {{C-20}},
pages = {341--352},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 12:06:41 +0100},
biburl = {https://dblp.org/rec/conf/odp/DongD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/DongD93,
author = {Jin Song Dong and
Roger Duke},
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
title = {Class Union and Polymorphism},
booktitle = {Technology of Object-Oriented Languages and Systems Tools 12: Proceedings
of the twelfth International Conference Tools Pacific, Melbourne 1993.
Incorporating the proceedings of Tools 9, Sydney 1992},
pages = {181--190},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/DongD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Duke93,
author = {Roger Duke},
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
title = {Formal Methods for the Design and Specification of Object-Oriented
Systems},
booktitle = {Technology of Object-Oriented Languages and Systems Tools 12: Proceedings
of the twelfth International Conference Tools Pacific, Melbourne 1993.
Incorporating the proceedings of Tools 9, Sydney 1992},
pages = {324},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Tue, 15 May 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/Duke93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Duke93a,
author = {Roger Duke},
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
title = {Class Operators for Object Compatibility},
booktitle = {Technology of Object-Oriented Languages and Systems Tools 12: Proceedings
of the twelfth International Conference Tools Pacific, Melbourne 1993.
Incorporating the proceedings of Tools 9, Sydney 1992},
pages = {449--461},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Tue, 15 May 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/Duke93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Duke92,
author = {Roger Duke},
editor = {John Potter and
Mario Tokoro and
Bertrand Meyer},
title = {Case Studies in Object-Oriented Formal Specification},
booktitle = {{TOOLS} 1992: 6th International Conference on Technology of Object-Oriented
Languages and Systems, Sydney, Australia},
pages = {236},
publisher = {Prentice Hall},
year = {1992},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Duke92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChampeauxACDLLH91,
author = {Dennis de Champeaux and
Pierre America and
Derek Coleman and
Roger Duke and
Doug Lea and
Gary T. Leavens and
Fiona Hayes},
editor = {Andreas Paepcke},
title = {Formal Techniques for {OO} Software Development (Panel)},
booktitle = {Proceedings of the Sixth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1991, Phoenix, Arizona,
USA, October 6-11, 1991},
pages = {166--170},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/117954.117967},
doi = {10.1145/117954.117967},
timestamp = {Fri, 13 May 2022 10:26:32 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ChampeauxACDLLH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Duke91,
author = {Roger Duke},
editor = {Timothy D. Korson and
Vijay Vashnavi and
Bertrand Meyer},
title = {Formal Specification of Object-Oriented Systems},
booktitle = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {463--464},
publisher = {Prentice Hall},
year = {1991},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Duke91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/DukeKRS91,
author = {Roger Duke and
Paul King and
Gordon A. Rose and
Graeme Smith},
editor = {Timothy D. Korson and
Vijay Vashnavi and
Bertrand Meyer},
title = {Associated Paper: The Object-Z Specification Language},
booktitle = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {465--484},
publisher = {Prentice Hall},
year = {1991},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/DukeKRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DukeD90,
author = {David J. Duke and
Roger Duke},
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {Towards a Semantics for Object-Z},
booktitle = {{VDM} '90, {VDM} and {Z} - Formal Methods in Software Development,
Third International Symposium of {VDM} Europe, Kiel, FRG, April 17-21,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {428},
pages = {244--261},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52513-0\_14},
doi = {10.1007/3-540-52513-0\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DukeD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DukeRS90,
author = {Roger Duke and
Gordon A. Rose and
Graeme Smith},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {Transferring Formal Techniques to Industry},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {279--286},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/DukeRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/DukeRL90,
author = {Roger Duke and
Gordon A. Rose and
Anthony Lee},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Object-oriented protocol specification},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {325--338},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/DukeRL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/DukeS89,
author = {Roger Duke and
Graeme Smith},
title = {Temporal Logic and {Z} Specifications},
journal = {Aust. Comput. J.},
volume = {21},
number = {2},
pages = {62--66},
year = {1989},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/DukeS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CarringtonDDKRS89,
author = {David A. Carrington and
David J. Duke and
Roger Duke and
Paul King and
Gordon A. Rose and
Graeme Smith},
editor = {Son T. Vuong},
title = {Object-Z: An Object-Oriented Extension to {Z}},
booktitle = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
Second International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
BC, Canada, 5-8 December, 1989},
pages = {281--296},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CarringtonDDKRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/Duke88,
author = {Roger Duke},
title = {On Binary Reducibility},
journal = {Eur. J. Comb.},
volume = {9},
number = {2},
pages = {109--111},
year = {1988},
url = {https://doi.org/10.1016/S0195-6698(88)80034-9},
doi = {10.1016/S0195-6698(88)80034-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/Duke88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/DukeJR87,
author = {Roger Duke and
D. Johnston and
Gordon A. Rose},
title = {Specifying the Static Semantics of Block Structural Languages},
journal = {Aust. Comput. J.},
volume = {19},
number = {2},
pages = {99--104},
year = {1987},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/DukeJR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/Duke87,
author = {Roger Duke},
title = {Matroid Erection and Duality},
journal = {Eur. J. Comb.},
volume = {8},
number = {4},
pages = {367--370},
year = {1987},
url = {https://doi.org/10.1016/S0195-6698(87)80044-6},
doi = {10.1016/S0195-6698(87)80044-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/Duke87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2024-04-24 22:48 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:
