Wenhui Zhang

Taishan Zeng

Appl. Math. Lett., 2024

Slicing Assisted Program Verification: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2024

A High-Throughput Lossless Image Compression Engine Optimized for Compression Ratio.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2024

MT-GEO: A Multi-Scale Feature Extraction Network for Cross-View Geo-Localization Between Street-View and Remote Sensing Imagery.

[BibT_eX]

[DOI]

Proceedings of the IGARSS 2024, 2024

Advancing Few-Shot Instance Segmentation of Military Aircraft in Remote Sensing Imagery with Large Vision Models.

[BibT_eX]

[DOI]

Proceedings of the IGARSS 2024, 2024

Optimal Design of Heliostat Field Layout Based on Improved Sparrow Search Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Advanced Intelligent Computing Technology and Applications, 2024

Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

BN-DTI: A deep learning based sequence feature incorporating method for predicting drug-target interaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Joint Conference on Biometrics, 2024

A Low-Power and High-Accuracy Approximate Adder for Logarithmic Number System.

[BibT_eX]

[DOI]

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

Exploring Performance and Cost Optimization with ASIC-Based CXL Memory.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth European Conference on Computer Systems, 2024

Fault Diagnosis Method for Temperature Rise of Tulip Contact in High Voltage Switchgear Based on Digital Twin Technology.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computing, 2024

2023

GCN-based proximal unrolling matrix completion for piecewise smooth signal recovery.

[BibT_eX]

[DOI]

Signal Process., June, 2023

Graph learning for latent-variable Gaussian graphical models under laplacian constraints.

[BibT_eX]

[DOI]

Neurocomputing, May, 2023

Global Prescribed-Time Stabilization for a Class of Uncertain Feedforward Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, April, 2023

Energy-Saving Scheduling for Flexible Job Shop Problem with AGV Transportation Considering Emergencies.

[BibT_eX]

[DOI]

Syst., February, 2023

Land Cover Changes of the Qilian Mountain National Park in Northwest China Based on Phenological Features and Sample Migration from 1990 to 2020.

[BibT_eX]

[DOI]

Remote. Sens., February, 2023

Adaptive Multi-Hypergraph Convolutional Networks for 3D Object Classification.

[BibT_eX]

[DOI]

IEEE Trans. Multim., 2023

SvTPM: SGX-Based Virtual Trusted Platform Modules for Cloud Computing.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2023

Analysis of Road Networks Features of Urban Municipal District Based on Fractal Dimension.

[BibT_eX]

[DOI]

Hongxing Deng

Wen Wen

ISPRS Int. J. Geo Inf., 2023

Self-guided Few-shot Semantic Segmentation for Remote Sensing Imagery Based on Large Vision Models.

[BibT_eX]

[DOI]

CoRR, 2023

A Smart Contract Development Framework for Maritime Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

A Study of Chinese-English Translation Teaching Based on Data Mining.

[BibT_eX]

[DOI]

Leiming Kang

Mengfan Guo

Proceedings of the International Conference on Neural Computing for Advanced Applications, 2023

Free Fine-tuning: A Plug-and-Play Watermarking Scheme for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM International Conference on Multimedia, 2023

Deep Probability Contour Framework for Tumour Segmentation and Dose Painting in PET Images.

[BibT_eX]

[DOI]

Surajit Ray

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

Formal Analysis of IBC Protocol.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Network Protocols, 2023

Research on Shape Adjustment Algorithm for FAST Reflective Panels.

[BibT_eX]

[DOI]

Longzhao Huang

Maoning Jia

Proceedings of the 6th IEEE International Conference on Knowledge Innovation and Invention, 2023

2022

Semi-Blind Channel Estimation for RIS-Assisted MISO Systems Using Expectation Maximization.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2022

S-Blocks: Lightweight and Trusted Virtual Security Function With SGX.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2022

Cross-Frame Transformer-Based Spatio-Temporal Video Super-Resolution.

[BibT_eX]

[DOI]

IEEE Trans. Broadcast., 2022

Preface.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2022

Worst-Case Design for RIS-Aided Over-the-Air Computation With Imperfect CSI.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2022

Error model-oriented vibration suppression control of free-floating space robot with flexible joints based on adaptive neural network.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2022

On Verification of Smart Contracts via Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Application of Formative Assessment Model in College English Course Assisted by Digital Platforms - Taking HFUT as an Example.

[BibT_eX]

[DOI]

Proceedings of the Learning Technologies and Systems, 2022

