| 1999 |
| 17 | EE | Ira R. Forman:
Declarable Modifiers: A Proposal to Increase the Efficacy of Metaclasses.
Reflection and Software Engineering 1999: 39-57 |
| 1998 |
| 16 | EE | Ira R. Forman:
Putting Metaclasses to Work.
TOOLS (26) 1998: 447 |
| 1995 |
| 15 | | Ira R. Forman,
Michael H. Conner,
Scott Danforth,
Larry K. Raper:
Release-to-Release Binary Compatibility in SOM.
OOPSLA 1995: 426-438 |
| 1994 |
| 14 | | Ira R. Forman,
Scott Danforth,
Hari Madduri:
Composition of Before/After Metaclasses in SOM.
OOPSLA 1994: 427-439 |
| 13 | | Scott Danforth,
Ira R. Forman:
Reflections on Metaclass Rorgramming in SOM.
OOPSLA 1994: 440-452 |
| 12 | | Scott Danforth,
Ira R. Forman:
Derived Metaclasses in SOM.
TOOLS (13) 1994: 63-73 |
| 1991 |
| 11 | | Nissim Francez,
Ira R. Forman:
Synchrony Loosening Transformations for Interacting Processes.
CONCUR 1991: 203-219 |
| 1990 |
| 10 | | Nissim Francez,
Ira R. Forman:
Superimposition for Interacting Processes.
CONCUR 1990: 230-245 |
| 9 | | Nissim Francez,
Ira R. Forman:
Conflict Propogation.
ICCL 1990: 155-168 |
| 8 | | Paul C. Attie,
Ira R. Forman,
Eliezer Levy:
On Fairness as an Abstraction for the Design of Distributed Systems.
ICDCS 1990: 150-157 |
| 1988 |
| 7 | | Michael Evangelist,
V. Y. Shen,
Ira R. Forman,
M. Graf:
Using Raddle To Design Distributed Systems.
ICSE 1988: 102-115 |
| 1986 |
| 6 | | Ira R. Forman:
Petri - A UNIX Tool for the Analysis of Petri-Nets.
FJCC 1986: 1092-1098 |
| 1984 |
| 5 | | Ira R. Forman:
An Algebra for Data Flow Anomaly Detection.
ICSE 1984: 278-287 |
| 4 | | Ted J. Biggerstaff,
D. M. Endres,
Ira R. Forman:
TABLE: Object Oriented Editing of Complex Structures.
ICSE 1984: 334-345 |
| 3 | EE | B. Curtis,
Ira R. Forman,
R. Brooks,
Elliot Soloway,
Kate Ehrlich:
Psychological perspectives for software science.
Inf. Process. Manage. 20(1-2): 81-96 (1984) |
| 1982 |
| 2 | | Ira R. Forman:
Global Data Flow Analysis by Decomposition into Primes.
ICSE 1982: 386-392 |
| 1981 |
| 1 | | Ira R. Forman:
On the Time Overhead of Counters and Traversal Markers.
ICSE 1981: 164-169 |