Name Card

Full name Familienname, Vorname
Mann, Makai
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Wu-2023-Lightweight Online Learning for Sets of Related Problems in Autom...-vor.pdf.jpgWu, Haoze ; Hahn, Christopher ; Lonsing, Florian Matthias ; Mann, Makai ; Ramanujan, Raghuram ; Barrett, Clark Lightweight Online Learning for Sets of Related Problems in Automated ReasoningInproceedings Konferenzbeitrag Oct-2023
2Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationInproceedings Konferenzbeitrag Oct-2021