TNRR : Thai National Research ระบบคลังข้อมูลงานวิจัยไทย

จำนวนงานวิจัยจำแนกรายปี

บุคคลที่เคยร่วมงานวิจัย

ความเชี่ยวชาญ

บุคคลที่เคยร่วมงานวิจัย

#	นักวิจัย	ร่วมงาน
1	Milner, Robin	3
2	Commonwealth Scholarship Commission	2
3	Science Research Council	2
4	SRC research studentship B/78/313640	1
5	Aubin, Raymond	1
6	Mycroft, Alan	1
7	Meltzer, Bernard	1
8	Science and Engineering Research Council	1
9	studentship from the University of Edinburgh	1
10	Topor, Rodney W.	1
11	Social Science Research Council	1
12	McBride, Conor	1
13	Michie, Donald	1
14	Plotkin, Gordon	1
15	Sannella, Donald	1
16	Darlington, John	1
17	Conseil national de recherches du Canada	1
18	Pollack, Robert	1
19	Deutsche Forschungsgemeinschaft (DFG)	1
20	European Commission	1
21	Jackson, Paul	1
22	Kleymann, Thomas	1
23	Engineering and Physical Sciences Research Council (EPSRC)	1
24	British Council	1
25	Fourman, Michael	1
26	Wang, Li-Guo	1
27	Goguen, Healfdene	1
28	ESPRIT Basic Research Actions on Logical Frameworks (LF) and Types for Proofs and Programs (TYPES)	1
29	Takeyama, Makoto	1
30	Power, John	1
31	Siemens AG Munich, SERC grant GR/F35890	1
32	British Science and Engineering Research Council	1

ปี

ผลงานวิจัย

#	หัวเรื่อง
ปี พ.ศ. 2543
1	Dependently Typed Functional Programs and their Proofs
ปี พ.ศ. 2541
2	Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs
ปี พ.ศ. 2538
3	Formal Derivation of a Class of Computers
4	Universal Structure and a Categorical Framework for Type Theory
5	The Theory of LEGO
ปี พ.ศ. 2537
6	A Typed Operational Semantics for Type Theory
ปี พ.ศ. 2525
7	Semantics, Implementation and Pragmatics of Clear, a Program Specification Language
8	Abstract interpretation and optimising transformations for applicative programs
ปี พ.ศ. 2519
9	Mechanizing Structural Induction
ปี พ.ศ. 2518
10	Interactive program verification using virtual programs
ปี พ.ศ. 2515
11	A Semantic Approach to Automatic Program Improvement
12	Automatic Methods of Inductive Inference