I agree that this site is using cookies. You can find further informations here.
X
Pai, Rekha
67  results:
OpenAccess-fulltext X
Search for persons X
?
1

Artifact for Paper A formal CHERI-C Semantics for Verificat..:

Park, Seung Hoon ; Pai, Rekha ; Melham, Tom
info:eu-repo/grantAgreement/UKRI/EPSRC/EP/V000225/1/.  , 2023
Link: https://zenodo.org/recor..
 
?
2

A Formal CHERI-C Semantics for Verification:

Park, Seung Hoon ; Pai, Rekha ; Melham, Tom
http://arxiv.org/abs/2211.07511.  , 2022
Link: http://arxiv.org/abs/221..
 
?
3

Static Race Detection for RTOS Applications:

Tulsyan, Rishi ; Pai, Rekha ; D'Souza, Deepak
http://arxiv.org/abs/2010.02642.  , 2020
Link: http://arxiv.org/abs/201..
 
?
4

Static Race Detection for RTOS Applications:

Tulsyan, Rishi ; Pai, Rekha ; D'Souza, Deepak
doi:10.4230/LIPIcs.FSTTCS.2020.57.  , 2020
Link: https://doi.org/10.4230/..
 
?
5

Presurgical Screening of Fine Needle Aspirates from Thyroid..:

Hemalatha, Ramamoorthy ; Pai, Rekha ; Manipadam, Marie T...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC6330867/.  , 2018
Link: http://www.ncbi.nlm.nih...
 
?
6

Re-operative Surgery for Pheochromocytoma-Paraganglioma: An..:

Sonbare, Dhiraj John ; Abraham, Deepak Thomas ; Rajaratnam, Simon...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC5991023/.  , 2017
Link: http://www.ncbi.nlm.nih...
 
?
7

Outcome of Treatment for Medullary Thyroid Carcinoma—a Sing..:

Cherian, Anish Jacob ; Ramakant, Pooja ; Pai, Rekha...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC5856701/.  , 2017
Link: http://www.ncbi.nlm.nih...
 
?
8

EGFR mutational status of primary Lung Adenocarcinoma in an..:

Ravi, Priyanka Yogendra ; Korula, Anila ; Jeyaseelan, Visalakshi..
https://www.pacificejournals.com/journal/index.php/apalm/article/view/apalm1372/pdf_430.  , 2017
Link: https://www.pacificejour..
 
?
9

Vaccine Escape Recombinants Emerge after Pneumococcal Vacci..:

Brueggemann, Angela B ; Pai, Rekha ; Crook, Derrick W.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2077903.  , 2007
Link: http://www.ncbi.nlm.nih...
 
?
10

Pre- and Postvaccination Clonal Compositions of Invasive Pn..:

Beall, Bernard ; McEllistrem, M. Catherine ; Gertz, Robert E...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1393141.  , 2006
Link: http://www.ncbi.nlm.nih...
 
?
11

Sequential Multiplex PCR Approach for Determining Capsular ..:

Pai, Rekha ; Gertz, Robert E ; Beall, Bernard
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1351965.  , 2006
Link: http://www.ncbi.nlm.nih...
 
?
12

Use of Pyrosequencing To Differentiate Streptococcus pneumo..:

Pai, Rekha ; Limor, Josef ; Beall, Bernard
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1234130.  , 2005
Link: http://www.ncbi.nlm.nih...
 
?
13

Clonal Association between Streptococcus pneumoniae Serotyp..:

Pai, Rekha ; Gertz, Robert E ; Whitney, Cynthia G.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1287803.  , 2005
Link: http://www.ncbi.nlm.nih...
 
?
14

Determination of Penicillin Resistance in Streptococcus pne..:

Lalitha, M. K ; Manoharan, Anand ; Pai, Rekha.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC85338.  , 1999
Link: http://www.ncbi.nlm.nih...
 
?
15

Global Value Numbering: A Precise and Efficient Algorithm:

Pai, Rekha R
http://arxiv.org/abs/1504.03239.  , 2015
Link: http://arxiv.org/abs/150..
 
1-15