Search

Display:

Collections:

Format:

Publication Type:

  • 159
  • 102
  • 53
  • 24
  • 5
  • 4
  • 3
show all

Lab:

  • 333
  • 7
  • 6
  • 6
  • 6
  • 4
  • 4
show all

Publication Year:

  • 1
  • 21
  • 27
  • 16
  • 21
  • 8
  • 19
show all

Journal:

  • 13
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
show all

Publication Type:

  • 159
  • 102
  • 53
  • 24
  • 5
  • 4
  • 3
show all

Lab:

  • 333
  • 7
  • 6
  • 6
  • 6
  • 4
  • 4
show all

Publication Year:

  • 1
  • 21
  • 27
  • 16
  • 21
  • 8
  • 19
show all

Journal:

  • 13
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
show all
Infoscience 353 records found 1 - 10nextlast  jump to record: Search took 0.09 seconds. 
1.
Archive of Formal Proofs (AFP) (2012)
2012 | Journal Articles |
2.
Proceedings of the Twelfth European Conference on Computer Systems - EuroSys '17, 544-559 (2017)
2017 | Conference Papers |
3.
4.
5.
6.
International Conference on Dependable Systems and Networks (2003)
2003 | Conference Papers |
7.
Proceedings of the 19th International Symposium on Distributed Computing (DISC'05) (2005)
2005 | Conference Papers |
8.
Proceedings of the 21st International Symposium on Distributed Computing (DISC'07) (2007)
2007 | Conference Papers |
9.
Distributed Computing (2007)
2007 | Journal Articles |
10.

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