You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Timeline
Attention over time
Attention Score history
Activity
Mendeley demographics
Login to view Mendeley reader trends over time.
| Title |
Verifying social expectations by model checking truncated paths
|
|---|---|
| Published in |
Journal of Logic & Computation, October 2010
|
| DOI | 10.1093/logcom/exq055 |
| Authors |
Login to access the Attention Digest and the Sentiment Analysis related to this output.
Mendeley demographics
The data shown below were compiled from readership statistics for 18 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| New Zealand | 1 | 6% |
| Netherlands | 1 | 6% |
| Australia | 1 | 6% |
| Unknown | 15 | 83% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 9 | 50% |
| Other | 2 | 11% |
| Professor > Associate Professor | 2 | 11% |
| Student > Bachelor | 1 | 6% |
| Professor | 1 | 6% |
| Other | 0 | 0% |
| Unknown | 3 | 17% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 14 | 78% |
| Social Sciences | 1 | 6% |
| Unknown | 3 | 17% |