OOIR: Observatory of International Research

Papers

(The TQCC of Programming and Computer Software is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-10-01 to 2025-10-01.)

Article	Citations
Searching for Taint Vulnerabilities with Svace Static Analysis Tool	64
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	18
Automatic Image Style Transfer using an Augmented Style Set	15
Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides	11
Adaptive Method for Selecting Basis Functions in Kolmogorov–Arnold Networks for Magnetic Resonance Image Enhancement	11
Lower Bounds for the Rank of a Matrix with Zeros and Ones outside the Leading Diagonal	8
3D Model Compression with Support of Parallel Processing on the GPU	8
Application of Monadic Calculations in Solving Numerical Problems	7
Elements for Automatic Identification of Fallacies in Mexican Election Campaign Political Speeches	7
Curve-Based Security Schemes for Automating the Encryption and Signing of Digital Documents in Organizational Environments	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
Metrics of Efficiency and Performance when Using Evolutionary Algorithm on Desktop Grids	6
Effective Lower Bounds on the Matrix Rank and Their Applications	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
Building Adaptable Dashboards for Smart Cities: Design and Evaluation	6
Software Implementation of an Algorithm for Automatic Detection of Lineaments and Their Properties in Open-Pit Dumps	5
Evaluation of Differential Equation Solutions through Traditional Techniques and Neural Networks in Quantum Simulations	5
Twenty Similarity Functions for Two Finite Sequences	5
A Survey of Network Traffic Classification Methods Using Machine Learning	5
Configurable Test System for RTOS	5
How COVID-19 Pandemic affects Software Developers’ Wellbeing, and the Necessity to strengthen Soft Skills	5
Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data	5
RuGECToR: Rule-Based Neural Network Model for Russian Language Grammatical Error Correction	5

Specifying Data Quality Requirements through Web Functionalities – MOSQAF	5
Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words	5
Computer Algebra Calculations in Supersymmetric Electrodynamics	4
Bibliographic Review on Data Mining Techniques Used with Weather Data	4
Representation of Traffic Congestion: A Multicriteria Analysis Approach Based on Distances	4
Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets	4
Method for Semantic Image Segmentation Based on the Neural Network with Gabor Filters	4
Estimating the Complexity of Objects in Images	4
PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)	4
Computational Aspects of the Horn–Kapranov Parametrization	4
A Survey of Programming Language Memory Models	4
Explicit Multiobjective Evolutionary Algorithms for Flow Shop Scheduling with Missing Operations	4
Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic	3
Using Multilevel Hash Tables to Speed up Rendering	3
Symbolic-Numerical Implementation of the Model of Adiabatic Guided Modes for Two-Dimensional Irregular Waveguides	3
Intuitionistic Fuzzy Recurrence Plots for Classifying Cardiac Arrhythmias Using Deep Learning	3
Bitcoin Transaction Analysis System	3
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic	3
Description of Paralocks Language Semantics in TLA+	3
New Approach for Online Voting Ensuring Privacy and Verifiability	3
Level Lines of a Polynomial on a Plane	3
Specifics of the Development of an On-Board Visualization System for Civil Aircrafts	3
Model of a System for Servicing Multiprocessor Tasks without a Queue	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
Adaptive IIR Filter Based on Penalized Spline	3
Decomposition of a Finite Quantum System into Subsystems: Symbolic–Numerical Approach	3
Multigroup Classification of Firing Pin Impressions with the Use of a Fully Connected Neural Network	3
Optimization of Neural Network Training for Image Recognition Based on Trigonometric Polynomial Approximation	2
Detection of Network Attacks in a Heterogeneous Industrial Network Based on Machine Learning	2
Development of Multi-Platform Steganographic Software Based on Random-LSB	2
Mathematical Modeling of Turbulent Mixing in Gas Systems with a Chevron Contact Boundary using NUT3D, BIC3D, EGAK, and MIMOSA Numerical Codes	2
On the Numerical Solution of the Characteristic Problems for One Class of Quasilinear Equations	2
Perfect Sets of Paths in the Full Graph of SDN Switches	2
Real-Time Analytics: Benefits, Limitations, and Tradeoffs	2
Improving the Performance of Information Services in Systems Focused on Large, Rarely Modified Data	2
An Algorithm for Detecting Precipitation in Computer Processing of Video Images	2
A Method for Improving the Caching Strategy for Computing Systems with Shared Memory	2
Symbolic Studies of Maxwell’s Equations in Space-Time Algebra Formalism	2
Visualization Technologies to Support Decision-Making in City Management	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
Multiobject Visualization of Vast Forests in Virtual Environment Systems	2
Application of Computer Simulation to the Anonymization of Personal Data: State-of-the-Art and Key Points	2
Classification of Non-functional Requirements Using Convolutional Neural Networks	2
SafeComp: Protocol for Certifying Cloud Computations Integrity	2
A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2	2
Research on Methods for Traversing Two-Level BVH Trees on Graphics Processors	2
Usability Evaluation of BCI Software Applications: A systematic review of the literature	2
A Taxonomic View of the Fundamental Concepts of Quantum Computing–A Software Engineering Perspective	2

Scrumlity: An Agile Framework Based on Quality of User Stories	2
On Calculating Partial Sums of Multiple Numerical Series by Methods of Computer Algebra	2
A Survey of Software Dynamic Analysis Methods	2
On Implementation of Numerical Methods for Solving Ordinary Differential Equations in Computer Algebra Systems	2
Software Model Checking for Memory Consistency Verification	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
Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream	2
Joint Super-resolution and Tissue Patch Classification for Whole Slide Histological Images	2
Building and Developing a Data Protection Service System Based on Postquantum Cryptography Solutions	2
Artificial Intelligence (AI) Solution for Plasma Cells Detection	2
Combinatorial Reliability Analysis of Multicore Processors	2
Parallel Approximation of Multidimensional Tensors Using GPUs	2
Supporting the Architectural Knowledge Condensation in a Co-Localized Agile Environment for Small Entities Using an Ontology	2
Database Management System Verification with Separation Logics	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