จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Campbell, Brian | 1 |
| 2 | He, Jiansen | 1 |
| 3 | Wadler, Philip | 1 |
| 4 | Petria, Marius | 1 |
| 5 | Wolfson Microelectronics Scholarship | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2557 | 1 |
| 2 | 2554 | 1 |
| 3 | 2551 | 1 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2557 | |
| 1 | Type-parameterized actors and their supervision |
| ปี พ.ศ. 2554 | |
| 2 | Generic refinements for behavioral specifications |
| ปี พ.ศ. 2551 | |
| 3 | Type-based amortized stack memory prediction |
