On the Time Overhead of Counters and Traversal Markers. - Ira R. Forman (ICSE, 1981)

Global Data Flow Analysis by Decomposition into Primes. - Ira R. Forman (ICSE, 1982)

TABLE: Object Oriented Editing of Complex Structures. - Ted J. Biggerstaff; D. Mack Endres; Ira R. Forman (ICSE, 1984)

An Algebra for Data Flow Anomaly Detection. - Ira R. Forman (ICSE, 1984)

Psychological perspectives for software science. - Bill Curtis; Ira R. Forman; Ruven E. Brooks; Elliot Soloway; Kate Ehrlich (Inf. Process. Manag., 1984)

Petri - A UNIX Tool for the Analysis of Petri-Nets. - Ira R. Forman (FJCC, 1986)

Using Raddle To Design Distributed Systems. - Michael Evangelist; Vincent Y. Shen; Ira R. Forman; Mike Graf 002 (ICSE, 1988)

Design by decomposition of multiparty interactions in Raddle87. - Ira R. Forman (IWSSD, 1989)

Superimposition for Interacting Processes. - Nissim Francez; Ira R. Forman (CONCUR, 1990)

Conflict Propogation. - Nissim Francez; Ira R. Forman (ICCL, 1990)

On Fairness as an Abstraction for the Design of Distributed Systems. - Paul C. Attie; Ira R. Forman; Eliezer Levy (ICDCS, 1990)

Language Constructs for Distributed Systems. - Shmuel Katz; Ira R. Forman; Michael Evangelist (Programming Concepts and Methods, 1990)

Interacting processes: a language for coordinated distributed programming. - Nissim Francez; Ira R. Forman (Jerusalem Conference on Information Technology, 1990)

Synchrony Loosening Transformations for Interacting Processes. - Nissim Francez; Ira R. Forman (CONCUR, 1991)

Reflections on Metaclass Rorgramming in SOM. - Scott Danforth; Ira R. Forman (OOPSLA, 1994)

Composition of Before/After Metaclasses in SOM. - Ira R. Forman; Scott Danforth; Hari Madduri (OOPSLA, 1994)

Derived Metaclasses in SOM. - Scott Danforth; Ira R. Forman (TOOLS (13), 1994)

Release-to-Release Binary Compatibility in SOM. - Ira R. Forman; Michael H. Conner; Scott Danforth; Larry K. Raper (OOPSLA, 1995)

Interacting processes - a multiparty approach to coordinated distributed processing. - Nissim Francez; Ira R. Forman (Addison-Wesley, 1996)

Putting Metaclasses to Work. - Ira R. Forman (TOOLS (26), 1998)

Declarable Modifiers: A Proposal to Increase the Efficacy of Metaclasses. - Ira R. Forman (Reflection and Software Engineering, 1999)

Using ASR for Transcription of Teleconferences in IM Systems. - Ira R. Forman; Thomas Brunet; Paul Luther; Allen Wilson (HCI (7), 2009)

Blue herd: automated captioning for videoconferences. - Ira R. Forman; Ben Fletcher; John Hartley; Bill Rippon; Allen Wilson (ASSETS, 2012)