| Publication | Date of Publication | Type |
|---|
Knowing how to plan about planning: higher-order and meta-level epistemic planning
Artificial Intelligence | 2025-01-17 | Paper |
Several classes of permutation polynomials of the form \((x^{p^m} - x + \delta)^s + L(x)\)
Advances in Mathematics of Communications | 2024-12-03 | Paper |
| Knowing how to plan | 2024-11-24 | Paper |
A computational neural model that incorporates both intrinsic dynamics and sensory feedback in the \textit{Aplysia} feeding network
Biological Cybernetics | 2024-09-26 | Paper |
Leaderless consensus of a hierarchical cyber-physical system
International Journal of Control | 2024-07-19 | Paper |
| A temporal logic for successive events | 2024-06-26 | Paper |
Three classes of permutation quadrinomials in odd characteristic
Cryptography and Communications | 2024-05-22 | Paper |
A new class of generalized almost perfect nonlinear monomial functions
Information Processing Letters | 2024-03-26 | Paper |
Minimal Binary Linear Codes From Vectorial Boolean Functions
IEEE Transactions on Information Theory | 2024-03-19 | Paper |
Constructing New APN Functions Through Relative Trace Functions
IEEE Transactions on Information Theory | 2024-03-14 | Paper |
Tableaux for the Logic of Strategically Knowing How
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Neighborhood semantics for logic of knowing how
Synthese | 2024-02-01 | Paper |
Two classes of permutation trinomials over \(\mathbb{F}_{q^3}\) in characteristic two
Finite Fields and their Applications | 2024-01-29 | Paper |
The A Priori and A Posteriori Error Estimates for Modified Interior Transmission Eigenvalue Problem in Inverse Scattering
Communications in Computational Physics | 2023-09-15 | Paper |
The finite element method for modified transmission eigenvalues for inverse scattering in a fluid-solid interaction problem
Applied Mathematics Letters | 2023-08-15 | Paper |
Cryptographic functions with interesting properties from CCZ-equivalence
Cryptography and Communications | 2023-07-31 | Paper |
A locking-free discontinuous Galerkin method for linear elastic Steklov eigenvalue problem
Applied Numerical Mathematics | 2023-07-03 | Paper |
| Tableau-based decision procedure for logic of knowing-how via simple plans | 2023-03-31 | Paper |
Mathematical modeling methods and their application in the analysis of complex signal systems
Advances in Mathematical Physics | 2023-02-01 | Paper |
| scientific article; zbMATH DE number 7618562 (Why is no real title available?) | 2022-11-17 | Paper |
Decoupled finite element scheme of the variable-density and viscosity phase-field model of a two-phase incompressible fluid flow system using the volume-conserved Allen-Cahn dynamics
Journal of Computational and Applied Mathematics | 2022-10-21 | Paper |
Image Recovery via Transform Learning and Low-Rank Modeling: The Power of Complementary Regularizers
IEEE Transactions on Image Processing | 2022-09-16 | Paper |
The a priori and a posteriori error estimates of Crouzeix–Raviart element for the fluid–solid vibration problem
International Journal of Computer Mathematics | 2022-09-01 | Paper |
Generic Constructions of (Boolean and Vectorial) Bent Functions and Their Consequences
IEEE Transactions on Information Theory | 2022-07-13 | Paper |
| Multi-agent conformant planning with distributed knowledge | 2022-06-24 | Paper |
| scientific article; zbMATH DE number 7491824 (Why is no real title available?) | 2022-03-17 | Paper |
The a priori and a posteriori error estimates of DG method for the Steklov eigenvalue problem in inverse scattering
Journal of Scientific Computing | 2022-03-14 | Paper |
Numerical investigation of a burning fuel droplet pair with different spacings and sizes
Combustion Theory and Modelling | 2022-02-16 | Paper |
A dynamic epistemic framework for conformant planning
(available as arXiv preprint) | 2021-12-07 | Paper |
| A dynamic epistemic framework for conformant planning | 2021-12-07 | Paper |
Planning-based knowing how: a unified approach
Artificial Intelligence | 2021-11-02 | Paper |
Global Synchronization of Directional Networked Systems With Eventually Dissipative Nodes
IEEE Transactions on Circuits and Systems I: Regular Papers | 2021-08-26 | Paper |
Several new infinite families of bent functions via second order derivatives
Cryptography and Communications | 2021-07-13 | Paper |
Practical stability and integral stability for singular differential systems with maxima
Mathematical Problems in Engineering | 2021-05-07 | Paper |
On constructions and properties of (n,m)-functions with maximal number of bent components
Designs, Codes and Cryptography | 2020-10-07 | Paper |
An answer to an open problem of Mesnager on bent functions
Information Processing Letters | 2020-08-04 | Paper |
| Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach | 2020-01-30 | Paper |
Multichannel Sparse Blind Deconvolution on the Sphere
IEEE Transactions on Information Theory | 2020-01-28 | Paper |
An Edmonds-Gallai-type decomposition for the \(j\)-restricted \(k\)-matching problem
The Electronic Journal of Combinatorics | 2020-01-17 | Paper |
On the rational polytopes with Chvátal rank 1
Mathematical Programming. Series A. Series B | 2020-01-17 | Paper |
A dynamic epistemic framework for reasoning about conformant probabilistic plans
Artificial Intelligence | 2019-08-28 | Paper |
Achieving while maintaining: a logic of knowing how with intermediate constraints
Logic and Its Applications | 2019-07-24 | Paper |
Blind Gain and Phase Calibration via Sparse Spectral Methods
IEEE Transactions on Information Theory | 2019-07-19 | Paper |
When the Gomory-chvátal closure coincides with the integer hull
Operations Research Letters | 2019-06-11 | Paper |
Controllability of Dynamic-Edge Multi-Agent Systems
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Thermodynamics of charged accelerating AdS black holes and holographic heat engines
Journal of High Energy Physics | 2019-03-28 | Paper |
Optimal Sample Complexity for Blind Gain and Phase Calibration
IEEE Transactions on Signal Processing | 2019-02-08 | Paper |
Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
Journal Of Logic And Computation | 2019-01-31 | Paper |
More for free: a dynamic epistemic framework for conformant planning over transition systems
Journal Of Logic And Computation | 2018-11-20 | Paper |
Unified Theory for Recovery of Sparse Signals in a General Transform Domain
IEEE Transactions on Information Theory | 2018-09-19 | Paper |
| The Hankel determinants of some weighted Motzkin sequences | 2017-10-20 | Paper |
Identifiability and Stability in Blind Deconvolution Under Minimal Assumptions
IEEE Transactions on Information Theory | 2017-09-21 | Paper |
Synchronized Output Regulation of Linear Networked Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
| scientific article; zbMATH DE number 6747249 (Why is no real title available?) | 2017-07-14 | Paper |
Blind Recovery of Sparse Signals From Subsampled Convolution
IEEE Transactions on Information Theory | 2017-06-08 | Paper |
Identifiability in Bilinear Inverse Problems With Applications to Subspace or Sparsity-Constrained Blind Gain and Phase Calibration
IEEE Transactions on Information Theory | 2017-06-08 | Paper |
Identifiability in Blind Deconvolution With Subspace or Sparsity Constraints
IEEE Transactions on Information Theory | 2017-04-28 | Paper |
Cooperative output regulation of linear multi-agent network systems with dynamic edges
Automatica | 2017-02-16 | Paper |
Cooperative output regulation of linear multi-agent network systems with dynamic edges
Automatica | 2017-02-16 | Paper |
| Randomized imputation method for Greenberg model with missing data | 2016-08-10 | Paper |
| The steady-distribution of semi-Markov process in the repairable system | 2016-08-10 | Paper |
Deciding emptiness of the Gomory-Chvátal closure is NP-complete, even for a rational polyhedron containing no integer point
Integer Programming and Combinatorial Optimization | 2016-08-10 | Paper |
Stabilizing vehicle lateral dynamics with considerations of state delay of AFS for electric vehicles via robust gain-scheduling control
Asian Journal of Control | 2016-06-13 | Paper |
Synchronised output regulation of leader-following heterogeneous networked systems via error feedback
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2016-03-18 | Paper |
Tableaux for single-agent epistemic PDL with perfect recall and no miracles
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
| Stability and steady state analysis of distributed cooperative droop controlled DC microgrids | 2015-10-11 | Paper |
Synchronised output regulation of nonlinear multi-agent systems
International Journal of Control | 2015-07-29 | Paper |
The nonnegative node weight \(j\)-restricted \(k\)-matching problems
Mathematics of Operations Research | 2015-03-31 | Paper |
| Not all those who wander are lost: dynamic epistemic reasoning in navigation | 2014-06-11 | Paper |
Polyhedron of triangle-free simple 2-matchings in subcubic graphs
Mathematical Programming. Series A. Series B | 2013-05-06 | Paper |
| Improved integral attacks on Rijndael | 2013-04-16 | Paper |
Cryptanalysis of reduced-round KLEIN block cipher
Information Security and Cryptology | 2013-01-07 | Paper |
Early estimates of the size of branch-and-bound trees
INFORMS Journal on Computing | 2012-06-18 | Paper |
Budget-constrained, capacitated hub location to maximize expected demand coverage in fixed-wireless telecommunication networks
INFORMS Journal on Computing | 2012-06-18 | Paper |
k-cuts: a variation of Gomory mixed integer cuts from the LP tableau
INFORMS Journal on Computing | 2012-05-30 | Paper |
A novel method of periodic orbit computation in circular restricted three-body problem
Science China. Technological Sciences | 2012-05-04 | Paper |
Reduce-and-Split cuts: improving the performance of mixed-integer Gomory cuts
Management Science | 2012-02-21 | Paper |
Shadow detecting using particle swarm optimization and the Kolmogorov test
Computers & Mathematics with Applications | 2012-02-05 | Paper |
| A lower bound for the second largest eigenvalue of a class of tree matching | 2012-01-27 | Paper |
Maximum Cardinality Simple 2-matchings in Subcubic Graphs
SIAM Journal on Optimization | 2012-01-09 | Paper |
Multi-period maintenance scheduling of tree networks with minimum flow disruption
Naval Research Logistics | 2011-08-09 | Paper |
| scientific article; zbMATH DE number 5926152 (Why is no real title available?) | 2011-07-19 | Paper |
On the extreme inequalities of infinite group problems
Mathematical Programming. Series A. Series B | 2010-02-19 | Paper |
Dynamic pricing and warranty policies for products with fixed lifetime
European Journal of Operational Research | 2009-12-07 | Paper |
Polyhedral Results for 1-Restricted Simple 2-Matchings
SIAM Journal on Optimization | 2009-08-20 | Paper |
| scientific article; zbMATH DE number 5583980 (Why is no real title available?) | 2009-07-22 | Paper |
Valid inequalities for mips and group polyhedra from approximate liftings
Mathematical Programming. Series A. Series B | 2009-05-04 | Paper |
| Distributed resource scheduling based on multi-node negotiation for grid systems | 2009-03-06 | Paper |
New inequalities for finite and infinite group problems from approximate lifting
Naval Research Logistics | 2008-11-19 | Paper |
Cook, Kannan and Schrijver's example revisited
Discrete Optimization | 2008-11-19 | Paper |
| A new conjugate gradient method for unconstrained optimization | 2008-08-06 | Paper |
Triangle-Free Simple 2-Matchings in Subcubic Graphs (Extended Abstract)
Integer Programming and Combinatorial Optimization | 2007-11-29 | Paper |
| scientific article; zbMATH DE number 5116677 (Why is no real title available?) | 2007-01-19 | Paper |
Optimal coordinated voltage control of power systems
Journal of Zhejiang University. Science A | 2006-10-09 | Paper |
Existence of Hamiltonian k-factor
Journal of Systems Science and Complexity | 2005-11-21 | Paper |
Split closure and intersection cuts
Mathematical Programming. Series A. Series B | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2150465 (Why is no real title available?) | 2005-03-30 | Paper |
An approximation algorithm for the edge-dilation \(k\)-center problem.
Operations Research Letters | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2089224 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086918 (Why is no real title available?) | 2004-08-11 | Paper |
A connection between cutting plane theory and the geometry of numbers
Mathematical Programming. Series A. Series B | 2002-12-01 | Paper |
| scientific article; zbMATH DE number 1757948 (Why is no real title available?) | 2002-06-20 | Paper |
