https://dblp.org/rdf/schema#affiliation
|
Carnegie Mellon University, Pittsburgh, USA
|
https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/jar/ReevesHB23 +
, https://dblp.org/rec/journals/tocl/BryantH23 +
, https://dblp.org/rec/conf/sat/BryantNAH23 +
, https://dblp.org/rec/journals/corr/abs-2304-04292 +
, https://dblp.org/rec/journals/corr/abs-2306-10337 +
, https://dblp.org/rec/conf/cade/ReevesHB22 +
, https://dblp.org/rec/conf/fmcad/Bryant22 +
, https://dblp.org/rec/conf/tacas/BryantBH22 +
, https://dblp.org/rec/conf/tacas/ReevesHB22 +
, https://dblp.org/rec/conf/cade/BryantH21 +
, https://dblp.org/rec/conf/tacas/BryantH21 +
, https://dblp.org/rec/journals/corr/abs-2105-00885 +
, https://dblp.org/rec/journals/jar/Bryant20 +
, https://dblp.org/rec/journals/pieee/BasuBMTW20 +
, https://dblp.org/rec/journals/corr/abs-2008-00055 +
, https://dblp.org/rec/journals/pieee/BasuBMTW19 +
, https://dblp.org/rec/conf/sigcse/RailingB18 +
, https://dblp.org/rec/conf/tacas/Bryant18 +
, https://dblp.org/rec/reference/mc/Bryant18 +
, https://dblp.org/rec/conf/wsc/FujimotoBBCJMNU17 +
, https://dblp.org/rec/journals/corr/HagerBHMH17 +
, https://dblp.org/rec/journals/corr/abs-1710-06500 +
, https://dblp.org/rec/conf/ipps/Bryant16 +
, https://dblp.org/rec/journals/interactions/McDonaldABGHS14 +
, https://dblp.org/rec/conf/sosp/CuiSLLBXYGB13 +
, https://dblp.org/rec/journals/cse/Bryant11 +
, https://dblp.org/rec/conf/fmcad/BradyBS11 +
, https://dblp.org/rec/journals/fmsd/BryantGSV10 +
, https://dblp.org/rec/conf/memocode/BradyBSO10 +
, https://dblp.org/rec/journals/fmsd/BryantGHV09 +
, https://dblp.org/rec/journals/sttt/BryantKOSSB09 +
, https://dblp.org/rec/journals/ai/JensenVB08 +
, https://dblp.org/rec/conf/spin/Bryant08 +
, https://dblp.org/rec/journals/jsat/SeshiaSB07 +
, https://dblp.org/rec/journals/tocl/LahiriB07 +
, https://dblp.org/rec/conf/tacas/BryantKOSSB07 +
, https://dblp.org/rec/conf/lics/Bryant06 +
, https://dblp.org/rec/conf/rta/Bryant06 +
, https://dblp.org/rec/journals/ijes/VelevB05 +
, https://dblp.org/rec/journals/lmcs/SeshiaB05 +
, https://dblp.org/rec/conf/async/SeshiaBS05 +
, https://dblp.org/rec/conf/cade/BryantS05 +
, https://dblp.org/rec/conf/icse/GanapathySJRB05 +
, https://dblp.org/rec/conf/sp/ChristodorescuJSSB05 +
, https://dblp.org/rec/journals/corr/abs-cs-0508044 +
, https://dblp.org/rec/conf/aips/JensenVB04 +
, https://dblp.org/rec/conf/cav/LahiriB04 +
, https://dblp.org/rec/conf/cav/GoelB04 +
, https://dblp.org/rec/conf/iccad/BryantR04 +
, https://dblp.org/rec/conf/lics/SeshiaB04 +
, https://dblp.org/rec/conf/memocode/Bryant04 +
, https://dblp.org/rec/conf/tacas/LahiriBGT04 +
, https://dblp.org/rec/conf/vmcai/LahiriB04 +
, https://dblp.org/rec/journals/corr/cs-LO-0407006 +
, https://dblp.org/rec/books/daglib/0015575 +
, https://dblp.org/rec/journals/jsc/VelevB03 +
, https://dblp.org/rec/conf/aips/JensenVB03 +
, https://dblp.org/rec/conf/cav/LahiriBC03 +
, https://dblp.org/rec/conf/cav/SeshiaB03 +
, https://dblp.org/rec/conf/cav/LahiriB03 +
, https://dblp.org/rec/conf/charme/BryantLS03 +
, https://dblp.org/rec/conf/dac/SeshiaLB03 +
, https://dblp.org/rec/conf/dac/GoelHB03 +
, https://dblp.org/rec/conf/date/GoelB03 +
, https://dblp.org/rec/conf/fsttcs/Bryant03 +
, https://dblp.org/rec/journals/tocl/BryantV02 +
, https://dblp.org/rec/conf/aaai/JensenBV02 +
, https://dblp.org/rec/conf/cav/BryantLS02 +
, https://dblp.org/rec/conf/cav/StrichmanSB02 +
, https://dblp.org/rec/conf/fmcad/LahiriSB02 +
, https://dblp.org/rec/tr/trier/MI02-20 +
, https://dblp.org/rec/journals/pieee/BryantCKKMNPRS01 +
, https://dblp.org/rec/journals/sttt/BryantC01 +
, https://dblp.org/rec/journals/tcad/McDonaldB01 +
, https://dblp.org/rec/journals/tcad/ChenB01 +
, https://dblp.org/rec/journals/tocl/BryantGV01 +
, https://dblp.org/rec/conf/cav/VelevB01 +
, https://dblp.org/rec/conf/dac/VelevB01 +
, https://dblp.org/rec/conf/dac/McDonaldB01 +
, https://dblp.org/rec/conf/iccad/McDonaldB01 +
, https://dblp.org/rec/conf/sigcse/BryantO01 +
, https://dblp.org/rec/conf/cav/BryantV00 +
, https://dblp.org/rec/conf/dac/VelevB00 +
, https://dblp.org/rec/conf/dac/McDonaldB00 +
, https://dblp.org/rec/conf/fmcad/WilsonDB00 +
, https://dblp.org/rec/conf/fmcad/BryantCCG00 +
, https://dblp.org/rec/journals/corr/cs-LO-0008001 +
, https://dblp.org/rec/journals/tcad/PandeyB99 +
, https://dblp.org/rec/conf/cav/YangSBO99 +
, https://dblp.org/rec/conf/cav/BryantGV99 +
, https://dblp.org/rec/conf/charme/VelevB99 +
, https://dblp.org/rec/conf/dac/VelevB99 +
, https://dblp.org/rec/conf/iccad/McDonaldB99 +
, https://dblp.org/rec/conf/tableaux/BryantGV99 +
, https://dblp.org/rec/conf/vlsid/PatankarJB99 +
, https://dblp.org/rec/journals/corr/cs-LO-9910014 +
, https://dblp.org/rec/conf/acsd/VelevB98 +
, https://dblp.org/rec/conf/aspdac/YangCBO98 +
, https://dblp.org/rec/conf/cav/ChenB98 +
, https://dblp.org/rec/conf/dac/BryantM98 +
, https://dblp.org/rec/conf/fmcad/VelevB98 +
, https://dblp.org/rec/conf/fmcad/YangBOBCJRS98 +
, https://dblp.org/rec/conf/iccd/VelevB98 +
, https://dblp.org/rec/conf/tacas/Bryant98 +
, https://dblp.org/rec/conf/tacas/VelevB98 +
, https://dblp.org/rec/conf/asian/BryantV97 +
, https://dblp.org/rec/conf/cav/PandeyB97 +
, https://dblp.org/rec/conf/cav/VelevBJ97 +
, https://dblp.org/rec/conf/dac/NelsonJB97 +
, https://dblp.org/rec/conf/dac/PandeyRBA97 +
, https://dblp.org/rec/conf/iccad/ChenB97 +
, https://dblp.org/rec/conf/dac/PandeyRBB96 +
, https://dblp.org/rec/conf/dac/Bryant96 +
, https://dblp.org/rec/conf/fmcad/JainNB96 +
, https://dblp.org/rec/conf/iccad/ChenB96 +
, https://dblp.org/rec/journals/fmsd/SegerB95 +
, https://dblp.org/rec/conf/cav/Bryant95 +
, https://dblp.org/rec/conf/dac/BryantC95 +
, https://dblp.org/rec/conf/dac/JainBJ95 +
, https://dblp.org/rec/conf/iccad/Bryant95 +
, https://dblp.org/rec/conf/iccd/PandeyJBBYJ95 +
, https://dblp.org/rec/conf/dac/BeattyB94 +
, https://dblp.org/rec/conf/ismvl/SegerB94 +
, https://dblp.org/rec/journals/tcad/HuangB93 +
, https://dblp.org/rec/conf/iccad/JainB93 +
, https://dblp.org/rec/conf/iccd/Bryant93 +
, https://dblp.org/rec/conf/icpp/ShefflerB93 +
, https://dblp.org/rec/conf/iscas/BryantTH93 +
, https://dblp.org/rec/journals/csur/Bryant92 +
, https://dblp.org/rec/conf/ifip/Bryant92 +
, https://dblp.org/rec/journals/jacm/Bryant91 +
, https://dblp.org/rec/journals/tc/Bryant91 +
, https://dblp.org/rec/journals/tcad/Bryant91 +
, https://dblp.org/rec/journals/tcad/KravitzBR91 +
, https://dblp.org/rec/conf/dac/JainB91 +
, https://dblp.org/rec/conf/dac/BryantBS91 +
, https://dblp.org/rec/conf/iccad/Bryant91 +
, https://dblp.org/rec/conf/cav/BryantS90 +
, https://dblp.org/rec/conf/dac/BraceRB90 +
, https://dblp.org/rec/conf/dac/Bryant90 +
, https://dblp.org/rec/conf/dimacs/BryantS90 +
, https://dblp.org/rec/conf/dac/KravitzBR89 +
, https://dblp.org/rec/conf/dac/ChoB89 +
, https://dblp.org/rec/conf/ifip/Bryant89 +
, https://dblp.org/rec/conf/isca/KravitzR89 +
, https://dblp.org/rec/conf/msiw/Bryant89 +
, https://dblp.org/rec/journals/dt/BeattyB88 +
, https://dblp.org/rec/conf/dac/Bryant88 +
, https://dblp.org/rec/conf/dac/BeattyB88 +
, https://dblp.org/rec/conf/iccad/Bryant88 +
, https://dblp.org/rec/journals/dt/Bryant87 +
, https://dblp.org/rec/journals/tcad/Bryant87 +
, https://dblp.org/rec/journals/tcad/Bryant87a +
, https://dblp.org/rec/conf/dac/BryantBBCS87 +
, https://dblp.org/rec/journals/tc/Bryant86 +
, https://dblp.org/rec/journals/tcad/DallyB85 +
, https://dblp.org/rec/conf/dac/Bryant85 +
, https://dblp.org/rec/conf/dac/BryantS85 +
, https://dblp.org/rec/journals/tc/Bryant84 +
, https://dblp.org/rec/conf/dac/Bryant81 +
, https://dblp.org/rec/conf/ibm/BryantD80 +
|
https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/85/1962 +
, https://dblp.org/pid/11/4038 +
, https://dblp.org/pid/60/1535 +
, https://dblp.org/pid/b/RBagrodia +
, https://dblp.org/pid/93/4248 +
, https://dblp.org/pid/03/3728 +
, https://dblp.org/pid/b/ArminBiere +
, https://dblp.org/pid/28/2548 +
, https://dblp.org/pid/94/422 +
, https://dblp.org/pid/98/6284 +
, https://dblp.org/pid/c/KManiChandy +
, https://dblp.org/pid/93/4524 +
, https://dblp.org/pid/65/3951 +
, https://dblp.org/pid/09/3079 +
, https://dblp.org/pid/c/KwangTingCheng +
, https://dblp.org/pid/41/2024 +
, https://dblp.org/pid/64/4993 +
, https://dblp.org/pid/c/EdmundMClarke +
, https://dblp.org/pid/36/113 +
, https://dblp.org/pid/26/6362 +
, https://dblp.org/pid/59/5565 +
, https://dblp.org/pid/d/WJDally +
, https://dblp.org/pid/58/1580 +
, https://dblp.org/pid/d/DavidLDill +
, https://dblp.org/pid/f/RichardMFujimoto +
, https://dblp.org/pid/46/1879 +
, https://dblp.org/pid/154/2807 +
, https://dblp.org/pid/65/723 +
, https://dblp.org/pid/86/602 +
, https://dblp.org/pid/g/GarthAGibson +
, https://dblp.org/pid/68/6702 +
, https://dblp.org/pid/g/OrnaGrumberg +
, https://dblp.org/pid/12/5814 +
, https://dblp.org/pid/53/5428 +
, https://dblp.org/pid/271/8413 +
, https://dblp.org/pid/h/ThomasAHenzinger +
, https://dblp.org/pid/h/MarijnHeule +
, https://dblp.org/pid/h/HaymHirsh +
, https://dblp.org/pid/h/VasantHonavar +
, https://dblp.org/pid/h/EricHorvitz +
, https://dblp.org/pid/47/6487 +
, https://dblp.org/pid/25/1990 +
, https://dblp.org/pid/64/1498 +
, https://dblp.org/pid/99/5636 +
, https://dblp.org/pid/21/5579 +
, https://dblp.org/pid/20/7407 +
, https://dblp.org/pid/j/SomeshJha +
, https://dblp.org/pid/k/AndrewBKahng +
, https://dblp.org/pid/k/RandyHKatz +
, https://dblp.org/pid/k/KurtKeutzer +
, https://dblp.org/pid/84/1473 +
, https://dblp.org/pid/k/DanielKroening +
, https://dblp.org/pid/32/2903 +
, https://dblp.org/pid/17/5705 +
, https://dblp.org/pid/135/6809 +
, https://dblp.org/pid/06/662 +
, https://dblp.org/pid/37/5216 +
, https://dblp.org/pid/88/1316 +
, https://dblp.org/pid/24/1547 +
, https://dblp.org/pid/m/CMeinel +
, https://dblp.org/pid/d/GDeMicheli +
, https://dblp.org/pid/m/JayadevMisra +
, https://dblp.org/pid/61/4518 +
, https://dblp.org/pid/297/4667 +
, https://dblp.org/pid/48/3033 +
, https://dblp.org/pid/n/ARichardNewton +
, https://dblp.org/pid/n/DavidMNicol +
, https://dblp.org/pid/29/1660 +
, https://dblp.org/pid/35/2376 +
, https://dblp.org/pid/55/4663 +
, https://dblp.org/pid/92/1323 +
, https://dblp.org/pid/53/6964 +
, https://dblp.org/pid/p/LawrenceTPileggi +
, https://dblp.org/pid/r/JMRabaey +
, https://dblp.org/pid/43/9698 +
, https://dblp.org/pid/44/636 +
, https://dblp.org/pid/r/SriramKRajamani +
, https://dblp.org/pid/71/4328 +
, https://dblp.org/pid/317/4319 +
, https://dblp.org/pid/r/TWReps +
, https://dblp.org/pid/71/3019 +
, https://dblp.org/pid/r/RobARutenbar +
, https://dblp.org/pid/s/ALSangiovanniV +
, https://dblp.org/pid/32/5328 +
, https://dblp.org/pid/58/1751 +
, https://dblp.org/pid/s/SanjitASeshia +
, https://dblp.org/pid/140/9645 +
, https://dblp.org/pid/97/4565 +
, https://dblp.org/pid/s/JosephSifakis +
, https://dblp.org/pid/s/ReidGSimmons +
, https://dblp.org/pid/276/0168 +
, https://dblp.org/pid/62/5300 +
, https://dblp.org/pid/s/DXSong +
, https://dblp.org/pid/32/7137 +
, https://dblp.org/pid/48/5524 +
, https://dblp.org/pid/s/OferStrichman +
, https://dblp.org/pid/s/KSubramani +
, https://dblp.org/pid/37/913 +
, https://dblp.org/pid/20/2976 +
, https://dblp.org/pid/t/JDTygar +
, https://dblp.org/pid/u/BrianUnger +
, https://dblp.org/pid/v/MosheYVardi +
, https://dblp.org/pid/v/MiroslavNVelev +
, https://dblp.org/pid/v/ManuelaMVeloso +
, https://dblp.org/pid/233/3744 +
, https://dblp.org/pid/72/6864 +
, https://dblp.org/pid/135/6796 +
, https://dblp.org/pid/43/2523 +
, https://dblp.org/pid/71/3724 +
, https://dblp.org/pid/79/4575 +
|
https://dblp.org/rdf/schema#creatorName
|
Randal E. Bryant
|
https://dblp.org/rdf/schema#creatorNote
|
award (2007): IEEE Emanuel R. Piore Award
, award (1998): Paris Kanellakis Award
|
https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/dac/1998 +
|
https://dblp.org/rdf/schema#homepage
|
http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/bryant/www/home.html +
|
https://dblp.org/rdf/schema#orcid
|
https://orcid.org/0000-0001-5024-6613 +
|
https://dblp.org/rdf/schema#primaryAffiliation
|
Carnegie Mellon University, Pittsburgh, USA
|
https://dblp.org/rdf/schema#primaryCreatorName
|
Randal E. Bryant
|
https://dblp.org/rdf/schema#primaryHomepage
|
http://www-cgi.cs.cmu.edu/afs/cs.cmu.edu/user/bryant/www/home.html +
|
https://dblp.org/rdf/schema#webpage
|
https://scholar.google.com/citations?user=AFgYa68AAAAJ +
, https://dl.acm.org/profile/81100341103 +
, https://mathscinet.ams.org/mathscinet/MRAuthorID/217230 +
, https://mathgenealogy.org/id.php?id=50060 +
|
https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q13412132 +
|
https://dblp.org/rdf/schema#wikipedia
|
https://en.wikipedia.org/wiki/Randal_Bryant +
|
owl:sameAs |
https://orcid.org/0000-0001-5024-6613 +
, http://www.wikidata.org/entity/Q13412132 +
, http://isni.org/isni/0000000115921847 +
, https://id.loc.gov/authorities/names/n83045463 +
, https://d-nb.info/gnd/1089505965 +
|
rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
rdfs:label |
Randal E. Bryant
|