Search CORE

2 research outputs found

Fine-grained Concurrency with Separation Logic

Author: CAR Hoare
CAR Hoare
D Gries
DM Russinoff
EA Ashcroft
EW Dijkstra
EW Dijkstra
GR Andrews
J-Y Girard
Kalpesh Kapoor
Kamal Lodaya
L Lamport
M Ben-Ari
N Torp-Smith
P Brinch Hansen
PW O’Hearn
PW O’Hearn
S Owicki
SD Brookes
SS Owicki
Uday S. Reddy
W-P Roever de
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Effect of enamel protective agents on shear bond strength of orthodontic brackets

Author: A Delport
A Ekizer
A Tabrizi
AM Geiger
AM Geiger
B Ogaard
B Van Meerbeek
BC Pseiner
CK Chow
CM de Souza-e-Silva
DH Pashley
E Naidu
E Tufekci
E Yetkiner
HS Chang
IR Reynolds
J Årtun
JM Ten Cate
JM Ten Cate
JR Miller
K Söderholm
KD O’Brien
L Jia
L Manfred
LJ Oesterle
M Enaia
M Hanning
M Poosti
MA Montasser
MA Montasser
MM O’Reilly
MM Pithon
PA Cook
PR Schmidlin
RC Pascotto
RL Boyd
S-Y Lee
SB Cehreli
SD Lodaya
SE Bishara
T Eliades
T Hayakawa
TA Al-Musallam
V Di Hipólito
VA David
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core