Theoretical Computer Science

Article	Citations
Improved adaptive genetic algorithm for the vehicle Insurance Fraud Identification Model based on a BP Neural Network	49
Efficient card-based zero-knowledge proof for Sudoku	45
Theory versus practice in annealing-based quantum computing	39
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition	26
Arbitrary pattern formation on infinite grid by asynchronous oblivious robots	25
Optimizing hybrid metaheuristic algorithm with cluster head to improve performance metrics on the IoT	25
Structure connectivity and substructure connectivity of the crossed cube	25
A fully distributed hierarchical attribute-based encryption scheme	24
Fault-tolerant metric dimension of circulant graphs C(1,2,3)	24
An analysis of architecture, framework, security and challenging aspects for data aggregation and routing techniques in IoT WSNs	24
Maximum Nash welfare and other stories about EFX	23
Cell-like P systems with polarizations and minimal rules	23
kNN-P: A kNN classifier optimized by P systems	23
Physical zero-knowledge proof for Ripple Effect	22
Relationship between extra edge connectivity and component edge connectivity for regular graphs	21
When hypermutations and ageing enable artificial immune systems to outperform evolutionary algorithms	21
Identity-based encryption with equality test and datestamp-based authorization mechanism	20
Structure connectivity and substructure connectivity of wheel networks	19
Multiple birds with one stone: Beating 1/2 for EFX and GMMS via envy cycle elimination	19
Spiking neural P systems with target indications	19
Almost envy-freeness in group resource allocation	19
Card-based protocols for secure ranking computations	19
Community-based rumor blocking maximization in social networks: Algorithms and analysis	18
Deep learning and natural language processing in computation for offensive language detection in online social networks by feature selection and ensemble classification techniques	17
Securely computing the n-variable equality function with 2n cards	17

Fault diagnosability of Bicube networks under the PMC diagnostic model	16
Continuous leakage-resilient certificate-based signcryption scheme and application in cloud computing	16
Collusion-resistant identity-based Proxy Re-encryption: Lattice-based constructions in Standard Model	16
Arbitrary pattern formation by asynchronous opaque robots with lights	16
The component (edge) connectivity of shuffle-cubes	15
Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement	15
Quality gain analysis of the weighted recombination evolution strategy on general convex quadratic functions	15
Reliability analysis of subsystem in dual cubes	15
From mathematical equivalence such as Ma equivalence to generalized Zhang equivalency including gradient equivalency	14
On cherry-picking and network containment	14
A new proof for exact relationship between extra connectivity and extra diagnosability of regular connected graphs under MM* model	14
Multicarrier continuous-variable quantum key distribution	14
Beyond pointwise submodularity: Non-monotone adaptive submodular maximization in linear time	14
Lower bounds on the run time of the Univariate Marginal Distribution Algorithm on OneMax	14
A proof system for disjoint parallel quantum programs	13
A Secure Energy Aware Meta-Heuristic Routing Protocol (SEAMHR) for sustainable IoT-Wireless Sensor Network (WSN)	13
Enumeration of subtrees and BC-subtrees with maximum degree no more than k in trees	13
An anomaly-based intrusion detection system using recursive feature elimination technique for improved attack detection	13
Restricted connectivity and good-neighbor diagnosability of split-star networks	13
The h-restricted connectivity of the generalized hypercubes	12
Embedded connectivity of ternary n-cubes	12
Design and analysis of diversity-based parent selection schemes for speeding up evolutionary multi-objective optimisation	12
Approximation algorithms for the minimum power cover problem with submodular/linear penalties	12
Dynamical behavior of additive cellular automata over finite abelian groups	11
Facility location games with optional preference	11
Rumor correction maximization problem in social networks	11
On the performance of learned data structures	11
A combinatorial view on string attractors	11
Byzantine-tolerant causal broadcast	11
A code-based signature scheme from the Lyubashevsky framework	11
Minimum power partial multi-cover on a line	11
Component conditional fault tolerance of hierarchical folded cubic networks	11
Analysis of the (1 + 1) EA on subclasses of linear functions under uniform and linear constraints	11
Revocable identity-based encryption with server-aided ciphertext evolution	11
Improved lower bounds for the radio number of trees	11
DESN: An unsupervised MR image denoising network with deep image prior	11
Gathering Anonymous, Oblivious Robots on a Grid	11
Structure fault tolerance of balanced hypercubes	11
Optimizing flight trajectory of UAV for efficient data collection in wireless sensor networks	10
Hardness results for three kinds of colored connections of graphs	10
The reliability analysis of k-ary n-cube networks	10
Edge-fault-tolerant strong Menger edge connectivity on regular graphs	10
Structure and substructure connectivity of divide-and-swap cube	10
Connectivity and super connectivity of the divide-and-swap cube	10
Pushing lines helps: Efficient universal centralised transformations for programmable matter	10
A constrained two-stage submodular maximization	10
Dynamic maintenance case base using knowledge discovery techniques for case based reasoning systems	10
Causality analysis and fault ascription in component-based systems	10
A note of vertex arboricity of planar graphs without 4-cycles intersecting with 6-cycles	10
Gathering robots in graphs: The central role of synchronicity	10

