Identifying Maps on the World Wide Web. - Matthew Michelson; Aman Goel; Craig A. Knoblock (GIScience, 2008)

Automatically Constructing Semantic Web Services from Online Sources. - José Luis Ambite; Sirish Darbha; Aman Goel; Craig A. Knoblock; Kristina Lerman; Rahul Parundekar; Thomas A. Russ (ISWC, 2009)

A general approach to discovering, registering, and extracting features from raster maps. - Craig A. Knoblock; Ching-Chien Chen; Yao-Yi Chiang; Aman Goel; Matthew Michelson; Cyrus Shahabi (DRR, 2010)

Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation. - Aman Goel; Craig A. Knoblock; Kristina Lerman (AAAI, 2011)

Interactively Mapping Data Sources into the Semantic Web. - Craig A. Knoblock; Pedro A. Szekely; José Luis Ambite; Shubham Gupta; Aman Goel; Maria Muslea; Kristina Lerman; Parag Mallick (LISC, 2011)

Harvesting maps on the web. - Aman Goel; Matthew Michelson; Craig A. Knoblock (Int. J. Document Anal. Recognit., 2011)

Karma: A System for Mapping Structured Sources into the Semantic Web. - Shubham Gupta; Pedro A. Szekely; Craig A. Knoblock; Aman Goel; Mohsen Taheriyan; Maria Muslea (ESWC (Satellite Events), 2012)

Semi-automatically Mapping Structured Sources into the Semantic Web. - Craig A. Knoblock; Pedro A. Szekely; José Luis Ambite; Aman Goel; Shubham Gupta; Kristina Lerman; Maria Muslea; Mohsen Taheriyan; Parag Mallick (ESWC, 2012)

iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal. - Chaitanya Peddawad; Aman Goel; B. Dheeraj; Nitin Chandrachoodan (ICCAD, 2015)

Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. - Aman Goel; Karem A. Sakallah (DATE, 2019)

Towards Automatic Inference of Inductive Invariants. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (HotOS, 2019)

Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction. - Aman Goel; Karem A. Sakallah (NFM, 2019)

I4: incremental inference of inductive invariants for verification of distributed protocols. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (SOSP, 2019)

AVR: Abstractly Verifying Reachability. - Aman Goel; Karem A. Sakallah (TACAS (1), 2020)

GlocalNet: Class-aware Long-term Human Motion Synthesis. - Neeraj Battan; Yudhik Agrawal; Veeravalli Saisooryarao; Aman Goel; Avinash Sharma 001 (CoRR, 2020)

Towards an Automatic Proof of Lamport's Paxos. - Aman Goel; Karem A. Sakallah (FMCAD, 2021)

On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. - Aman Goel; Karem A. Sakallah (NFM, 2021)

GlocalNet: Class-aware Long-term Human Motion Synthesis. - Neeraj Battan; Yudhik Agrawal; Sai Soorya Rao; Aman Goel; Avinash Sharma 001 (WACV, 2021)

From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols. - Aman Goel (2021)

Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. - Haojun Ma; Hammad Ahmad; Aman Goel; Eli Goldweber; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci (USENIX ATC, 2022)

Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. - Aman Goel; Qianhui Men; Edmond S. L. Ho (Comput. Graph. Forum, 2022)

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. - Katalin Fazekas; Aman Goel; Karem A. Sakallah (FMCAD, 2023)

Towards an Automatic Proof of the Bakery Algorithm. - Aman Goel; Stephan Merz; Karem A. Sakallah (FORTE, 2023)

carpentries/instructor-training: The Carpentries Instructor Training Februrary 2023. - Sarah M. Brown; Karen Word; Maneesha Sane; Kelly Barnes; Nathaniel Porter; Philipp Matthias Schaefer; Aleksandra Nenadic; Toby Hodges; Giordano Lipari; Andrzej Aleksander Romaniuk; Martino Sorbaro Sindaci; Aman Goel; et al. (Zenodo, 2023)

Regularity and quantification: a new approach to verify distributed protocols. - Aman Goel; Karem A. Sakallah (Innov. Syst. Softw. Eng., 2023)

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. - Yun-Rong Luo; Aman Goel; Karem A. Sakallah (ISoLA (3), 2024)

MMHS: Multimodal Model for Hate Speech Intensity Prediction. - Aman Goel; Abhishek Poswal (SPECOM (2), 2024)

QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols. - Yun-Rong Luo; Aman Goel; Karem A. Sakallah (CAV (3), 2025)

TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice. - Aman Goel; Xian Carrie Wu; Zhe Wang; Dmitriy Bespalov; Yanjun Qi (NAACL (Industry Track), 2025)

Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency. - Aman Goel; Daniel Schwartz; Yanjun Qi (CoRR, 2025)