IISc Logo    Title

etd AT Indian Institute of Science >
Division of Electrical Sciences >
Computer Science and Automation (csa) >

Search Results


Results 1-10 of 194.

Results/Page  |  Sort items by In order Authors/record

Item hits:

Submitted DateTitleAuthor(s)Thesis Guide(s)
2013Model-Checking in Presburger Counter Systems using AccelerationsAcharya, Aravind NRaghavan, K V
2013Rainbow Colouring and Some Dimensional Problems in Graph TheoryRajendraprasad, DeepakChandran, L Sunil
2013Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy ChannelsThakkar, JayKanade, Aditya
2013Identification and Quantification of Important Voids and Pockets in ProteinsRaghavendra, G SNatarajan, Vijay
2013A Theoretical Study of the Synergy and Lazy Annotation AlgorithmsJayaram, SampathD'Souza, Deepak
2013Constructing Provably Secure Identity-Based Signature SchemesChethan Kamath, HChatterjee, Sanjit
2013Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for JavaMargoor, AmoghRasghavan, K V
2013Investigations on CPI Centric Worst Case Execution Time AnalysisRavindar, ArchanaSrikanth, Y N
2013Construction of Secure and Efficient Private Set Intersection ProtocolKumar, VikasChatterjee, Sanjit
2013Reconstruction of 3D Neuronal StructuresKumar, KanujNatarajan, Vijay

1 2 3 4 5 6 7 8 9 10 next


etd@IISc is a joint service of SERC & IISc Library ||
|| Powered by DSpace || Compliant to OAI-PMH V 2.0 and ETD-MS V 1.01