Author: Michael G. Hinchey
Publication Overview
Publication period start: 2006
Number of co-authors: 28
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Hinchey,
Michael G.,
Sterritt,
Roy,
Rouff,
Christopher A.
(2007):
Swarms and Swarm Intelligence.
In
IEEE Computer,
40
(4)
pp. 111-113.
https://doi.ieeecomputersociety.org/10.1109/MC.2007.144
Bowen,
Jonathan P.,
Hinchey,
Michael G.
(2006):
Ten Commandments of Formal Methods ...Ten Years Later.
In
IEEE Computer,
39
(1)
pp. 40-48.
https://doi.ieeecomputersociety.org/10.1109/MC.2006.35
Carver,
Doris L.,
Hoelzeman,
Ronald G.,
Aylor,
James H.,
Hinchey,
Michael G.
(2006):
Special Issue Introduction: The IEEE Computer Society\'s 60th Anniversary.
In
IEEE Computer,
39
(10)
pp. 22-25.
https://doi.ieeecomputersociety.org/10.1109/MC.2006.356
Hinchey,
Michael G.,
Sterritt,
Roy
(2006):
Self-Managing Software.
In
IEEE Computer,
39
(2)
pp. 107-109.
https://doi.ieeecomputersociety.org/10.1109/MC.2006.69
Peña,
Joaquín,
Hinchey,
Michael G.,
Cortés,
Antonio Ruiz
(2006):
Multi-agent system product lines: challenges and benefits.
In
Communications of the ACM,
49
(12)
pp. 82-84.
https://dl.acm.org/doi/10.1145/1183272
Bowen,
Jonathan P.,
Butler,
Ricky W.,
Dill,
David L.,
Glass,
Robert L.,
Gries,
David,
Hall,
Anthony,
Hinchey,
Michael G.,
Holloway,
C. Michael,
Jackson,
Daniel,
Jones,
Cliff B.,
Lutz,
Michael J.,
Parnas,
David Lorge,
Rushby,
John M.,
Wing,
Jeannette M.,
Zave,
Pamela
(1996):
An Invitation to Formal Methods.
In
IEEE Computer,
29
(4)
pp. 16-30.
Bowen,
Jonathan P.,
Hinchey,
Michael G.
(1995):
Ten Commandments of Formal Methods.
In
IEEE Computer,
28
(4)
pp. 56-63.
Hinchey,
Michael G.,
Cahill,
Tony
(1992):
Towards a Canonical Specification of Document Structures.
In:
ACM Tenth International Conference on Systems Documentation
,
1992,
.
pp. 297-307.
https://www.acm.org/pubs/articles/proceedings/doc/147001/p297-hinchey/p297-hinchey.pdf
Cahill,
Tony,
Hinchey,
Michael G.,
Relihan,
Liam
(1993):
Documents are Programs.
In:
ACM Eleventh International Conference on Systems Documentation
,
1993,
.
pp. 43-55.
https://www.acm.org/pubs/articles/proceedings/doc/166025/p43-cahill/p43-cahill.pdf
Relihan,
Liam,
Cahill,
Tony,
Hinchey,
Michael G.
(1994):
Untangling the World-Wide Web.
In:
ACM Twelfth International Conference on Systems Documentation
,
1994,
.
pp. 17-24.
https://www.acm.org/pubs/articles/proceedings/doc/192506/p17-relihan/p17-relihan.pdf
Broggi,
Alberto,
Hinchey,
Michael G.,
Stoyen,
Alexander D.
(1998):
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologi.
In:
HICSS 1998
,
1998,
.
pp. 148-149.
https://csdl.computer.org/comp/proceedings/hicss/1998/8239/03/82390148abs.htm
Hassan,
Riham,
Bohner,
Shawn A.,
El-Kassas,
Sherif,
Hinchey,
Michael G.
(2009):
Integrating Formal Analysis and Design to Preserve Security Properties.
In:
HICSS 2009 - 42st Hawaii International International Conference on Systems Science
5-8 January,
2009,
Waikoloa, Big Island, HI, USA.
pp. 1-10.
https://dx.doi.org/10.1109/HICSS.2009.267