Measuring diversity in heterogeneous information networks	9
Attribute-based proxy re-encryption from standard lattices	9
Conditional diagnosability of Cayley graphs generated by wheel graphs under the PMC model	9
An approximation algorithm for General Energy Restricted Sweep Coverage problem	9
Quantum algorithm for the multicollision problem	9
Constructing dual-CISTs of folded divide-and-swap cubes	9
Multistage graph problems on a global budget	9
The 4-set tree connectivity of (n,k)-star networks	9
Super fault-tolerance assessment of locally twisted cubes based on the structure connectivity	9
Speeding up the AIFV-2 dynamic programs by two orders of magnitude using Range Minimum Queries	9
Energy efficiency optimization for multiple chargers in Wireless Rechargeable Sensor Networks	9
Exponential slowdown for larger populations: The (μ + 1)-EA on monotone functions	9
Investigation of E-voting system using face recognition using convolutional neural network (CNN)	8
Constrained synchronization and commutativity	8
Makespan minimization on unrelated parallel machines with a few bags	8
Complexity of modification problems for best match graphs	8
Fast algorithms for single and multiple pattern Cartesian tree matching	8
influence: A partizan scoring game on graphs	8
Recognizing the tractability in big data computing	8
Solving hard stable matching problems involving groups of similar agents	8
Generalised information systems capture L-domains	8
Maximize a monotone function with a generic submodularity ratio	8
Running time analysis of the (1+1)-EA for robust linear optimization	8
A simplified run time analysis of the univariate marginal distribution algorithm on LeadingOnes	8
The complexity of dependency detection and discovery in relational databases	8
Calibration scheduling with time slot cost	8
Extended partial key exposure attacks on RSA: Improvement up to full size decryption exponents	8
NextPriorityConcept: A new and generic algorithm computing concepts from complex and heterogeneous data	8
k-Critical graphs in P5-free graphs	8
Small SNQ P Systems with multiple types of spikes	8
Time-free cell-like P systems with multiple promoters/inhibitors	8
Reliability and hybrid diagnosis of exchanged hypercube	8
The generalized 3-connectivity of two kinds of regular networks	8
On the g-extra diagnosability of enhanced hypercubes	7
Local certification of graphs on surfaces	7
Cryptanalysis of the RSA variant based on cubic Pell equation	7
Stable matching with uncertain pairwise preferences	7
An improved ranking methodology for malignant carcinoma in multicriterian decision making using hesitant VIKOR fuzzy	7
The t/s-diagnosability and t/s-diagnosis algorithm of folded hypercube under the PMC/MM* model	7
Blocking total dominating sets via edge contractions	7
Joint realizability of monotone Boolean functions	7
Group sweep coverage with guaranteed approximation ratio	7
Eccentricity function in distance-hereditary graphs	7
Efficient scheduling of a mobile charger in large-scale sensor networks	7
Delivery Route Optimization with automated vehicle in smart urban environment	7
Speech enhancement with noise estimation and filtration using deep learning models	7
Bicriteria algorithms to balance coverage and cost in team formation under online model	7
A logical and graphical framework for reaction systems	7
M UFLP: Universal facility location problem in the p-th power of metric space	7
Chronic obstructive pulmonary disease prediction using Internet of things-spiro system and fuzzy-based quantum neural network classifier	7
Subversion-resilient signatures: Definitions, constructions and applications	7
On a simple hard variant of Not-All-Equal 3-Sat	7
Generalized abstraction-refinement for game-based CTL lifted model checking	7
Novel algorithms for maximum DS decomposition	7
On scheduling multiple two-stage flowshops	7
Note on R-conditional diagnosability of hypercube	7
Fixed-parameter tractable algorithms for Tracking Shortest Paths	6
Stagnation detection meets fast mutation	6
The vertex-pancyclicity of data center networks	6
Robust biomolecular finite automata	6
Control languages accepted by labeled spiking neural P systems with rules on synapses	6
Representable Markov categories and comparison of statistical experiments in categorical probability	6
Exploring the gap between treedepth and vertex cover through vertex integrity	6
Analysis on methods to effectively improve transfer learning performance	6
Identity-based authenticated encryption with identity confidentiality	6
Absolutely no free lunches!	6
Puncturable identity-based and attribute-based encryption from lattices	6
Physarum-inspired multi-commodity flow dynamics	6
A study on the effects of normalized TSP features for automated algorithm selection	6
A decision procedure and complete axiomatization for projection temporal logic	6
An incentive compatible, efficient market for air traffic flow management	6
Maximum star deleted from Ramsey graphs of book and tree	6
Diagnosability for two families of composition networks	6
Model independent approach to probabilistic models	6
Polynomial kernels for hitting forbidden minors under structural parameterizations	6
On the complexity of solution extension of optimization problems	6
The unpaired many-to-many k-disjoint paths in bipartite hypercube-like networks	6
A post-quantum hybrid encryption based on QC-LDPC codes in the multi-user setting	6
On the steady state analysis of covariance matrix self-adaptation evolution strategies on the noisy ellipsoid model	6
Survivability development of wireless sensor networks using neuro fuzzy-clonal selection optimization	6

