publication venue for
- CWSOGG: Catching Web Shell Obfuscation Based on Genetic Algorithm and Generative Adversarial Network. 66:1295-1309. 2023
- From Relation Algebra to Semi-join Algebra: An Approach to Graph Query Optimization. 64:789-811. 2021
- PerTiMo: A Model of Spatial Migration with Safe Access Permissions. 58:1041-1060. 2015
- On Classification with Pairwise Comparisons, Support Vector Machines and Feature Domain Overlapping. 58:416-431. 2015
- A Class of Contracting Stream Operators. 56:15-33. 2013
- Integrating a Program Design Calculus and a Subset of UML. 42:82-99. 1999
- Recent Developments in Context-Based Predictive Techniques for Lossless Image Compression. 40:127-136. 1997
- A Theory of Prioritizing Composition. 39:701-712. 1996
- Mu-balancing M-way Search Trees. 34:406-414. 1991
- Evaluating Measure of Program Quality. 30:228-232. 1987
- Database Instances, Abstract Data Types and Database Specification. 28:154-161. 1985
- An Informal Approach to Formal (Algebraic) Specifications. 28:59-67. 1985
- JEWELS OF FORMAL LANGUAGE THEORY - SALOMAA,A. 26:285-285. 1983
- A storage scheme for hierarchic structures. 17:152-156. 1974