จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Engineering and Physical Sciences Research Council (EPSRC) | 3 |
| 2 | Bradfield, Julian | 2 |
| 3 | Bradfield, Julian Charles | 1 |
| 4 | Mio, Matteo | 1 |
| 5 | Mayr, Richard | 1 |
| 6 | SICSA | 1 |
| 7 | Lange, Martin | 1 |
| 8 | LFCS | 1 |
| 9 | Gutierrez, Julian | 1 |
| 10 | Totzke, Patrick | 1 |
| 11 | Jungteerapanich, Natthapong | 1 |
| 12 | German Academic Exchange Service (DAAD) | 1 |
| 13 | Beringer, Lennart | 1 |
| 14 | Bruns, Glen R | 1 |
| 15 | Kaivola, Roope | 1 |
| 16 | Dam, Mads F | 1 |
| 17 | Hüttel, Hans | 1 |
| 18 | Stark, Ian | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2557 | 1 |
| 2 | 2555 | 1 |
| 3 | 2554 | 1 |
| 4 | 2553 | 1 |
| 5 | 2546 | 1 |
| 6 | 2545 | 1 |
| 7 | 2543 | 1 |
| 8 | 2541 | 1 |
| 9 | 2540 | 1 |
| 10 | 2534 | 2 |
| 11 | 2533 | 1 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2557 | |
| 1 | Inclusion problems for one-counter systems |
| ปี พ.ศ. 2555 | |
| 2 | Game semantics for probabilistic modal μ-calculi |
| ปี พ.ศ. 2554 | |
| 3 | On bisimulation and model-checking for concurrent systems with partial order semantics |
| ปี พ.ศ. 2553 | |
| 4 | Tableau systems for the modal μ-calculus |
| ปี พ.ศ. 2546 | |
| 5 | Games for Modal and Temporal Logics |
| ปี พ.ศ. 2545 | |
| 6 | Asynchronous Queue Machines with Explicit Forwarding |
| ปี พ.ศ. 2543 | |
| 7 | Decidability of Bisimulation Equivalence for Pushdown Processes |
| ปี พ.ศ. 2541 | |
| 8 | Process Abstraction in the Verification of Temporal Properties |
| ปี พ.ศ. 2540 | |
| 9 | Using Automata to Characterise Fixed Point Temporal Logics |
| ปี พ.ศ. 2534 | |
| 10 | Decidability, Behavioural Equivalences and Infinite Transition Graphs |
| 11 | Verifying temporal properties of systems with applications to petri nets |
| ปี พ.ศ. 2533 | |
| 12 | Relevance Logic and Concurrent Composition |
