dblp keys for Russell O'Connor

Russell O'Connor

Keys

# of data records = 29

homepages/59/6733 journals/corr/abs-1812-08079 conf/ccs/OConnor17 conf/fc/OConnorP17 journals/corr/abs-1711-03028 journals/jfp/JaskelioffO15 journals/corr/JaskelioffO14 conf/itp/GonthierAABCGRMOBPRSTT13 conf/aisc/CaretteO12 journals/corr/abs-1204-0053 journals/mscs/OConnor11 conf/icfp/OConnor11 conf/mkm/CaretteFO11 journals/corr/abs-1103-2841 journals/corr/abs-1106-1862 journals/ijon/Dunin-BarkowskiLOBDRMONSL10 journals/tcs/OConnorS10 journals/corr/abs-1008-1213 journals/jfrea/KaliszykO09 conf/cca/SpittersO09 conf/tphol/OConnor08 journals/corr/abs-0805-2438 journals/corr/abs-0806-3209 journals/corr/abs-0809-1552 journals/corr/abs-0809-1644 journals/mscs/OConnor07 journals/corr/abs-cs-0605058 conf/tphol/OConnor05 journals/corr/abs-cs-0505034

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.