Qin Li

According to our database1, Qin Li authored at least 181 papers between 1988 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
An Analytical Approach to Improve Vehicle Maneuverability via Torque Vectoring Control: Theoretical Study and Experimental Validation.
IEEE Trans. Vehicular Technology, 2019

Isolation Modeling and Analysis Based on Mobility.
ACM Trans. Softw. Eng. Methodol., 2019

Differentiating Prostate Cancer from Benign Prostatic Hyperplasia Using PSAD Based on Machine Learning: Single-Center Retrospective Study in China.
IEEE/ACM Trans. Comput. Biology Bioinform., 2019

A mathematical analysis of improved EigenAnt algorithm.
J. Exp. Theor. Artif. Intell., 2019

Diffusion Equation-Assisted Markov Chain Monte Carlo Methods for the Inverse Radiative Transfer Equation.
Entropy, 2019

Single Image-Based Scene Visibility Estimation.
IEEE Access, 2019

Online Power Control Based on Lyapunov Optimization Framework for Decode-and-Forward Relay Systems With Energy Harvesting.
IEEE Access, 2019

Data transformations for variance stabilization in the statistical assessment of quantitative imaging biomarkers.
Proceedings of the Medical Imaging 2019: Image Perception, 2019

Reproducibility of CT-based texture feature quantification of simulated and 3D-printed trabecular bone: influence of noise and reconstruction kernel.
Proceedings of the Medical Imaging 2019: Computer-Aided Diagnosis, 2019

BigFoot: A Mobile Solution toward Foot Parameters Extraction.
Proceedings of the 16th IEEE International Conference on Wearable and Implantable Body Sensor Networks, 2019

Implementing neural machine translation with bi-directional GRU and attention mechanism on FPGAs using HLS.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
A New Numerical Approach to Inverse Transport Equation with Error Analysis.
SIAM J. Numerical Analysis, 2018

Stability of Inverse Transport Equation in Diffusion Scaling and Fokker-Planck Limit.
SIAM Journal of Applied Mathematics, 2018

Limited resource semiquantum secret sharing.
Quantum Information Processing, 2018

High linearity source-follower buffer based analog memory for analog convolutional neural network.
Microelectronics Journal, 2018

Galerkin Methods for Stationary Radiative Transfer Equations with Uncertain Coefficients.
J. Sci. Comput., 2018

Accepting runs in a two-way finite automaton.
Inf. Comput., 2018

The NLS-based nonlinear grey Bernoulli model with an application to employee demand prediction of high-tech enterprises in China.
Grey Systems: T&A, 2018

Sparse deformation prediction using Markove Decision Processes (MDP) for Non-rigid registration of MR image.
Computer Methods and Programs in Biomedicine, 2018

Predicting the capital intensity of the new energy industry in China using a new hybrid grey model.
Computers & Industrial Engineering, 2018

Energy-efficient MFCC extraction architecture in mixed-signal domain for automatic speech recognition.
Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures, 2018

Quantitative characterization of liver tumor radiodensity in CT images: a phantom study between two scanners.
Proceedings of the Medical Imaging 2018: Computer-Aided Diagnosis, 2018

Triangle Counting and Truss Decomposition using FPGA.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

City-Wide Influenza Forecasting based on Multi-Source Data.
Proceedings of the IEEE International Conference on Big Data, 2018

2017
Characteristics and social impact of the use of social media by Chinese Dama.
Telematics and Informatics, 2017

Event-Based Mobility Modeling and Analysis.
TCPS, 2017

Half-space kinetic equations with general boundary conditions.
Math. Comput., 2017

An Asymptotic Preserving Method for Transport Equations with Oscillatory Scattering Coefficients.
Multiscale Modeling & Simulation, 2017

Exploring the Locally Low Dimensional Structure in Solving Random Elliptic PDEs.
Multiscale Modeling & Simulation, 2017

A Sparse Decomposition of Low Rank Symmetric Positive Semidefinite Matrices.
Multiscale Modeling & Simulation, 2017

