Rast: A Language for Resource-Aware Session Types von Das, Ankush, Pfenning, Frank

Volltext

Prevalence of pulmonary nodules detected incidentally on noncancer‐related imaging: a review von Das, Ankush, Bonney, Asha, Manser, Renee

Volltext

Towards automatic resource bound analysis for OCaml von Hoffmann, Jan, Das, Ankush, Weng, Shu-Chun

Volltext

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

Volltext

Probabilistic Resource-Aware Session Types von Das, Ankush, Wang, Di, Hoffmann, Jan

Volltext

Parallel complexity analysis with temporal session types von Das, Ankush, Hoffmann, Jan, Pfenning, Frank

Volltext

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

Volltext

Exact and Linear-Time Gas-Cost Analysis von Das, Ankush, Qadeer, Shaz

Volltext

Precise Null Pointer Analysis Through Global Value Numbering von Das, Ankush, Lal, Akash

Volltext

ML for ML: Learning Cost Semantics by Experiment von Das, Ankush, Hoffmann, Jan

Volltext

Rast: A Language for Resource-Aware Session Types von Das, Ankush, Pfenning, Frank

Volltext

A Review on the Reliability Analysis of Point Machines in Railways von Sekhar Roy, Deb, Sengupta, Debajyoti, Paul, Debraj, Pal, Debjit, Khan, Aftab, Das, Ankush, Nath, Surojit, Sinha, Kaushik, Malakar, Bidhan

Volltext

Session Types with Arithmetic Refinements von Das, Ankush, Pfenning, Frank

Volltext bestellen

Session Types with Arithmetic Refinements and Their Application to Work Analysis von Das, Ankush, Pfenning, Frank

Volltext bestellen

Angelic Verification: Precise Verification Modulo Unknowns von Das, Ankush, Lahiri, Shuvendu K., Lal, Akash, Li, Yi

Volltext

On Pure Nash Equilibria in Stochastic Games von Das, Ankush, Krishna, Shankara Narayanan, Manasa, Lakshmi, Trivedi, Ashutosh, Wojtczak, Dominik

Volltext

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

Volltext bestellen

Probabilistic Resource-Aware Session Types von Das, Ankush, Wang, Di, Hoffmann, Jan

Volltext bestellen

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

Volltext bestellen

Precise Null Pointer Analysis Through Global Value Numbering von Das, Ankush, Lal, Akash

Volltext bestellen