dblp keys for Thomas Sewell

Thomas Sewell
Thomas Arthur Leck Sewell

Keys

# of data records = 29

homepages/98/1593 journals/afp/BrecknellGHIKKLNSSSTW24 journals/pacmpl/SewellMTKMAO23 journals/pacmpl/PulteMSMSK23 conf/esop/BauereissCSAESB22 conf/itp/AbrahamssonMKS22 journals/jfp/OConnorCRJAKMSK21 conf/cpp/NipkowS20 journals/bioinformatics/NashSFASFR18 phd/basesearch/Sewell17 journals/rts/SewellKH17 journals/afp/BeerenFGKKLLMS16 conf/asplos/AmaniHCRCOBNLST16 conf/icfp/OConnorCRALMNSK16 conf/itp/RizkallahLNSCOM16 conf/rtas/SewellKH16 journals/corr/OConnorRCALNSHK16 journals/tocs/KleinAEMSKH14 conf/cav/Sewell14 conf/icfem/BoytonABFGGKLS13 conf/pldi/SewellMK13 conf/cpp/BohmeFSW11 conf/hotos/KleinMGSW11 conf/itp/SewellWGMAK11 journals/cacm/KleinAEHCDEEKNSTW10 books/sp/10/KleinSW10 conf/sosp/KleinEHACDEEKNSTW09 conf/tphol/WinwoodKSACN09 conf/tphol/CockKS08

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.