Theoretical Computer Science

Article	Citations
Improved adaptive genetic algorithm for the vehicle Insurance Fraud Identification Model based on a BP Neural Network	46
Efficient card-based zero-knowledge proof for Sudoku	45
Theory versus practice in annealing-based quantum computing	38
Refining the r-index	26
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
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)	23
An analysis of architecture, framework, security and challenging aspects for data aggregation and routing techniques in IoT WSNs	23
kNN-P: A kNN classifier optimized by P systems	23
Cell-like P systems with polarizations and minimal rules	22
Physical zero-knowledge proof for Ripple Effect	22
When hypermutations and ageing enable artificial immune systems to outperform evolutionary algorithms	22
Relationship between extra edge connectivity and component edge connectivity for regular graphs	21
Optimizing hybrid metaheuristic algorithm with cluster head to improve performance metrics on the IoT	21
Maximum Nash welfare and other stories about EFX	20
Structure connectivity and substructure connectivity of wheel networks	19
Identity-based encryption with equality test and datestamp-based authorization mechanism	19
Card-based protocols for secure ranking computations	19
Gathering in dynamic rings	18
Community-based rumor blocking maximization in social networks: Algorithms and analysis	18
Spiking neural P systems with target indications	18
Almost envy-freeness in group resource allocation	18
Securely computing the n-variable equality function with 2n cards	17

Multiple birds with one stone: Beating 1/2 for EFX and GMMS via envy cycle elimination	17
Fault diagnosability of Bicube networks under the PMC diagnostic model	16
Arbitrary pattern formation by asynchronous opaque robots with lights	15
The component (edge) connectivity of shuffle-cubes	15
Continuous leakage-resilient certificate-based signcryption scheme and application in cloud computing	15
Collusion-resistant identity-based Proxy Re-encryption: Lattice-based constructions in Standard Model	15
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 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
Deep learning and natural language processing in computation for offensive language detection in online social networks by feature selection and ensemble classification techniques	14
Quality gain analysis of the weighted recombination evolution strategy on general convex quadratic functions	14
Fault-tolerant complete visibility for asynchronous robots with lights under one-axis agreement	13
On cherry-picking and network containment	13
From mathematical equivalence such as Ma equivalence to generalized Zhang equivalency including gradient equivalency	13
Enumeration of subtrees and BC-subtrees with maximum degree no more than k in trees	13
Reliability analysis of subsystem in dual cubes	13
Approximate proof-labeling schemes	13
Restricted connectivity and good-neighbor diagnosability of split-star networks	13
Design and analysis of diversity-based parent selection schemes for speeding up evolutionary multi-objective optimisation	12
The h-restricted connectivity of the generalized hypercubes	12
Approximation algorithms for the minimum power cover problem with submodular/linear penalties	12
Collaborative delivery with energy-constrained mobile robots	12
A Secure Energy Aware Meta-Heuristic Routing Protocol (SEAMHR) for sustainable IoT-Wireless Sensor Network (WSN)	11
Minimum power partial multi-cover on a line	11
Analysis of the (1 + 1) EA on subclasses of linear functions under uniform and linear constraints	11
Structure fault tolerance of balanced hypercubes	11
Facility location games with optional preference	11
Gathering Anonymous, Oblivious Robots on a Grid	11
Fast string matching for DNA sequences	11
Dynamical behavior of additive cellular automata over finite abelian groups	11
Revocable identity-based encryption with server-aided ciphertext evolution	11
A combinatorial view on string attractors	11
Embedded connectivity of ternary n-cubes	11
Connectivity and super connectivity of the divide-and-swap cube	10
A note of vertex arboricity of planar graphs without 4-cycles intersecting with 6-cycles	10
Pushing lines helps: Efficient universal centralised transformations for programmable matter	10
Subset feedback vertex set on graphs of bounded independent set size	10
Rumor correction maximization problem in social networks	10
DESN: An unsupervised MR image denoising network with deep image prior	10
Causality analysis and fault ascription in component-based systems	10
A constrained two-stage submodular maximization	10
Gathering robots in graphs: The central role of synchronicity	10
Dynamic maintenance case base using knowledge discovery techniques for case based reasoning systems	10
A code-based signature scheme from the Lyubashevsky framework	10
Improved lower bounds for the radio number of trees	10
Semitotal Domination: New hardness results and a polynomial-time algorithm for graphs of bounded mim-width	10
On the performance of learned data structures	10
Edge-fault-tolerant strong Menger edge connectivity on regular graphs	10
A logic for Lawson compact algebraic L-domains	10

