Matthew West

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 85

Top Venues

Publications

Tareq Uz Zaman, Nicolas Nytko, Ali Taghibakhshi, Scott P. MacLachlan, Luke N. Olson, Matthew West
Generalizing reduction-based algebraic multigrid. Numer. Linear Algebra Appl. 31 (3) (2024)
Zachary D'Aquino, Sylwester Arabas, Jeffrey H. Curtis, Akshunna Vaishnav, Nicole Riemer, Matthew West
PyPartMC: A Pythonic interface to a particle-resolved, Monte Carlo aerosol simulation framework. SoftwareX 25 (2024)
Binglin Chen, Colleen M. Lewis, Matthew West, Craig B. Zilles
Plagiarism in the Age of Generative AI: Cheating Method Change and Learning Loss in an Intro to CS Course. L@S (2024)
Armando Fox, Dan Garcia, Cinda Heeren, Firas Moosvi, Mariana Silva, Matthew West, Craig B. Zilles
Experiences With Computer-Based Testing (CBT). SIGCSE (2) (2024)
Rishi Gulati, Matthew West, Craig B. Zilles, Mariana Silva
Comparing the Security of Three Proctoring Regimens for Bring-Your-Own-Device Exams. SIGCSE (1) (2024)
Chinedu Emeka, Matthew West, Craig B. Zilles, Mariana Silva
A Comparison of Proctoring Regimens for Computer-Based Computer Science Exams. ITiCSE (1) (2024)
Seth Poulsen, Yael Gertner, Hongxuan Chen, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems. SIGCSE (1) (2024)
Ali Taghibakhshi, Nicolas Nytko, Tareq-Uz-Zaman, Scott P. MacLachlan, Luke N. Olson, Matthew West
MG-GNN: Multigrid Graph Neural Networks for Learning Multilevel Domain Decomposition Methods. CoRR (2023)
Ali Taghibakhshi, Nicolas Nytko, Tareq Uz Zaman, Scott P. MacLachlan, Luke N. Olson, Matthew West
MG-GNN: Multigrid Graph Neural Networks for Learning Multilevel Domain Decomposition Methods. ICML (2023)
Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Efficiency of Learning from Proof Blocks Versus Writing Proofs. SIGCSE (1) (2023)
David H. Smith IV, Chinedu Emeka, Max Fowler, Matthew West, Craig B. Zilles
Investigating the Effects of Testing Frequency on Programming Performance and Students' Behavior. SIGCSE (1) (2023)
Zachary D'Aquino, Sylwester Arabas, Jeffrey H. Curtis, Akshunna Vaishnav, Nicole Riemer, Matthew West
PyPartMC: A Pythonic interface to a particle-resolved, Monte Carlo aerosol simulation framework. CoRR (2023)
Ali Taghibakhshi, Mingyuan Ma, Ashwath Aithal, Onur Yilmaz, Haggai Maron, Matthew West
Hierarchical Graph Neural Network with Cross-Attention for Cross-Device User Matching. CoRR (2023)
Dan Garcia, Armando Fox, Solomon Russell, Edwin Ambrosio, Neal Terrell, Mariana Silva, Matthew West, Craig B. Zilles, Fuzail Shakir
A's for All (As Time and Interest Allow). SIGCSE (1) (2023)
Seth Poulsen, Hongxuan Chen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. CoRR (2023)
Seth Poulsen, Shubhang Kulkarni, Geoffrey L. Herman, Matthew West
Efficient Feedback and Partial Credit Grading for Proof Blocks Problems. AIED (2023)
Ehsan Saleh, Saba Ghaffari, Timothy Bretl, Luke N. Olson, Matthew West
Learning from Integral Losses in Physics Informed Neural Networks. CoRR (2023)
Tareq Uz Zaman, Scott P. MacLachlan, Luke N. Olson, Matthew West
Coarse-grid selection using simulated annealing. J. Comput. Appl. Math. 431 (2023)
Dan Garcia, Connor McMahon, Yuan Garcia, Craig B. Zilles, Matthew West, Mariana Silva, Solomon Russell, Edwin Ambrosio, Neal Terrell
Actually Achieving "A's for All" (As Time and Interest Allow). SIGCSE (2) (2023)
Hongxuan Chen, Matthew West, Sascha Hilgenfeldt, Mariana Silva
Measuring the Impact of a Computational Linear Algebra Course on Students' Exam Performance in a Subsequent Numerical Methods Course. SIGCSE (1) (2023)
Ali Taghibakhshi, Mingyuan Ma, Ashwath Aithal, Onur Yilmaz, Haggai Maron, Matthew West
Hierarchical Graph Neural Network with Cross-Attention for Cross-Device User Matching. DaWaK (2023)
Tareq Zaman, Nicolas Nytko, Ali Taghibakhshi, Scott P. MacLachlan, Luke N. Olson, Matthew West
Generalizing Lloyd's algorithm for graph clustering. CoRR (2023)
Ali Taghibakhshi, Nicolas Nytko, Tareq Zaman, Scott P. MacLachlan, Luke N. Olson, Matthew West
Learning Interface Conditions in Domain Decomposition Solvers. CoRR (2022)
Max Fowler, David H. Smith, Chinedu Emeka, Matthew West, Craig B. Zilles
Are We Fair?: Quantifying Score Impacts of Computer Science Exams with Randomized Question Pools. SIGCSE (1) (2022)
Sukru Yagiz Olmez, Shubham Aggarwal, Jin-Won Kim, Erik Miehling, Tamer Basar, Matthew West, Prashant G. Mehta
How does a Rational Agent Act in an Epidemic? CDC (2022)
Seth Poulsen, Shubhang Kulkarni, Geoffrey L. Herman, Matthew West
Efficient Partial Credit Grading of Proof Blocks Problems. CoRR (2022)
Dan Garcia, Connor McMahon, Yuan Garcia, Matthew West, Craig B. Zilles
Achieving "A's for All (as Time and Interest Allow)". L@S (2022)
Seth Poulsen, Shubhang Kulkarni, Geoffrey L. Herman, Matthew West
Benchmarking Partial Credit Grading Algorithms for Proof Blocks Problems. AIED (2) (2022)
Max Fowler, David H. Smith IV, Mohammed Hassan, Seth Poulsen, Matthew West, Craig B. Zilles
Reevaluating the relationship between explaining, tracing, and writing skills in CS1 in a replication study. Comput. Sci. Educ. 32 (3) (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. ITiCSE (1) (2022)
Ehsan Saleh, Saba Ghaffari, Timothy Bretl, Matthew West
Truly Deterministic Policy Optimization. CoRR (2022)
Binglin Chen, Matthew West, Craig B. Zilles
Peer-grading "Explain in Plain English": A Bayesian Calibration Method for Categorical Answers. SIGCSE (1) (2022)
Tareq Zaman, Nicolas Nytko, Ali Taghibakhshi, Scott P. MacLachlan, Luke N. Olson, Matthew West
Generalizing Reduction-Based Algebraic Multigrid. CoRR (2022)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Evaluating proof blocks problems as exam questions. Inroads 13 (1) (2022)
Ali Taghibakhshi, Nicolas Nytko, Tareq Uz Zaman, Scott P. MacLachlan, Luke N. Olson, Matthew West
Learning Interface Conditions in Domain Decomposition Solvers. NeurIPS (2022)
Dan Garcia, Connor McMahon, Yuan Garcia, Matthew West, Craig B. Zilles
Software Support for "A's for All". L@S (2022)
Sukru Yagiz Olmez, Shubham Aggarwal, Jin-Won Kim, Erik Miehling, Tamer Basar, Matthew West, Prashant G. Mehta
How does a Rational Agent Act in an Epidemic? CoRR (2022)
Seth Poulsen, Yael Gertner, Benjamin Cosman, Matthew West, Geoffrey L. Herman
Efficiency of Learning from Proof Blocks Versus Writing Proofs. CoRR (2022)
Ehsan Saleh, Saba Ghaffari, Timothy Bretl, Matthew West
Truly Deterministic Policy Optimization. NeurIPS (2022)
Sukru Yagiz Olmez, Shubham Aggarwal, Jin-Won Kim, Erik Miehling, Tamer Basar, Matthew West, Prashant G. Mehta
Modeling Presymptomatic Spread in Epidemics via Mean-Field Games. ACC (2022)
Sukru Yagiz Olmez, Shubham Aggarwal, Jin-Won Kim, Erik Miehling, Tamer Basar, Matthew West, Prashant G. Mehta
Modeling Presymptomatic Spread in Epidemics via Mean-Field Games. CoRR (2021)
Ali Taghibakhshi, Nathan Ogden, Matthew West
Local Navigation and Docking of an Autonomous Robot Mower Using Reinforcement Learning and Computer Vision. ICCAE (2021)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Evaluating Proof Blocks Problems as Exam Questions. ICER (2021)
Chinedu Emeka, Timothy Bretl, Geoffrey L. Herman, Matthew West, Craig B. Zilles
Students' Perceptions and Behavior Related to Second-Chance Testing. FIE (2021)
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman, Matthew West
Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. CoRR (2021)
Ali Taghibakhshi, Scott MacLachlan, Luke Olson, Matthew West
Optimization-Based Algebraic Multigrid Coarsening Using Reinforcement Learning. CoRR (2021)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. ACM Trans. Embed. Comput. Syst. 20 (6) (2021)
Ali Taghibakhshi, Scott P. MacLachlan, Luke N. Olson, Matthew West
Optimization-Based Algebraic Multigrid Coarsening Using Reinforcement Learning. NeurIPS (2021)
Matthew L. Dawson, Christian Guzman, Jeffrey H. Curtis, Mario Acosta, Shupeng Zhu, Donald Dabdub, Andrew Conley, Matthew West, Nicole Riemer, Oriol Jorba
Chemistry Across Multiple Phases (CAMP) version 1.0: An integrated multi-phase chemistry model. CoRR (2021)
Sukru Yagiz Olmez, Jameson Mori, Erik Miehling, Tamer Basar, Rebecca L. Smith, Matthew West, Prashant G. Mehta
A Data-Informed Approach for Analysis, Validation, and Identification of COVID-19 Models. ACC (2021)
Max Fowler, Binglin Chen, Matthew West, Craig B. Zilles
How productive are homework and elective practice? Applying a post hoc modeling of student knowledge in a large, introductory computing course (Full Paper). EDM (Workshops) (2021)
Maxwell Fowler, Binglin Chen, Sushmita Azad, Matthew West, Craig B. Zilles
Autograding. SIGCSE (2021)
Ali Taghibakhshi, Nathan Ogden, Matthew West
Local Navigation and Docking of an Autonomous Robot Mower using Reinforcement Learning and Computer Vision. CoRR (2021)
Seth Poulsen, Carolyn J. Anderson, Matthew West
The Relationship Between Course Scheduling and Student Performance. CSEDM@EDM (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. CoRR (2020)
Ashank Verma, Timothy Bretl, Matthew West, Craig B. Zilles
A Quantitative Analysis of When Students Choose to Grade Questions on Computerized Exams with Multiple Attempts. L@S (2020)
Sushmita Azad, Binglin Chen, Maxwell Fowler, Matthew West, Craig B. Zilles
Strategies for Deploying Unreliable AI Graders in High-Transparency High-Stakes Exams. AIED (1) (2020)
Zhonghua Zheng, Joseph Ching, Jeffrey H. Curtis, Yu Yao, Peng Xu, Matthew West, Nicole Riemer
Unsupervised Regionalization of Particle-resolved Aerosol Mixing State Indices on the Global Scale. CoRR (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CoRR (2020)
Binglin Chen, Sushmita Azad, Maxwell Fowler, Matthew West, Craig B. Zilles
Learning to Cheat: Quantifying Changes in Score Advantage of Unproctored Assessments Over Time. L@S (2020)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
STMC: Statistical Model Checker with Stratified and Antithetic Sampling. CAV (2) (2020)
Geoffrey L. Herman, Zhouxiang Cai, Timothy Bretl, Craig B. Zilles, Matthew West
Comparison of Grade Replacement and Weighted Averages for Second-Chance Exams. ICER (2020)
Binglin Chen, Sushmita Azad, Rajarshi Haldar, Matthew West, Craig B. Zilles
A Validated Scoring Rubric for Explain-in-Plain-English Questions. SIGCSE (2020)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. CDC (2020)
Mariana Silva, Matthew West, Craig B. Zilles
Measuring the Score Advantage on Asynchronous Exams in an Undergraduate CS Course. SIGCSE (2020)
Binglin Chen, Craig B. Zilles, Matthew West, Timothy Bretl
Effect of Discrete and Continuous Parameter Variation on Difficulty in Automatic Item Generation. AIED (1) (2019)
Binglin Chen, Matthew West, Craig B. Zilles
Predicting the difficulty of automatic item generators on exams from their difficulty on homeworks. L@S (2019)
Chenchao Shou, Matthew West
A tree-based radial basis function method for noisy parallel surrogate optimization. CoRR (2019)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of PCTL using antithetic and stratified samples. Formal Methods Syst. Des. 54 (2) (2019)
Craig B. Zilles, Matthew West, Geoffrey L. Herman, Timothy Bretl
Every University Should Have a Computer-Based Testing Facility. CSEDU (1) (2019)
Binglin Chen, Matthew West, Craig B. Zilles
Towards a Model-Free Estimate of the Limits to Student Modeling Accuracy. EDM (2018)
Craig B. Zilles, Matthew West, David Mussulman, Timothy Bretl
Making Testing Less Trying: Lessons Learned from Operating a Computer-Based Testing Facility. FIE (2018)
Jonathan H. Tomkin, Matthew West, Geoffrey L. Herman
An Improved Grade Point Average, With Applications to CS Undergraduate Education Analytics. ACM Trans. Comput. Educ. 18 (4) (2018)
Binglin Chen, Matthew West, Craig B. Zilles
How much randomization is needed to deter collaborative cheating on asynchronous exams? L@S (2018)
Terence Nip, Elsa L. Gunter, Geoffrey L. Herman, Jason W. Morphew, Matthew West
Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course. SIGCSE (2018)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical Verification of PCTL Using Stratified Samples. ADHS (2018)
Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan
Statistical Verification of the Toyota Powertrain Control Verification Benchmark. HSCC (2017)
Binglin Chen, Matthew West, Craig B. Zilles
Do Performance Trends Suggest Wide-spread Collaborative Cheating on Asynchronous Exams? L@S (2017)
Matthew West, Craig B. Zilles
Modeling Student Scheduling Preferences in a Computer-Based Testing Facility. L@S (2016)
Jonathan H. Tomkin, Matthew West, Geoffrey L. Herman
A methodological refinement for studying the STEM grade-point penalty. FIE (2016)
Jeffrey H. Curtis, M. D. Michelotti, Nicole Riemer, Michael T. Heath, Matthew West
Accelerated simulation of stochastic particle removal processes in particle-resolved aerosol models. J. Comput. Phys. 322 (2016)
Shufeng Ma, Matthew West, Geoffrey L. Herman, Jonathan H. Tomkin, Jose Mestre
Studying faculty Communities of Practice through social network analysis. FIE (2016)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Variance-reduced model predictive control of Markov jump processes. ACC (2016)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. CDC (2016)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks. J. Comput. Phys. 322 (2016)
Mehdi Saghafi, Harry Dankowicz, Matthew West
On the Use of Nonlinear Boundary-Value Problems to Estimate the Cloud-Formation Potential of Aerosol Particles. SIAM J. Appl. Dyn. Syst. 14 (2) (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
Statistical verification of dynamical systems using set oriented methods. HSCC (2015)
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. ADHS (2015)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation. CDC (2014)
Ta-Chung Wang, Sanjay Lall, Matthew West
Polynomial Level-Set Method for Polynomial System Reachable Set Estimation. IEEE Trans. Autom. Control. 58 (10) (2013)
M. D. Michelotti, Michael T. Heath, Matthew West
Binning for Efficient Stochastic Multiscale Particle Simulations. Multiscale Model. Simul. 11 (4) (2013)
Sun Hwan Lee, Matthew West
Convergence of the Markov Chain Distributed Particle Filter (MCDPF). IEEE Trans. Signal Process. 61 (4) (2013)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Anticorrelated discrete-time stochastic simulation. CDC (2013)
Peter A. Maginnis, Matthew West, Geir E. Dullerud
Application of variance reduction techniques for tau-leaping systems to particle filters. CDC (2012)
Ta-Chung Wang, Sanjay Lall, Matthew West
Polynomial level-set method for attractor estimation. J. Frankl. Inst. 349 (9) (2012)
R. E. Lee DeVille, Nicole Riemer, Matthew West
Weighted Flow Algorithms (WFA) for stochastic particle coagulation. J. Comput. Phys. 230 (23) (2011)
Carolyn L. Beck, Sanjay Lall, Tzuchen Liang, Matthew West
Model reduction, optimal prediction, and the Mori-Zwanzig representation of Markov chains. CDC (2009)
Christina Selle, Matthew West
Multiscale networks for distributed consensus algorithms. CDC (2009)
Sun Hwan Lee, Matthew West
Markov Chain Distributed Particle Filters (MCDPF). CDC (2009)
Jong-Han Kim, Matthew West, Eelco Scholte, Satish Narayanan
Multiscale consensus for decentralized estimation and its application to building systems. ACC (2008)

Matthew West.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew West