Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesizing structured CAD models with equality saturation and inverse transformations.

C. Nandi, M. Willsey, A. Anderson, J. Wilcox, E. Darulova, D. Grossman, and Z. Tatlock. PLDI, page 31-44. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Annegret Anderson

Philip Anderson

Olaf Anderson

Jonathan Anderson

Keith Anderson

Other publications of authors with the same name

Inferring Social Rank in an Old Assyrian Trade Network.D. Bamman, A. Anderson, and N. Smith. DH, page 101-104. Alliance of Digital Humanities Organizations (ADHO), (2013)Synthesizing structured CAD models with equality saturation and inverse transformations.C. Nandi, M. Willsey, A. Anderson, J. Wilcox, E. Darulova, D. Grossman, and Z. Tatlock. PLDI, page 31-44. ACM, (2020)Fireaxe: the DHS secure design competition pilot.Y. Vorobeychik, M. Lee, A. Anderson, M. Adair, W. Atkins, A. Berryhill, D. Chen, B. Cook, J. Erickson, S. Hurd and 3 other author(s). CSIIRW, page 21. ACM, (2013)Classification of Emotional Arousal During Multimedia Exposure.A. Anderson, T. Hsiao, and V. Metsis. PETRA, page 181-184. ACM, (2017)CMB-S4: Forecasting Constraints on Primordial Gravitational WavesT. Collaboration, :, K. Abazajian, G. Addison, P. Adshead, Z. Ahmed, D. Akerib, A. Ali, S. Allen, D. Alonso and 227 other author(s). (2020)cite arxiv:2008.12619Comment: 24 pages, 8 figures, 9 tables, submitted to ApJ. arXiv admin note: text overlap with arXiv:1907.04473.Designing deep neural networks to automate segmentation for serial block-face electron microscopy.M. Quay, Z. Emam, A. Anderson, and R. Leapman. ISBI, page 405-408. IEEE, (2018)Comparison of multi-fiber reproducibility of PAS-MRI and Q-ball with empirical multiple b-value HARDI.V. Nath, K. Schilling, J. Blaber, Z. Ding, A. Anderson, and B. Landman. Medical Imaging: Image Processing, volume 10133 of SPIE Proceedings, page 101330L. SPIE, (2017)Improved fiber tractography with Bayesian tensor regularization.Y. Lu, A. Aldroubi, J. Gore, A. Anderson, and Z. Ding. NeuroImage, 31 (3): 1061-1074 (2006)Learning 3D White Matter Microstructure from 2D Histology.V. Nath, K. Schilling, S. Remedios, R. Bayrak, Y. Gao, J. Blaber, Y. Huo, B. Landman, and A. Anderson. ISBI, page 186-190. IEEE, (2019)Automatic preprocessing pipeline for white matter functional analyses of large-scale databases.Y. Gao, D. Lawless, M. Li, Y. Zhao, K. Schilling, L. Xu, A. Shafer, L. Beason-Held, S. Resnick, B. Rogers and 4 other author(s). Medical Imaging: Image Processing, volume 12464 of SPIE Proceedings, SPIE, (2023)

BibSonomy

Disambiguation of "Anderson, Adam"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesizing structured CAD models with equality saturation and inverse transformations.

Please choose a person to relate this publication to

Annegret Anderson

Philip Anderson

Olaf Anderson

Jonathan Anderson

Keith Anderson

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Anderson, Adam"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Synthesizing structured CAD models with equality saturation and inverse transformations.

Please choose a person to relate this publication to

Annegret Anderson

Philip Anderson

Olaf Anderson

Jonathan Anderson

Keith Anderson

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesizing structured CAD models with equality saturation and inverse transformations.