Programming and Computer Software

Article	Citations
Searching for Taint Vulnerabilities with Svace Static Analysis Tool	62
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments	15
Software Project Estimation Using Smooth Curve Methods and Variable Selection and Regularization Methods as an Alternative to Linear Regression Models when the Reference Database Presents a Wedge-shap	11
Automatic Image Style Transfer using an Augmented Style Set	11
Adaptive Method for Selecting Basis Functions in Kolmogorov–Arnold Networks for Magnetic Resonance Image Enhancement	8
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches	7
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides	7
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal	7
Effective Lower Bounds on the Matrix Rank and Their Applications	7
3D Model Compression with Support of Parallel Processing on the GPU	7
Symbolic Calculations in the Study of Secular Perturbations in the Many-Body Problem with Variable Masses	6
Human Event Recognition in Smart Classrooms Using Computer Vision: A Systematic Literature Review	6
Class Balancing Approaches to Improve for Software Defect Prediction Estimations: A Comparative Study	6
Solving the Cauchy Problem for a Three-dimensional Difference Equation in a Parallelepiped	6
A Survey of Network Traffic Classification Methods Using Machine Learning	6
RuGECToR: Rule-Based Neural Network Model for Russian Language Grammatical Error Correction	6
Binarization of the Swallow Swarm Optimization for Feature Selection	6
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids	6
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps	5
Configurable Test System for RTOS	5
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data	5
Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations	5
Building Adaptable Dashboards for Smart Cities: Design and Evaluation	5
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills	4
Representation of Traffic Congestion: A Multicriteria Analysis Approach Based on Distances	4

PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)	4
Bibliographic Review on Data Mining Techniques Used with Weather Data	4
Specifying Data Quality Requirements through Web Functionalities – MOSQAF	4
Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words	4
Computational Aspects of the Horn–Kapranov Parametrization	4
Method for Semantic Image Segmentation Based on the Neural Network with Gabor Filters	4
Twenty Similarity Functions for Two Finite Sequences	4
Estimating the Complexity of Objects in Images	4
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets	4
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network	4
A Survey of Programming Language Memory Models	4
Computer Algebra Calculations in Supersymmetric Electrodynamics	3
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic	3
Decomposition of a Finite Quantum System into Subsystems: Symbolic–Numerical Approach	3
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides	3
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2	3
Using Multilevel Hash Tables to Speed up Rendering	3
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations	3
A Package of Procedures and Functions for Construction and Inversion of Analytic Mappings with Unit Jacobian	3
A Computational Approach for Evaluating Steady-State Probabilities and Virtual Waiting Time of a Multiprocessor Queuing System	3
Level Lines of a Polynomial on a Plane	3
Description of Paralocks Language Semantics in TLA+	3
Intuitionistic Fuzzy Recurrence Plots for Classifying Cardiac Arrhythmias Using Deep Learning	3
Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic	3
Adaptive IIR Filter Based on Penalized Spline	3
Model of a System for Servicing Multiprocessor Tasks without a Queue	3
Bitcoin Transaction Analysis System	3
Visualization Technologies to Support Decision-Making in City Management	2
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points	2
Development of Multi-Platform Steganographic Software Based on Random-LSB	2
Classification of Non-functional Requirements Using Convolutional Neural Networks	2
Detection of Network Attacks in a Heterogeneous Industrial Network Based on Machine Learning	2
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes	2
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation	2
On the Numerical Solution of the Characteristic Problems for One Class of Quasilinear Equations	2
Parallel Approximation of Multidimensional Tensors Using GPUs	2
Specifics of the Development of an On-Board Visualization System for Civil Aircrafts	2
Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data	2
Scrumlity: An Agile Framework Based on Quality of User Stories	2
A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach	2
Cross-Lingual Transfer Learning in Drug-Related Information Extraction from User-Generated Texts	2
A Survey of Software Dynamic Analysis Methods	2
Multiobject Visualization of Vast Forests in Virtual Environment Systems	2
Artificial Intelligence (AI) Solution for Plasma Cells Detection	2
A Method for Improving the Caching Strategy for Computing Systems with Shared Memory	2
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream	2
Research on Methods for Traversing Two-Level BVH Trees on Graphics Processors	2
SafeComp: Protocol for Certifying Cloud Computations Integrity	2
Real-Time Analytics: Benefits, Limitations, and Tradeoffs	2
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology	2

