Alain J. Martin

2006
42	EE	Piyush Prakash, Alain J. Martin: Slack Matching Quasi Delay-Insensitive Circuits. ASYNC 2006: 195-204
41	EE	Alain J. Martin: Can Asynchronous Techniques Help the SoC Designer? VLSI-SoC 2006: 7-11
2005
40	EE	Wonjin Jang, Alain J. Martin: SEU-Tolerant QDI Circuits. ASYNC 2005: 156-165
2004
39	EE	Mika Nyström, Elaine Ou, Alain J. Martin: An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. ASYNC 2004: 229-239
2003
38	EE	Alain J. Martin, Mika Nyström, Karl Papadantonakis, Paul I. Pénzes, Piyush Prakash, Catherine G. Wong, Jonathan Chang, Kevin S. Ko, Benjamin Lee, Elaine Ou, James Pugh, Eino-Ville Talvala, James T. Tong, Ahmet Tura: The Lutonium: A Sub-Nanojoule Asynchronous 8051 Microcontroller. ASYNC 2003: 14-23
37	EE	Catherine G. Wong, Alain J. Martin: High-level synthesis of asynchronous systems by data-driven decomposition. DAC 2003: 508-513
36	EE	Alain J. Martin, Mika Nyström, Catherine G. Wong: Three Generations of Asynchronous Microprocessors. IEEE Design & Test of Computers 20(6): 9-17 (2003)
2002
35	EE	Paul I. Pénzes, Alain J. Martin: Energy-delay efficiency of VLSI computations. ACM Great Lakes Symposium on VLSI 2002: 104-111
34	EE	Paul I. Pénzes, Alain J. Martin: An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor. DATE 2002: 640-649
33	EE	Paul I. Pénzes, Mika Nyström, Alain J. Martin: Transistor sizing of energy-delay--efficient circuits. Timing Issues in the Specification and Synthesis of Digital Systems 2002: 126-133
2001
32	EE	Rajit Manohar, Mika Nyström, Alain J. Martin: Precise Exceptions in Asynchronous Processors. ARVLSI 2001: 16-28
31	EE	Alain J. Martin: Towards an energy complexity of computation. Inf. Process. Lett. 77(2-4): 181-187 (2001)
1999
30	EE	Rajit Manohar, Tak-Kwan Lee, Alain J. Martin: Projection: A Synthesis Technique for Concurrent Systems. ASYNC 1999: 125-134
1998
29	EE	Rajit Manohar, Alain J. Martin: Slack Elasticity in Concurrent Computing. MPC 1998: 272-285
1997
28	EE	Alain J. Martin, Andrew Lines, Rajit Manohar, Mika Nyström, Paul I. Pénzes, Robert Southworth, Uri Cummings: The Design of an Asynchronous MIPS R3000 Microprocessor. ARVLSI 1997: 164-181
1996
27		Alain J. Martin: A program transformation approach to asynchronous VLSI design. NATO ASI DPD 1996: 441-467
26		Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996)
1995
25		Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179
1994
24	EE	José A. Tierno, Alain J. Martin, Drazen Borkovic, Tak-Kwan Lee: A 100-MIPS GaAs Asynchronous Microprocessor. IEEE Design & Test of Computers 11(2): 43-49 (1994)
1992
23		Alain J. Martin: Tomorrow's Digital Hardware will be Asynchronous and Verified. IFIP Congress (1) 1992: 684-695
22		Alain J. Martin: Translating Concurrent Programs into VLSI Chips. PARLE 1992: 515-532
21		Alain J. Martin: Asynchronous Datapaths and the Design of an Asynchronous Adder. Formal Methods in System Design 1(1): 117-137 (1992)
1990
20		Alain J. Martin, Jan L. A. van de Snepscheut: An Interconnection Network for Distributed Recursive Computations. IEEE Trans. Computers 39(11): 1393-1395 (1990)
19		H. Peter Hofstee, Alain J. Martin, Jan L. A. van de Snepscheut: Distributed Sorting. Sci. Comput. Program. 15(2-3): 119-133 (1990)
1989
18		Alain J. Martin: The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. Hardware Specification, Verification and Synthesis 1989: 244-259
17		David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding: An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. 12(2): 151-155 (1989)
1986
16		Peyyun Peggy Li, Alain J. Martin: The Sneptree : A Versatile Interconnection Network. ICPP 1986: 20-27
15		Peyyun Peggy Li, Alain J. Martin: The Sync Model: A Parallel Execution Method for Logic Programming. SLP 1986: 223-234
14		Alain J. Martin: Compiling Communicating Processes Into Delay-Insensitive VLSI Circuits. Distributed Computing 1(4): 226-234 (1986)
13		Alain J. Martin: A New Generalization of Dekker's Algorithm for Mutual Exclusion. Inf. Process. Lett. 23(6): 295-297 (1986)
1985
12		Alain J. Martin: The Probe: An Addition to Communication Primitives. Inf. Process. Lett. 20(3): 125-130 (1985)
11		Alain J. Martin, Jerry R. Burch: Fair Mutual Exclusion with Unfair P and V Operations. Inf. Process. Lett. 21(2): 97-100 (1985)
10		Alain J. Martin: Distributed Mutual Exclusion on a Ring of Processes. Sci. Comput. Program. 5(3): 265-276 (1985)
1984
9		Alain J. Martin, Martin Rem: A Presentation of the Fibonacci Algorithm. Inf. Process. Lett. 19(2): 67-68 (1984)
1983
8		Alain J. Martin: A General Proof Rule for Procedures in Predicate Transformer Semantics. Acta Inf. 20: 301-313 (1983)
7		Alain J. Martin: Verteilte Ausführung rekursiver Algorithmen auf Gittern von Prozessoren. Elektronische Rechenanlagen 25(1): 12-19 (1983)
6	EE	K. Mani Chandy, Alain J. Martin: A Characterization of Product-Form Queuing Networks J. ACM 30(2): 286-299 (1983)
1981
5		Alain J. Martin: An Axiomatic Definition of Synchronization Primitives. Acta Inf. 16: 219-235 (1981)
1980
4		Alain J. Martin: A Distributed Implementation Method for Parallel Programming. IFIP Congress 1980: 309-314
1979
3		Joep L. W. Kessels, Alain J. Martin: Two Implementations of the Conditional Critical Region Using a Split Binary Semaphore. Inf. Process. Lett. 8(2): 67-71 (1979)
1978
2		Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens: On-the-Fly Garbage Collection: An Exercise in Cooperation. Commun. ACM 21(11): 966-975 (1978)
1975
1		Edsger W. Dijkstra, Leslie Lamport, Alain J. Martin, Carel S. Scholten, Elisabeth F. M. Steffens: On-the-fly garbage collection: an exercise in cooperation. Language Hierarchies and Interfaces 1975: 43-56