Computing longest palindromic substring after single-character or block-wise edits	6
Embedding algorithm of spined cube into grid structure and its wirelength computation	6
Exponential upper bounds for the runtime of randomized search heuristics	6
Disjoint paths and connected subgraphs for H-free graphs	6
Exact algorithms for the repetition-bounded longest common subsequence problem	6
The impact of lexicographic parsimony pressure for ORDER/MAJORITY on the run time	6
Universal product learning with errors: A new variant of LWE for lattice-based cryptography	6
Tightly secure inner product functional encryption: Multi-input and function-hiding constructions	6
On approximation algorithm for the edge metric dimension problem	6
Tight security for the generic construction of identity-based signature (in the multi-instance setting)	6
Interaction-aware influence maximization and iterated sandwich method	6
New results for the k-secretary problem	6
Reallocating multiple facilities on the line	6
Sequential reprogramming of biological network fate	6
How majority-vote crossover and estimation-of-distribution algorithms cope with fitness valleys	6
A new quantum random number generator certified by value indefiniteness	6
Rewriting theory for the life sciences: A unifying theory of CTMC semantics	6
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation	6
Modelling of oppositional Aquila Optimizer with machine learning enabled secure access control in Internet of drones environment	6
Constant-size CCA-secure multi-hop unidirectional proxy re-encryption from indistinguishability obfuscation	6
Two-way and one-way quantum and classical automata with advice for online minimization problems	6
Matching influence maximization in social networks	6
Multiple facility location games with envy ratio	6
The component connectivity, component diagnosability, and t/k-diagnosability of Bicube networks	6
Arbitrary pattern formation on infinite regular tessellation graphs	6
On dispersable book embeddings	6
A hierarchy of local decision	6
Being a permutation is also orthogonal to one-wayness in quantum world: Impossibilities of quantum one-way permutations from one-wayness primitives	6
Visualizing co-phylogenetic reconciliations	5
Complexity and approximability of the happy set problem	5
Divide-and-conquer based all spanning tree generation algorithm of a simple connected graph	5
Optimal radio labellings of block graphs and line graphs of trees	5
Improved bi-criteria approximation schemes for load balancing on unrelated machines with cost constraints	5
A topological perspective on distributed network algorithms	5
On modification of Boyer-Moore-horspool's algorithm for tree pattern matching in linearised trees	5
Identity-based encryption with security against the KGC: A formal model and its instantiations	5
Subnetwork reliability analysis of bubble-sort graph networks	5
Recognizing DAGs with page-number 2 is NP-complete	5
Variety of mutual-visibility problems in graphs	5
k-Circle formation by disoriented asynchronous robots	5
On RAC drawings of graphs with one bend per edge	5
Constructing dual-CISTs with short diameters using a generic adjustment scheme on bicubes	5
Hybrid fault-tolerant prescribed hyper-hamiltonian laceability of hypercubes	5
The R-conditional diagnosability of international networks	5
Uncertainty representation in dynamical systems using rough set theory	5
New bounds for energy complexity of Boolean functions	5
Almost fully anonymous attribute-based group signatures with verifier-local revocation and member registration from lattice assumptions	5
Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots	5
Modified Schelling games	5
On fan-crossing graphs	5
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow	5
How to compute digraph width measures on directed co-graphs	5
Approximation algorithms for spherical k-means problem using local search scheme	5
On parameterized algorithms for fixed-order book thickness with respect to the pathwidth of the vertex ordering	5
A trusted effective approach for forecasting the failure of data link and intrusion in wireless sensor networks	5
Computing a longest common almost-increasing subsequence of two sequences	5
Towards more efficient methods for solving regular-expression heavy string constraints	5
A fixed point theorem in rough semi-linear uniform spaces	5
On the longest common prefix of suffixes in an inverse Lyndon factorization and other properties	5
Information coverage maximization for multiple products in social networks	5
Concentration of rainbow k-connectivity of a multiplex random graph	5
Monotone k-submodular secretary problems: Cardinality and knapsack constraints	5
Bounded privacy-utility monotonicity indicating bounded tradeoff of differential privacy mechanisms	5
On coresets for support vector machines	5
Connectivity and constructive algorithms of disjoint paths in dragonfly networks	5
Power, positive closure, and quotients on convex languages	5
Model checking QCTL plus on quantum Markov chains	5
Computing a metric basis of a bipartite distance-hereditary graph	5
Parameterized algorithms and kernels for almost induced matching	5
Destructiveness of lexicographic parsimony pressure and alleviation by a concatenation crossover in genetic programming	5
Extremal set theory and LWE based access structure hiding verifiable secret sharing with malicious-majority and free verification	5
Satisfiability threshold for power law random 2-SAT in configuration model	5
Operator precedence temporal logic and model checking	5
Differential logical relations, part II increments and derivatives	5
Efficient revocable identity-based encryption with short public parameters	5
Convergence of the non-uniform directed Physarum model	5
Spectral concepts in genome informational analysis	5
Alternation in two-way finite automata	5
Reversible computing from a programming language perspective	5
Online presentations of finitely generated structures	5
Injective coloring of planar graphs	5
Tight FPT approximation for constrained k-center and k-supplier	5
A Wiener-type attack on an RSA-like cryptosystem constructed from cubic Pell equations	5
Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership	5
Simultaneous FPQ-ordering and hybrid planarity testing	5
Faster balanced clusterings in high dimension	5
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus	5
Tracking routes in communication networks	5
Efficient decision procedure for propositional projection temporal logic	5
Multi-attribute based influence maximization in social networks: Algorithms and analysis	5
Convergence of the non-uniform Physarum dynamics	5
The diagnosability of Möbius cubes for the g-extra condition	5
PSPACE-completeness of two graph coloring games	5
Cryptographic reverse firewalls for interactive proof systems	5
Online parameterized dictionary matching with one gap	5