Structure and substructure connectivity of divide-and-swap cube	10
Optimizing flight trajectory of UAV for efficient data collection in wireless sensor networks	10
Speeding up the AIFV-2 dynamic programs by two orders of magnitude using Range Minimum Queries	9
Two-dimensional maximal repetitions	9
Hardness results for three kinds of colored connections of graphs	9
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes	9
Constructing dual-CISTs of folded divide-and-swap cubes	9
Conditional diagnosability of Cayley graphs generated by wheel graphs under the PMC model	9
The reliability analysis of k-ary n-cube networks	9
A proof system for disjoint parallel quantum programs	9
Component conditional fault tolerance of hierarchical folded cubic networks	9
An approximation algorithm for General Energy Restricted Sweep Coverage problem	9
Time-free cell-like P systems with multiple promoters/inhibitors	8
Approximate pattern matching on elastic-degenerate text	8
Attribute-based proxy re-encryption from standard lattices	8
Recognizing the tractability in big data computing	8
k-Critical graphs in P5-free graphs	8
A simplified run time analysis of the univariate marginal distribution algorithm on LeadingOnes	8
Small SNQ P Systems with multiple types of spikes	8
Byzantine-tolerant causal broadcast	8
Quantum algorithm for the multicollision problem	8
Mixed integer programming with convex/concave constraints: Fixed-parameter tractability and applications to multicovering and voting	8
Energy efficiency optimization for multiple chargers in Wireless Rechargeable Sensor Networks	8
Solving hard stable matching problems involving groups of similar agents	8
R conditional diagnosability: A novel generalized measure of system-level diagnosis	8
The 4-set tree connectivity of (n,k)-star networks	8
Super fault-tolerance assessment of locally twisted cubes based on the structure connectivity	8
An anomaly-based intrusion detection system using recursive feature elimination technique for improved attack detection	8
Calibration scheduling with time slot cost	8
Complexity of modification problems for best match graphs	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
Constrained synchronization and commutativity	8
Maximize a monotone function with a generic submodularity ratio	8
Joint realizability of monotone Boolean functions	7
M UFLP: Universal facility location problem in the p-th power of metric space	7
The complexity of dependency detection and discovery in relational databases	7
Subversion-resilient signatures: Definitions, constructions and applications	7
Speech enhancement with noise estimation and filtration using deep learning models	7
Generalized abstraction-refinement for game-based CTL lifted model checking	7
On scheduling multiple two-stage flowshops	7
A class of Recursive Permutations which is Primitive Recursive complete	7
Makespan minimization on unrelated parallel machines with a few bags	7
Group sweep coverage with guaranteed approximation ratio	7
Stable matching with uncertain pairwise preferences	7
Reliability and hybrid diagnosis of exchanged hypercube	7
influence: A partizan scoring game on graphs	7
An improved ranking methodology for malignant carcinoma in multicriterian decision making using hesitant VIKOR fuzzy	7
Leader election in SINR model with arbitrary power control	7
Blocking total dominating sets via edge contractions	7
Note on R-conditional diagnosability of hypercube	7
Fast algorithms for single and multiple pattern Cartesian tree matching	7
Measuring diversity in heterogeneous information networks	7
On a simple hard variant of Not-All-Equal 3-Sat	7
The generalized 3-connectivity of two kinds of regular networks	7
Novel algorithms for maximum DS decomposition	7
Multistage graph problems on a global budget	7
Compressed range minimum queries	6
Absolutely no free lunches!	6
On the g-extra diagnosability of enhanced hypercubes	6
Physarum-inspired multi-commodity flow dynamics	6
Exponential upper bounds for the runtime of randomized search heuristics	6
Interaction-aware influence maximization and iterated sandwich method	6
Efficient scheduling of a mobile charger in large-scale sensor networks	6
On dispersable book embeddings	6
Exponential slowdown for larger populations: The (μ + 1)-EA on monotone functions	6
Tight security for the generic construction of identity-based signature (in the multi-instance setting)	6
Reallocating multiple facilities on the line	6
Sequential reprogramming of biological network fate	6
On the complexity of solution extension of optimization problems	6
Delivery Route Optimization with automated vehicle in smart urban environment	6
On the steady state analysis of covariance matrix self-adaptation evolution strategies on the noisy ellipsoid model	6
Bicriteria algorithms to balance coverage and cost in team formation under online model	6
Chronic obstructive pulmonary disease prediction using Internet of things-spiro system and fuzzy-based quantum neural network classifier	6
Disjoint paths and connected subgraphs for H-free graphs	6
Stagnation detection meets fast mutation	6
Tightly secure inner product functional encryption: Multi-input and function-hiding constructions	6
The component connectivity, component diagnosability, and t/k-diagnosability of Bicube networks	6
Local certification of graphs on surfaces	6
Diagnosability for two families of composition networks	6

