Kirill Krinkin

Identifiers

No identifiers captured yet.

Papers (4)

1. A Stricter Heap Separating Points-To Logic cs.LO · 2019 · author #2
2. Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition cs.LO · 2019 · author #2
3. A Non-repetitive Logic for Verification of Dynamic Memory with Explicit Heap Conjunction and Disjunction cs.LO · 2019 · author #2
4. 2D SLAM Quality Evaluation Methods cs.RO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ren\'e Haberland 3 shared papers
• Anton Filatov 1 shared papers
• Artyom Filatov 1 shared papers
• Baian Chen 1 shared papers
• Diana Molodan 1 shared papers
• Sergey Ivanovskiy 1 shared papers