Papers in Production

Jozef VÖRÖS: Recursive Identification of Systems with Noninvertible Output Nonlinearities
Xun SUN, Jianhua LI, Gongliang CHEN: Delegatability of an Identity Based Strong Designated Verifier Signature Scheme
Jenshiuh LIU, Shaonong HUANG: Identity-Based Threshold Proxy Signature from Bilinear Pairings
Robertas DAMASEVICIUS: Complexity Estimation of Genetic Sequences Using Information-Theoretic and Frequency Analysis Methods
Kristina SUTIENE,, Dalius MAKACKAS,, Henrikas PRANEVICIUS: Multi-Stage {K}-Means Clustering for Scenario Tree Construction
Algirdas BASTYS, Andrej KISEL, Bernardas ALNA: The Use of Group Delay Features of Linear Prediction Model for Speaker Recognition
Mirjam SEPESY MAUCEC, Janez BREST: Reduction of Morpho-Syntactic Features in Statistical Machine Translation of Highly Inflective Language
Juan ECHAGÜE, Vicent CHOLVI: Tight Arrival Curve at the Output of a Work-Conserving Blind Multiplexing Server
Filip MARIC, Predrag JANICIC: Formal Correctness Proof for DPLL Procedure