Stephen A. Forrest

Cited by

	All	Since 2018
Citations	1335	798
h-index	8	7
i10-index	7	7

200

100

150

201120122013201420152016201720182019202020212022202310 28 26 46 103 158 140 126 138 183 137 169 45

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
Sebastian HerzigMicrosoft CorporationVerified email at gatech.edu
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
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	586	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	284	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	184	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	158	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	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	29	2021
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	12	2016
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	8	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	7	2013
Integration of SMT-LIB Support into Maple SA Forrest Second Annual SC² Workshop, ISSAC 2017, Kaiserslautern, Germany, 2017	6	2017
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