Andrew T. Walter

20202021202220232 1 5 9

Pete ManoliosProfessor, Northeastern UniversityDirección de correo verificada de ccs.neu.edu
Seth CooperAssociate Professor of Computer and Information ScienceDirección de correo verificada de ccs.neu.edu
Ankit KumarPhD Candidate, Northeastern UniversityDirección de correo verificada de ccs.neu.edu

Andrew T. Walter

PhD Student, Northeastern University, Khoury College of Computer Sciences

Dirección de correo verificada de husky.neu.edu


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Gamification of Loop-Invariant Discovery from Code AT Walter, B Boskin, S Cooper, P Manolios Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 7 …, 2019	6	2019
ACL2s Systems Programming AT Walter, P Manolios arXiv preprint arXiv:2205.11704, 2022	4	2022
Automated grading of automata with ACL2s A Kumar, A Walter, P Manolios arXiv preprint arXiv:2303.05867, 2023	2	2023
Enumerative Data Types with Constraints AT Walter, D Greve, P Manolios 2022 Formal Methods in Computer-Aided Design (FMCAD), 189-198, 2022	2	2022
A Robotic Percussive Aerophone K Sundberg, S Barton, A Walter, T Sane, L Baker, A O'Brien Proceedings of the 18th International Conference on New Interfaces for …, 2018	2	2018
A Reasoning Engine for the Gamification of Loop-Invariant Discovery A Walter, S Cooper, P Manolios arXiv preprint arXiv:2109.01121, 2021	1	2021

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–6

Citas por año