Word equations with length constraints: what’s decidable? V Ganesh, M Minnes, A Solar-Lezama, M Rinard Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 95 | 2013 |

Three lectures on automatic structures B Khoussainov, M Minnes Proceedings of Logic Colloquium 35, 132-176, 2007 | 64 | 2007 |

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 | 41 | 2017 |

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 | 29 | 2018 |

Model theoretic complexity of automatic structures B Khoussainov, M Minnes Theory and Applications of Models of Computation: 5th International …, 2008 | 21 | 2008 |

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 | 18 | 2017 |

Model-theoretic complexity of automatic structures B Khoussainov, M Minnes Annals of Pure and Applied Logic 161 (3), 416-426, 2009 | 17 | 2009 |

Practice makes deeper? Regular reflective writing during engineering internships M Minnes, J Mayberry, M Soto, J Hargis Journal of Transformative Learning 4 (2), 2017 | 14 | 2017 |

Deciding the isomorphism problem in classes of unary automatic structures J Liu, M Minnes Theoretical Computer Science 412 (18), 1705-1717, 2011 | 14 | 2011 |

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 | 11 | 2018 |

Unary automatic graphs: an algorithmic perspective B Khoussainov, J Liu, M Minnes Mathematical Structures in Computer Science 19 (1), 133-152, 2009 | 10 | 2009 |

Unary automatic graphs: An algorithmic perspective B Khoussainov, J Liu, M Minnes Theory and Applications of Models of Computation: 5th International …, 2008 | 10 | 2008 |

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 | 8 | 2021 |

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 | 7 | 2019 |

Probabilistic algorithmic randomness S Buss, M Minnes The Journal of Symbolic Logic 78 (2), 579-601, 2013 | 7 | 2013 |

Oral exams for large-enrollment engineering courses to promote academic integrity and student engagement during remote instruction M Lubarda, N Delson, C Schurgers, M Ghazinejad, S Baghdadchi, ... 2021 IEEE Frontiers in Education Conference (FIE), 1-5, 2021 | 5 | 2021 |

Injection structures specified by finite state transducers S Buss, D Cenzer, M Minnes, JB Remmel Computability and Complexity: Essays Dedicated to Rodney G. Downey on the …, 2016 | 4 | 2016 |

Analysing complexity in classes of unary automatic structures J Liu, M Minnes Language and Automata Theory and Applications: Third International …, 2009 | 4 | 2009 |

Adaptive Rubrics M Carmosino, M Minnes Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 3 | 2020 |

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 | 3 | 2018 |