Sort by:

Collections:

Format:

Publication Type:

  • 21
  • 13
  • 7
  • 4
  • 3

Lab:

  • 41
  • 8
  • 2
  • 1

Publication Year:

  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 4
show all

Journal:

  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all

Publication Type:

  • 21
  • 13
  • 7
  • 4
  • 3

Lab:

  • 41
  • 8
  • 2
  • 1

Publication Year:

  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 4
show all

Journal:

  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
show all
Infoscience 48 records found 1 - 10nextlast  jump to record: Search took 0.13 seconds. 
1.
2.
Acm Sigplan Notices, 47 (8), 161-170 (2012)
2012 | Journal Articles |
3.
4.
Journal of Parallel and Distributed Computing - Special Issue on Transactional Memory, 70 (10), 1053–1067 (2010)
2010 | Journal Articles |
5.
6.
Proceedings of the 21st International Conference on Computer Aided Verification (CAV) (2009)
2009 | Conference Papers |
7.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08) (2008)
2008 | Conference Papers |
8.
Proceedings of the 27th IEEE International Parallel & Distributed Processing Symposium (IPDPS'13), 1171-1182 (2013)
2013 | Conference Papers |
9.
Formal Methods In System Design, 39, 297-331 (2011)
2011 | Journal Articles |
10.
Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12, 9 (2012)
2012 | Conference Papers |

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.