Regional Anesthesia for Symptomatic Treatment of Stingray Envenomation von DeYoung, Henry R., Hughey, Scott B., Miller, Grant A., Cole, Jacob H., Longwell, Jason J.

Volltext

Sedation and Analgesia for the Pediatric Intensivist von Dajani, Khaled A., DeYoung, Henry, Zweig, Aaron

Volltext

Nested Session Types von Das, Ankush, Deyoung, Henry, Mordido, Andreia, Pfenning, Frank

Volltext

Point-of-Care Ultrasound in Austere Environments von Hughey, Scott, Daugherty, Lauren, Nicholson, Ashton, DeYoung, Henry

Volltext

F/A-18 Aviator Successfully Returned to Flight After an In-Flight Spontaneous Pneumothorax von DeYoung, Henry, Ahmed, Yousef, Buckley, Jami

Volltext

Parametric Subtyping for Structural Parametric Polymorphism von DeYoung, Henry, Mordido, Andreia, Pfenning, Frank, Das, Ankush

Volltext

Predicting Treatment Success with Facet Syndrome: An Algorithm to Predict Lumbar Radiofrequency Ablation Responders in a Military Population von Hughey, Scott, Cole, Jacob, Booth, Gregory, Moore, Jeffrey, McDowell, Benjamin, DeYoung, Henry, Hosig, Anna, Moran, Thomas, Stedje-Larsen, Eric

Volltext

Successful treatment of community-acquired methicillin-resistant Staphylococcus aureus purulent myopericarditis von DeYoung, Henry, Bloom, Adam, Tamayo, Sally

Volltext

Data Layout from a Type-Theoretic Perspective von DeYoung, Henry, Pfenning, Frank

Volltext

Substructural Proofs as Automata von DeYoung, Henry, Pfenning, Frank

Volltext

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms von Datta, Anupam, Blocki, Jeremiah, Christin, Nicolas, DeYoung, Henry, Garg, Deepak, Jia, Limin, Kaynar, Dilsun, Sinha, Arunesh

Volltext

Linear Logical Voting Protocols von DeYoung, Henry, Schürmann, Carsten

Volltext

An Authorization Logic With Explicit Time von DeYoung, Henry, Garg, Deepak, Pfenning, Frank

Volltext

Parametric Subtyping for Structural Parametric Polymorphism von DeYoung, Henry, Mordido, Andreia, Pfenning, Frank, Das, Ankush

Volltext bestellen

Polarized Subtyping von Lakhani, Zeeshan, Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Volltext bestellen

Subtyping on Nested Polymorphic Session Types von Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Volltext bestellen

Nested Session Types von Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Volltext bestellen

Parametric Subtyping for Structural Parametric Polymorphism von DeYoung, Henry, Mordido, Andreia, Pfenning, Frank, Das, Ankush

Volltext

Polarized Subtyping von Lakhani, Zeeshan, Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Volltext

Subtyping on Nested Polymorphic Session Types von Das, Ankush, DeYoung, Henry, Mordido, Andreia, Pfenning, Frank

Volltext