Informatica (Lithuanian Academy of Sciences), Volume 18

Volume 18, Number 1, 2007

• Eduardas Bareisa, Vacius Jusas, Kestutis Motiejunas, Rimantas Seinauskas:
  Functional Test Generation Based on Combined Random and Deterministic Search Methods. 3-26
  Electronic Edition (link) BibTeX
• Tzungher Chen, Gwoboa Horng, Ke-Chiang Wu:
  A Secure YS-Like User Authentication Scheme. 27-36
  Electronic Edition (link) BibTeX
• Vytautas Cyras:
  Composition of Loop Modules in the Structural Blanks Approach to Programming with Recurrences: A Task of Synthesis of Nested Loops. 37-54
  Electronic Edition (link) BibTeX
• Pei-Hui Huang, Hsiang-An Wen, Chih-Hung Wang, Tzonelih Hwang:
  On the Proxy-Protected Property of Chen et al.'s Proxy Multisignature Schemes. 55-60
  Electronic Edition (link) BibTeX
• Chuan-Ming Li, Tzonelih Hwang, Narn-Yih Lee:
  Security Flaw in Simple Generalized Group-Oriented Cryptosystem Using ElGamal Cryptosystem. 61-66
  Electronic Edition (link) BibTeX
• Rongxing Lu, Zhenfu Cao, Shengbao Wang, Haiyong Bao:
  A New ID-Based Deniable Authentication Protocol. 67-78
  Electronic Edition (link) BibTeX
• Athanasios Margaris, Stavros Souravlas, Efthimios Kotsialos, Manos Roumeliotis:
  Design and Implementation of Parallel Counterpropagation Networks Using MPI. 79-102
  Electronic Edition (link) BibTeX
• Jurate Sakalauskaite:
  Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief. 103-114
  Electronic Edition (link) BibTeX
• Eligijus Sakalauskas, Povilas Tvarijonas, Andrius Raulynaitis:
  Key Agreement Protocol (KAP) Using Conjugacy and Discrete Logarithm Problems in Group Representation Level. 115-124
  Electronic Edition (link) BibTeX
• Yuh-Min Tseng:
  An Efficient Two-Party Identity-Based Key Exchange Protocol. 125-136
  Electronic Edition (link) BibTeX
• Chih-Chia Yao, Pao-Ta Yu:
  Oblique Support Vector Machines. 137-157
  Electronic Edition (link) BibTeX

Volume 18, Number 2, 2007

• Baghdad Atmani, Bouziane Beldjilali:
  Neuro-IG: A Hybrid System for Selection and Elimination of Predictor Variables and non Relevant Individuals. 163-186
  Electronic Edition (link) BibTeX
• Jolita Bernataviciene, Gintautas Dzemyda, Virginijus Marcinkevicius:
  Conditions for Optimal Efficiency of Relative MDS. 187-202
  Electronic Edition (link) BibTeX
• Algis Garliauskas:
  Information Conveyed by the Neural Network Systems and its Applied Significance. 203-216
  Electronic Edition (link) BibTeX
• Jingyu Hou:
  A Matrix-Based Model for Web Page Community Construction and More. 217-238
  Electronic Edition (link) BibTeX
• Phani Kumar Kancharla, Shailaja Gummadidala, Ashutosh Saxena:
  Identity Based Strong Designated Verifier Signature Scheme. 239-252
  Electronic Edition (link) BibTeX
• Jonas Kleiza, Mifodijus Sapagovas, Vytautas Kleiza:
  The Extension of the Van Der Pauw Method to Anisotropic Media. 253-266
  Electronic Edition (link) BibTeX
• Alvydas Paunksnis, Skaidra Kurapkiene, Audris Maciulis, Audris Kopustinskas, Marija-Liucija Paunksniene:
  Ultrasound Quantitative Evaluation of Human Eye Cataract. 267-278
  Electronic Edition (link) BibTeX
• Zoran Peric, Jelena Nikolic:
  An Effective Method for Initialization of Lloyd-Max's Algorithm of Optimal Scalar Quantization for Laplacian Source. 279-288
  Electronic Edition (link) BibTeX
• Junyan Qian, Baowen Xu:
  Formal Verification for C Program. 289-304
  Electronic Edition (link) BibTeX
• Chunyu Yang, Qingling Zhang, Linna Zhou:
  Strongly Absolute Stability Problem of Descriptor Systems. 305-320
  Electronic Edition (link) BibTeX

Volume 18, Number 3, 2007

• Salem M. Al-Yakoob, Hanif D. Sherali:
  Multiple Shift Scheduling of Hierarchical Workforce with Multiple Work Centers. 325-342
  Electronic Edition (link) BibTeX
• Bostjan Brumen, Matjaz B. Juric, Tatjana Welzer, Ivan Rozman, Hannu Jaakkola, Apostolos Papadopoulos:
  Assessment of Classification Models with Small Amounts of Data. 343-362
  Electronic Edition (link) BibTeX
• Valentina Dagiene, Rimgaudas Laucius:
  Internationalization of Compilers. 363-374
  Electronic Edition (link) BibTeX
• Zhenjie Huang, Kefei Chen, Xuanzhi Lin, Rufen Huang:
  Analysis and Improvements of Two Identity-Based Perfect Concurrent Signature Schemes. 375-394
  Electronic Edition (link) BibTeX
• Sigita Laurinciukaite, Antanas Lipeika:
  Framework for Choosing a Set of Syllables and Phonemes for Lithuanian Speech Recognition. 395-406
  Electronic Edition (link) BibTeX
• Arvydas Martinkenas, Vytautas Kaminskas, Giedrius Varoneckas:
  Forecast Model of Impact of Meteorological Factors on Coronary Artery Disease Patients. 407-418
  Electronic Edition (link) BibTeX
• Athanasios D. Styliadis:
  E-Learning Documentation of Historical Living Systems with 3-D Modeling Functionality. 419-446
  Electronic Edition (link) BibTeX
• Ching-Liang Su:
  Overlapped Finger Geometry Signal Processing and Finger Shape Comparisons for Person Identification. 447-456
  Electronic Edition (link) BibTeX
• Mihai Talmaciu, Elena Nechita:
  Recognition Algorithm for Diamond-Free Graphs. 457-462
  Electronic Edition (link) BibTeX
• Jonas Valantinas, Tomas Zumbakis:
  On the Application of Invariant Image Parameters to Fractal Encoding of Bi-Level Images. 463-478
  Electronic Edition (link) BibTeX