| 2006 |
| 19 | EE | Lilian Atieno,
Jonathan Allen,
Dennis Goeckel,
Russell Tessier:
An adaptive Reed-Solomon errors-and-erasures decoder.
FPGA 2006: 150-158 |
| 1994 |
| 18 | | Cyrus Bamji,
Jonathan Allen:
GLOVE: A Graph-Based Layout Verifier.
VLSI Design 1994: 215-220 |
| 17 | EE | Filip Van Aelten,
Jonathan Allen,
Srinivas Devadas:
Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs.
IEEE Trans. on CAD of Integrated Circuits and Systems 13(1): 122-134 (1994) |
| 1993 |
| 16 | EE | Filip Van Aelten,
Jonathan Allen,
Srinivas Devadas:
Verification of relations between synchronous machines.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1947-1959 (1993) |
| 1992 |
| 15 | EE | Filip Van Aelten,
Stan Y. Liao,
Jonathan Allen,
Srinivas Devadas:
Automatic generation and verification of sufficient correctness properties for synchronous processors.
ICCAD 1992: 183-187 |
| 14 | EE | Robert C. Armstrong,
Jonathan Allen:
FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases.
ICCAD 1992: 336-343 |
| 13 | EE | Stephen W. Director,
Jonathan Allen,
J. Duley:
Engineering education: trends and needs (panel).
ICCAD 1992: 456 |
| 12 | | Rob Kling,
Kenneth L. Kraemer,
Jonathan Allen,
Yannis Bakos,
Vijay Gurbaxani,
John Leslie King:
Information Systems in Manufacturing Coordination: Economic and Social Perspectives.
ICIS 1992: 31-41 |
| 1991 |
| 11 | | Filip Van Aelten,
Jonathan Allen,
Srinivas Devadas:
Verification of Relations Between Synchronous Machines.
ICCAD 1991: 380-383 |
| 1990 |
| 10 | EE | Steven Paul McCormick,
Jonathan Allen:
Waveform Moment Methods for Improved Interconnection Analysis.
DAC 1990: 406-412 |
| 1989 |
| 9 | EE | Cyrus Bamji,
Jonathan Allen:
GRASP: A Grammar-based Schematic Parser.
DAC 1989: 448-453 |
| 1988 |
| 8 | EE | Donald G. Baltus,
Jonathan Allen:
SOLO: A Generator of Efficient Layouts from Optimized MOS Circuit Schematics.
DAC 1988: 445-452 |
| 7 | EE | Lynne Michelle Brocco,
Steven Paul McCormick,
Jonathan Allen:
Macromodeling CMOS circuits for timing simulation.
IEEE Trans. on CAD of Integrated Circuits and Systems 7(12): 1237-1249 (1988) |
| 1986 |
| 6 | EE | Sching L. Lin,
Jonathan Allen:
Minplex - a compactor that minimizes the bounding rectangle and individual rectangles in a layout.
DAC 1986: 123-130 |
| 5 | | Richard E. Zippel,
Paul Penfield Jr.,
Lance A. Glasser,
Charles E. Leiserson,
John L. Wyatt Jr.,
Jonathan Allen:
Recent Results in VLSI CAD at MIT.
FJCC 1986: 871-877 |
| 1985 |
| 4 | EE | Cyrus Bamji,
Charles E. Hauck,
Jonathan Allen:
A design by example regular structure generator.
DAC 1985: 16-22 |
| 1979 |
| 3 | EE | Jonathan Allen:
Toward a Computational Theory of Speech Perception.
ACL 1979 |
| 1976 |
| 2 | | Jonathan Allen:
A Course in Computer Structures.
ISCA 1976: 28-32 |
| 1968 |
| 1 | EE | Jonathan Allen:
Machine-to-man communication by speech part II: synthesis of prosodic features of speech by rule.
AFIPS Spring Joint Computing Conference 1968: 339-344 |