Mikolas Janota
AuthID: R-004-VTA
1
TITLE: CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
2
TITLE: InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
3
TITLE: Breaking Symmetries from a Set-Covering Perspective
AUTHORS: Michael Codish; Mikoláš Janota;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
AUTHORS: Michael Codish; Mikoláš Janota;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
4
TITLE: First Experiments with Neural cvc5
AUTHORS: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLISHED: 2024, SOURCE: EPiC Series in Computing
AUTHORS: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLISHED: 2024, SOURCE: EPiC Series in Computing
5
TITLE: Solving Hard Mizar Problems with Instantiation and Strategy Invention
AUTHORS: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
AUTHORS: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
6
TITLE: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2024, SOURCE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
7
TITLE: Cube-Based Isomorph-Free Finite Model Finding
AUTHORS: Choiwah Chow; Mikoláš Janota; João Araújo ;
PUBLISHED: 2024, SOURCE: 27th European Conference on Artificial Intelligence, ECAI 2024 in Frontiers in Artificial Intelligence and Applications, VOLUME: 392
AUTHORS: Choiwah Chow; Mikoláš Janota; João Araújo ;
PUBLISHED: 2024, SOURCE: 27th European Conference on Artificial Intelligence, ECAI 2024 in Frontiers in Artificial Intelligence and Applications, VOLUME: 392
8
TITLE: Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
AUTHORS: Jan Hůla; David Mojíek; Mikolá Janota;
PUBLISHED: 2024, SOURCE: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management
AUTHORS: Jan Hůla; David Mojíek; Mikolá Janota;
PUBLISHED: 2024, SOURCE: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management
9
TITLE: GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTHORS: Pedro Orvalho; Mikolás Janota; Vasco Manquinho ;
PUBLISHED: 2024, SOURCE: 1st ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024 in SIGCSE Virtual 2024 - Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1
AUTHORS: Pedro Orvalho; Mikolás Janota; Vasco Manquinho ;
PUBLISHED: 2024, SOURCE: 1st ACM Virtual Global Computing Education Conference V. 1, SIGCSE Virtual 2024 in SIGCSE Virtual 2024 - Proceedings of the 2024 ACM Virtual Global Computing Education Conference V. 1
10
TITLE: SAT-Based Techniques for Lexicographically Smallest Finite Models
AUTHORS: Mikoláš Janota; Choiwah Chow; João Araújo; Michael Codish; Petr Vojtěchovský;
PUBLISHED: 2024, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence
AUTHORS: Mikoláš Janota; Choiwah Chow; João Araújo; Michael Codish; Petr Vojtěchovský;
PUBLISHED: 2024, SOURCE: Proceedings of the AAAI Conference on Artificial Intelligence
INDEXED IN: 
Unpaywall
Unpaywall