Sort by:

Collections:

Format:

Publication Type:

  • 44
  • 25
  • 3
  • 1
  • 1
  • 1

Lab:

  • 44
  • 16
  • 5
  • 4
  • 4
  • 4
  • 3
show all

Publication Year:

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

Journal:

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

Publication Type:

  • 44
  • 25
  • 3
  • 1
  • 1
  • 1

Lab:

  • 44
  • 16
  • 5
  • 4
  • 4
  • 4
  • 3
show all

Publication Year:

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

Journal:

  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
show all
Infoscience 75 records found 1 - 10nextlast  jump to record: Search took 0.08 seconds. 
1.
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), 154 - 63 (1999)
1999 | Conference Papers |
2.
3.
Formal Methods for the Design of Real-Time Systems. International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Revised Lectures (Lecture Notes in Comput. Sci. Vol.3185), 237 - 67 (2004)
2004 | Conference Papers |
4.
Proceedings of the 19th ACM Symposium on Operating System Principles (SOSP) (2003)
2003 | Conference Papers |
5.
6.
Proceedings of Nonrigid and Articulated Motion Workshop, IEEE (1997)
1997 | Conference Papers |
7.
Proceedings of the First International Conference on Autonomous Agents (1997)
1997 | Conference Papers |
8.
Proceedings. Computer Animation '96, 47-57 (1996)
1996 | Conference Papers |
9.
Displays, 15 (3), 157-63 (1994)
1994 | 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.