Follow
Mia Minnes
Title
Cited by
Cited by
Year
Word equations with length constraints: what’s decidable?
V Ganesh, M Minnes, A Solar-Lezama, M Rinard
Haifa Verification Conference, 209-226, 2012
872012
Three lectures on automatic structures
B Khoussainov, M Minnes
Proceedings of Logic Colloquium 35, 132-176, 2007
602007
Gender differences in students' behaviors in CS classes throughout the CS major
C Alvarado, Y Cao, M Minnes
Proceedings of the 2017 acm sigcse technical symposium on computer science …, 2017
382017
The persistent effect of pre-college computing experience on college CS course grades
C Alvarado, G Umbelino, M Minnes
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
242018
Model theoretic complexity of automatic structures
B Khoussainov, M Minnes
International Conference on Theory and Applications of Models of Computation …, 2008
202008
Micro-classes: A structure for improving student experience in large classes
C Alvarado, M Minnes, L Porter
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science …, 2017
162017
Model-theoretic complexity of automatic structures
B Khoussainov, M Minnes
Annals of Pure and Applied Logic 161 (3), 416-426, 2009
162009
Practice makes deeper? Regular reflective writing during engineering internships
M Minnes, J Mayberry, M Soto, J Hargis
Journal of Transformative Learning 4 (2), 2017
132017
Deciding the isomorphism problem in classes of unary automatic structures
J Liu, M Minnes
Theoretical computer science 412 (18), 1705-1717, 2011
132011
Unary automatic graphs: An algorithmic perspective
B Khoussainov, J Liu, M Minnes
International Conference on Theory and Applications of Models of Computation …, 2008
102008
Lightweight techniques to support students in large classes
M Minnes, C Alvarado, L Porter
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
92018
Unary automatic graphs: an algorithmic perspective
B Khoussainov, J Liu, M Minnes
Mathematical Structures in Computer Science 19 (1), 133-152, 2009
92009
Probabilistic algorithmic randomness
S Buss, M Minnes
The Journal of Symbolic Logic 78 (2), 579-601, 2013
72013
Podcast highlights: Targeted educational videos from repurposed lecture-capture footage
M Minnes, C Alvarado, M Geislinger, J Fang
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
52019
Analysing complexity in classes of unary automatic structures
J Liu, M Minnes
International Conference on Language and Automata Theory and Applications …, 2009
42009
What do cs students value in industry internships?
M Minnes, SG Serslev, O Padilla
ACM Transactions on Computing Education (TOCE) 21 (1), 1-15, 2021
32021
Adaptive Rubrics
M Carmosino, M Minnes
Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020
32020
Injection structures specified by finite state transducers
S Buss, D Cenzer, M Minnes, JB Remmel
Computability and complexity, 394-417, 2017
32017
Writing in CS: Why and How?
M Minnes, B Maxwell, SR Taylor, P Barry
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
22018
Mixed and integer linear programming using automata techniques
M Minnes
22018
The system can't perform the operation now. Try again later.
Articles 1–20