 | 2011 |
| 9 |  | Rasko Leinonen,
Ruth Akhtar,
Ewan Birney,
Lawrence Bower,
Ana Cerdeno-Tárraga,
Ying Cheng,
Iain Cleland,
Nadeem Faruque,
Neil Goodgame,
Richard Gibson,
Gemma Hoad,
Mikyung Jang,
Nima Pakseresht,
Sheila Plaister,
Rajesh Radhakrishnan,
Kethi Reddy,
Siamak Sobhany,
Petra Ten Hoopen,
Robert Vaughan,
Vadim Zalunin,
Guy Cochrane:
The European Nucleotide Archive.
Nucleic Acids Research 39(Database-Issue): 28-31 (2011) |
| 2010 |
| 8 |  | Rasko Leinonen,
Ruth Akhtar,
Ewan Birney,
James K. Bonfield,
Lawrence Bower,
Matt Corbett,
Ying Cheng,
Fehmi Demiralp,
Nadeem Faruque,
Neil Goodgame,
Richard Gibson,
Gemma Hoad,
Christopher Hunter,
Mikyung Jang,
Steven Leonard,
Quan Lin,
Rodrigo Lopez,
Michael Maguire,
Hamish McWilliam,
Sheila Plaister,
Rajesh Radhakrishnan,
Siamak Sobhany,
Guy Slater,
Petra Ten Hoopen,
Franck Valentin,
Robert Vaughan,
Vadim Zalunin,
Daniel Zerbino,
Guy Cochrane:
Improvements to services at the European Nucleotide Archive.
Nucleic Acids Research 38(Database-Issue): 39-45 (2010) |
| 2009 |
| 7 |  | Claudia R. Rosales,
Michael J. Fry,
Rajesh Radhakrishnan:
Transfreight Reduces Costs and Balances Workload at Georgetown Crossdock.
Interfaces 39(4): 316-328 (2009) |
| 6 |  | Guy Cochrane,
Ruth Akhtar,
James K. Bonfield,
Lawrence Bower,
Fehmi Demiralp,
Nadeem Faruque,
Richard Gibson,
Gemma Hoad,
Tim J. P. Hubbard,
Christopher Hunter,
Mikyung Jang,
Szilveszter Juhos,
Rasko Leinonen,
Steven Leonard,
Quan Lin,
Rodrigo Lopez,
Dariusz Lorenc,
Hamish McWilliam,
Gaurab Mukherjee,
Sheila Plaister,
Rajesh Radhakrishnan,
Stephen Robinson,
Siamak Sobhany,
Petra Ten Hoopen,
Robert Vaughan,
Vadim Zalunin,
Ewan Birney:
Petabyte-scale innovations at the European Nucleotide Archive.
Nucleic Acids Research 37(Database-Issue): 19-25 (2009) |
| 2003 |
| 5 |  | Manish Handa,
Rajesh Radhakrishnan,
Madhubanti Mukherjee,
Ranga Vemuri:
A Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs.
VLSI Design 2003: 91- |
| 2002 |
| 4 |  | Srinivasan Dasasathyan,
Rajesh Radhakrishnan,
Ranga Vemuri:
Framework for Synthesis of Virtual Pipelines.
VLSI Design 2002: 326-331 |
| 2001 |
| 3 |  | Rajesh Radhakrishnan,
Elena Teica,
Ranga Vemuri:
Verification of Basic Block Schedules Using RTL Transformations.
CHARME 2001: 173-178 |
| 2 |  | Elena Teica,
Rajesh Radhakrishnan,
Ranga Vemuri:
On the verification of synthesized designs using automatically generated transformational witnesses.
DATE 2001: 798 |
| 1 |  | Naren Narasimhan,
Elena Teica,
Rajesh Radhakrishnan,
Sriram Govindarajan,
Ranga Vemuri:
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis.
Formal Methods in System Design 19(3): 237-273 (2001) |