Uniform Regularity for Linear Kinetic Equations with Random Input Based on Hypocoercivity.
SIAM/ASA J. Uncertain. Quantification, 2017

Private reputation retrieval in public - a privacy-aware announcement scheme for VANETs.
IET Information Security, 2017

A novel complementary push-push frequency doubler with negative resistor conversion gain enhancement.
IEICE Electronic Express, 2017

Export injury early warning of the new energy industries in China: A combined application of GM(1, 1) and PCA methods.
Grey Systems: T&A, 2017

A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

The effects of iterative reconstruction in CT on low-contrast liver lesion volumetry: a phantom study.
Proceedings of the Medical Imaging 2017: Computer-Aided Diagnosis, 2017

From "MISSION: IMPOSSIBLE" to mission possible: Fully flexible intelligent contact lens for image classification with analog-to-information processing.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Validation of a Novel Gait Analysis System.
Proceedings of the Second IEEE/ACM International Conference on Connected Health: Applications, 2017

Visibility Estimation Using a Single Image.
Proceedings of the Computer Vision - Second CCF Chinese Conference, 2017

An on-line process dead-time estimation algorithm.
Proceedings of the 11th Asian Control Conference, 2017

2016
An injection locked millimeter-wave power amplifier with adaptive bias in 65 nm CMOS.
Microelectronics Journal, 2016

Generic Construction of Chameleon Hash to Group Elements.
JCM, 2016

OP-Triplet-ELM: Identification of real and pseudo microRNA precursors using extreme learning machine with optimal features.
J. Bioinformatics and Computational Biology, 2016

An accelerating approach for simulating texture sharp transition mechanism of pyrocarbon on Hexagonal-Mesh Surface.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Hyperspectral unmixing algorithm based on Nonnegative Matrix Factorization.
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016

A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

An Improved Algorithm for Video Abstract.
Proceedings of the Geo-Spatial Knowledge and Intelligence, 2016

Extending the Harris Index performance assessment technique: A plant-wide focus.
Proceedings of the Australian Control Conference, AuCC 2016, Newcastle, 2016

2015
Analyzing Event-Based Scheduling in Concurrent Reactive Systems.
ACM Trans. Embedded Comput. Syst., 2015

Sampling automata and programs.
Theor. Comput. Sci., 2015

A Multiband Semiclassical Model for Surface Hopping Quantum Dynamics.
Multiscale Modeling & Simulation, 2015

A Remote Medical Monitoring System for Heart Failure Prognosis.
Mobile Information Systems, 2015

Single Shot Dual-Frequency Structured Light Based Depth Sensing.
J. Sel. Topics Signal Processing, 2015

Asymptotic-Preserving Exponential Methods for the Quantum Boltzmann Equation with High-Order Accuracy.
J. Sci. Comput., 2015

SEIP: System for Efficient Image Processing on Distributed Platform.
J. Comput. Sci. Technol., 2015

Diffusion approximations and domain decomposition method of linear transport equations: Asymptotics and numerics.
J. Comput. Physics, 2015

Sparse + low-energy decomposition for viscous conservation laws.
J. Comput. Physics, 2015

Efficient ID-based Non-Malleable Trapdoor Commitments Based on RSA and Factoring.
JCM, 2015

Clonal Selection-Based Surveillance Algorithm for Transmission Control Protocol Anomaly Network Behavior.
Proceedings of the 11th International Conference on Semantics, Knowledge and Grids, 2015

Factors affecting uncertainty in lung nodule volume estimation with CT: comparisons of findings from two estimation methods in a phantom study.
Proceedings of the Medical Imaging 2015: Computer-Aided Diagnosis, 2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Effective lossless compression of fixed-length data.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Analysis of the equipment maintainability qualitative evaluation index based on interpretive structure modeling.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

Quantifying Communication in Synchronized Languages.
Proceedings of the Computing and Combinatorics - 21st International Conference, 2015

Immunity-Based Detection for Large-Scale Behavior of Denial of Service.
Proceedings of the 11th International Conference on Computational Intelligence and Security, 2015

A protein detection POCT device based on microfluidic immunoassay chips.
Proceedings of the 8th International Conference on Biomedical Engineering and Informatics, 2015

