Nonsmooth Lagrangian Mechanics and Variational Collision Integrators. - Razvan C. Fetecau; Jerrold E. Marsden; Michael Ortiz; Matthew West 001 (SIAM J. Appl. Dyn. Syst., 2003)

Approximate momentum conservation for spatial semidiscretizations of semilinear wave equations. - Marcel Oliver; Matthew West 001; Claudia Wulff (Numerische Mathematik, 2004)

Lagrangian Averaging for Compressible Fluids. - Harish S. Bhat; Razvan C. Fetecau; Jerrold E. Marsden; Kamran Mohseni; Matthew West 001 (Multiscale Model. Simul., 2005)

Multiscale consensus for decentralized estimation and its application to building systems. - Jong-Han Kim; Matthew West 001; Eelco Scholte; Satish Narayanan (ACC, 2008)

Stochastic multiscale approaches to consensus problems. - Jong-Han Kim; Matthew West 001; Sanjay Lall; Eelco Scholte; Andrzej Banaszuk (CDC, 2008)

Model reduction, optimal prediction, and the Mori-Zwanzig representation of Markov chains. - Carolyn L. Beck; Sanjay Lall; Tzuchen Liang; Matthew West 001 (CDC, 2009)

Markov Chain Distributed Particle Filters (MCDPF). - Sun Hwan Lee; Matthew West 001 (CDC, 2009)

Multiscale networks for distributed consensus algorithms. - Christina Selle; Matthew West 001 (CDC, 2009)

Weighted Flow Algorithms (WFA) for stochastic particle coagulation. - R. E. Lee DeVille; Nicole Riemer; Matthew West 001 (J. Comput. Phys., 2011)

Application of variance reduction techniques for tau-leaping systems to particle filters. - Peter A. Maginnis; Matthew West 001; Geir E. Dullerud (CDC, 2012)

Polynomial level-set method for attractor estimation. - Ta-Chung Wang; Sanjay Lall; Matthew West 001 (J. Frankl. Inst., 2012)

Anticorrelated discrete-time stochastic simulation. - Peter A. Maginnis; Matthew West 001; Geir E. Dullerud (CDC, 2013)

Binning for Efficient Stochastic Multiscale Particle Simulations. - M. D. Michelotti; Michael T. Heath; Matthew West 001 (Multiscale Model. Simul., 2013)

Polynomial Level-Set Method for Polynomial System Reachable Set Estimation. - Ta-Chung Wang; Sanjay Lall; Matthew West 001 (IEEE Trans. Autom. Control., 2013)

Convergence of the Markov Chain Distributed Particle Filter (MCDPF). - Sun Hwan Lee; Matthew West 001 (IEEE Trans. Signal Process., 2013)

Exact simulation of continuous time Markov jump processes with anticorrelated variance reduced Monte Carlo estimation. - Peter A. Maginnis; Matthew West 001; Geir E. Dullerud (CDC, 2014)

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ADHS, 2015)

Statistical verification of dynamical systems using set oriented methods. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (HSCC, 2015)

On the Use of Nonlinear Boundary-Value Problems to Estimate the Cloud-Formation Potential of Aerosol Particles. - Mehdi Saghafi; Harry Dankowicz; Matthew West 001 (SIAM J. Appl. Dyn. Syst., 2015)

Variance-reduced model predictive control of Markov jump processes. - Peter A. Maginnis; Matthew West 001; Geir E. Dullerud (ACC, 2016)

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (CDC, 2016)

Studying faculty Communities of Practice through social network analysis. - Shufeng Ma; Matthew West 001; Geoffrey L. Herman; Jonathan H. Tomkin; Jose Mestre (FIE, 2016)

A methodological refinement for studying the STEM grade-point penalty. - Jonathan H. Tomkin; Matthew West 001; Geoffrey L. Herman (FIE, 2016)

Modeling Student Scheduling Preferences in a Computer-Based Testing Facility. - Matthew West 001; Craig B. Zilles (L@S, 2016)

