Stephen A. Forrest
Stephen A. Forrest
Maplesoft
Email verificata su maplesoft.com
TitoloCitata daAnno
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
2832014
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
1882011
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
852014
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
762016
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
322016
Mining Maple Code for Contracts
J Carette, S Forrest
Calculemus, Electronic Lecture Notes in Computer Science, 2006
62006
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
52013
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
42017
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
42016
Integration of SMT-LIB Support into Maple
SA Forrest
Second Annual SC˛ Workshop, ISSAC 2017, Kaiserslautern, Germany, 2017
12017
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
SC-square: when Satisfiability Checking and Symbolic Computation join forces
E Abraham, J Abbott, B Becker, AM Bigatti, M Brain, A Cimatti, ...
EPiC Series in Computing 51, 6-10, 2017
2017
SC2: Satisfiability Checking Meets Symbolic Computation (Project Paper)
T Sturm, E Ábrahám, J Abbott, B Becker, A Bigatti, M Brain, B Buchberger, ...
Proc. CICM 2016, 28-43, 2016
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, ...
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–16