A Hands-On Look at Java Mobile Agents. - Joseph Kiniry; Daniel M. Zimmerman (IEEE Internet Comput., 1997)

Webs of Archived Distributed Computations for Asynchronous Collaboration. - K. Mani Chandy; Joseph Kiniry; Adam Rifkin; Daniel M. Zimmerman (J. Supercomput., 1997)

A Framework for Structured Distributed Object Computing. - K. Mani Chandy; Joseph Kiniry; Adam Rifkin; Daniel M. Zimmerman (Parallel Comput., 1998)

Applying the Distributed Programming Paradigm to Improve Scalability in Multi-user Environments. - Erich R. Schmidt; Cristian Tapus; Daniel M. Zimmerman (ECOOP Workshops, 1999)

Multi-user Object-Oriented Environments. - Ivan Tomek; Alicia Díaz; Ronald Melster; António Rito Silva; Miguel Antunes; Vinny Cahill; Zièd Choukair; Alejandro Fernández; Mads Haahr; Eric Jul; Atsushi Ohnishi; Luís E. T. Rodrigues; et al. (ECOOP Workshops, 1999)

Dynamic UNITY. - Daniel M. Zimmerman (2002)

A UNITY-Based Formalism for Dynamic Distributed Systems. - Daniel M. Zimmerman (IPDPS, 2003)

Rewriting UNITY. - Adam Granicz; Daniel M. Zimmerman; Jason Hickey (RTA, 2003)

A Parallel Algorithm for Correlating Event Streams. - Daniel M. Zimmerman; K. Mani Chandy (IPDPS, 2005)

Enterprise Computing Systems as Information Factories. - K. Mani Chandy; Lu Tian; Daniel M. Zimmerman (EDOC, 2006)

Snapshot Processing in Streaming Environments. - Daniel M. Zimmerman; K. Mani Chandy (GRID, 2006)

Secret Ninja Formal Methods. - Joseph R. Kiniry; Daniel M. Zimmerman (FM, 2008)

A Verification-Centric Software Development Process for Java. - Daniel M. Zimmerman; Joseph R. Kiniry (QSIC, 2009)

JMLUnit: The Next Generation. - Daniel M. Zimmerman; Rinkesh Nagmoti (FoVeOOS, 2010)

Toward instant gradeification. - Daniel M. Zimmerman; Joseph R. Kiniry; Fintan Fairmichael (CSEE&T, 2011)

Testing Library Specifications by Verifying Conformance Tests. - Joseph R. Kiniry; Daniel M. Zimmerman; Ralph Hyland (TAP@TOOLS, 2012)

Modularizing crosscutting contracts with AspectJML. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY (Companion), 2014)

AspectJML: modular specification and runtime checking for crosscutting contracts. - Henrique Rebêlo; Gary T. Leavens; Mehdi Bagherzadeh 001; Hridesh Rajan; Ricardo Massa Ferreira Lima; Daniel M. Zimmerman; Márcio Cornélio; Thomas Thüm (MODULARITY, 2014)

Formal Verification of Flow Equivalence in Desynchronized Designs. - Jennifer Paykin; Brian Huffman; Daniel M. Zimmerman; Peter A. Beerel (ASYNC, 2020)