Accelerated simulation of stochastic particle removal processes in particle-resolved aerosol models. - Jeffrey H. Curtis; M. D. Michelotti; Nicole Riemer; Michael T. Heath; Matthew West 001 (J. Comput. Phys., 2016)

Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks. - Peter A. Maginnis; Matthew West 001; Geir E. Dullerud (J. Comput. Phys., 2016)

Statistical Verification of the Toyota Powertrain Control Verification Benchmark. - Nima Roohi; Yu Wang 044; Matthew West 001; Geir E. Dullerud; Mahesh Viswanathan 001 (HSCC, 2017)

Do Performance Trends Suggest Wide-spread Collaborative Cheating on Asynchronous Exams? - Binglin Chen; Matthew West 001; Craig B. Zilles (L@S, 2017)

Statistical Verification of PCTL Using Stratified Samples. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ADHS, 2018)

Towards a Model-Free Estimate of the Limits to Student Modeling Accuracy. - Binglin Chen; Matthew West 001; Craig B. Zilles (EDM, 2018)

Making Testing Less Trying: Lessons Learned from Operating a Computer-Based Testing Facility. - Craig B. Zilles; Matthew West 001; David Mussulman; Timothy Bretl (FIE, 2018)

How much randomization is needed to deter collaborative cheating on asynchronous exams? - Binglin Chen; Matthew West 001; Craig B. Zilles (L@S, 2018)

Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course. - Terence Nip; Elsa L. Gunter; Geoffrey L. Herman; Jason W. Morphew; Matthew West 001 (SIGCSE, 2018)

An Improved Grade Point Average, With Applications to CS Undergraduate Education Analytics. - Jonathan H. Tomkin; Matthew West 001; Geoffrey L. Herman (ACM Trans. Comput. Educ., 2018)

Effect of Discrete and Continuous Parameter Variation on Difficulty in Automatic Item Generation. - Binglin Chen; Craig B. Zilles; Matthew West 001; Timothy Bretl (AIED (1), 2019)

Every University Should Have a Computer-Based Testing Facility. - Craig B. Zilles; Matthew West 001; Geoffrey L. Herman; Timothy Bretl (CSEDU (1), 2019)

Predicting the difficulty of automatic item generators on exams from their difficulty on homeworks. - Binglin Chen; Matthew West 001; Craig B. Zilles (L@S, 2019)

A tree-based radial basis function method for noisy parallel surrogate optimization. - Chenchao Shou; Matthew West 001 (CoRR, 2019)

Statistical verification of PCTL using antithetic and stratified samples. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (Formal Methods Syst. Des., 2019)

Strategies for Deploying Unreliable AI Graders in High-Transparency High-Stakes Exams. - Sushmita Azad; Binglin Chen; Maxwell Fowler; Matthew West 001; Craig B. Zilles (AIED (1), 2020)

STMC: Statistical Model Checker with Stratified and Antithetic Sampling. - Nima Roohi; Yu Wang 044; Matthew West 001; Geir E. Dullerud; Mahesh Viswanathan 001 (CAV (2), 2020)

Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (CDC, 2020)

The Relationship Between Course Scheduling and Student Performance. - Seth Poulsen; Carolyn J. Anderson; Matthew West 001 (CSEDM@EDM, 2020)

Comparison of Grade Replacement and Weighted Averages for Second-Chance Exams. - Geoffrey L. Herman; Zhouxiang Cai; Timothy Bretl; Craig B. Zilles; Matthew West 001 (ICER, 2020)

Learning to Cheat: Quantifying Changes in Score Advantage of Unproctored Assessments Over Time. - Binglin Chen; Sushmita Azad; Maxwell Fowler; Matthew West 001; Craig B. Zilles (L@S, 2020)

