Tags

Archives

• September 2011 (5)
• July 2011 (2)
• May 2011 (1)
• April 2011 (1)
• February 2011 (1)
• October 2010 (1)
• August 2010 (1)
• 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 Me
• Contact Me
• Publication
• Research
• Teaching
  • CSCI-383 OOPD

Vistors

My Twitter:

• jiruan: 澳大利亚的价值观 http://t.co/wSCdmMsl
• jiruan: “活埋” http://t.co/oYBeg8BK
• jiruan: RT @lessig: SEN. RON WYDEN: My Letter to the Internet http://t.co/ONi55uGj

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
• Ji on CSCI 383 Lecture 17-23 Slides
• 写在加拿大感恩节 - 想象吉软糖 - 台湾香港2.0 on Publication