A Bounded Semantics for Improving the Efficiency of Bounded Model Checking.

[BibT_eX]

[DOI]

Ya Gao

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

A Multimodal Fusion Network Based on Hypergraph for 3D Shape Retrieval.

[BibT_eX]

[DOI]

Xiaoting Huang

Liping Nong

Proceedings of the 22nd IEEE International Conference on Communication Technology, 2022

Positioning and Posture Adjustment for a Rotational Cutting Biopsy Capsule.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Advanced Robotics and Mechatronics , 2022

A Multi-Objective Topology Optimization Method Used in Simultaneous Constraints of Natural Frequency and Static Stiffness.

[BibT_eX]

[DOI]

Proceedings of the Asia Conference on Algorithms, Computing and Machine Learning, 2022

Circular Interpolation Trajectory Control of Manipulator Based on LabVIEW.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Artificial Intelligence and Advanced Manufacturing, 2022

2021

Android Malware Detection Using TCN with Bytecode Image.

[BibT_eX]

[DOI]

Symmetry, 2021

ICLSTM: Encrypted Traffic Service Identification Based on Inception-LSTM Neural Network.

[BibT_eX]

[DOI]

Symmetry, 2021

Preface.

[BibT_eX]

[DOI]

Tao Xie

Shengchao Qin

J. Comput. Sci. Technol., 2021

Continuous-domain ant colony optimization algorithm based on reinforcement learning.

[BibT_eX]

[DOI]

Int. J. Wavelets Multiresolution Inf. Process., 2021

Hypergraph wavelet neural networks for 3D object classification.

[BibT_eX]

[DOI]

Neurocomputing, 2021

Cascaded Channel Estimation for IRS-Assisted mmWave Multi-Antenna With Quantized Beamforming.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2021

A Hybrid Analysis-Based Approach to Android Malware Family Classification.

[BibT_eX]

[DOI]

Entropy, 2021

Enhanced countering adversarial attacks via input denoising and feature restoring.

[BibT_eX]

[DOI]

CoRR, 2021

Analyzing the Overhead of Filesystem Protection Using Linux Security Modules.

[BibT_eX]

[DOI]

Trent Jaeger

Peng Liu

CoRR, 2021

Examining the Concordance in the Documented Pressure Injury Site, Stage, and Count in Medical Information Mart for Intensive Care-III.

[BibT_eX]

[DOI]

Vicki Stover Hertzberg

Appl. Clin. Inform., 2021

Reconstruction Method for Binary Defocusing Technique Based on Complementary Decoding With Dual Projectors.

[BibT_eX]

[DOI]

Xuexing Li

IEEE Access, 2021

VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques.

[BibT_eX]

[DOI]

Xue-Yang Zhu

Yulong Bao

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

Multi-Agent Automata and Its Application to LDLK Satisfiability Checking.

[BibT_eX]

[DOI]

Ya Gao

Xue-Yang Zhu

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Charitable Donation System Based on Blockchain Technology.

[BibT_eX]

[DOI]

Proceedings of the ICCIR 2021: International Conference on Control and Intelligent Robotics, 2021

Analyzing the Overhead of File Protection by Linux Security Modules.

[BibT_eX]

[DOI]

Peng Liu

Trent Jaeger

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

2020

Ear-EEG Recording for Brain Computer Interface of Motor Task.

[BibT_eX]

[DOI]

Dataset, October, 2020

Robust Visual Ship Tracking with an Ensemble Framework via Multi-View Learning and Wavelet Filter.

[BibT_eX]

[DOI]

Sensors, 2020

Pressure Ulcer Injury in Unstructured Clinical Notes: Detection and Interpretation.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2020, 2020

2019

3D human pose estimation from range images with depth difference and geodesic distance.

[BibT_eX]

[DOI]

J. Vis. Commun. Image Represent., 2019

SvTPM: A Secure and Efficient vTPM in the Cloud.

[BibT_eX]

[DOI]

CoRR, 2019

Balanced Homodyne Detector With Independent Phase Control and Noise Detection Branches.

[BibT_eX]

[DOI]

IEEE Access, 2019

Research on Mixed User Equilibrium Model Based on Mobile Internet Traffic Information Service.

[BibT_eX]

[DOI]

IEEE Access, 2019

Signal decoupling in digital holography via compressive sensing.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Industrial Electronics, 2019

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Energy distribution matters in greybox fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Checking Multi-Agent Systems Against Temporal-Epistemic Specifications.

[BibT_eX]

[DOI]

