Sergey Bereg
- Monadic Decomposition
2017/04/30 by Margus Veanes, Nikolaj Bjørner, Lev Nachmanson +1 · 3 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory
- Edge Routing with Ordered Bundles
2012/09/19 by Sergey Bereg, Alexander E. Holroyd, Bereg, Sergey +5 · 2 citations
Computer Science · #Computational Geometry (cs.CG) #Computational Geometry and Mesh Generation #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #Data Visualization and Analytics #FOS: Computer and information sciences
- Node Overlap Removal by Growing a Tree
2016/08/08 by Lev Nachmanson, Arlind Nocaj, Nachmanson, Lev +7 · 1 citation
Computer Science · #Computational Geometry (cs.CG) #Data Management and Algorithms #Data Structures and Algorithms (cs.DS) #Data Visualization and Analytics #FOS: Computer and information sciences #Video Analysis and Summarization
- The Two-Squirrel Problem and Its Relatives
2023/02/12 by Sergey Bereg, Bereg, Sergey, Yuya Higashikawa +9 · 1 citation
Computer Science · #68 #Advanced Graph Theory Research #Computational Geometry (cs.CG) #Computational Geometry and Mesh Generation #Data Management and Algorithms #F.2.2 #FOS: Computer and information sciences