Dynamic synthesis for relaxed memory models
- 期刊名称ACM SIGPLAN Notices
- 作者Liu, Feng; Nedev, Nayden; Prisadnikov, Nedyalko; Vechev, Martin; Yahav, Eran
- 卷第47卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小775.95KB
- 发表时间2012-06-11
- DOI10.1145/2345156.2254115
- 页码429-440
Historical Threads in the Development of Oncology Social WorkFobair, Patricia; Stearns, Naomi “Noni”; Christ, Grace; Dozier-Hall, Deborah; Newman, Nancy W.; Zabora, James; Schnipper, Hester Hill; Kennedy, Vicki; Loscalzo, Matthew; Stensland, Susan M.; Hedlund, Susan; Lauria, Marie M.; Fife, Michael; Herschl, Joyce; Marcusen, Carol P.; Vaitones, Virginia; BrintzenhofeSzoc, Karlynn; Walsh, Katherine; Lawson, Kimberly; DeSonier, Marcia · Journal of Psychosocial Oncology · 2009
Irish Society of Gastroenterology Proceedings of the Summer Meeting of the Irish Society of Gastroenterology, held in Universitly College, Cork on Friday 6th and Saturday 7th June, 1986R. J. Moorehead; John Donaldson; S. T. D. McKelvey; J. Drumm; L. K. Harding; E. A. Clarke; J. Alexander-Williams; I. A. Donovan; G. Lorigan; F. Butler; P. J. Broe; Martin J. O’Hara; P. Aidan McCormick; Aishling Molloy; Derek McGrath; Diarmuid P. O’Donoghue; T. Farrell; D. O’Donoghue; L. Daly; J. B. Masterson; E. G. Breen; J. Coughlan; C. E. Connolly; F. M. Stevens; C. F. McCarthy; M. V. Tobin; R. A. Fiskan; R. T. Dissory; I. T. Gilmore; Deirdre McCormick; Alan Cullen; P. Aidan McCormick; Robert P. Towers; R. M. Keane; J. E. Coleman; A. P. Clery; T. Keane; B. Dillon; N. H. Afdhal; C. J. McCormick; F. M. Stevens; C. E. Connolly; C. F. McCarthy; H. Hitchcock; David J. Waldron; Raymond J. Fitzgerald; E. M. M. Quigley; L. Hall; L. A. Turnberg; F. N. Brennan; K. D. Buchanan; N. H. Afdhal; M. J. Duffy; A. Thornton; F. O’Sullivan; D. P. O’Donoghue; P. Mullen; B. O’Connor; M. Lombard; J. B. Coakley; J. Crowe; J. R. Lennon; P. Keeling; T. P. J. Hennessy; D. Gleeson; Y. Quereshi; G. M. Murphy; R. H. Dowling; H. J. O’Connor; M. F. Dixon; J. I. Wyatt; A. T. R. Axon; P. Gillen; P. Keeling; P. J. Byrne; A. B. West; T. P. J. Hennessy; T. N. Walsh; N. O’Higgins; E. M. M. Quigley; L. A. Turnberg; Martin J. O’Hara; P. Aidan McCormick; Katherine McGowan; Joan C. Miller; James Masterson; Diarmuid P. O’Donoghue; M. G. Courtney; J. M. McPartlin; J. M. Scott; D. G. Weir; B. G. Wilson; J. P. Howe; T. G. Parks; P. A. McCormick; N. Ramsay; N. Afdhal; P. Tubridy; A. G. Shattock; I. Hillery; D. P. O’Donoghue; J. S. A. Collins; R. P. Knill-Jones; G. P. Crean; A. H. G. Love; E. M. M. Quigley; D. J. Hole; C. R. Gillis; G. Watkinson; Helena Moore; H. E. Moylan; P. F. Fottrell; F. M. Stevens; H. R. Brady; C. Godson; M. P. Ryan; S. Bourke; M. X. FitzGerald; P. A. McCormick; C. O’Farrelly; F. Graeme-Cook; A. Finch; C. Feighery; D. G. Weir; D. P. O’Donoghue; M. X. FitzGerald; W. J. Maxwell; J. P. Walsh; F. P. Hogan; N. P. Kennedy; P. W. N. Keeling; O. Sheil; H. Barniville; O. Fitzgerald · Irish Journal of Medical Science (1971 -) · 1987
Color Invariant for Spatial GraphsIshii, Yuko; Yasuhara, Akira · Journal of Knot Theory and Its Ramifications · 1997
COMPOSITE KNOTS TRIVIALIZED BY TWISTINGTERAGAITO, MASAKAZU · Journal of Knot Theory and Its Ramifications · 1992
DETECTING KNOT INVERTIBILITYKUPERBERG, GREG · Journal of Knot Theory and Its Ramifications · 1996
UNRAVELLING TANGLED GRAPHSFARKAS, CATHERINE; FLAPAN, ERICA; SULLIVAN, WYNN · Journal of Knot Theory and Its Ramifications · 2012
TQFT’S FROM HOMOTOPY 2-TYPESYETTER, DAVID N. · Journal of Knot Theory and Its Ramifications · 1993
THE SIMPLEST HYPERBOLIC KNOTSCALLAHAN, PATRICK J.; DEAN, JOHN C.; WEEKS, JEFFREY R. · Journal of Knot Theory and Its Ramifications · 1999
ON QUOTIENTS OF QUANDLESBUNCH, E.; LOFGREN, P.; RAPP, A.; YETTER, D. N. · Journal of Knot Theory and Its Ramifications · 2010
KNOTTY MATRICES IN KNOTSGU, WEIQING; JIANG, SHENJUN · Journal of Knot Theory and Its Ramifications · 1999