| Publication | Date of Publication | Type |
|---|
A conjecture on the Nordhaus-Gaddum product type inequality for Laplacian eigenvalue of a graph
The Electronic Journal of Combinatorics | 2025-11-12 | Paper |
| A polynomial-time algorithm for MCS partial search order on chordal graphs | 2024-12-03 | Paper |
Adaptive virtual leader-leader-follower based formation switching for multiple autonomous tracked mobile robots in unknown obstacle environments
Journal of the Franklin Institute | 2024-05-22 | Paper |
Nordhaus-Gaddum type inequalities for the \(k\)th largest Laplacian eigenvalues
The Electronic Journal of Combinatorics | 2024-02-19 | Paper |
| A Polynomial-Time Algorithm for MCS Partial Search Order on Chordal Graphs | 2022-12-09 | Paper |
On the full Brouwer's Laplacian spectrum conjecture
Discrete Mathematics | 2022-09-26 | Paper |
A divide-and-conquer approach for reconstruction of \(\{C_{ \geq 5}\}\)-free graphs via betweenness queries
Theoretical Computer Science | 2022-05-31 | Paper |
A \(5k\)-vertex kernel for \(P_2\)-packing
Theoretical Computer Science | 2022-03-23 | Paper |
A refined branching algorithm for the maximum satisfiability problem
Algorithmica | 2022-03-22 | Paper |
Improved kernel and algorithm for claw and diamond free edge deletion based on refined observations
Theoretical Computer Science | 2022-02-21 | Paper |
An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses
Journal of Combinatorial Optimization | 2021-11-25 | Paper |
Cycle Extendability of Hamiltonian Strongly Chordal Graphs
SIAM Journal on Discrete Mathematics | 2021-09-17 | Paper |
A (2 + ) k-vertex kernel for the dual coloring problem
Theoretical Computer Science | 2021-05-10 | Paper |
Reconstruction and verification of chordal graphs with a distance oracle
Theoretical Computer Science | 2021-02-15 | Paper |
| Kernelization for \(P_2\)-packing: a gerrymandering approach | 2020-07-07 | Paper |
An improved linear kernel for complementary maximal strip recovery: simpler and smaller
Theoretical Computer Science | 2019-08-20 | Paper |
A \(42k\) kernel for the complementary maximal strip recovery problem
Frontiers in Algorithmics | 2019-04-26 | Paper |
Kernelization of two path searching problems on split graphs
Frontiers in Algorithmics | 2019-04-26 | Paper |
A 2k-kernelization algorithm for vertex cover based on crown decomposition
Theoretical Computer Science | 2018-06-18 | Paper |
Distributed Detection in Wireless Sensor Networks Using A Multiple Access Channel
IEEE Transactions on Signal Processing | 2018-06-12 | Paper |
On the kernelization of split graph problems
Theoretical Computer Science | 2018-06-05 | Paper |
An improved FPT algorithm for almost forest deletion problem
Information Processing Letters | 2018-05-25 | Paper |
Unit interval vertex deletion: fewer vertices are relevant
Journal of Computer and System Sciences | 2018-05-08 | Paper |
| An improved branching algorithm for \((n,3)\)-MaxSAT based on refined observations | 2018-03-26 | Paper |
Location-Aided Fast Distributed Consensus in Wireless Networks
IEEE Transactions on Information Theory | 2017-07-27 | Paper |
Partition on trees with supply and demand: kernelization and algorithms
Theoretical Computer Science | 2017-02-06 | Paper |
Improved kernel results for some FPT problems based on simple observations
Theoretical Computer Science | 2017-02-06 | Paper |
Deeper local search for parameterized and approximation algorithms for maximum internal spanning tree
Information and Computation | 2016-12-22 | Paper |
A review on non-Darcy flow -- Forchheimer equation, hydraulic radius model, fractal model and experiment
Fractals | 2016-11-01 | Paper |
Bisimulation proof methods in a path-based specification language for polynomial coalgebras
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
On the parameterized vertex cover problem for graphs with perfect matching
Science China Information Sciences | 2015-11-20 | Paper |
Smaller kernels for several FPT problems based on simple observations
Frontiers in Algorithmics | 2015-11-12 | Paper |
Parameterized Minimum Cost Partition of a Tree with Supply and Demand
Frontiers in Algorithmics | 2015-11-12 | Paper |
A \(2k\)-vertex kernel for maximum internal spanning tree
Lecture Notes in Computer Science | 2015-10-30 | Paper |
An improved kernel for the complementary maximal strip recovery problem
Lecture Notes in Computer Science | 2015-10-29 | Paper |
Deeper local search for better approximation on maximum internal spanning trees
Algorithms - ESA 2014 | 2014-10-08 | Paper |
Design-based random permutation models with auxiliary information
Statistics | 2012-11-30 | Paper |
Cellular automaton models of highway traffic flow considering lane-control and speed-control
Communications in Theoretical Physics | 2012-09-26 | Paper |
Double charm decays of \(B\) mesons in mSUGRA model
Communications in Theoretical Physics | 2012-09-26 | Paper |
Prediction with measurement errors in finite populations
Statistics & Probability Letters | 2012-05-18 | Paper |
A parameterized algorithm for the hyperplane-cover problem
Theoretical Computer Science | 2012-04-03 | Paper |
Lepton-flavor-violating \(\tau \) decays in two-Higgs-doublet model III
International Journal of Modern Physics A | 2011-01-06 | Paper |
| A timed Petri net extended with price information | 2007-04-05 | Paper |
Comparison of GMRES and ORTHOMIN for the black oil model on unstructured grids
International Journal for Numerical Methods in Fluids | 2007-02-02 | Paper |
Optimal throughput and energy efficiency for wireless sensor networks: multiple access and multipacket reception
EURASIP Journal on Wireless Communications and Networking | 2006-09-12 | Paper |
Comparison of the GMRES and ORTHOMIN for the black oil model in porous media
International Journal for Numerical Methods in Fluids | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 1735440 (Why is no real title available?) | 2002-10-23 | Paper |
Type system \(\lambda\omega\times_\leqq\)
Acta Scientiarum Naturalium Universitatis Sunyatseni | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1323071 (Why is no real title available?) | 1999-11-30 | Paper |
| scientific article; zbMATH DE number 1216584 (Why is no real title available?) | 1999-06-09 | Paper |
| scientific article; zbMATH DE number 713400 (Why is no real title available?) | 1996-04-01 | Paper |
| scientific article; zbMATH DE number 79104 (Why is no real title available?) | 1992-12-14 | Paper |
