Comparison of Barbed versus Conventional Sutures for Wound Closure of Radiologically Implanted Chest Ports
- 期刊名称Journal of Vascular and Interventional Radiology
- 作者Ahmed, Osman; Jilani, Danial; Funaki, Brian; Ginsburg, Michael; Sheth, Sujay; Giger, Maryellen; Zangan, Steven
- 卷第25卷
- 期第9期
- 印刷ISSN1051-0443
- 文件大小377.55KB
- 发表时间2014-09
- DOI10.1016/j.jvir.2014.04.024
- 页码1433-1438
A semantic approach to interpolationAndrei Popescu; Traian Florin Şerbănuţă; Grigore Roşu · 2009
Language definitions as rewrite theoriesRusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore · Journal of Logical and Algebraic Methods in Programming · 2016
A rewriting logic approach to operational semanticsTraian Florin Şerbănuţă; Grigore Roşu; José Meseguer · 2009
The <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Primer (version 3.3)Şerbănuţă, Traian Florin; Arusoaie, Andrei; Lazar, David; Ellison, Chucky; Lucanu, Dorel; Roşu, Grigore · Electronic Notes in Theoretical Computer Science · 2014
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)Traian Florin Şerbănuţă; Grigore Roşu; José Meseguer · 2007
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013