Mikolas Janota
AuthID: R-004-VTA
1
TÃTULO: cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTORES: Pedro Orvalho; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods, FM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14933 LNCS
AUTORES: Pedro Orvalho; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods, FM 2024 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14933 LNCS
2
TÃTULO: SAT-Based Techniques for Lexicographically Smallest Finite Models
AUTORES: Janota, Mikolas; Chow, Choiwah; Araujo, Joao; Codish, Michael; Vojtechovsky, Petr;
PUBLICAÇÃO: 2024, FONTE: 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence in THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, VOLUME: 38, NÚMERO: 8
AUTORES: Janota, Mikolas; Chow, Choiwah; Araujo, Joao; Codish, Michael; Vojtechovsky, Petr;
PUBLICAÇÃO: 2024, FONTE: 38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence in THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, VOLUME: 38, NÚMERO: 8
INDEXADO EM: 
Scopus 
WOS
Scopus WOS3
TÃTULO: First Experiments with Neural cvc5
AUTORES: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLICAÇÃO: 2024, FONTE: EPiC Series in Computing
AUTORES: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLICAÇÃO: 2024, FONTE: EPiC Series in Computing
4
TÃTULO: Solving Hard Mizar Problems with Instantiation and Strategy Invention
AUTORES: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
AUTORES: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
5
TÃTULO: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
6
TÃTULO: Cube-Based Isomorph-Free Finite Model Finding
AUTORES: Choiwah Chow; Mikoláš Janota; João Araújo;
PUBLICAÇÃO: 2024, FONTE: Frontiers in Artificial Intelligence and Applications - ECAI 2024
AUTORES: Choiwah Chow; Mikoláš Janota; João Araújo;
PUBLICAÇÃO: 2024, FONTE: Frontiers in Artificial Intelligence and Applications - ECAI 2024
7
TÃTULO: Computing generating sets of minimal size in finite algebras Full Text
AUTORES: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
AUTORES: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
8
TÃTULO: Computing generating sets of minimal size in finite algebras
AUTORES: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLICAÇÃO: 2023, FONTE: J. Symb. Comput., VOLUME: 119
AUTORES: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLICAÇÃO: 2023, FONTE: J. Symb. Comput., VOLUME: 119
INDEXADO EM: 
DBLP
DBLP9
TÃTULO: Graph Neural Networks for Mapping Variables Between Programs
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
10
TÃTULO: Integrated lot-sizing and scheduling: Mitigation of uncertainty in demand and processing time by machine learning
AUTORES: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLICAÇÃO: 2023, FONTE: Engineering Applications of Artificial Intelligence, VOLUME: 118
AUTORES: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLICAÇÃO: 2023, FONTE: Engineering Applications of Artificial Intelligence, VOLUME: 118