On the industrial plant performance & operating point drifting phenomenon.
Proceedings of the 10th Asian Control Conference, 2015

2014
A certificateless anonymous authenticated announcement scheme in vehicular ad hoc networks.
Security and Communication Networks, 2014

A 31-45.5 GHz injection-locked frequency divider in 90-nm CMOS technology.
Journal of Zhejiang University - Science C, 2014

A 37 GHz wide-band programmable divide-by-N frequency divider for millimeter-wave silicon-based phase-locked loop frequency synthesizers.
Journal of Zhejiang University - Science C, 2014

New Identity-based Key-exposure Free Chameleon Hash from Bilinear Pairings.
JNW, 2014

Exponential Runge-Kutta for the inhomogeneous Boltzmann equations with high order of accuracy.
J. Comput. Physics, 2014

The preconditioned Jacobian-free Newton-Krylov methods for nonequilibrium radiation diffusion equations.
J. Computational Applied Mathematics, 2014

A formal framework for service mashups with dynamic service selection.
ISSE, 2014

An exploration research of the independent college operation efficiency indicators based on DEA.
Grey Systems: T&A, 2014

Multiple positive solutions for a quasilinear elliptic system with critical exponent and sign-changing weight.
Computers & Mathematics with Applications, 2014

Survey of Integrity Detection Methods in Internet of Things.
Proceedings of the 13th IEEE International Conference on Trust, 2014

Configuration of Services Based on Virtualization.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A 20.5GHz wide-band programmable divide-by-N frequency divider.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Prevalence and risk factors associated with chronic disease in New Rural Cooperative Medical System: County in central China.
Proceedings of the IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, 2014

Generalized additive models of hospital admissions with respiratory disease and meteorology.
Proceedings of the IEEE 3rd International Conference on Cloud Computing and Intelligence Systems, 2014

2013
Improvements on "multiparty quantum key agreement with single particles".
Quantum Information Processing, 2013

Efficient arbitrated quantum signature and its proof of security.
Quantum Information Processing, 2013

Ka-band ultra low voltage miniature sub-harmonic resistive mixer with a new broadside coupled Marchand balun in 0.18-μm CMOS technology.
Journal of Zhejiang University - Science C, 2013

On linearization and preconditioning for radiation diffusion coupled to material thermal conduction equations.
J. Comput. Physics, 2013

A privacy-aware reputation-based announcement scheme for VANETs.
Proceedings of the 5th IEEE International Symposium on Wireless Vehicular Communications, 2013

Dense depth acquisition via one-shot stripe structured light.
Proceedings of the 2013 Visual Communications and Image Processing, 2013

Trustworthy incident information sharing in social cyber defense alliances.
Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Relating Fisher Information to Detectability of Changes in Nodule Characteristics with CT.
Proceedings of the Information Processing in Medical Imaging, 2013

A real-time algorithm for fixed-length short data compression.
Proceedings of the 10th International Conference on Fuzzy Systems and Knowledge Discovery, 2013

2012
A Reputation-Based Announcement Scheme for VANETs.
IEEE Trans. Vehicular Technology, 2012

A New Reweighted Algorithm With Support Detection for Compressed Sensing.
IEEE Signal Process. Lett., 2012

Split Bregman iterative algorithm for sparse reconstruction of electrical impedance tomography.
Signal Processing, 2012

On the impossibility of non-static quantum bit commitment between two parties.
Quantum Information Processing, 2012

Efficient ID-based non-malleable trapdoor commitment.
Computers & Electrical Engineering, 2012

Eigenvalue approximations from below using Morley elements.
Adv. Comput. Math., 2012

Feedback as "Shadow of the Present": An Alternative to Reputation Systems for E-marketplaces.
Proceedings of the 11th IEEE International Conference on Trust, 2012

An Incentive Mechanism to Promote Honesty in E-marketplaces with Limited Inventory.
Proceedings of the Trust Management VI - 6th IFIP WG 11.11 International Conference, 2012

