search result

Cover von Effective Divergence Analysis for Linear Recurrence Sequences

Effective Divergence Analysis for Linear Recurrence Sequences

Year: 2018
Media group: LIPIcs
Cover von Linear multi-objective drift analysis
article
Search for this author
Year: 2018
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science; 736. 2018
Media group: ARTICLE
Cover von Amortized Analysis of Asynchronous Price Dynamics

Amortized Analysis of Asynchronous Price Dynamics

Year: 2018
Media group: LIPIcs
Cover von Protein Classification with Improved Topological Data Analysis

Protein Classification with Improved Topological Data Analysis

Year: 2018
Media group: LIPIcs
Cover von Machine Learning for Dynamic Software Analysis
Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24 - 27, 2016, Revised Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 11026
Media group: MONOGRAPHIE
Cover von Efficient Reflection String Analysis via Graph Coloring

Efficient Reflection String Analysis via Graph Coloring

Year: 2018
Media group: LIPIcs
Cover von Defensive Points-To Analysis

Defensive Points-To Analysis

Effective Soundness via Laziness
Year: 2018
Media group: LIPIcs
Cover von Analysis of Summatory Functions of Regular Sequences

Analysis of Summatory Functions of Regular Sequences

Transducer and Pascal's Rhombus
Year: 2018
Media group: LIPIcs
Cover von Topological Data Analysis for Scientific Visualization
Author: Tierny, Julien Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Mathematics and visualization
Media group: MONOGRAPHIE
Cover von Topology, Computation and Data Analysis; 7
pp. 88-109
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 7
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0