1. On weighted first-order logics with discounting

   • Eleni Mandrali
   • George Rahonis

   Original Article 30 January 2014 Pages: 61 - 106

2. An efficient simulation algorithm on Kripke structures

   • Francesco Ranzato

   Original Article 21 February 2014 Pages: 107 - 125