Follow
Stephen A. Forrest
Stephen A. Forrest
Maplesoft
Verified email at maplesoft.com
Title
Cited by
Cited by
Year
Pre-Columbian mycobacterial genomes reveal seals as a source of New World human tuberculosis
KI Bos, KM Harkins, A Herbig, M Coscolla, N Weber, I Comas, SA Forrest, ...
Nature 514 (7523), 494–497, 2014
6412014
Targeted enrichment of ancient pathogens yielding the pPCP1 plasmid of Yersinia pestis from victims of the Black Death
VJ Schuenemann, K Bos, S DeWitte, S Schmedes, J Jamieson, A Mittnik, ...
Proceedings of the National Academy of Sciences 108 (38), E746-E752, 2011
3052011
Eighteenth century Yersinia pestis genomes reveal the long-term persistence of an historical plague focus
KI Bos, A Herbig, J Sahl, N Waglechner, M Fourment, SA Forrest, J Klunk, ...
Elife 5, e12994, 2016
2002016
Second-pandemic strain of Vibrio cholerae from the Philadelphia cholera outbreak of 1849
AM Devault, GB Golding, N Waglechner, JM Enk, M Kuch, JH Tien, M Shi, ...
New England Journal of Medicine 370 (4), 334-340, 2014
1652014
SC²: Satisfiability Checking Meets Symbolic Computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016
51*2016
Analysis of Genomic DNA from Medieval Plague Victims Suggests Long-Term Effect of Yersinia pestis on Human Immunity Genes
A Immel, FM Key, A Szolek, R Barquera, MK Robinson, GF Harrison, ...
Molecular biology and evolution 38 (10), 4059-4076, 2021
392021
Applying Systems Modeling Approaches to Building Construction
F Valdes, R Gentry, C Eastman, S Forrest
ISARC. Proceedings of the International Symposium on Automation and Robotics …, 2016
122016
Satisfiability Checking and Symbolic Computation
E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ...
ACM Communications in Computer Algebra 50 (4), 145-147, 2017
112017
Integration of SMT-LIB Support into Maple
SA Forrest
Second Annual SC² Workshop, ISSAC 2017, Kaiserslautern, Germany, 2017
62017
Integrating Analytical Models with Descriptive System Models: Implementation of the OMG SyML Standard for the Tool-specific Case of MapleSim and MagicDraw
SJI Herzig, NF Rouquette, S Forrest, JS Jenkins
Procedia Computer Science 16, 118-127, 2013
62013
Mining Maple Code for Contracts
J Carette, S Forrest
Calculemus, Electronic Lecture Notes in Computer Science, 2006
62006
SC-square: when Satisfiability Checking and Symbolic Computation join forces
E Abraham, J Abbott, B Becker, AM Bigatti, M Brain, A Cimatti, ...
Automated Reasoning: Challenges, Applications, Directions, Exemplary …, 2017
32017
Property inference for Maple: an application of abstract interpretation
SA Forrest
McMaster University, 2007
1*2007
SMT-like Queries in Maple
SA Forrest
Third Annual SC² Workshop, FLoC 2018, Oxford, United Kingdom, 2018
2018
SC2: Satisfiability Checking Meets Symbolic Computation (Project Paper)
T Sturm, E Ábrahám, J Abbott, B Becker, A Bigatti, M Brain, B Buchberger, ...
2016
Integration of a SAT Solver Into Maple
SA Forrest
SC² Session, Applications of Computer Algebra 2016, Kassel, Germany, 2016
2016
SC² challenges: when Satisfiability Checking and Symbolic Computation join forces
E Abrahám, J Abbott10, B Becker, AM Bigatti, M Brain, A Cimatti, ...
The system can't perform the operation now. Try again later.
Articles 1–17