Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mark Batty" ( http://dblp.L3S.de/Authors/Mark_Batty )

  Author page on DBLP  Author page in RDF  Community of Mark Batty in ASPL-2

Publication years (Num. hits)
2011 (2) 2012 (1)
Publication types (Num. hits)
inproceedings(3)
Venues (Conferences, Journals, ...)
POPL(2) PPDP(1)
Authors
Mark Batty(3) Scott Owens(3) Susmit Sarkar(3) Peter Sewell(2) Tjark Weber(2) Jasmin Christian Blanchette(1) Kayvan Memarian(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell Clarifying and compiling C/C++ concurrency: from C++11 to POWER. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber Mathematizing C++ concurrency. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar Nitpicking c++ concurrency. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.