| Publication | Date of Publication | Type |
|---|
Automatic analysis of consistency properties of distributed transaction systems in Maude
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
| scientific article; zbMATH DE number 7645800 (Why is no real title available?) | 2023-01-25 | Paper |
| scientific article; zbMATH DE number 7625197 (Why is no real title available?) | 2022-11-29 | Paper |
ORDNet: Capturing Omni-Range Dependencies for Scene Parsing
IEEE Transactions on Image Processing | 2022-09-16 | Paper |
Dynamic channel decision-making of fresh agricultural product companies considering consumer convenience preferences
RAIRO - Operations Research | 2021-07-27 | Paper |
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
Formal Aspects of Computing | 2019-11-18 | Paper |
Magic-Wall: Visualizing Room Decoration by Enhanced Wall Segmentation
IEEE Transactions on Image Processing | 2019-10-28 | Paper |
Accurate Facial Image Parsing at Real-Time Speed
IEEE Transactions on Image Processing | 2019-10-28 | Paper |
| ROLA: a new distributed transaction protocol and its formal analysis | 2019-09-16 | Paper |
Correlation Particle Filter for Visual Tracking
IEEE Transactions on Image Processing | 2019-02-06 | Paper |
SLED: Semantic Label Embedding Dictionary Representation for Multilabel Image Annotation
IEEE Transactions on Image Processing | 2019-01-31 | Paper |
Robust visual tracking via consistent low-rank sparse learning
International Journal of Computer Vision | 2018-10-19 | Paper |
| Application of discrete imperialist competitive algorithm in warehouse order scheduling | 2017-10-20 | Paper |
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
\(\mathrm{M}^4\mathrm{L}\): maximum margin multi-instance multi-cluster learning for scene modeling
Pattern Recognition | 2015-11-02 | Paper |
A framework for mobile ad hoc networks in Real-Time Maude
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
Formal analysis of leader election in MANETs using Real-Time Maude
Software, Services, and Systems | 2015-06-22 | Paper |
Chaotic synchronization and anti-synchronization for a novel class of multiple chaotic systems via a sliding mode control scheme
Nonlinear Dynamics | 2013-01-04 | Paper |
Boosted multi-class semi-supervised learning for human action recognition
Pattern Recognition | 2011-08-10 | Paper |
Two-level multiplicative domain decomposition algorithm for recovering the Lamé coefficient in biological tissues
Lecture Notes in Computational Science and Engineering | 2011-05-18 | Paper |
Promoting models
Unifying Theories of Programming | 2010-11-09 | Paper |
Parallel overlapping domain decomposition methods for coupled inverse elliptic problems
Communications in Applied Mathematics and Computational Science | 2009-07-20 | Paper |
| An overlapping domain decomposition method for parameter identification problems | 2008-06-03 | Paper |
