Total number of publications: 12
Articles
-
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
Journal of Computer and System Sciences, year: 2018, volume: 91, edition: 1, DOI
-
A large-scale comparative study of beta testers and regular users
Communications of the ACM, year: 2018, volume: 61, edition: 2, DOI
-
Edge detection based on single-pixel imaging
Optics Express, year: 2018, volume: 26, edition: 5, DOI
-
Experimental large-scale review of attractors for detection of potentially unwanted applications
Computers & Security, year: 2018, volume: Volume 76, edition: July 2018, DOI
-
Layered quantum key distribution
Physical Review A, year: 2018, volume: 97, edition: 3, DOI
-
Parameterized Extension Complexity of Independent Set and Related Problems
Discrete Applied Mathematics, year: 2018, DOI
Conference proceedings
-
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, year: 2018
-
Data-centric Dynamic Partial Order Reduction
Proceedings of Symposium on Principles of Programming Languages 2018, year: 2018
-
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018
-
FO model checking of geometric graphs
12th International Symposium on Parameterized and Exact Computation (IPEC 2017), year: 2018