Coauthor Index

1	Ralph-Johan Back	[25] [26]
2	Drazen Borkovic	[24]
3	Jerry R. Burch	[11]
4	K. Mani Chandy	[6]
5	Jonathan Chang	[38]
6	Uri Cummings	[28]
7	Edsger W. Dijkstra	[1] [2]
8	David Gries	[17]
9	H. Peter Hofstee	[19]
10	Wonjin Jang	[40]
11	Joep L. W. Kessels	[3]
12	Kevin S. Ko	[38]
13	Leslie Lamport	[1] [2]
14	Benjamin Lee	[38]
15	Tak-Kwan Lee	[24] [30]
16	Peyyun Peggy Li	[15] [16]
17	Andrew Lines	[28]
18	Rajit Manohar	[28] [29] [30] [32]
19	Mika Nyström	[28] [32] [33] [36] [38] [39]
20	Elaine Ou	[38] [39]
21	Karl Papadantonakis	[38]
22	Paul I. Pénzes	[28] [33] [34] [35] [38]
23	Piyush Prakash	[38] [42]
24	James Pugh	[38]
25	Martin Rem	[9]
26	Carel S. Scholten	[1] [2]
27	Kaisa Sere	[25] [26]
28	Jan L. A. van de Snepscheut	[17] [19] [20]
29	Robert Southworth	[28]
30	Elisabeth F. M. Steffens (Liesbeth Steffens)	[1] [2]
31	Eino-Ville Talvala	[38]
32	José A. Tierno	[24]
33	James T. Tong	[38]
34	Ahmet Tura	[38]
35	Jan Tijmen Udding	[17]
36	Catherine G. Wong	[36] [37] [38]

Colors in the list of coauthors