Search

Collections:

Format:

Publication Type:

  • 164
  • 104
  • 53
  • 25
  • 5
  • 4
  • 3
show all

Lab:

  • 342
  • 7
  • 7
  • 6
  • 6
  • 6
  • 4
show all

Publication Year:

  • 11
  • 20
  • 27
  • 16
  • 21
  • 8
  • 19
show all

Journal:

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

Publication Type:

  • 164
  • 104
  • 53
  • 25
  • 5
  • 4
  • 3
show all

Lab:

  • 342
  • 7
  • 7
  • 6
  • 6
  • 6
  • 4
show all

Publication Year:

  • 11
  • 20
  • 27
  • 16
  • 21
  • 8
  • 19
show all

Journal:

  • 13
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
show all
Infoscience 361 records found 1 - 10nextlast  jump to record: Search took 0.10 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.
Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP<HardSpace>'2002), Malaga, Spain, June 10-14, 2002, 2374, 37-61 (2002)
2002 | Conference Papers |

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