Ran Chen

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Time-Limited Tour Planning Based on Ant Colony Optimization Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Data Processing Techniques and Applications for Cyber-Physical Systems, 2019

Q-Baskakov Bases and q-Baskakov Curves and Surfaces.

[BibT_eX]

[DOI]

Chong Zhao

Xiaoming Zeng

Proceedings of the 3rd International Conference on Computer Science and Application Engineering, 2019

Verification of CTL_BDI Properties by Symbolic Model Checking.

[BibT_eX]

[DOI]

Ran Chen

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Correctness and Bounded Correctness [Keynote Address].

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACIS International Conference on Computer and Information Science, 2019

2018

Automatically Learning Topics and Difficulty Levels of Problems in Online Judge Systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 2018

一种基于屏蔽码的ABAC静态策略冲突与冗余检测算法 (ABAC Static Policy Conflict and Redundancy Detection Algorithm Based on Mask Key).

[BibT_eX]

[DOI]

计算机科学, 2018

Lane-changes prediction based on adaptive fuzzy neural network.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2018

End to End Video Segmentation for Driving : Lane Detection For Autonomous Car.

[BibT_eX]

[DOI]

Tejas Mahale

CoRR, 2018

Medical Volume Reconstruction Techniques.

[BibT_eX]

[DOI]

CoRR, 2018

Investigation on Tree Molecular Genome of Arabidopsis Thaliana for Internet of Things.

[BibT_eX]

[DOI]

IEEE Access, 2018

Logics for Bisimulation and Divergence.

[BibT_eX]

[DOI]

Xinxin Liu

Tingting Yu

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Characterization and Verification of Stuttering Equivalence.

[BibT_eX]

[DOI]

Xinxin Liu

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017

Linear templates of ACTL formulas with an application to SAT-based verification.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

On Completeness Results of Hoare Logic Relative to the Standard Model.

[BibT_eX]

[DOI]

CoRR, 2017

Completeness of Hoare Logic over Nonstandard Models.

[BibT_eX]

[DOI]

CoRR, 2017

Completeness of Hoare Logic Relative to the Standard Model.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Analyzing divergence in bisimulation semantics.

[BibT_eX]

[DOI]

Xinxin Liu

Tingting Yu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Bounded Correctness Checking of the Universal Fragment of eCTL.

[BibT_eX]

[DOI]

Proceedings of the Fuzzy Systems and Data Mining III, 2017

A PageRank-improved ranking algorithm based on cheating similarity and cheating relevance.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

Audio retrieval based on wavelet transform.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

A Probabilistic Lifestyle-Based Trajectory Model for Social Strength Inference from Human Trajectory Data.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 2016

Completeness of Hoare logic with inputs over the standard model.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Characterizing the Deformation of the Polydimethylsiloxane (PDMS) Membrane for Microfluidic System through Image Processing.

[BibT_eX]

[DOI]

Micromachines, 2016

Termination analysis with recursive calling graphs.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2016

Visual Analytics for Pattern Discovery in Home Care.

[BibT_eX]

[DOI]

Appl. Clin. Inform., 2016

OpenNetVM: A Platform for High Performance Network Service Chains.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCOMM Workshop on Hot topics in Middleboxes and Network Function Virtualization, 2016

OpenNetVM: Flexible, high performance NFV (Demo).

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Local and Metropolitan Area Networks, 2016

2015

Bounded semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Real-Time Visual Animation of Explosions.

[BibT_eX]

[DOI]

J. Softw., 2015

Enhancing the Security of Protocols against Actor Key Compromise Problems.

[BibT_eX]

[DOI]

Jing Ma

CoRR, 2015

Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Understanding User Behavior in Large Scale Internet Video Service.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2015

2014

An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS.

[BibT_eX]

[DOI]

Naiju Zeng

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

QBF Encoding of Temporal Properties and QBF-Based Verification.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

A Symbolic Partial Order Method for Verifying SystemC.

[BibT_eX]

[DOI]

Naiju Zeng

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS.

[BibT_eX]

[DOI]

Naiju Zeng

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

A method for recognizing overlapping elliptical bubbles in bubble image.

[BibT_eX]

[DOI]

Xiaoya Jiang

Yin-Mingzi Liu

Pattern Recognit. Lett., 2012

Proving Liveness Property under Strengthened Compassion Requirements.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2012

Integrating computing into middle school disciplines through projects.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Proving Liveness Property under Fairness Requirements.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2011

Neural integrated control for a free-floating space robot with suddenly changing parameters.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2011