A Quantitative Analysis of When Students Choose to Grade Questions on Computerized Exams with Multiple Attempts. - Ashank Verma; Timothy Bretl; Matthew West 001; Craig B. Zilles (L@S, 2020)

A Validated Scoring Rubric for Explain-in-Plain-English Questions. - Binglin Chen; Sushmita Azad; Rajarshi Haldar; Matthew West 001; Craig B. Zilles (SIGCSE, 2020)

Measuring the Score Advantage on Asynchronous Exams in an Undergraduate CS Course. - Mariana Silva; Matthew West 001; Craig B. Zilles (SIGCSE, 2020)

Unsupervised Regionalization of Particle-resolved Aerosol Mixing State Indices on the Global Scale. - Zhonghua Zheng; Joseph Ching; Jeffrey H. Curtis; Yu Yao; Peng Xu; Matthew West 001; Nicole Riemer (CoRR, 2020)

A Data-Informed Approach for Analysis, Validation, and Identification of COVID-19 Models. - Sukru Yagiz Olmez; Jameson Mori; Erik Miehling; Tamer Basar; Rebecca L. Smith; Matthew West 001; Prashant G. Mehta (ACC, 2021)

How productive are homework and elective practice? Applying a post hoc modeling of student knowledge in a large, introductory computing course (Full Paper). - Max Fowler; Binglin Chen; Matthew West 001; Craig B. Zilles (EDM (Workshops), 2021)

Students' Perceptions and Behavior Related to Second-Chance Testing. - Chinedu Emeka; Timothy Bretl; Geoffrey L. Herman; Matthew West 001; Craig B. Zilles (FIE, 2021)

Local Navigation and Docking of an Autonomous Robot Mower Using Reinforcement Learning and Computer Vision. - Ali Taghibakhshi; Nathan Ogden; Matthew West 001 (ICCAE, 2021)

Optimization-Based Algebraic Multigrid Coarsening Using Reinforcement Learning. - Ali Taghibakhshi; Scott P. MacLachlan; Luke N. Olson; Matthew West 001 (NeurIPS, 2021)

Autograding. - Maxwell Fowler; Binglin Chen; Sushmita Azad; Matthew West 001; Craig B. Zilles (SIGCSE, 2021)

Proof Blocks: Autogradeable Scaffolding Activities for Learning to Write Proofs. - Seth Poulsen; Mahesh Viswanathan 001; Geoffrey L. Herman; Matthew West 001 (CoRR, 2021)

Chemistry Across Multiple Phases (CAMP) version 1.0: An integrated multi-phase chemistry model. - Matthew L. Dawson; Christian Guzman; Jeffrey H. Curtis; Mario Acosta; Shupeng Zhu; Donald Dabdub; Andrew Conley; Matthew West 001; Nicole Riemer; Oriol Jorba (CoRR, 2021)

Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction. - Yu Wang 044; Nima Roohi; Matthew West 001; Mahesh Viswanathan 001; Geir E. Dullerud (ACM Trans. Embed. Comput. Syst., 2021)

Benchmarking Partial Credit Grading Algorithms for Proof Blocks Problems. - Seth Poulsen; Shubhang Kulkarni; Geoffrey L. Herman; Matthew West 001 (AIED (2), 2022)

Modeling Presymptomatic Spread in Epidemics via Mean-Field Games. - Sukru Yagiz Olmez; Shubham Aggarwal; Jin-Won Kim; Erik Miehling; Tamer Basar; Matthew West 001; Prashant G. Mehta (ACC, 2022)

How does a Rational Agent Act in an Epidemic? - Sukru Yagiz Olmez; Shubham Aggarwal; Jin-Won Kim; Erik Miehling; Tamer Basar; Matthew West 001; Prashant G. Mehta (CDC, 2022)

Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs. - Seth Poulsen; Mahesh Viswanathan 001; Geoffrey L. Herman; Matthew West 001 (ITiCSE (1), 2022)

