Jonathan Allen

2006
18	EE	Lilian Atieno, Jonathan Allen, Dennis Goeckel, Russell Tessier: An adaptive Reed-Solomon errors-and-erasures decoder. FPGA 2006: 150-158
1994
17		Cyrus Bamji, Jonathan Allen: GLOVE: A Graph-Based Layout Verifier. VLSI Design 1994: 215-220
16	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
15	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
14	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
13	EE	Robert C. Armstrong, Jonathan Allen: FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases. ICCAD 1992: 336-343
12	EE	Stephen W. Director, Jonathan Allen, J. Duley: Engineering education: trends and needs (panel). ICCAD 1992: 456
11		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
10		Filip Van Aelten, Jonathan Allen, Srinivas Devadas: Verification of Relations Between Synchronous Machines. ICCAD 1991: 380-383
1990
9	EE	Steven Paul McCormick, Jonathan Allen: Waveform Moment Methods for Improved Interconnection Analysis. DAC 1990: 406-412
1989
8	EE	Cyrus Bamji, Jonathan Allen: GRASP: A Grammar-based Schematic Parser. DAC 1989: 448-453
1988
7	EE	Donald G. Baltus, Jonathan Allen: SOLO: A Generator of Efficient Layouts from Optimized MOS Circuit Schematics. DAC 1988: 445-452
6	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
5	EE	Sching L. Lin, Jonathan Allen: Minplex - a compactor that minimizes the bounding rectangle and individual rectangles in a layout. DAC 1986: 123-130
4		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
3	EE	Cyrus Bamji, Charles E. Hauck, Jonathan Allen: A design by example regular structure generator. DAC 1985: 16-22
1979
2	EE	Jonathan Allen: Toward a Computational Theory of Speech Perception. ACL 1979
1976
1		Jonathan Allen: A Course in Computer Structures. ISCA 1976: 28-32

Coauthor Index

1	Filip Van Aelten	[10] [14] [15] [16]
2	Robert C. Armstrong	[13]
3	Lilian Atieno	[18]
4	Yannis Bakos	[11]
5	Donald G. Baltus	[7]
6	Cyrus Bamji	[3] [8] [17]
7	Lynne Michelle Brocco	[6]
8	Srinivas Devadas	[10] [14] [15] [16]
9	Stephen W. Director	[12]
10	J. Duley	[12]
11	Lance A. Glasser	[4]
12	Dennis Goeckel	[18]
13	Vijay Gurbaxani	[11]
14	Charles E. Hauck	[3]
15	John Leslie King	[11]
16	Rob Kling	[11]
17	Kenneth L. Kraemer	[11]
18	Charles E. Leiserson	[4]
19	Stan Y. Liao	[14]
20	Sching L. Lin	[5]
21	Steven Paul McCormick	[6] [9]
22	Paul Penfield Jr.	[4]
23	Russell Tessier	[18]
24	John L. Wyatt Jr.	[4]
25	Richard E. Zippel	[4]

Colors in the list of coauthors