Author of the publication

Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic.

, , and . SIGCSE (2), page 1931. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The 2010 Benjamin Franklin medal in Computer and Cognitive Science presented to Shafrira Goldwasser, Ph.D.. J. Frankl. Inst., 351 (1): 12-16 (2014)Tibanna: software for scalable execution of portable pipelines on the cloud., , , , , and . Bioinform., 35 (21): 4424-4426 (2019)Counting Roots of Polynomials over Z/p2Z., , , and . CoRR, (2017)Abstracts of recent doctoral dissertations in computer algebra.. ACM Commun. Comput. Algebra, 45 (1/2): 62 (2011)Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computation., , and . ACM Commun. Comput. Algebra, 47 (3/4): 118-119 (2013)Probabilistic analysis of block wiedemann for leading invariant factors., , and . ACM Commun. Comput. Algebra, 50 (4): 173-175 (2016)In Memoriam: Werner Krandick.. ACM Commun. Comput. Algebra, 46 (1/2): 52-54 (2012)Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science Course., , and . SIGCSE, page 1356. ACM, (2020)Information Technology Availability and Use in the United States: A Multivariate and Geospatial Analysis by State., , and . HICSS, page 3317-3326. IEEE Computer Society, (2014)Verification of Vectorization of Signal Transforms., and . LCPC, volume 13149 of Lecture Notes in Computer Science, page 215-231. Springer, (2020)