Achieving "A's for All (as Time and Interest Allow)". - Dan Garcia 001; Connor McMahon; Yuan Garcia; Matthew West 001; Craig B. Zilles (L@S, 2022)

Software Support for "A's for All". - Dan Garcia 001; Connor McMahon; Yuan Garcia; Matthew West 001; Craig B. Zilles (L@S, 2022)

Truly Deterministic Policy Optimization. - Ehsan Saleh; Saba Ghaffari; Timothy Bretl; Matthew West 001 (NeurIPS, 2022)

Learning Interface Conditions in Domain Decomposition Solvers. - Ali Taghibakhshi; Nicolas Nytko; Tareq Uz Zaman; Scott P. MacLachlan; Luke N. Olson; Matthew West 001 (NeurIPS, 2022)

Peer-grading "Explain in Plain English": A Bayesian Calibration Method for Categorical Answers. - Binglin Chen; Matthew West 001; Craig B. Zilles (SIGCSE (1), 2022)

Are We Fair?: Quantifying Score Impacts of Computer Science Exams with Randomized Question Pools. - Max Fowler; David H. Smith IV; Chinedu Emeka; Matthew West 001; Craig B. Zilles (SIGCSE (1), 2022)

Efficient Partial Credit Grading of Proof Blocks Problems. - Seth Poulsen; Shubhang Kulkarni; Geoffrey L. Herman; Matthew West 001 (CoRR, 2022)

Optimized Sparse Matrix Operations for Reverse Mode Automatic Differentiation. - Nicolas Nytko; Ali Taghibakhshi; Tareq-Uz-Zaman; Scott P. MacLachlan; Luke N. Olson; Matt West 001 (CoRR, 2022)

Reevaluating the relationship between explaining, tracing, and writing skills in CS1 in a replication study. - Max Fowler; David H. Smith IV; Mohammed Hassan; Seth Poulsen; Matthew West 001; Craig B. Zilles (Comput. Sci. Educ., 2022)

Evaluating proof blocks problems as exam questions. - Seth Poulsen; Mahesh Viswanathan 001; Geoffrey L. Herman; Matthew West 001 (Inroads, 2022)

Efficient Feedback and Partial Credit Grading for Proof Blocks Problems. - Seth Poulsen; Shubhang Kulkarni; Geoffrey L. Herman; Matthew West 001 (AIED, 2023)

Hierarchical Graph Neural Network with Cross-Attention for Cross-Device User Matching. - Ali Taghibakhshi; Mingyuan Ma; Ashwath Aithal; Onur Yilmaz; Haggai Maron; Matthew West 001 (DaWaK, 2023)

MG-GNN: Multigrid Graph Neural Networks for Learning Multilevel Domain Decomposition Methods. - Ali Taghibakhshi; Nicolas Nytko; Tareq Uz Zaman; Scott P. MacLachlan; Luke N. Olson; Matthew West 001 (ICML, 2023)

A's for All (As Time and Interest Allow). - Dan Garcia 001; Armando Fox; Solomon Russell; Edwin Ambrosio; Neal Terrell; Mariana Silva; Matthew West 001; Craig B. Zilles; Fuzail Shakir (SIGCSE (1), 2023)

Actually Achieving "A's for All" (As Time and Interest Allow). - Dan Garcia 001; Connor McMahon; Yuan Garcia; Craig B. Zilles; Matthew West 001; Mariana Silva; Solomon Russell; Edwin Ambrosio; Neal Terrell (SIGCSE (2), 2023)

Measuring the Impact of a Computational Linear Algebra Course on Students' Exam Performance in a Subsequent Numerical Methods Course. - Hongxuan Chen; Matthew West 001; Sascha Hilgenfeldt; Mariana Silva (SIGCSE (1), 2023)

Efficiency of Learning from Proof Blocks Versus Writing Proofs. - Seth Poulsen; Yael Gertner; Benjamin Cosman; Matthew West 001; Geoffrey L. Herman (SIGCSE (1), 2023)

