search result

Cover von Analysis of Smooth Heaps and Slim Heaps

Analysis of Smooth Heaps and Slim Heaps

Year: 2021
Media group: LIPIcs
Cover von Gradual Program Analysis for Null Pointers

Gradual Program Analysis for Null Pointers

Author: Sunshine, Joshua
Year: 2021
Media group: LIPIcs
Cover von Feasibility Analysis of Conditional DAG Tasks

Feasibility Analysis of Conditional DAG Tasks

Year: 2021
Media group: LIPIcs
Cover von Part I.; Experience Design and Social Network Analysis
13th International Conference, SCSM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24 - 29, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Berlin, Springer
Volume: Part I.
Series: Lecture notes in computer science; 12774
Media group: MONOGRAPHIE
Cover von Sensitivity Analysis of the Maximum Matching Problem

Sensitivity Analysis of the Maximum Matching Problem

Year: 2021
Media group: LIPIcs
Cover von Realizability with Stateful Computations for Nonstandard Analysis

Realizability with Stateful Computations for Nonstandard Analysis

Year: 2021
Media group: LIPIcs
Cover von Computable Analysis for Verified Exact Real Computation

Computable Analysis for Verified Exact Real Computation

Year: 2020
Media group: LIPIcs
Cover von A Formal Analysis of the Bitcoin Protocol

A Formal Analysis of the Bitcoin Protocol

Year: 2020
Media group: OASICS
Cover von Analysis of the Period Recovery Error Bound

Analysis of the Period Recovery Error Bound

Year: 2020
Media group: LIPIcs
Cover von Leveraging Lagrangian Analysis for Discriminating Nutrient Origins
article in EnvirVis19
Search for this author
Year: 2019
Publisher: Aire-la-Ville, Eurographics Association
Media group: ARTICLE
OPEN V 11.1.0.0