Search the dblp DataBase
Joseph Kiniry :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David R. Cok , Joseph Kiniry ESC/Java2: Uniting ESC/Java and JML. [Citation Graph (0, 0)][DBLP ] CASSIS, 2004, pp:108-128 [Conf ] Alessandro Coglio , Marieke Huisman , Joseph Kiniry , Peter Müller , Erik Poll Formal Techniques for Java-Like Programs (FTfJP). [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 2004, pp:76-83 [Conf ] Bart Jacobs , Joseph Kiniry , Martijn Warnier Java Program Verification Challenges. [Citation Graph (0, 0)][DBLP ] FMCO, 2002, pp:202-219 [Conf ] K. Mani Chandy , Paolo A. G. Sivilotti , Joseph Kiniry A Cottage Industry of Software Publishing: Implications for Theories of Composition. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1998, pp:890-899 [Conf ] Joseph Kiniry Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Joseph Kiniry Semantic Properties for Lightweight Specification in Knowledgeable Development Environments [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Joseph Kiniry Semantic Component Composition [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Lilian Burdy , Yoonsik Cheon , David R. Cok , Michael D. Ernst , Joseph Kiniry , Gary T. Leavens , K. Rustan M. Leino , Erik Poll An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] Joseph Kiniry Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:81-103 [Journal ] Joseph Kiniry Wavelength Division Multiplexing: Ultra High Speed Fiber Optics. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 1998, v:2, n:2, pp:13-15 [Journal ] Joseph Kiniry , Christopher Metz Cable Modems: Cable TV Delivers the Internet. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 1998, v:2, n:3, pp:12-15 [Journal ] Joseph Kiniry , Daniel M. Zimmerman A Hands-On Look at Java Mobile Agents. [Citation Graph (0, 0)][DBLP ] IEEE Internet Computing, 1997, v:1, n:4, pp:21-30 [Journal ] K. Mani Chandy , Joseph Kiniry , Adam Rifkin , Daniel M. Zimmerman A Framework for Structured Distributed Object Computing. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 1998, v:24, n:12-13, pp:1901-1922 [Journal ] K. Mani Chandy , Joseph Kiniry , Adam Rifkin , Daniel M. Zimmerman Webs of Archived Distributed Computations for Asynchronous Collaboration. [Citation Graph (0, 0)][DBLP ] The Journal of Supercomputing, 1997, v:11, n:2, pp:101-118 [Journal ] Joseph Kiniry Formally Counting Electronic Votes (But Still Only Trusting Paper). [Citation Graph (0, 0)][DBLP ] ICECCS, 2007, pp:261-269 [Conf ] Program Safety via Programmer Safety. [Citation Graph (, )][DBLP ] Reasoning about Feature Models in Higher-Order Logic. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs