Thérèse Smith

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 1

Top Topics

Markup Language

Open Source Software

Automated Theorem Provers

Computer Science

Top Venues

Publications

Elina Barrows, Katherine Martin, Thérèse Smith
Markup language for chemical process control and simulation. Comput. Chem. Eng. 160 (2022)
Thérèse Smith, Swapna S. Gokhale, Robert McCartney
Understanding students' preferences of software engineering projects. ITiCSE (2014)
Thérèse Smith, Robert McCartney
Computer science students' concepts of proof by induction. Koli Calling (2014)
Swapna S. Gokhale, Thérèse Smith, Robert McCartney
Teaching software maintenance with open source software: Experiences and lessons. FIE (2013)
Thérèse Smith, Robert McCartney
Mathematization in teaching pumping lemmas. FIE (2013)
Reda Ammar, Thérèse Smith
Developing time constraints in Petri net models of biochemical processes via computation structure modeling. ISSPIT (2013)
Robert McCartney, Swapna S. Gokhale, Thérèse Smith
Evaluating an early software engineering course with projects and tools from open source software. ICER (2012)
Swapna S. Gokhale, Thérèse Smith, Robert McCartney
Integrating open source software into software engineering curriculum: challenges in selecting projects. EduRex@ICSE (2012)
Swapna S. Gokhale, Thérèse Smith, Robert McCartney
Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering. SEKE (2012)
Tigran Antonyan, Nicolas C. Nicolaou, Alexander A. Shvartsman, Thérèse Smith
Determining the Causes of AccuVote Optical Scan Voting Terminal Memory Card Failures. EVT/WOTE (2010)