Minimally Invasive Direct Coronary Artery Bypass Grafting: Two-Year Clinical Experience
Subramanian, Valavanur A, McCabe, John C, Geller, Charles M
Published in The Annals of thoracic surgery (01.12.1997)
Published in The Annals of thoracic surgery (01.12.1997)
Get full text
Journal Article
A Parallel Linear Temporal Logic Tableau
McCabe-Dansted, John C., Reynolds, Mark
Published in Electronic proceedings in theoretical computer science (06.09.2017)
Published in Electronic proceedings in theoretical computer science (06.09.2017)
Get full text
Journal Article
Emergency conversion to cardiopulmonary bypass during attempted off-pump revascularization results in increased morbidity and mortality
Patel, Nirav C., Patel, Nilesh U., Loulmet, Didier F., McCabe, John C., Subramanian, Valavanur A.
Published in The Journal of thoracic and cardiovascular surgery (01.11.2004)
Published in The Journal of thoracic and cardiovascular surgery (01.11.2004)
Get full text
Journal Article
Expressiveness and succinctness of a logic of robustness
McCabe-Dansted, John C., French, Tim, Pinchinat, Sophie, Reynolds, Mark
Published in Journal of applied non-classical logics (03.07.2015)
Published in Journal of applied non-classical logics (03.07.2015)
Get full text
Journal Article
Mandibular subluxation and stabilization for access in distal carotid endarterectomy
McCabe, John C., St-Hilaire, Hugo, Samouhi, Payam, Eisen, Leon
Published in Journal of oral and maxillofacial surgery (01.03.2003)
Published in Journal of oral and maxillofacial surgery (01.03.2003)
Get full text
Journal Article
Approximability of Dodgson's rule
McCabe-Dansted, John, Pritchard, Geoffrey, Slinko, Arkadii
Published in Social choice and welfare (01.08.2008)
Published in Social choice and welfare (01.08.2008)
Get full text
Journal Article
CTL-Like Fragments of a Temporal Logic of Robustness
McCabe-Dansted, John C, Dixon, Clare
Published in 2010 17th International Symposium on Temporal Representation and Reasoning (01.09.2010)
Published in 2010 17th International Symposium on Temporal Representation and Reasoning (01.09.2010)
Get full text
Conference Proceeding
The Postpericardiotomy syndrome and antiheart antibodies
Engle, M A, McCabe, J C, Ebert, P A, Zabriskie, J
Published in Circulation (New York, N.Y.) (01.03.1974)
Published in Circulation (New York, N.Y.) (01.03.1974)
Get full text
Journal Article
Fairness with EXPTIME Bundled CTL Tableau
McCabe-Dansted, John Christopher, Reynolds, Mark
Published in 2014 21st International Symposium on Temporal Representation and Reasoning (01.09.2014)
Published in 2014 21st International Symposium on Temporal Representation and Reasoning (01.09.2014)
Get full text
Conference Proceeding
Verification of Rewrite Rules for Computation Tree Logics
McCabe-Dansted, John Christopher, Reynolds, Mark
Published in 2014 21st International Symposium on Temporal Representation and Reasoning (01.09.2014)
Published in 2014 21st International Symposium on Temporal Representation and Reasoning (01.09.2014)
Get full text
Conference Proceeding
A Tableau for the Combination of CTL and BCTL
McCabe-Dansted, J. C.
Published in 2012 19th International Symposium on Temporal Representation and Reasoning (01.09.2012)
Published in 2012 19th International Symposium on Temporal Representation and Reasoning (01.09.2012)
Get full text
Conference Proceeding
Emergency conversion to cardiopulmonary bypass during attempted off-pump revascularization results in increased morbidity and mortality
Patel, Nirav C, Patel, Nilesh U, Loulmet, Didier F, McCabe, John C, Subramanian, Valavanur A
Published in The Journal of thoracic and cardiovascular surgery (01.11.2004)
Published in The Journal of thoracic and cardiovascular surgery (01.11.2004)
Get full text
Journal Article