The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jonathan Jacky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan Jacky
    Specifying a Safety-Critical Control System in Z. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:388-402 [Conf]
  2. Jonathan Jacky
    Model-Based Testing with Spec#. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:5-6 [Conf]
  3. Jonathan Jacky, Ira Kalet
    An Object-Oriented Approach to a Large Scientific Application. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1986, pp:368-376 [Conf]
  4. Jonathan Jacky
    Formal Specification and Development of Control System Input/Output. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1992, pp:95-108 [Conf]
  5. Jonathan Jacky
    Analyzing a Real-Time Program with Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:136-153 [Conf]
  6. Jonathan Jacky, Jonathan Unger
    From Z to Code: A Graphical User Interface for a Radiostation Therapy Machine. [Citation Graph (0, 0)][DBLP]
    ZUM, 1995, pp:315-333 [Conf]
  7. Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, Ruedi Risler
    Experience with Z Developing a Control Program for a Radiation Therapy Machine. [Citation Graph (0, 0)][DBLP]
    ZUM, 1997, pp:317-328 [Conf]
  8. Jonathan Jacky
    Inside Risks: Risks in Medical Electronics. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1990, v:33, n:12, pp:138- [Journal]
  9. Jonathan Jacky, Ira Kalet
    A General Purpose Data Entry Program. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1983, v:26, n:6, pp:409-417 [Journal]
  10. Jonathan Jacky, Ira Kalet
    An Object-Oriented Programming Discipline for Standard Pascal. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:9, pp:772-776 [Journal]
  11. Doug Schuler, Jonathan Jacky
    Introduction - Computing and Social Responsibilities. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1989, v:32, n:8, pp:925-927 [Journal]
  12. Ira J. Kalet, Robert S. Giansiracusa, Jonathan Jacky, Drora Avitan
    A declarative implementation of the DICOM-3 network protocol. [Citation Graph (0, 0)][DBLP]
    Journal of Biomedical Informatics, 2003, v:36, n:3, pp:159-176 [Journal]
  13. Jonathan Jacky
    Specifying a Safety-Critical Control System in Z. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:99-106 [Journal]

  14. Model-Based Testing of Web Applications Using NModel. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002