Total number of publications: 31
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
-
Complex Network Analysis for Knowledge Management and Organizational Intelligence
Journal of the Knowledge Economy, year: 2018, volume: 4, edition: 2, DOI
-
Discrete and Continuous Strategies for Timed-Arc Petri Net Games
International Journal on Software Tools for Technology Transfer (STTT), year: 2018, volume: 2017, edition: 1, 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
-
Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs
Discrete Applied Mathematics, year: 2018, volume: Volume 243, edition: 10 July 2018, DOI
-
Layered quantum key distribution
Physical Review A, year: 2018, volume: 97, edition: 3, DOI
-
On clock-aware LTL parameter synthesis of timed automata
Journal of Logical and Algebraic Methods in Programming, year: 2018, volume: 2018, edition: 99, DOI
-
On the complexity of the quantified bit-vector arithmetic with binary encoding
Information Processing Letters, year: 2018, volume: vol. 135, edition: červenec 2018, DOI