Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Gordon A. Rose
@inproceedings{DBLP:conf/icfem/Rose98, author = {Gordon A. Rose}, title = {From Monolithic to Modular Formal Specification}, booktitle = {Second {IEEE} International Conference on Formal Engineering Methods, {ICFEM} 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings}, pages = {122--133}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/ICFEM.1998.730576}, doi = {10.1109/ICFEM.1998.730576}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/Rose98.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/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} }
@incollection{DBLP:conf/zum/Rose92, author = {Gordon A. Rose}, editor = {Susan Stepney and Rosalind Barden and David Cooper}, title = {Object-Z}, booktitle = {Object Orientation in {Z}}, series = {Workshops in Computing}, pages = {59--77}, publisher = {Springer}, year = {1992}, timestamp = {Wed, 22 Nov 2017 13:50:40 +0100}, biburl = {https://dblp.org/rec/conf/zum/Rose92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/1991, editor = {Ken R. Parker and Gordon A. Rose}, title = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1} Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, {FORTE} '91, Sydney, Australia, 19-22 November 1991}, series = {{IFIP} Transactions}, volume = {{C-2}}, publisher = {North-Holland}, year = {1992}, isbn = {0-444-89402-0}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/1991.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/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} }
@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} }
@inproceedings{DBLP:conf/pstv/HayesMR89, author = {Ian J. Hayes and M. Mowbray and Gordon A. Rose}, editor = {Ed Brinksma and Giuseppe Scollo and Chris A. Vissers}, title = {Signalling System No.7, The Network Layer}, booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989}, pages = {3--14}, publisher = {North-Holland}, year = {1989}, timestamp = {Thu, 03 Jan 2002 12:07:46 +0100}, biburl = {https://dblp.org/rec/conf/pstv/HayesMR89.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/acj/WelshRL86, author = {Jim Welsh and Gordon A. Rose and M. Lloyd}, title = {An Adaptive Program Editor}, journal = {Aust. Comput. J.}, volume = {18}, number = {2}, pages = {67--74}, year = {1986}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acj/WelshRL86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/RoseR83, author = {Gordon A. Rose and Tim Roper}, editor = {R. E. A. Mason}, title = {Generation of Program-Preparation Systems for Formatted Programming Languages}, booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer Congress, Paris, France, September 19-23, 1983}, pages = {931--936}, publisher = {North-Holland/IFIP}, year = {1983}, timestamp = {Sun, 28 Jul 2019 17:03:41 +0200}, biburl = {https://dblp.org/rec/conf/ifip/RoseR83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/RoseW81, author = {Gordon A. Rose and Jim Welsh}, title = {Formatted Programming Language}, journal = {Softw. Pract. Exp.}, volume = {11}, number = {7}, pages = {649--670}, year = {1981}, url = {https://doi.org/10.1002/spe.4380110702}, doi = {10.1002/SPE.4380110702}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/RoseW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/Rose68, author = {Gordon A. Rose}, editor = {A. J. H. Morrel}, title = {Computer graphics communication systems}, booktitle = {Information Processing, Proceedings of {IFIP} Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2 - Hardware, Applications}, pages = {692--703}, year = {1968}, timestamp = {Fri, 26 Jul 2019 15:39:52 +0200}, biburl = {https://dblp.org/rec/conf/ifip/Rose68.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/Rose67, author = {Gordon A. Rose}, title = {"Intergraphic, " {A} Microprogrammed Graphical-Interface Computer}, journal = {{IEEE} Trans. Electron. Comput.}, volume = {16}, number = {6}, pages = {773--784}, year = {1967}, url = {https://doi.org/10.1109/PGEC.1967.264723}, doi = {10.1109/PGEC.1967.264723}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/Rose67.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/Rose65, author = {Gordon A. Rose}, title = {"Light-Pen"' Facilities for Direct View Storage Tubes-An Economical Solution for Multiple Man-Machine Communication}, journal = {{IEEE} Trans. Electron. Comput.}, volume = {14}, number = {4}, pages = {637--639}, year = {1965}, url = {https://doi.org/10.1109/PGEC.1965.264009}, doi = {10.1109/PGEC.1965.264009}, timestamp = {Wed, 20 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/Rose65.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/AllenPPRS63, author = {M. W. Allen and Trevor Pearcey and John P. Penny and Gordon A. Rose and J. G. Sanderson}, title = {CIRRUS, An Economical Multiprogram Computer with Microprogram Control}, journal = {{IEEE} Trans. Electron. Comput.}, volume = {12}, number = {6}, pages = {663--671}, year = {1963}, url = {https://doi.org/10.1109/PGEC.1963.263550}, doi = {10.1109/PGEC.1963.263550}, timestamp = {Thu, 05 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/AllenPPRS63.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.