Λήψη του δικού μου προφίλ
Παρατίθεται από
Όλα | Από το 2020 | |
---|---|---|
Παραθέσεις | 24609 | 9577 |
h-index | 48 | 31 |
i10-index | 83 | 53 |
Δημόσια πρόσβαση
Προβολή όλων2 άρθρα
0 άρθρα
διαθέσιμα
μη διαθέσιμα
Σύμφωνα με εντολές χρηματοδότησης
Συν-συγγραφείς
Nikolaj BjornerMicrosoft ResearchΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.stanford.edu
Bruno DutertreAmazon Web ServicesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα amazon.com
Harald RuessfortissΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fortiss.org
Natarajan ShankarSRI International Computer Science LaboratoryΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csl.sri.com
John RushbySRI InternationalΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csl.sri.com
Clark BarrettStanford UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.stanford.edu
Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cmu.edu
Sebastian UllrichKarlsruhe Institute of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kit.edu
Daniel SelsamOpenAIΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα openai.com
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegeΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα bc.edu
Dejan JovanovićAmazon Web ServicesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα amazon.com
Sam OwreSRI InternationalΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα sri.com
Soonho KongAmazon Web ServicesΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα amazon.com
Grant Olney PassmoreImandra Inc. and Clare Hall, University of CambridgeΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cl.cam.ac.uk
Christoph M. WintersteigerImandraΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα imandra.ai
Ira BaxterCTO Semantic DesignsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα semdesigns.com
Percy LiangAssociate Professor of Computer Science, Stanford UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.stanford.edu
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csl.sri.com
Floris van DoornUniversity of BonnΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα math.uni-bonn.de
Jakob von RaumerKarlsruhe Institute of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα von-raumer.de
Παρακολούθηση
Leonardo de Moura
Amazon Web Services
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα amazon.com - Αρχική σελίδα