Vol. 7 No. 1 (2013)

Articles

• Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

  Changil Choe, Hyong-Chol O, Song Han

  1-12

  • PDF

• Orthogonal Resolutions and Latin Squares

  Svetlana Topalova, Stela Zhelezova

  13-24

  • PDF

• Remarks on the Balaban Index

  Modjtaba Ghorbani

  25-34

  • PDF

• JSONYA/FN: Functional Computation in JSON

  Miloslav Sredkov

  35-72

  • PDF

• Construction of Optimal Linear Codes by Geometric Puncturing

  Tatsuya Maruta

  73-80

  • PDF

• An Open Virtual World for Professional Development

  Eliza Stefanova

  81-100

  • PDF