จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
# | นักวิจัย | ร่วมงาน |
---|---|---|
1 | Engineering and Physical Sciences Research Council (EPSRC) | 3 |
2 | Bradfield, Julian | 2 |
3 | Mio, Matteo | 1 |
4 | Gutierrez, Julian | 1 |
5 | Bradfield, Julian Charles | 1 |
6 | Totzke, Patrick | 1 |
7 | LFCS | 1 |
8 | SICSA | 1 |
9 | Stark, Ian | 1 |
10 | Mayr, Richard | 1 |
11 | Dam, Mads F | 1 |
12 | Beringer, Lennart | 1 |
13 | Lange, Martin | 1 |
14 | German Academic Exchange Service (DAAD) | 1 |
15 | Bruns, Glen R | 1 |
16 | Hüttel, Hans | 1 |
17 | Kaivola, Roope | 1 |
18 | Jungteerapanich, Natthapong | 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 |