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 Syed M. Iqbal

> Home > Persons > Alan J. Hu

Publications

2024
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FengHBITWPB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FengHBITWPB24
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) 2024: 3-23
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10703
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR abs/2401.10703 (2024)
2022
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/IqbalLBBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/IqbalLBBH22
Syed M. Iqbal, Haley Li, Shane Bergsma, Ivan Beschastnikh, Alan J. Hu:
CoSpot: a cooperative VM allocation framework for increased revenue from spot instances. SoCC 2022: 540-556
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-04322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-04322
Nodir Kodirov, Shane Bergsma, Syed M. Iqbal, Alan J. Hu, Ivan Beschastnikh, Margo I. Seltzer:
Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements. CoRR abs/2201.04322 (2022)
2020
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/BaylessKIBHH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BaylessKIBHH20
Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu:
Scalable constraint-based virtual data center allocation. Artif. Intell. 278 (2020)

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.