| Designing computer science competency statements: A process and curriculum model for the 21st century A Clear, T Clear, A Vichare, T Charles, S Frezza, M Gutica, B Lunt, ... Proceedings of the working group reports on innovation and technology in …, 2020 | 54 | 2020 |
| Nifty assignments N Parlante, J Zelenski, D Feinberg, K Mishra, J Hug, K Wayne, ... Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science …, 2017 | 54 | 2017 |
| Forming reasonably optimal groups: (FROG) M Craig, D Horton, F Pitt Proceedings of the 2010 ACM International Conference on Supporting Group …, 2010 | 40 | 2010 |
| A quantifier-free theory based on a string algebra for NC1. F Pitt Proof Complexity and Feasible Arithmetics, 229-252, 1996 | 6 | 1996 |
| Developing Competency Statements for Computer Science Curricula: The Way Ahead A Clear, T Clear, A Vichare, T Charles, S Frezza, M Gutica, B Lunt, ... Proceedings of the 2020 ACM Conference on Innovation and Technology in …, 2020 | 5 | 2020 |
| A quantifier-free string theory for ALogTime reasoning F Pitt arXiv preprint cs/0702160, 2007 | 5 | 2007 |
| UT-Thesis Class File Example F Pitt University of Toronto, 2012 | | 2012 |
| DIMACS Series ir Discrete Mathematics and Theoretical Computer Science Volume 39, 1998 F Pitt Proof Complexity and Feasible Arithmetics: DIMACS Workshop, April 21-24 …, 0 | | |
