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

Jiang Long Vis

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

*2009
4EEJiang Long, Andrew Seawright, Paparao Kavalipati: Multi-clock SVA synthesis without re-writing. ASP-DAC 2009: 648-653
2007
3EEJiang Long, Andrew Seawright: Synthesizing SVA Local Variables for Formal Verification. DAC 2007: 75-80
2001
2EEDong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. DAC 2001: 35-40
2000
1 Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long: Smart Simulation Using Collaborative Formal and Simulation Engines. ICCAD 2000: 120-126

Coauthor Index

1Valeria Bertacco [1]
2Robert F. Damiano [1] [2]
3Kevin Harer [1]
4Pei-Hsin Ho [1] [2]
5Paparao Kavalipati [4]
6James H. Kukula [1] [2]
7Hi-Keung Tony Ma [2]
8Andrew Seawright [3] [4]
9Thomas R. Shiple [1]
10Jerry Taylor [1]
11Dong Wang [2]
12Yunshan Zhu [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)