An approach to high-level synthesis system validation using formally verified transformations. - Rajesh Radhakrishnan; Elena Teica; Ranga Vemuri (HLDVT, 2000)

Verification of Basic Block Schedules Using RTL Transformations. - Rajesh Radhakrishnan; Elena Teica; Ranga Vemuri (CHARME, 2001)

On the verification of synthesized designs using automatically generated transformational witnesses. - Elena Teica; Rajesh Radhakrishnan; Ranga Vemuri (DATE, 2001)

Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. - Naren Narasimhan; Elena Teica; Rajesh Radhakrishnan; Sriram Govindarajan; Ranga Vemuri (Formal Methods Syst. Des., 2001)

A novel MAC layer protocol for space division multiple access in wireless ad hoc networks. - Dhananjay Lal; Rishi Toshniwal; Rajesh Radhakrishnan; Dharma P. Agrawal; James Caffery Jr. (ICCCN, 2002)

Framework for Synthesis of Virtual Pipelines. - Srinivasan Dasasathyan; Rajesh Radhakrishnan; Ranga Vemuri (ASP-DAC/VLSI Design, 2002)

A Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs. - Manish Handa; Rajesh Radhakrishnan; Madhubanti Mukherjee; Ranga Vemuri (VLSI Design, 2003)

Transfreight Reduces Costs and Balances Workload at Georgetown Crossdock. - Claudia R. Rosales; Michael J. Fry 001; Rajesh Radhakrishnan (Interfaces, 2009)

Petabyte-scale innovations at the European Nucleotide Archive. - Guy Cochrane; Ruth Akhtar; James K. Bonfield; Lawrence Bower; Fehmi Demiralp; Nadeem Faruque; Richard Gibson; Gemma Hoad; Tim J. P. Hubbard; Christopher I. Hunter; Mikyung Jang; Szilveszter Juhos; et al. (Nucleic Acids Res., 2009)

Improvements to services at the European Nucleotide Archive. - Rasko Leinonen; Ruth Akhtar; Ewan Birney; James K. Bonfield; Lawrence Bower; Matthew Corbett; Ying Cheng; Fehmi Demiralp; Nadeem Faruque; Neil Goodgame; Richard Gibson; Gemma Hoad; et al. (Nucleic Acids Res., 2010)

The European Nucleotide Archive. - Rasko Leinonen; Ruth Akhtar; Ewan Birney; Lawrence Bower; Ana Cerdeño-Tárraga; Ying Cheng; Iain Cleland; Nadeem Faruque; Neil Goodgame; Richard Gibson; Gemma Hoad; Mikyung Jang; et al. (Nucleic Acids Res., 2011)

Major submissions tool developments at the European nucleotide archive. - Clara Amid; Ewan Birney; Lawrence Bower; Ana Cerdeño-Tárraga; Ying Cheng; Iain Cleland; Nadeem Faruque; Richard Gibson; Neil Goodgame; Christopher I. Hunter; Mikyung Jang; Rasko Leinonen; et al. (Nucleic Acids Res., 2012)

Facing growth in the European Nucleotide Archive. - Guy Cochrane; Blaise T. F. Alako; Clara Amid; Lawrence Bower; Ana Cerdeño-Tárraga; Iain Cleland; Richard Gibson; Neil Goodgame; Mikyung Jang; Simon Kay; Rasko Leinonen; Xiu Lin; et al. (Nucleic Acids Res., 2013)

Political engineering: optimizing a U.S. Presidential candidate's platform. - James J. Cochran; David J. Curry; Rajesh Radhakrishnan; Jon Pinnell (Ann. Oper. Res., 2014)

EBI metagenomics - a new resource for the analysis and archiving of metagenomic data. - Sarah Hunter; Matthew Corbett; Hubert Denise; Matthew Fraser; Alejandra N. González-Beltrán; Christopher I. Hunter; Philip Jones; Rasko Leinonen; Craig McAnulla; Eamonn Maguire; John Maslen; Alex L. Mitchell; et al. (Nucleic Acids Res., 2014)

Assembly information services in the European Nucleotide Archive. - Nima Pakseresht; Blaise T. F. Alako; Clara Amid; Ana Cerdeño-Tárraga; Iain Cleland; Richard Gibson; Neil Goodgame; Tamer Gur; Mikyung Jang; Simon Kay; Rasko Leinonen; Weizhong Li 001; et al. (Nucleic Acids Res., 2014)

Content discovery and retrieval services at the European Nucleotide Archive. - Nicole Silvester; Blaise T. F. Alako; Clara Amid; Ana Cerdeño-Tárraga; Iain Cleland; Richard Gibson; Neil Goodgame; Petra ten Hoopen; Simon Kay; Rasko Leinonen; Weizhong Li 001; Xin Liu 006; et al. (Nucleic Acids Res., 2015)