Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mohammad Raza" ( http://dblp.L3S.de/Authors/Mohammad_Raza )

  Author page on DBLP  Author page in RDF  Community of Mohammad Raza in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (2) 2010 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
BIBM(1) ESOP(1) FoSSaCS(1) Logical Methods in Computer Sc...(1)
Authors
Mohammad Raza(4) Philippa Gardner(3) Cristiano Calcagno(1) Luis Rueda(1) Md. Mominul Aziz(1) Sridip Banerjee(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Luis Rueda, Sridip Banerjee, Md. Mominul Aziz, Mohammad Raza Protein-protein interaction prediction using desolvation energies and interface properties. Search on Bibsonomy BIBM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohammad Raza, Philippa Gardner Footprints in Local Reasoning Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Mohammad Raza, Cristiano Calcagno, Philippa Gardner Automatic Parallelization with Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mohammad Raza, Philippa Gardner Footprints in Local Reasoning. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hoare Logic, Separation Logic, Local Reasoning, Footprints
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.