Maximum star deleted from Ramsey graphs of book and tree	6
Eccentricity function in distance-hereditary graphs	6
The unpaired many-to-many k-disjoint paths in bipartite hypercube-like networks	6
Control languages accepted by labeled spiking neural P systems with rules on synapses	6
A post-quantum hybrid encryption based on QC-LDPC codes in the multi-user setting	6
Representable Markov categories and comparison of statistical experiments in categorical probability	6
Survivability development of wireless sensor networks using neuro fuzzy-clonal selection optimization	6
Generalised information systems capture L-domains	6
Computing longest palindromic substring after single-character or block-wise edits	6
Matching influence maximization in social networks	6
Wireless evacuation on m rays with k searchers	6
An incentive compatible, efficient market for air traffic flow management	6
Polynomial kernels for hitting forbidden minors under structural parameterizations	6
Universal product learning with errors: A new variant of LWE for lattice-based cryptography	6
Running time analysis of the (1+1)-EA for robust linear optimization	6
Cryptanalysis of the RSA variant based on cubic Pell equation	6
A decision procedure and complete axiomatization for projection temporal logic	6
How majority-vote crossover and estimation-of-distribution algorithms cope with fitness valleys	6
Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements	6
A new quantum random number generator certified by value indefiniteness	6
Exploring the gap between treedepth and vertex cover through vertex integrity	6
Divide-and-conquer based all spanning tree generation algorithm of a simple connected graph	5
A topological perspective on distributed network algorithms	5
Constructing dual-CISTs with short diameters using a generic adjustment scheme on bicubes	5
Identity-based encryption with security against the KGC: A formal model and its instantiations	5
Two-way and one-way quantum and classical automata with advice for online minimization problems	5
Analysis on methods to effectively improve transfer learning performance	5
Injective coloring of planar graphs	5
Hybrid fault-tolerant prescribed hyper-hamiltonian laceability of hypercubes	5
Faster balanced clusterings in high dimension	5
On RAC drawings of graphs with one bend per edge	5
Almost fully anonymous attribute-based group signatures with verifier-local revocation and member registration from lattice assumptions	5
Arbitrary pattern formation on infinite regular tessellation graphs	5
Reversible computing from a programming language perspective	5
Robust biomolecular finite automata	5
Simultaneous FPQ-ordering and hybrid planarity testing	5
Multiple facility location games with envy ratio	5
Tracking routes in communication networks	5
Identity-based authenticated encryption with identity confidentiality	5
Approximation algorithms for spherical k-means problem using local search scheme	5
Visualizing co-phylogenetic reconciliations	5
The diagnosability of Möbius cubes for the g-extra condition	5
Rewriting theory for the life sciences: A unifying theory of CTMC semantics	5
Parameterized model checking of networks of timed automata with Boolean guards	5
Convergence of the non-uniform directed Physarum model	5
Spectral concepts in genome informational analysis	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
Bounded privacy-utility monotonicity indicating bounded tradeoff of differential privacy mechanisms	5
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus	5
A Wiener-type attack on an RSA-like cryptosystem constructed from cubic Pell equations	5
Efficient decision procedure for propositional projection temporal logic	5
Convergence of the non-uniform Physarum dynamics	5
The impact of lexicographic parsimony pressure for ORDER/MAJORITY on the run time	5
Cryptographic reverse firewalls for interactive proof systems	5
Connectivity and constructive algorithms of disjoint paths in dragonfly networks	5
A logical and graphical framework for reaction systems	5
The Alternating BWT: An algorithmic perspective	5
Destructiveness of lexicographic parsimony pressure and alleviation by a concatenation crossover in genetic programming	5
Power, positive closure, and quotients on convex languages	5
On approximation algorithm for the edge metric dimension problem	5
Complexity and approximability of the happy set problem	5
On parameterized algorithms for fixed-order book thickness with respect to the pathwidth of the vertex ordering	5
On fan-crossing graphs	5
Online parameterized dictionary matching with one gap	5
Multi-attribute based influence maximization in social networks: Algorithms and analysis	5
The t/s-diagnosability and t/s-diagnosis algorithm of folded hypercube under the PMC/MM* model	5
Model independent approach to probabilistic models	5
Investigation of E-voting system using face recognition using convolutional neural network (CNN)	5
Improved bi-criteria approximation schemes for load balancing on unrelated machines with cost constraints	5
Online presentations of finitely generated structures	5
Puncturable identity-based and attribute-based encryption from lattices	5
Constant-size CCA-secure multi-hop unidirectional proxy re-encryption from indistinguishability obfuscation	5
k-Circle formation by disoriented asynchronous robots	5
A hierarchy of local decision	5
Fixed-parameter tractable algorithms for Tracking Shortest Paths	5
Computing a metric basis of a bipartite distance-hereditary graph	5
The R-conditional diagnosability of international networks	5
Effectful applicative similarity for call-by-name lambda calculi	5
Whom to befriend to influence people	5
How long it takes for an ordinary node with an ordinary id to output?	5
On coresets for support vector machines	5
Modelling of oppositional Aquila Optimizer with machine learning enabled secure access control in Internet of drones environment	5
The vertex-pancyclicity of data center networks	5
Monotone k-submodular secretary problems: Cardinality and knapsack constraints	5
How to compute digraph width measures on directed co-graphs	5
Satisfiability threshold for power law random 2-SAT in configuration model	5
Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots	5
Operator precedence temporal logic and model checking	5
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow	5
New results for the k-secretary problem	5
Modified Schelling games	5
A data structure for substring-substring LCS length queries	4
Revocable identity-based encryption with bounded decryption key exposure resistance: Lattice-based construction and more	4