Computer Aided Verification
Springer International Publishing
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
X Demographics
Mendeley readers
| Chapter title |
Reachability Analysis for AWS-Based Networks
|
|---|---|
| Chapter number | 14 |
| Book title |
Computer Aided Verification
|
| Published by |
Springer, Cham, July 2019
|
| DOI | 10.1007/978-3-030-25543-5_14 |
| Book ISBNs |
978-3-03-025542-8, 978-3-03-025543-5
|
| Authors |
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark Stalzer, Preethi Srinivasan, Pavle Subotić, Carsten Varming, Blake Whaley, Backes, John, Bayless, Sam, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Hu, Alan J., Kahsai, Temesghen, Kocik, Bill, Kotelnikov, Evgenii, Kukovec, Jure, McLaughlin, Sean, Reed, Jason, Rungta, Neha, Sizemore, John, Stalzer, Mark, Srinivasan, Preethi, Subotić, Pavle, Varming, Carsten, Whaley, Blake |
X Demographics
The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Unknown | 4 | 100% |
Demographic breakdown
| Type | Count | As % |
|---|---|---|
| Members of the public | 4 | 100% |
Mendeley readers
The data shown below were compiled from readership statistics for 38 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Unknown | 38 | 100% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 8 | 21% |
| Student > Master | 5 | 13% |
| Other | 3 | 8% |
| Researcher | 2 | 5% |
| Professor | 1 | 3% |
| Other | 3 | 8% |
| Unknown | 16 | 42% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 16 | 42% |
| Engineering | 3 | 8% |
| Psychology | 1 | 3% |
| Mathematics | 1 | 3% |
| Unknown | 17 | 45% |