Filip Van Aelten

	2001
6		Dong Hoon Van Uytsel, Filip Van Aelten, Dirk Van Compernolle: A Structured Language Model Based on Context-Sensitive Probabilistic Left-Corner Parsing. NAACL 2001
	1996
5		Hugo Van hamme, Filip Van Aelten: An adaptive-beam pruning technique for continuous speech recognition. ICSLP 1996
	1994
4		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
3		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
2		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
	1991
1		Filip Van Aelten, Jonathan Allen, Srinivas Devadas: Verification of Relations Between Synchronous Machines. ICCAD 1991: 380-383

Coauthor Index

1	Jonathan Allen	[1] [2] [3] [4]
2	Dirk Van Compernolle	[6]
3	Srinivas Devadas	[1] [2] [3] [4]
4	Stan Y. Liao	[2]
5	Dong Hoon Van Uytsel	[6]
6	Hugo Van hamme (Hugo Van Hamme)	[5]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page