Real-Time Visualization for Large Scale Terrain Based on Linear Quadtree.
Proceedings of the AsiaSim 2012, 2012

A New Method of Sample Reduction for Support Vector Classification.
Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

An Architecture for Cloud Computing and Human Immunity Based Network Intrusion Detection.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2012

Design of an incentive mechanism to promote honesty in e-marketplaces with limited inventory.
Proceedings of the Fourteenth International Conference on Electronic Commerce, 2012

2011
Hybrid No-Reference Natural Image Quality Assessment of Noisy, Blurry, JPEG2000, and JPEG Images.
IEEE Trans. Image Processing, 2011

Sharing a quantum secret without a trusted party.
Quantum Information Processing, 2011

Comparison of two retrieval methods with combined passive and active microwave remote sensing observations for soil moisture.
Mathematical and Computer Modelling, 2011

Discussion on: "Saturated Control of Chained Nonholonomic Systems".
Eur. J. Control, 2011

High-resolution bioclimatic dataset derived from future climate projections for plant species distribution modeling.
Ecological Informatics, 2011

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Approaches to Wireless Sensor Networks.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Large-Scale Microwave Remote Sensing of Retrieving Surface Multi-parameters Using Active and Passive Satellite Data: In the Tibetan Plateau Region of Maqu.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

An Attitude Determination System Based on Adaptive Kalman Filter for Human Machine Interface.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Two improved sailing algorithms for the accurate track calculating.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

A 90 nm 16 Mb embedded phase-change memory macro with write current smoothing and enhanced write bandwidth.
Proceedings of the 2011 IEEE 9th International Conference on ASIC, 2011

Research of Bayesian Networks Application to Transformer Fault Diagnosis.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
Promoting Models.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Network state consistency of virtual machine in live migration.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Surface Deformations Measurement Based on Computer Vision Technique.
Proceedings of the 2010 International Conference on Machine Vision and Human-machine Interface, 2010

A Viable Grid Marketplace.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2010

Joint image fusion algorithm with OMP and wavelet.
Proceedings of the Sixth International Conference on Natural Computation, 2010

Passive Analysis and Control for Descriptor Systems.
Proceedings of the Information Computing and Applications - International Conference, 2010

Formal Approaches to Location Management in Mobile Communications.
Proceedings of the Distributed Computing and Internet Technology, 2010

Digital-analog and analog-digital converters based on single-electron and MOS transistors.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Automatic mapping aquaculture in coastal zone from TM imagery with OBIA approach.
Proceedings of the 18th International Conference on Geoinformatics: GIScience in Change, 2010

A detection algorithm of hydrophobic levels based on triangle module operator.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

Formalizing MapReduce with CSP.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Generating Closed Frequent Itemsets with the Frequent Pattern List.
Proceedings of the Second International Workshop on Database Technology and Applications, 2010

An Improved Method of Location of the Circular Target.
Proceedings of the International Conference on Computational Aspects of Social Networks, 2010

2009
Robust Passive Control for Uncertain Time-Delay Singular Systems.
IEEE Trans. on Circuits and Systems, 2009

Analysis and control of an SEIR epidemic system with nonlinear transmission rate.
Mathematical and Computer Modelling, 2009

Flocking Control of Multi-agent Systems with Application to Nonholonomic Multi-robots.
Kybernetika, 2009

Research on the Trust Model Based on the Groups' Internal Recommendation in E-Commerce Environment.
JSEA, 2009

Modeling MapReduce with CSP.
Proceedings of the TASE 2009, 2009

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.
Proceedings of the TASE 2009, 2009

Towards Specification and Refinement of Contracts with Environment Changes.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Curvelet based no-reference objective image Quality Assessment.
Proceedings of the 2009 Picture Coding Symposium, 2009

A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols.
Proceedings of the Third International Conference on Network and System Security, 2009

Estimation of Evaporative Fraction from Remotely Sensed in Arid/Semi-arid Regions.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Experiments of Soil Moisture Retrieval based on Extended Kalman Filter.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2009

Enhancing Reliability for Virtual Machines via Continual Migration.
Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Food Supply Chain Quality Management Model and Simulation Based on Game.
Proceedings of the International Conference on Computer Modeling and Simulation, 2009

