Stephen A. Forrest

Cited by

	All	Since 2019
Citations	1521	849
h-index	8	8
i10-index	8	8

200

100

150

2011201220132014201520162017201820192020202120222023202410 27 26 47 103 153 147 127 145 184 139 182 124 75

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kirsten BosGroup Leader, Molecular Palaeopathology, Max Planck Institute for Evolutionary AnthropologyVerified email at eva.mpg.de
Johannes KrauseProfessor Archaeogenetics and PaleogeneticsVerified email at shh.mpg.de
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSVerified email at bath.ac.uk
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Martin BrainCity, University of LondonVerified email at city.ac.uk
Anna Maria BigattiRicercatore di Algebra, Universita' degli Studi di GenovaVerified email at dima.unige.it
Alberto GriggioResearcher, Fondazione Bruno KesslerVerified email at fbk.eu
John AbbottRicercatore di Algebra, Universita` di GenovaVerified email at dima.unige.it
Brian CoombesMcMaster University, Department of Biochemistry and Biomedical SciencesVerified email at mcmaster.ca
Thomas SturmResearch Director, CNRSVerified email at loria.fr
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityVerified email at jku.at
Alison DevaultDaicel Arbor Biosciences (formerly MYcroarray)Verified email at arborbiosci.com
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Sebastian Herzig-PatelMicrosoft CorporationVerified email at gatech.edu
Matthew EnglandCoventry UniversityVerified email at coventry.ac.uk

Stephen A. Forrest

Maplesoft

Verified email at maplesoft.com


Title Sort by citations Sort by year Sort by 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	672	2014
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	318	2011
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	209	2016
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	174	2014
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	55*	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	43	2021
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	15	2017
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	13	2016
Integration of SMT-LIB Support into Maple SA Forrest Second Annual SC² Workshop, ISSAC 2017, Kaiserslautern, Germany, 2017	6	2017
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	6	2013
Mining Maple Code for Contracts J Carette, S Forrest Calculemus, Electronic Lecture Notes in Computer Science, 2006	6	2006
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	3	2017
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

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors