Name Card

Full name Familienname, Vorname
Janota, Mikoláš
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Janota-2023-The FMCAD 2023 Student Forum-vor.pdf.jpgJanota, Mikoláš ; Narodytska, Nina The FMCAD 2023 Student ForumInproceedings Konferenzbeitrag Oct-2023
2Janota-2021-Fair and Adventurous Enumeration of Quantifier Instantiations-vor.pdf.jpgJanota, Mikoláš ; Barbosa, Haniel ; Fontaine, Pascal ; Reynolds, Andrew Fair and Adventurous Enumeration of Quantifier InstantiationsInproceedings Oct-2021