Mia Minnes

According to our database1, Mia Minnes authored at least 18 papers between 2008 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Adaptive Rubrics.
Proceedings of the SIGCSE '20: The 51st ACM Technical Symposium on Computer Science Education, 2020

2019
Podcast Highlights: Targeted Educational Videos From Repurposed Lecture-capture Footage.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Assessing Writing in CS: A Hands-on Workshop.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Modernizing the Mathematics Taught in Computer Science.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

2018
The persistent effect of pre-college computing experience on college CS course grades.
Inroads, 2018

Writing in CS: Why and How?
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Lightweight Techniques to Support Students in Large Classes.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017
Micro-Classes: A Structure for Improving Student Experience in Large Classes.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Gender Differences in Students' Behaviors in CS Classes throughout the CS Major.
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Injection Structures Specified by Finite State Transducers.
Proceedings of the Computability and Complexity, 2017

2013
Probabilistic algorithmic randomness.
J. Symb. Log., 2013

(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints.
CoRR, 2013

2012
Word Equations with Length Constraints: What's Decidable?
Proceedings of the Hardware and Software: Verification and Testing, 2012

2011
Deciding the isomorphism problem in classes of unary automatic structures.
Theor. Comput. Sci., 2011

2009
Unary automatic graphs: an algorithmic perspective.
Math. Struct. Comput. Sci., 2009

Model-theoretic complexity of automatic structures.
Ann. Pure Appl. Log., 2009

Analysing Complexity in Classes of Unary Automatic Structures.
Proceedings of the Language and Automata Theory and Applications, 2009

2008
Model Theoretic Complexity of Automatic Structures (Extended Abstract).
Proceedings of the Theory and Applications of Models of Computation, 2008


  Loading...