Combinatorial Reliability Analysis of Multicore Processors	2
Usability Evaluation of BCI Software Applications: A systematic review of the literature	2
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems	2
A Regression Model for Analysis of User Engagement on Facebook Fan Page for Scientific Dissemination Content	2
Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy	2
Computer-Algebraic Study of the Asymptotic Method for Modeling Waveguide Propagation of Electromagnetic Radiation	2
Computer-Algebraic Approach to First Differential Approximations: Van der Pol Oscillator	2
A Novel Intelligent System for Detection of Type 2 Diabetes with Modified Loss Function and Regularization	2
An Algorithm for Detecting Precipitation in Computer Processing of Video Images	2
Joint Super-resolution and Tissue Patch Classification for Whole Slide Histological Images	2
New Approach for Online Voting Ensuring Privacy and Verifiability	2
A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective	2
Perfect Sets of Paths in the Full Graph of SDN Switches	2
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra	2
Analyzing the Influence of Hyperparameters on the Efficiency of an OCR Model for Pre-Reform Handwritten Texts	1
Improving System Survivability by Path Duplication	1
Requirements and GitHub Issues: An Automated Approach for Quality Requirements Classification	1
Software Performance Optimization for Classification and Linking of Administrative Documents	1
GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation	1
Tools for Capturing and Processing High-Speed Network Traffic	1
Finite Decimal Fractions As Entries of Nonsingular Matrices	1
Domain-Driven Design in Microservices-Based Systems Development: A Systematic Literature Review and Thematic Analysis	1
Generation of Graphs for the Identification of Various Types of Scientific Collaboration in an Academic Institution	1
Performance Model of Graphics Pipeline for a One-Pass Rendering of 3D Dynamic Scenes	1
Analysis of Traces on Discharged Bullets by the Congruent Matching Profile Segments Method and k-Nearest Neighbors	1
Mining User-Object Interaction Data for Student Modeling in Intelligent Learning Environments	1
NO2 Data Analytics and Visualization Service: Improving Air Quality Insights in Armenia and Belarus	1
An Image Hashing Algorithm Based on a Convolutional Neural Network	1
Students’ Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling	1
Analytical Review of Confidential Artificial Intelligence: Methods and Algorithms for Deployment in Cloud Computing	1
Symbolic Studies of Maxwell’s Equations in Space-Time Algebra Formalism	1
Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study	1
Constructing Compartmental Models of Dynamic Systems Using a Software Package for Symbolic Computation in Julia	1
Hidden Monitoring Based on Keystroke Dynamics in Online Examination System	1
A Microservice Deployment Guide	1
Solving Rician Data Analysis Problems: Theory and Numerical Modeling Using Computer Algebra Methods in Wolfram Mathematica	1
A Method to Order Point Clouds for Visualization on the Ray Tracing Pipeline	1
PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree	1
KIAM Astrodynamics Toolbox for Spacecraft Orbital Motion Design	1
Static Analysis of Corpus of Source Codes of Python Applications	1
Polynomial Relations for Bounds on the Exponents in Solutions to Operator Equations	1
Investigation of RISC-V	1
CASR: Analysis of Core Dump Files in Linux and Error Reporting	1
Image Restoration Using Genetic Algorithms	1
Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates	1
Refactoring the Monolith Workflow into Independent Micro-Workflows to Support Stream Processing	1
Active Learning and Transfer Learning for Document Segmentation	1
Database Management System Verification with Separation Logics	1
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection	1
Exploring a Web-Based Application to Convert Tamil and Vietnamese Speech to Text without the Effect of Code-Switching and Code-Mixing	1
Algorithms for Planning on Computational Model with Redundancy and Uncertainty	1
Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data	1
Image Motion Blur Removal Algorithm Based on Generative Adversarial Network	1
A Tertiary Study on Microservices: Research Trends and Recommendations	1
Method of Geometry Reconstruction from a Set of RGB Images Using Differentiable Rendering and Visual Hull	1
On Linear Cellular Automata	1
Is It Possible to Use ChatGPT to Perform Measurements Using the COSMIC Method?	1
Enhancing Android Ransomware Detection Using an Ensemble Machine Learning Classifier	1
Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities	1
A Design Science Approach to Modeling the V Gene Annotation Process	1
Improving a Model for NFR Estimation Using Band Classification and Selection with KNN	1
‘True Concurrency’ Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies	1
A Deferred Rendering Method of a Set of Dynamic Point Light Sources in Voxelized Scenes in Real Time	1
Supercomputer Environment for Recursive Matrix Algorithms	1
Process Improvement in Software Requirements Engineering: A Systematic Mapping Study	1
Interprocedural Static Analysis for Finding Bugs in Go Programs	1
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series	1
Exhaustive Use of Information on an Equation with Truncated Coefficients	1
Aging Properties of Actual and Virtual Waiting Times in the GI|G|1|∞ Queuing Model	1
Automatic Code Generation of User-centered Serious Games: A Decade in Review	0
Layer-by-Layer Knowledge Distillation for Training Simplified Bipolar Morphological Neural Networks	0
Development of DSL Compilers for Specialized Processors	0
Named Entity Recognition for Code Review Comments	0
Decentralized Conditional Gradient Method on Time-Varying Graphs	0
Applying Computer Algebra Systems to Study Chaundy-Bullard Identities for the Vector Partition Function with Weight	0
Computing Level Lines of a Polynomial on the Plane	0
Information Flow Control in Software DB Units Based on Formal Verification	0
Ontology-Driven Visual Analytics Software Development	0
Augmenting the Training Set of Histological Images with Adversarial Examples	0
On Calculation of Abelian Differentials	0

