default search action

combined dblp search
author search
venue search
publication search

ask others

Chris Shaver

Christopher Daniel Shaver

> Home > Persons

Person information

affiliation: University of California, Berkeley, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
  - electronic edition @ escholarship.org
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/basesearch/Shaver16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Shaver16
Christopher Daniel Shaver:
On the Representation of Distributed Behavior. University of California, Berkeley, USA, 2016

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/internet/LatronicoLLSWW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/internet/LatronicoLLSWW15
Elizabeth Latronico, Edward A. Lee, Marten Lohstroh, Chris Shaver, Armin Wasicek, Matthew Weber:
A Vision of Swarmlets. IEEE Internet Comput. 19(2): 20-28 (2015)
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/TripakisSSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/TripakisSSL13
Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(4): 834-881 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/etaps/TripakisS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etaps/TripakisS14
Stavros Tripakis, Chris Shaver:
Feedback in Synchronous Relational Interfaces. FPS@ETAPS 2014: 249-266
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/ZimmerBSL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/ZimmerBSL14
Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee:
FlexPRET: A processor platform for mixed-criticality systems. RTAS 2014: 101-110
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/models/ShaverL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/ShaverL12
Chris Shaver, Edward A. Lee:
The Coroutine Model of Computation. MoDELS 2012: 319-334

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.