Stephen A. Forrest

Citat de

	Toate	Din 2020
Referințe bibliografice	1514	717
h-index	8	7
i10-index	8	7

200

100

150

20112012201320142015201620172018201920202021202220232024202510 25 24 47 103 150 144 118 145 179 135 181 122 84 16

Acces public

Afișați-le pe toate

6 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Kirsten BosGroup Leader, Molecular Palaeopathology, Max Planck Institute for Evolutionary AnthropologyAdresă de e-mail confirmată pe eva.mpg.de
Johannes KrauseProfessor Archaeogenetics and PaleogeneticsAdresă de e-mail confirmată pe shh.mpg.de
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; former Vice-President, BCSAdresă de e-mail confirmată pe bath.ac.uk
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityAdresă de e-mail confirmată pe cs.rwth-aachen.de
Martin BrainCity, University of LondonAdresă de e-mail confirmată pe city.ac.uk
Anna Maria BigattiRicercatore di Algebra, Universita' degli Studi di GenovaAdresă de e-mail confirmată pe dima.unige.it
Alberto GriggioResearcher, Fondazione Bruno KesslerAdresă de e-mail confirmată pe fbk.eu
John AbbottRicercatore di Algebra, Universita` di GenovaAdresă de e-mail confirmată pe dima.unige.it
Brian CoombesMcMaster University, Department of Biochemistry and Biomedical SciencesAdresă de e-mail confirmată pe mcmaster.ca
Thomas SturmResearch Director, CNRSAdresă de e-mail confirmată pe loria.fr
Bruno BuchbergerProfesser for Computer Mathematics, Johannes Kepler UniversityAdresă de e-mail confirmată pe jku.at
Alison DevaultDaicel Arbor Biosciences (formerly MYcroarray)Adresă de e-mail confirmată pe arborbiosci.com
Jacques CaretteAssociate Professor of Computer Science and Software Engineering, McMaster UniversityAdresă de e-mail confirmată pe mcmaster.ca
Sebastian Herzig-PatelMicrosoft CorporationAdresă de e-mail confirmată pe gatech.edu
Matthew EnglandCoventry UniversityAdresă de e-mail confirmată pe coventry.ac.uk

Urmăriți

Stephen A. Forrest

Maplesoft

Adresă de e-mail confirmată pe maplesoft.com


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	671	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	313	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	203	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	177	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	54*	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	48	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	14	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
Mining Maple Code for Contracts J Carette, S Forrest Calculemus, Electronic Lecture Notes in Computer Science, 2006	6	2006
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	5	2013
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, ...

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–17

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori