Mikolas Janota
AuthID: R-004-VTA
11
TITLE: GITSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2024, SOURCE: 1st ACM Virtual Global Computing Education Conference (SIGCSE) in PROCEEDINGS OF THE 2024 ACM VIRTUAL GLOBAL COMPUTING EDUCATION CONFERENCE V.1, SIGCSE VIRTUAL 2024
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2024, SOURCE: 1st ACM Virtual Global Computing Education Conference (SIGCSE) in PROCEEDINGS OF THE 2024 ACM VIRTUAL GLOBAL COMPUTING EDUCATION CONFERENCE V.1, SIGCSE VIRTUAL 2024
12
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
Unpaywall13
TITLE: Computing generating sets of minimal size in finite algebras Full Text
AUTHORS: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
AUTHORS: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
14
TITLE: Computing generating sets of minimal size in finite algebras
AUTHORS: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLISHED: 2023, SOURCE: J. Symb. Comput., VOLUME: 119
AUTHORS: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLISHED: 2023, SOURCE: J. Symb. Comput., VOLUME: 119
INDEXED IN: 
DBLP
DBLP15
TITLE: Graph Neural Networks for Mapping Variables Between Programs
AUTHORS: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho ;
PUBLISHED: 2023, SOURCE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
AUTHORS: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho ;
PUBLISHED: 2023, SOURCE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
16
TITLE: Integrated lot-sizing and scheduling: Mitigation of uncertainty in demand and processing time by machine learning
AUTHORS: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLISHED: 2023, SOURCE: Engineering Applications of Artificial Intelligence, VOLUME: 118
AUTHORS: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLISHED: 2023, SOURCE: Engineering Applications of Artificial Intelligence, VOLUME: 118
17
TITLE: Data-driven Single Machine Scheduling Minimizing Weighted Number of Tardy Jobs
AUTHORS: Nikolai Antonov; Přemysl Šucha; Mikoláš Janota;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence
AUTHORS: Nikolai Antonov; Přemysl Šucha; Mikoláš Janota;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence
18
TITLE: Boosting isomorphic model filtering with invariants Full Text
AUTHORS: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: CONSTRAINTS, VOLUME: 27, ISSUE: 3
AUTHORS: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: CONSTRAINTS, VOLUME: 27, ISSUE: 3
19
TITLE: SAT-Based Leximax Optimisation Algorithms
AUTHORS: Cabral, M; Janota, M; Manquinho, V;
PUBLISHED: 2022, SOURCE: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 236
AUTHORS: Cabral, M; Janota, M; Manquinho, V;
PUBLISHED: 2022, SOURCE: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 236
INDEXED IN: 
Scopus
Scopus20
TITLE: TestSelector: Automatic Test Suite Selection for Student Projects
AUTHORS: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
AUTHORS: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
