Alexander Smith

	2009
5		Julien Chiquet, Alexander Smith, Gilles Grasseau, Catherine Matias, Christophe Ambroise: SIMoNe: Statistical Inference for MOdular NEtworks. Bioinformatics 25(3): 417-418 (2009)
	2005
4		Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas: Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1606-1621 (2005)
	2004
3		Alexander Smith, Andreas G. Veneris, Anastasios Viglas: Design diagnosis using Boolean satisfiability. ASP-DAC 2004: 218-223
2		Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir: Debugging sequential circuits using Boolean satisfiability. ICCAD 2004: 204-209
1		Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Freescale Semiconductor, Rolf Drechsler, Alexander Smith: Debugging Sequential Circuits Using Boolean Satisfiability. MTV 2004: 44-49

Coauthor Index

1	Magdy S. Abadir	[1] [2]
2	Moayad Fahim Ali	[1] [2] [4]
3	Christophe Ambroise	[5]
4	Julien Chiquet	[5]
5	Rolf Drechsler	[1] [2]
6	Gilles Grasseau	[5]
7	Catherine Matias	[5]
8	Sean Safarpour	[1] [2]
9	Freescale Semiconductor	[1]
10	Andreas G. Veneris	[1] [2] [3] [4]
11	Anastasios Viglas	[3] [4]

Colors in the list of coauthors