Total number of publications: 13
Articles
-
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Logical Methods in Computer Science, year: 2022, volume: 18, edition: 1, DOI
-
Clique-Width of Point Configurations
Journal of Combinatorial Theory, Ser B, year: 2022, volume: 2021, DOI
-
Complexity and Difficulty of Items in Learning Systems
International Journal of Artificial Intelligence in Education, year: 2022, volume: 32, edition: 1, DOI
-
Design and analysis of microworlds and puzzles for block-based programming
Computer Science Education, year: 2022, volume: 32, edition: 1, DOI
-
Exploring attractor bifurcations in Boolean networks
BMC Bioinformatics, year: 2022, volume: 23, edition: May
-
Implementation of quantum compression on IBM quantum computers
Nature Scientific Reports, year: 2022, volume: 12, edition: 1, DOI
-
Packing and covering directed triangles asymptotically
European Journal of Combinatorics, year: 2022, volume: 101, DOI
-
Verification of Programs Sensitive to Heap Layout
ACM Transactions on Software Engineering and Methodology, year: 2022