![](/~studia-i/include/pdf.gif) | G. Serban, A New Real-Time Learning Algorithm | 3 |
![](/~studia-i/include/pdf.gif) | Zs. Darvay, A New Algorithm for Solving Self-Dual Linear Optimization Problems | 15 |
![](/~studia-i/include/pdf.gif) | C. Popescu, A Modification of the Cramer-Shoup Digital Signature Scheme | 27 |
![](/~studia-i/include/pdf.gif) | D. Noje, M. Teodor, BL-Algebra Structure of RGB model | 37 |
![](/~studia-i/include/pdf.gif) | M. Lupea, DARR - A Theorem Prover for Constrained and Rational Default Logics | 45 |
| [paper retracted] | |
![](/~studia-i/include/pdf.gif) | V. Prejmerean, S. Motogna, The Curves Encoding | 57 |
![](/~studia-i/include/pdf.gif) | D. Chiorean, A. Carcu, M. Pasca, C. Botiza, H. Chiorean, S. Moldovan, UML Model Checking | 71 |
![](/~studia-i/include/pdf.gif) | H. Chiorean, Diagram Design in OCL Evaluator | 89 |
![](/~studia-i/include/pdf.gif) | S. Moldovan, A Property Sheet | 101 |