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 |