Potapov, Igor

1. Pushing Lines Helps: Efficient Universal Centralised Transformations for Programmable Matter
   2019/04/29 by Almethen, Abdullah, Michail, Othon, Potapov, Igor · 2 citations
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Robotics (cs.RO)
2. Optimizing Reachability Sets in Temporal Graphs by Delaying
   2020/04/13 by Argyrios Deligkas, Deligkas, Argyrios, И.И. Потапов +1 · 2 citations
   Computer Science · Engineering · Physics and Astronomy · #Advanced Optical Network Technologies #Complex Network Analysis Techniques #Computational Complexity (cs.CC) #Computers and Society (cs.CY) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Opportunistic and Delay-Tolerant Networks #Social and Information Networks (cs.SI)
3. Temporal logic with predicate abstraction
   2004/10/27 by Alexei Lisitsa, Lisitsa, Alexei, Igor Potapov +1 · 1 citation
   Computer Science · #Computation and Language (cs.CL) #F.1.1 #F.3.1 #F.4.1 #F.4.3 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.CL #cs.LO