Andrew Wagner

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Topics

Chronic Obstructive Pulmonary Disease

Natural Language

Linguistic Analysis

Metadata Schemas

Top Venues

J. Graph Theory

Proc. ACM Program. Lang.

Publications

Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney Levine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, Shriram Krishnamurthi
Forge: A Tool and Language for Teaching Formal Methods. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
David O. Caplan, Zachary J. Darling, Matthew Edward Grein, Matt Guyton, David Russo, Brian Tyrrell, Andrew Wagner
. OFC (2024)
Mateja Sajna, Andrew Wagner
Using edge cuts to find Euler tours and Euler families in hypergraphs. Discret. Math. 346 (10) (2023)
Mateja Sajna, Andrew Wagner
ℓ-covering k-hypergraphs are quasi-eulerian. Discuss. Math. Graph Theory 43 (4) (2023)
Daniel Patterson, Andrew Wagner, Amal Ahmed
Semantic Encapsulation using Linking Types. TyDe@ICFP (2023)
Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala
Adversary Safety by Construction in a Language of Cryptographic Protocols. CSF (2022)
Jing Yang, Andrew Wagner, Yu Zhang, Li Xu
Recognition of vocoded speech in English by Mandarin-speaking English-learners. Speech Commun. 136 (2022)
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic Soundness for Language Interoperability. CoRR (2022)
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Semantic soundness for language interoperability. PLDI (2022)
Mateja Sajna, Andrew Wagner
Covering hypergraphs are Eulerian. J. Graph Theory 101 (2) (2022)
Gilad J. Kuperman, Andrew Wagner, Everett Weiss, Catherine DesRoches
Sharing Clinical Documentation with Patients in Oncology Settings. AMIA (2020)
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson
Solver-Aided Multi-Party Configuration. HotNets (2020)
Mateja Sajna, Andrew Wagner
On Sheehan's Conjecture for Graphs with Symmetry. J. Graph Theory 80 (1) (2015)
Andrew Wagner, John Wright, Arvind Ganesh, Zihan Zhou, Hossein Mobahi, Yi Ma
Toward a Practical Face Recognition System: Robust Alignment and Illumination by Sparse Representation. IEEE Trans. Pattern Anal. Mach. Intell. 34 (2) (2012)
Victor Shia, Allen Y. Yang, S. Shankar Sastry, Andrew Wagner, Yi Ma
Fast ℓ1-minimization and parallelization for face recognition. ACSCC (2011)
Andrew Wagner, John Wright, Arvind Ganesh, Zihan Zhou, Yi Ma
Towards a practical face recognition system: Robust registration and illumination by sparse representation. CVPR (2009)
Zihan Zhou, Andrew Wagner, Hossein Mobahi, John Wright, Yi Ma
Face recognition with contiguous occlusion using markov random fields. ICCV (2009)
John Wright, Arvind Ganesh, Zihan Zhou, Andrew Wagner, Yi Ma
Demo: Robust face recognition via sparse representation. FG (2008)
Shankar R. Rao, Harm Derksen, Robert M. Fossum, Yi Ma, Andrew Wagner, Allen Y. Yang
The algebra and statistics of generalized principal component analysis. VCIP (2007)
John Wright, Andrew Wagner, Shankar R. Rao, Yi Ma
Homography from Coplanar Ellipses with Application to Forensic Blood Splatter Reconstruction. CVPR (1) (2006)
Shankar R. Rao, Allen Y. Yang, Andrew Wagner, Yi Ma
Segmentation of Hybrid Motions via Hybrid Quadratic Surface Analysis. ICCV (2005)
Allen Y. Yang, Shankar R. Rao, Andrew Wagner, Yi Ma
Segmentation of a Piece-Wise Planar Scene from Perspective Images. CVPR (1) (2005)
Kun Huang, Andrew Wagner, Yi Ma
Identification of hybrid linear time-invariant systems via subspace embedding and segmentation (SES). CDC (2004)