Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Divakar Yadav" ( http://dblp.L3S.de/Authors/Divakar_Yadav )

  Author page on DBLP  Author page in RDF  Community of Divakar Yadav in ASPL-2

Publication years (Num. hits)
2006-2011 (12)
Publication types (Num. hits)
article(1) incollection(1) inproceedings(10)
Venues (Conferences, Journals, ...)
IC3(3) ICDEM(2) ICIT(2) Artificial Intelligence and Ap...(1) Formal Asp. Comput.(1) ICISTM(1) Methods, Models and Tools for ...(1) RODIN Book(1)
Authors
Divakar Yadav(12) Michael Butler(4) A. K. Sharma(3) J. P. Gupta(3) A. Mahajan(1) Alka Choubey(1) Apeksha Singh(1) Deepali Dani(1) Girish Chandra(1) Mukta Goyal(1) N. Garg(1) Preeti Kumari(1) Raghuraj Suryavanshi(1) Vinita Jain(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mukta Goyal, Alka Choubey, Divakar Yadav Cognitive Models and Its Current Challenges. Search on Bibsonomy ICISTM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Divakar Yadav, Deepali Dani, Preeti Kumari De-duplication in File Sharing Network. Search on Bibsonomy IC3 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Divakar Yadav, Apeksha Singh, Vinita Jain Search Results Optimization. Search on Bibsonomy IC3 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Raghuraj Suryavanshi, Divakar Yadav Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B. Search on Bibsonomy ICDEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Girish Chandra, Divakar Yadav Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B. Search on Bibsonomy ICDEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Divakar Yadav, Michael Butler Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. Search on Bibsonomy Methods, Models and Tools for Fault Tolerance The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Divakar Yadav, Michael Butler Verification of Liveness Properties in Distributed Systems. Search on Bibsonomy IC3 The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Butler, Divakar Yadav An incremental development of the Mondex system in Event-B. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mechanical proof, Methodological guidelines, Refinement, System design, Event-B
1Divakar Yadav, A. K. Sharma, J. P. Gupta, N. Garg, A. Mahajan Architecture for Parallel Crawling and Algorithm for Change Detection in Web Pages. Search on Bibsonomy ICIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Divakar Yadav, A. K. Sharma, J. P. Gupta Change Detection in Web Pages. Search on Bibsonomy ICIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Divakar Yadav, A. K. Sharma, J. P. Gupta Optical character recognition for printed hindi text in devnagari using soft-computing technique. Search on Bibsonomy Artificial Intelligence and Applications The full citation details ... 2007 DBLP  BibTeX  RDF
1Divakar Yadav, Michael Butler Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.