Jonathan Jacky Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Margus Veanes, Jonathan Jacky: Composing model programs for analysis. J. Log. Algebr. Program. 79(7): 467-482 (2010)
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes: Model-Based Testing of Web Applications Using NModel. TestCom/FATES 2009: 211-216
2004
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky: Model-Based Testing with Spec#. ICFEM 2004: 5-6
2003
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ira J. Kalet, Robert S. Giansiracusa, Jonathan Jacky, Drora Avitan: A declarative implementation of the DICOM-3 network protocol. Journal of Biomedical Informatics 36(3): 159-176 (2003)
1998
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky: Analyzing a Real-Time Program with Z. ZUM 1998: 136-153
1997
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler: Experience with Z Developing a Control Program for a Radiation Therapy Machine. ZUM 1997: 317-328
1995
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky: Specifying a Safety-Critical Control System in Z. IEEE Trans. Software Eng. 21(2): 99-106 (1995)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky, Jonathan Unger: From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. ZUM 1995: 315-333
1993
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky: Specifying a Safety-Critical Control System in Z. FME 1993: 388-402
1992
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky: Formal Specification and Development of Control System Input/Output. Z User Workshop 1992: 95-108
1990
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky: Inside Risks: Risks in Medical Electronics. Commun. ACM 33(12): 138 (1990)
1989
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Doug Schuler, Jonathan Jacky: Introduction - Computing and Social Responsibilities. Commun. ACM 32(8): 925-927 (1989)
1987
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky, Ira Kalet: An Object-Oriented Programming Discipline for Standard Pascal. Commun. ACM 30(9): 772-776 (1987)
1986
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky, Ira Kalet: An Object-Oriented Approach to a Large Scientific Application. OOPSLA 1986: 368-376
1983
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jonathan Jacky, Ira Kalet: A General Purpose Data Entry Program. Commun. ACM 26(6): 409-417 (1983)

Coauthor Index

1Drora Avitan
[j6]
2Juhan P. Ernits
[c8]
3Robert S. Giansiracusa
[j6]
4Ira J. Kalet (Ira Kalet)
[j6] [j2] [c1] [j1]
5Michael Patrick
[c5]
6David Reid
[c5]
7Ruedi Risler
[c5]
8Rivo Roo
[c8]
9Doug Schuler (Douglas Schuler)
[j3]
10Jonathan Unger
[c5] [c4]
11Margus Veanes
[j7] [c8]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 13:35:30 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page