dblp.uni-trier.dewww.uni-trier.de

Filip Van Aelten

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
5EEDong Hoon Van Uytsel, Filip Van Aelten, Dirk Van Compernolle: A Structured Language Model Based on Context-Sensitive Probabilistic Left-Corner Parsing. NAACL 2001
1994
4EEFilip 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
3EEFilip 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
2EEFilip 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

1Jonathan Allen [1] [2] [3] [4]
2Dirk Van Compernolle [5]
3Srinivas Devadas [1] [2] [3] [4]
4Stan Y. Liao [2]
5Dong Hoon Van Uytsel [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)