Xi Deng

Zhenglin Liu

Sensors, September, 2023

A unified framework for non-linear reconstruction schemes in a compact stencil. Part 1: Beyond second order.

[BibT_eX]

[DOI]

J. Comput. Phys., May, 2023

Research on the Security of IPv6 Communication Based on Petri Net under IoT.

[BibT_eX]

[DOI]

Sensors, 2023

Neural Caches for Monte Carlo Partial Differential Equation Solvers.

[BibT_eX]

[DOI]

Proceedings of the SIGGRAPH Asia 2023 Conference Papers, 2023

Formal Modeling and Defense Methods for 5G Network Endpoint Access Denial of Service Attacks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Networking and Network Applications, 2023

ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

HM-Transformer: Hierarchical Multi-modal Transformer for Long Document Image Understanding.

[BibT_eX]

[DOI]

Proceedings of the Web and Big Data - 7th International Joint Conference, 2023

2022

Modeling Analysis of SM2 Construction Attacks in the Open Secure Sockets Layer Based on Petri Net.

[BibT_eX]

[DOI]

Sensors, 2022

Optimal coil configuration analysis for the high-uniformity and large-caliber magnetic field immunity testing system.

[BibT_eX]

[DOI]

J. Ind. Inf. Integr., 2022

A new paradigm of dissipation-adjustable, multi-scale resolving schemes for compressible flows.

[BibT_eX]

[DOI]

J. Comput. Phys., 2022

Multi-source information art painting fusion interactive 3D dynamic scene virtual reality technology application research.

[BibT_eX]

[DOI]

JunHong Pan

Int. J. Commun. Syst., 2022

Detection of Trust Shilling Attacks in Recommender Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2022

Robotic Dough Shaping.

[BibT_eX]

[DOI]

CoRR, 2022

Reconstructing Translucent Objects using Differentiable Rendering.

[BibT_eX]

[DOI]

Proceedings of the SIGGRAPH '22: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Vancouver, BC, Canada, August 7, 2022

A Comprehensive Evaluation of Android ICC Resolution Techniques.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Path graphs: iterative path space filtering.

[BibT_eX]

[DOI]

ACM Trans. Graph., 2021

Efficient testing of GUI applications by event sequence reduction.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Application of VR in the Experimental Teaching of Animation Art.

[BibT_eX]

[DOI]

Jieqing Lei

Mobai Chen

Mob. Inf. Syst., 2021

Arbitrary high-order non-oscillatory scheme on hybrid unstructured grids based on multi-moment finite volume method.

[BibT_eX]

[DOI]

J. Comput. Phys., 2021

Low-dissipation BVD schemes for single and multi-phase compressible flows on unstructured grids.

[BibT_eX]

[DOI]

J. Comput. Phys., 2021

Bringing Cloud-Native Storage to SAP IQ.

[BibT_eX]

[DOI]

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Shellshock Bash Vulnerability Modeling Analysis Based on Petri Net.

[BibT_eX]

[DOI]

Liumei Zhang

Yichuan Wang

Proceedings of the 2021 International Conference on Networking and Network Applications, 2021

2020

Combinatorial Testing of Browsers' Support for Multimedia.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

2019

Photon surfaces for robust, unbiased volumetric density estimation.

[BibT_eX]

[DOI]

ACM Trans. Graph., 2019

High-order multi-moment finite volume method with smoothness adaptive fitting reconstruction for compressible viscous flow.

[BibT_eX]

[DOI]

J. Comput. Phys., 2019

A fifth-order shock capturing scheme with two-stage boundary variation diminishing algorithm.

[BibT_eX]

[DOI]

Yuya Shimizu

Feng Xiao

J. Comput. Phys., 2019

Analyses for specific defects in android applications: a survey.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

Testing the Message Flow of Android Auto Apps.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Understanding Ineffective Events and Reducing Test Sequences for Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

High fidelity discontinuity-resolving reconstruction for compressible multiphase flows with moving interfaces.

[BibT_eX]

[DOI]

J. Comput. Phys., 2018

Characterizing and identifying misexposed activities in Android applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

A Non-oscillatory Multi-Moment Finite Volume Scheme with Boundary Gradient Switching.

[BibT_eX]

[DOI]

J. Sci. Comput., 2017

A hybrid pressure-density-based Mach uniform algorithm for 2D Euler equations on unstructured grids by using multi-moment finite volume method.

[BibT_eX]

[DOI]

J. Comput. Phys., 2017

InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

An improved NLOS error elimination algorithm for indoor ultra-wideband localization.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29, 2017

Combinatorial Testing on Implementations of HTML5 Support.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Relda2: an effective static analysis tool for resource leak detection in Android apps.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2013

A Flexible Platform for Hardware-Aware Network Experiments and a Case Study on Wireless Network Coding.

[BibT_eX]

[DOI]

Sangjin Hong

IEEE/ACM Trans. Netw., 2013

Communication Synchronization in Cluster-Based Sensor Networks for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2013

Cluster Communication Synchronization in Delay-Sensitive Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

2012

Online Adaptive Compression in Delay Sensitive Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

2011

An Efficient MAC Multicast Protocol for Reliable Wireless Communications with Network Coding.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2011

2010

On-line adaptive compression in delay sensitive wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

2007

Using Patterns to Explain Inferences in.

[BibT_eX]

[DOI]

Comput. Intell., 2007

Measuring Inconsistencies in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2007

2006

Parallel implementation and performance characterization of MUSCLE.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Resolution Based Explanations for Reasoning in the Description Logic <i>ALC</i>.

[BibT_eX]

[DOI]

Proceedings of the Canadian Semantic Web, 2006

2005

Parallel Implementation of SEMPHY - a Structural EM Algorithm for Phylogenetic Reconstruction.

[BibT_eX]

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

A Framework for Explaining Reasoning in Description Logics.

[BibT_eX]

Proceedings of the Explanation-Aware Computing, 2005

A Resolution Based Framework to Explain Reasoning in Description Logics.

[BibT_eX]

[DOI]