Performance Evaluation of Beacon Congestion Control Algorithms for VANETs.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2011

2010

Experimental evaluation for IPv6 over VANET geographic routing.

[BibT_eX]

[DOI]

Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, 2010

Research about the entrepreneurial behavior "intermittent point" based on the entrepreneurial incubation chain: A theoretical analysis framework.

[BibT_eX]

[DOI]

Bei Hu

Rongzhi Liu

Proceedings of the 3rd International Conference on Information Sciences and Interaction Sciences (ICIS 2010), 2010

Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Formula-Oriented Compositional Minimization in Model Checking.

[BibT_eX]

[DOI]

Bowen Chen

Haihua Shen

Proceedings of the 19th IEEE Asian Test Symposium, 2010

2009

Carbon Nanotubes as Active Components for Gas Sensors.

[BibT_eX]

[DOI]

Weide Zhang

J. Sensors, 2009

Improved Bounded Model Checking for the Universal Fragment of CTL.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

A direct construction of polynomial-size OBDD proof of pigeon hole problem.

[BibT_eX]

[DOI]

Wei Chen

Inf. Process. Lett., 2009

Vehicular wireless short-range communication for improving intersection safety.

[BibT_eX]

[DOI]

IEEE Commun. Mag., 2009

Analysis of Packet Forwarding in VANETs Using Probabilistic Channel Model.

[BibT_eX]

[DOI]

Proceedings of the 69th IEEE Vehicular Technology Conference, 2009

Bounded Model Checking of ACTL Formulae.

[BibT_eX]

[DOI]

Wei Chen

Proceedings of the TASE 2009, 2009

Distributed rate control algorithm for VANETs (DRCV).

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Vehicular Ad Hoc Networks, 2009

Bounded Semantics of CTL and SAT-Based Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Basic research in computer science and software engineering at SKLCS.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

A MANET-centric solution for the application of NEMO in VANET using geographic routing.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2008), 2008

2007

A polynomial dynamic system approach to software design for attractivity requirement.

[BibT_eX]

[DOI]

Inf. Sci., 2007

Combining search space partition and abstraction for LTL model checking.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2007

Evaluation of SAT-based Bounded Model Checking of ACTL Properties.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Partition Refinement in Abstract Model Checking.

[BibT_eX]

[DOI]

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Enhancing Simulation for Checking Language Containment.

[BibT_eX]

[DOI]

Jin Yi

Proceedings of the Theory and Applications of Models of Computation, 2007

Model Checking with SAT-Based Characterization of ACTL Formulas.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2007

Efficient State Space Reduction for Automata by Fair Simulation.

[BibT_eX]

[DOI]

Jin Yi

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Verification of ACTL Properties by Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2007

2006

Structure of proofs and the complexity of cut elimination.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

LTL Model Checking via Search Space Partition.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

SAT-Based Verification of LTL Formulas.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

An Improved Case-Based Approach to LTL Model Checking.

[BibT_eX]

[DOI]

Shaochun Wang

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005

2004

Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity.

[BibT_eX]

[DOI]

Bai Su

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Combining Static Analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2003

Modeling of WLAN Beacon Signal Strength Measured in an Indoor Environment.

[BibT_eX]

Proceedings of the International Conference on Wireless Networks, 2003

2002

A Strategy for Improving the Efficiency of Procedure Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2002

Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances.

[BibT_eX]

[DOI]

Zhuo Huang

Jian Zhang

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Combining Graphical and Formal Development of Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001

Integrating UML and OUN for Specification of Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Applying SDL Specifications and Tools to the Verification of Procedures.

[BibT_eX]

[DOI]

Proceedings of the SDL 2001: Meeting UML, 2001

Specification of Distributed Systems with a Combination of Graphica and Formal Languages.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

Validation of Control System Specifications with Abstract Plant Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2000

1999

Model Checking Operator Procedures.

[BibT_eX]

[DOI]

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1996

Number of Models and Satisfiability of Sets of Clauses.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

1994

Depth of Proofs, Depth of Cut-Formulas and Complexity of Cut Formulas.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

1993

Cut-Formulas in Propositional Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

An introduction to INCAPS system.

[BibT_eX]

[DOI]

Renwei Li

Pei He

J. Comput. Sci. Technol., 1993

1992

Theory and Practice for XYZ/VERI System.

[BibT_eX]

Pei He

Renwei Li

Proceedings of the Automated Reasoning, 1992

1991

Cut Elimination and Automatic Proof Procedures.

[BibT_eX]

[DOI]