จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Power, John | 3 |
| 2 | Fourman, Michael | 2 |
| 3 | Hillston, Jane | 1 |
| 4 | Ma, Tiejun | 1 |
| 5 | TC scholarship (British Council) | 1 |
| 6 | Engineering and Physical Sciences Research Council (EPSRC) | 1 |
| 7 | Ho, Ka Lai | 1 |
| 8 | Tourlas, Konstantinos | 1 |
| 9 | Hartswood, Mark | 1 |
| 10 | Procter, Robert | 1 |
| 11 | Chen, Liang | 1 |
| 12 | Mitchell, Kevin | 1 |
| 13 | Gilmore, Stephen | 1 |
| 14 | EU TMR Marie Curie Research Training Grant ERBFMBICT982906 | 1 |
| 15 | Führmann, Carsten | 1 |
| 16 | Owens, Christopher | 1 |
| 17 | Maharaj, Savitri | 1 |
| 18 | Kahn, Saif U | 1 |
| 19 | Thielecke , Hayo | 1 |
| 20 | Goossens, Kees G W | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2556 | 1 |
| 2 | 2550 | 1 |
| 3 | 2545 | 1 |
| 4 | 2543 | 1 |
| 5 | 2542 | 1 |
| 6 | 2541 | 1 |
| 7 | 2540 | 3 |
| 8 | 2536 | 2 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2556 | |
| 1 | Understanding requirements work in e-science projects |
| ปี พ.ศ. 2550 | |
| 2 | Quality of Service of Crash-Recovery Failure Detectors |
| ปี พ.ศ. 2545 | |
| 3 | Diagrammatic Representations in Domain-Specific Languages |
| ปี พ.ศ. 2543 | |
| 4 | The structure of call-by-value |
| ปี พ.ศ. 2542 | |
| 5 | Proving Correctness of Modular Functional Programs |
| ปี พ.ศ. 2541 | |
| 6 | Applicative Notions in ML-like Programs |
| ปี พ.ศ. 2540 | |
| 7 | A Type-Theoretic Analysis of Modular Specifications |
| 8 | Categorical Structure of Continuation Passing Style |
| 9 | Machine Assisted Proofs for Generic Semantics to Compiler Transformation Correctness Theorems |
| ปี พ.ศ. 2536 | |
| 10 | Embedding Hardware Description Languages in Proof Systems |
| 11 | Timed Processes: Models, Axioms and Decidability |
