My PhD Thesis

Tags

My Photolog

• Highland Games Antigonish 高地运动会
• Groningen 格罗宁根
• Cycling to Mahoneys Beach 骑单车去看海
• Flying with me on Canada Day’s Night 加拿大国庆焰火
• Birds 好酷的发型

Archives

• June 2010 (3)
• March 2010 (1)
• December 2009 (1)
• November 2009 (2)
• October 2009 (4)
• September 2009 (6)
• August 2009 (2)
• July 2009 (2)
• June 2009 (2)
• May 2009 (6)
• April 2009 (1)
• March 2009 (4)
• February 2009 (1)
• January 2009 (6)
• December 2008 (18)
• November 2008 (9)
• October 2008 (6)
• September 2008 (4)
• August 2008 (2)
• July 2008 (1)
• June 2008 (4)
• May 2008 (5)
• April 2008 (5)
• March 2008 (4)
• February 2008 (10)
• January 2008 (4)
• September 2007 (1)
• May 2007 (1)
• December 2005 (1)
• July 2005 (1)
• October 2004 (1)

Meta

• Log in
• Entries RSS
• Comments RSS
• WordPress.org

RSS Subscribe

RSS(?)

Navigation

• About
• Contact
• Publication
• Research
• Teaching
  • CSCI-383 OOPD

Vistors

My Twitter:

• jiruan: [转载]殷德义：绝不会放过你们 http://bit.ly/9i7tj1
• jiruan: “哪个让你们直播的？”-南京大爆炸 http://bit.ly/bsCG6p
• jiruan: RT @ruanji: [我写] “哪个让你们直播的？”-南京大爆炸 http://bit.ly/dkbWuH

Receont Comments:

• Verification of Games in the Game Description Language - Jimagine - Information and Society on Verification of Games in the Game Description Language
• Groningen 格罗宁根 - jiPhoto – 吉软糖相册 - Sharing my vision with You … on Sum and Product in Dynamic Epistemic Logic
• Twitted by jiruan on My Coming talk in Liverpool: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems
• Unemployment and Education: just a starter - Jimagine … School’s Rate on Private: Unemployment and Education: just a starter
• 雅思话题：失业和教育 Unemployment and Education - 想象吉软糖 - on Private: Unemployment and Education: just a starter