Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Shaon Barman" ( http://dblp.L3S.de/Authors/Shaon_Barman )

  Author page on DBLP  Author page in RDF  Community of Shaon Barman in ASPL-2

Publication years (Num. hits)
2010 (1) 2011 (1)
Publication types (Num. hits)
inproceedings(2)
Venues (Conferences, Journals, ...)
ICSE(1) POPL(1)
Authors
Rastislav Bodík(2) Satish Chandra(2) Shaon Barman(2) Casey Rodarmor(1) Doug Kimelman(1) Emina Torlak(1) Joel Galenson(1) Nicholas Tung(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík Angelic debugging. Search on Bibsonomy ICSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor Programming with angelic nondeterminism. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF angelic non-determinism, constraints, refinement, traces, bounded model-checking
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.