| 2012 | ASSETS | Blue herd: automated captioning for videoconferences. | Ira R. Forman, Ben Fletcher, John Hartley, Bill Rippon, Allen Wilson |
| 2009 | HCI | Using ASR for Transcription of Teleconferences in IM Systems. | Ira R. Forman, Thomas Brunet, Paul Luther, Allen Wilson |
| 1995 | OOPSLA | Release-to-Release Binary Compatibility in SOM. | Ira R. Forman, Michael H. Conner, Scott Danforth, Larry K. Raper |
| 1994 | OOPSLA | Reflections on Metaclass Rorgramming in SOM. | Scott Danforth, Ira R. Forman |
| 1994 | OOPSLA | Composition of Before/After Metaclasses in SOM. | Ira R. Forman, Scott Danforth, Hari Madduri |
| 1991 | CONCUR | Synchrony Loosening Transformations for Interacting Processes. | Nissim Francez, Ira R. Forman |
| 1990 | CONCUR | Superimposition for Interacting Processes. | Nissim Francez, Ira R. Forman |
| 1990 | ICDCS | On Fairness as an Abstraction for the Design of Distributed Systems. | Paul C. Attie, Ira R. Forman, Eliezer Levy |
| 1988 | ICSE | Using Raddle To Design Distributed Systems. | Michael Evangelist, Vincent Y. Shen, Ira R. Forman, Mike Graf |
| 1984 | ICSE | TABLE: Object Oriented Editing of Complex Structures. | Ted J. Biggerstaff, D. Mack Endres, Ira R. Forman |
| 1984 | ICSE | An Algebra for Data Flow Anomaly Detection. | Ira R. Forman |
| 1982 | ICSE | Global Data Flow Analysis by Decomposition into Primes. | Ira R. Forman |
| 1981 | ICSE | On the Time Overhead of Counters and Traversal Markers. | Ira R. Forman |