Design of oversampled DFT modulated filter banks optimized for acoustic echo cancellation.
Proceedings of the IEEE International Conference on Acoustics, 2009

Formal Approaches to SMS Service Based on Pi Calculus.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Formal Modeling and Analyzing Kerberos Protocol.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

Robust synchronization of weighted complex dynamical networks.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Pattern preserving path following of unicycle teams with communication delays.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

EnaCloud: An Energy-Saving Application Live Placement Approach for Cloud Computing Environments.
Proceedings of the IEEE International Conference on Cloud Computing, 2009

2008
Relaxed Conditions for Consensus in Multi-Agent Coordination.
J. Systems Science & Complexity, 2008

Soil Moisture Content Retrieval in an Arid to Semi-Arid Region in the Xinjiang Province.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Secure Relativistic Bit Commitment with Fixed Channel Capacity.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Coherent modulation filtering for speech.
Proceedings of the IEEE International Conference on Acoustics, 2008

HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Upgrading the User Experience of Digital Library.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Formation tracking control of unicycle teams with collision avoidance.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Design and implementation of an enhanced grid service container in the CROWN grid.
IJWGS, 2007

CIVIC: a Hypervisor based Virtual Computing Environment.
Proceedings of the 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 2007

A Fair and Transferable Off-line Electronic Cash System with Multiple Banks.
Proceedings of ICEBE 2007, 2007

CIVIC: A Hypervisor Based Virtual Computing Environment.
Proceedings of the High Performance Computing and Communications, 2007

Global analysis of multi-agent systems based on Vicsek's model.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
CROWN-ST: A Security and Trustworthiness Architecture for CROWN.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2005
Understanding the performance of enterprise applications.
Proceedings of the IEEE International Conference on Systems, 2005

Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method.
Proceedings of the Mobile Ad-hoc and Sensor Networks, First International Conference, 2005

Properties for modulation spectral filtering.
Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

2004
Emissivity simulations in passive microwave remote sensing with 3-D numerical solutions of Maxwell equations.
IEEE Trans. Geoscience and Remote Sensing, 2004

Application of UV multi-level partitioning method in solving problems of surface and volume scattering.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Modeling passive and active microwave remote sensing of snow using DMRT theory with rough surface boundary conditions.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Homomorphic modulation spectra.
Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

An Enhanced Normalisation Technique for Wavelet Shape Descriptors.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003
Emission of rough surfaces calculated by the integral equation method with comparison to three-dimensional moment method simulations.
IEEE Trans. Geoscience and Remote Sensing, 2003

Time-variant least squares harmonic modeling.
Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

2002
A parameterized surface reflectivity model and estimation of bare-surface soil moisture with L-band radiometer.
IEEE Trans. Geoscience and Remote Sensing, 2002

A generalized power law spectrum and its applications to the backscattering of soil surfaces based on the integral equation model.
IEEE Trans. Geoscience and Remote Sensing, 2002

Numerical study of frequency and polarimetric dependence of the emissivities and backscattering coefficients of soil based on three dimensional Monte-Carlo simulation of Maxwell equations.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002

2000
Application of physics-based two-grid method and sparse matrix canonical grid method for numerical simulations of emissivities of soils with rough surfaces at microwave frequencies.
IEEE Trans. Geoscience and Remote Sensing, 2000

Parallel implementation of the sparse-matrix/canonical grid method for the analysis of two-dimensional random rough surfaces (three-dimensional scattering problem) on a Beowulf system.
IEEE Trans. Geoscience and Remote Sensing, 2000

1993
The UBC Protocol Testing Environment.
Proceedings of the Protocol Test Systems, 1993

1992
On Inconclusive Verdict in Conformance Testing.
Proceedings of the Protocol Test Systems, V, 1992

1991
On Static and Dynamic Test Case Selections in Protocol Confomance Testing.
Proceedings of the Protocol Test Systems, IV, 1991

1988
New Advances in Ferry Testing Approaches.
Computer Networks, 1988


  Loading...