Algorithm for Finding Singular Points of a General Algebraic Hypersurface	0
Modified Error Detection and Localization in the Residue Number System	0
Unified Processing of Events and Co-routines in Embedded Program	0
Building a Scale for Internet Fraud Detection Using Machine Learning	0
Self-Organizing Multi-User UAV Swarm Simulation Platform	0
On Binary Solutions to a System of Linear Equations Modulo Three	0
An Efficient Technology of Real-Time Modeling of Height Field Surface on the Ray Tracing Pipeline	0
Projective Geometric Algebra in Plane and Its Implementation in the Library Ganja.js	0
Determination of Relevant Risk Factors for Breast Cancer Using Feature Selection	0
Quadrature Formula for the Direct Value of the Double-Layer Potential	0
Soft and Hard Skills Gained by Students through Real Projects Developed at a University Software Company	0
Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C	0
3D Scene Reconstruction and Digitization Method for Mixed Reality Systems	0
Effective Implementations of Topic Modeling Algorithms	0
CGWO: An Improved Grey Wolf Optimization Technique for Test Case Prioritization	0
Hybrid Binarization Method for Historical Handwritten Documents	0
Enhancing Image Recognition with Pre-Defined Convolutional Layers Based on PDEs	0
Automotive Post-Collision Control Software System: Requirements and Verification	0
Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization	0
Experimental Study of Algorithms for Minimization of Binary Decision Diagrams Using Algebraic Representations of Cofactors	0
Software Testing in the DevOps Context: A Systematic Mapping Study	0
Influence of Belbin’s Role Theory on Database Design: Experimenting with Software Engineering Students	0
Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems	0
Method for Checking the Regularity of a Singular Point of a System of Linear Differential Equations with Meromorphic Coefficients	0
Improving the Software Estimation Models Based on Functional Size through Validation of the Assumptions behind the Linear Regression and the Use of the Confidence Intervals When the Reference Database	0
Enumerator-Arguments As a Language Tool for Defining Loops	0
A Model and Declarative Language for Specifying Binary Data Formats	0
Metaclasses in UML and in Programming Languages	0
Antipattern Practice for Essence Practice Library	0
Resonances and Periodic Motions of Atwood’s Machine with Two Oscillating Weights	0
Computing Unimodular Matrices of Power Transformations	0
Neural Network Method for Detecting Blur in Histological Images	0
Integration of a Degenerate System of ODEs	0
Editorial	0
Deep Learning Applications for Intrusion Detection in Network Traffic	0
Generation of Images with Handwritten Text in Russian	0
Optimization of ProVerif Programs for AKE Protocols	0
Manycore Parallel Simulations of Fishing Nets	0
Enhanced S2E for Analysis of Multi-Thread Software	0
Analytical-Numerical Implementation of Polyvector Algebra in Julia	0
Automated Assessment of the Progress and “Health” of Projects Based on the OMG Essence Standard	0
Database Migration from ORACLE to PostgreSQL	0
Strongly Cyclic Vectors	0
Symbolic Algorithm for Finding Zeros of a System of Holomorphic Functions	0
Framework for Development and Execution of Scientific WorkFlows: Designing Service-Oriented Applications	0
Supporting Vector Textures in a GPU Photorealistic Rendering System	0
Formal Verification of Blockchain Based Tender Systems	0
Reconstruction of Optical Properties of Real Scene Objects from Images by Taking into Account Secondary Illumination and Selecting the Most Important Points	0
A Universal Algorithm for Discretizing Bichromatic Two-Dimensional Graphic Codes	0
Highly Realistic Visualization of Caustics and Rough Surfaces	0
Influence of Unequilateral Apertures of Digital Filters Laplacian “Trunced Pyramid” and “Double Pyramid” on the Accuracy of Television Measuring Systems	0
Autonomous Swarm of Low-Cost Commercial Unmanned Aerial Vehicles for Surveillance	0
Implementation of Geometric Algebra in Computer Algebra Systems	0
Guest Editorial Special Issue “Recent Trends on Advanced Computing: The Converging Technologies”	0
A Simple Way to Improve Road Safety by Avoiding Dangerous Sections of the Route	0
Application of the 9P Protocol in Organizing a High-Speed Shared Memory Buffer for Intermediate Computations (RAMPL)	0
Construction of Pseudo-Geometric Integrators	0
Using Dynamic Memory Reallocation in GInv	0
An Extendable Essay on the Sage Computer Algebra System and an Editor for Creating Extendable Essays	0
Architecture for Groupware Oriented to Collaborative Medical Activities in the Rehabilitation of Strokes	0
RaceHunter Dynamic Data Race Detector	0
Access Control Analysis in Heterogeneous Big Data Management Systems	0
On the Calculation of the Number of Real Roots of a System of Nonalgebraic Equations Using Computer Algebra	0
Fuzzy Neural Networks That Change Their Configuration	0
The Use of Functional Programming Library for Parallel Computing on CUDA	0
Regular Memory Structures and Operation Domains of Intelligent Systems	0
Symbolic Computation of an Arbitrary-Order Resonance Condition in a Hamiltonian System	0
Improving the Analytic Hierarchy Process for Requirements Prioritization Using Evolutionary Computing	0
Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System	0
On Accelerated Coordinate Descent Methods for Searching Equilibria in Two-Stage Transportation Equilibrium Traffic Flow Distribution Model	0
Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language	0
Kotlin from the Point of View of Static Analysis Developer	0
Development of Algorithmic and Software Support for Symbolic Computations in Problems of Constructing Controlled Compartmental Models of Dynamic Systems	0
Analysis of Behavior-Driven Development: A Thematic Synthesis	0
Searching for Laurent Solutions of Truncated Systems of Linear Differential Equations with the Use of EG-Eliminations	0
Verification of Compliance for Multilevel Models in Individual Trace Semantics	0
Runtime Verification of Operating Systems Based on Abstract Models	0
Efficient Implementation of Fast Hough Transform Using CPCA Coprocessor	0
Cloud Data Storage and Private Information Retrieval Аlgorithms	0
Comparative Efficiency Analysis of Hashing Algorithms for Use in zk-SNARK Circuits in Distributed Ledgers	0
Guest Editorial Special Issue “Software Engineering”	0
Automated Method for Optimum Scale Search when Using Trained Models for Histological Image Analysis	0
White Balance Correction for Detecting Holograms in Color Images of Black-and-White Photographs	0
Mission Preparation for Self-Organizing UAV Swarms on Multiuser Platform	0
Investigation of the Influence of Constant Torque on Equilibrium Orientations of a Satellite Moving in a Circular Orbit with the Use of Computer Algebra Methods	0
Efficiency Analysis of a Simulation Model of Cloud Computing in the Case of Multiple Server Failures	0
Constructing the Internal Voronoi Diagram of Polygonal Figure Using the Sweepline Method	0
Typed Unknown Values: A Step towards Solving the Problem of Missing Data Representation in Relational Databases	0
Improving Fuzzing Using Input Data Offsets Comparison Information	0
On Computing the Resultant of a Polynomial and an Entire Function	0
Development of Algorithms and Software for Modeling Controlled Dynamic Systems Using Symbolic Computations and Stochastic Methods	0
Interactive Calculation of Light Refraction and Caustics Using a Graphics Processor	0
SPAM: An Enhanced Performance of Security and Privacy-Aware Model over Split Learning in Consumer Electronics	0
Primitive Elements of Free Non-associative Algebras over Finite Fields	0
Requirements Validation in the Information System Software Development Lifecycle: A Software Quality in Use Evaluation	0