Investigating the Effects of Testing Frequency on Programming Performance and Students' Behavior. - David H. Smith IV; Chinedu Emeka; Max Fowler; Matthew West 001; Craig B. Zilles (SIGCSE (1), 2023)

Coarse-grid selection using simulated annealing. - Tareq Uz Zaman; Scott P. MacLachlan; Luke N. Olson; Matthew West 001 (J. Comput. Appl. Math., 2023)

Learning from Integral Losses in Physics Informed Neural Networks. - Ehsan Saleh; Saba Ghaffari; Timothy Bretl; Luke N. Olson; Matthew West 001 (ICML, 2024)

A Comparison of Proctoring Regimens for Computer-Based Computer Science Exams. - Chinedu Emeka; Matthew West 001; Craig B. Zilles; Mariana Silva (ITiCSE (1), 2024)

Plagiarism in the Age of Generative AI: Cheating Method Change and Learning Loss in an Intro to CS Course. - Binglin Chen; Colleen M. Lewis; Matthew West 001; Craig B. Zilles (L@S, 2024)

Experiences With Computer-Based Testing (CBT). - Armando Fox; Dan Garcia 001; Cinda Heeren; Firas Moosvi; Mariana Silva; Matthew West 001; Craig B. Zilles (SIGCSE (2), 2024)

Comparing the Security of Three Proctoring Regimens for Bring-Your-Own-Device Exams. - Rishi Gulati; Matthew West 001; Craig B. Zilles; Mariana Silva (SIGCSE (1), 2024)

Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems. - Seth Poulsen; Yael Gertner; Hongxuan Chen; Benjamin Cosman; Matthew West 001; Geoffrey L. Herman (SIGCSE (1), 2024)

A Case for Bayesian Grading. - Craig B. Zilles; Chenyan Zhao; Yuxuan Chen; Evan Michael Matthews; Matthew West 001 (SIGCSE Virtual (1), 2024)

Generalizing Lloyd's Algorithm for Graph Clustering. - Tareq Uz Zaman; Nicolas Nytko; Ali Taghibakhshi; Scott P. MacLachlan; Luke N. Olson; Matthew West 001 (SIAM J. Sci. Comput., 2024)

PyPartMC: A Pythonic interface to a particle-resolved, Monte Carlo aerosol simulation framework. - Zachary D'Aquino; Sylwester Arabas; Jeffrey H. Curtis; Akshunna Vaishnav; Nicole Riemer; Matthew West 001 (SoftwareX, 2024)

Generalizing reduction-based algebraic multigrid. - Tareq Uz Zaman; Nicolas Nytko; Ali Taghibakhshi; Scott P. MacLachlan; Luke N. Olson; Matthew West 001 (Numer. Linear Algebra Appl., 2024)

Frequent Testing vs. Second-chance Testing: An Exploration. - Geoffrey L. Herman; Kajal Patel; Chinedu Emeka; Craig B. Zilles; Matthew West 001 (ICER (1), 2025)

Measuring Test Anxiety of Two Computerized Exam Approaches. - Chinedu Emeka; Craig B. Zilles; Jim Sosnowski; Matthew West 001; Geoffrey L. Herman; Mariana Silva (SIGCSE (1), 2025)

Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. - Seth Poulsen; Hongxuan Chen; Yael Gertner; Benjamin Cosman; Matthew West 001; Geoffrey L. Herman (SIGCSE (1), 2025)

Experiences with Computer-Based Testing (CBT). - Jim Sosnowski; Armando Fox; Dan Garcia 001; Firas Moosvi; Mariana Silva; Matthew West 001; Craig B. Zilles (SIGCSE (2), 2025)

Teaching An Old Dog New Tricks: Porting Legacy Code to Heterogeneous Compute Architectures With Automated Code Translation. - Nicolas Nytko; Andrew Reisner; J. David Moulton; Luke N. Olson; Matthew West 001 (CoRR, 2025)