Alan J. Hu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Celina G. Val

> Home > Persons > Alan J. Hu

Publications

2016
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/ValEBAH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/ValEBAH16
Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu:
Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. EuroS&P 2016: 31-46
2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/ChengYVBHJJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/ChengYVBHJJ14
An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou:
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog. ACM Trans. Design Autom. Electr. Syst. 20(1): 7:1-7:23 (2014)
2013
[c64]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/BaylessVBHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BaylessVBHH13
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu:
Efficient modular SAT solving for IC3. FMCAD 2013: 149-156

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.