Alain J. Martin

	2006
42		Piyush Prakash, Alain J. Martin: Slack Matching Quasi Delay-Insensitive Circuits. ASYNC 2006: 195-204
41		Alain J. Martin: Can Asynchronous Techniques Help the SoC Designer? VLSI-SoC 2006: 7-11
	2005
40		Wonjin Jang, Alain J. Martin: SEU-Tolerant QDI Circuits. ASYNC 2005: 156-165
	2004
39		Mika Nyström, Elaine Ou, Alain J. Martin: An Eight-Bit Divider Implemented in Asynchronous Pulse Logic. ASYNC 2004: 229-239
	2003
38		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		Catherine G. Wong, Alain J. Martin: High-level synthesis of asynchronous systems by data-driven decomposition. DAC 2003: 508-513
36		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		Paul I. Pénzes, Alain J. Martin: Energy-delay efficiency of VLSI computations. ACM Great Lakes Symposium on VLSI 2002: 104-111
34		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		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		Rajit Manohar, Mika Nyström, Alain J. Martin: Precise Exceptions in Asynchronous Processors. ARVLSI 2001: 16-28
31		Alain J. Martin: Towards an energy complexity of computation. Inf. Process. Lett. 77(2-4): 181-187 (2001)
	1999
30		Rajit Manohar, Tak-Kwan Lee, Alain J. Martin: Projection: A Synthesis Technique for Concurrent Systems. ASYNC 1999: 125-134
	1998
29		Rajit Manohar, Alain J. Martin: Slack Elasticity in Concurrent Computing. MPC 1998: 272-285
	1997
28		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		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		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