Ying Xu

According to our database1, Ying Xu authored at least 183 papers between 1996 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A Distributed Dynamic Programming-Based Solution for Load Management in Smart Grids.
IEEE Systems Journal, 2018

GPS/BDS Medium/Long-Range RTK Constrained with Tropospheric Delay Parameters from NWP Model.
Remote Sensing, 2018

QR codes blind deconvolution algorithm based on binary characteristic and L0 norm minimization.
Pattern Recognition Letters, 2018

dbCoRC: a database of core transcriptional regulatory circuitries modeled by H3K27ac ChIP-seq signals.
Nucleic Acids Research, 2018

Development of a human head and neck muscle activation control model based on BPNN.
Journal of Intelligent and Fuzzy Systems, 2018

Effects of ion channel blocks on electrical activity of stochastic Hodgkin-Huxley neural network under electromagnetic induction.
Neurocomputing, 2018

Dynamic Behaviors in Coupled Neuron System with the Excitatory and Inhibitory Autapse under Electromagnetic Induction.
Complexity, 2018

Hybrid multi-objective evolutionary algorithms based on decomposition for wireless sensor network coverage optimization.
Appl. Soft Comput., 2018

Coordination of SMES, SFCL and Distributed Generation Units for Micro-Grid Stability Enhancement via Wireless Communications.
IEEE Access, 2018

Generation of Walking Motions for the Biped Ascending Slopes Based on Genetic Algorithm.
Proceedings of the Advances in Swarm Intelligence - 9th International Conference, 2018

Fishbone-inspired soft robotic glove for hand rehabilitation with multi-degrees-of-freedom.
Proceedings of the IEEE International Conference on Soft Robotics, 2018

A Multi-objective Optimization Model for Determining the Optimal Standard Feasible Neighborhood of Intelligent Vehicles.
Proceedings of the PRICAI 2018: Trends in Artificial Intelligence, 2018

Improving the Resolution of Retinal OCT with Deep Learning.
Proceedings of the Medical Image Understanding and Analysis - 22nd Conference, 2018

DTAST: A Novel Radical Framework for de Novo Transcriptome Assembly Based on Suffix Trees.
Proceedings of the Intelligent Computing Theories and Application, 2018

A multi-factor influencing POI recommendation model based on matrix factorization.
Proceedings of the Tenth International Conference on Advanced Computational Intelligence, 2018

A steady-state NSGA-II based multi-objective multicast routing algorithm for optical networks.
Proceedings of the Genetic and Evolutionary Computation Conference, 2018

2017
An energy efficient hole repair node scheduling algorithm for WSN.
Wireless Networks, 2017

A New GNSS Single-Epoch Ambiguity Resolution Method Based on Triple-Frequency Signals.
ISPRS Int. J. Geo-Information, 2017

The Electrical Activity of Neurons Subject to Electromagnetic Induction and Gaussian White Noise.
I. J. Bifurcation and Chaos, 2017

Non-linear behavior of supply chains under chaos environment with disruptions: Based on coupled map lattices.
Intelligent Decision Technologies, 2017

Collaborating CPU and GPU for the electromagnetic simulations with the FDTD algorithm.
Concurrency and Computation: Practice and Experience, 2017

Parallel computations of local PageRank problem based on Graphics Processing Unit.
Concurrency and Computation: Practice and Experience, 2017

Formation of Autapse Connected to Neuron and Its Biological Function.
Complexity, 2017

CPredictor3.0: detecting protein complexes from PPI networks with expression data and functional annotations.
BMC Systems Biology, 2017

Phase synchronization between two neurons induced by coupling of electromagnetic field.
Applied Mathematics and Computation, 2017

Location-Based Top-k Term Querying over Sliding Window.
Proceedings of the Web Information Systems Engineering - WISE 2017, 2017

An evaluation of convolutional neural networks on material recognition.
Proceedings of the 2017 IEEE SmartWorld, 2017

Research and implementation of parallel Lane detection algorithm based on GPU.
Proceedings of the International Conference on Security, Pattern Analysis, and Cybernetics, 2017

Soft robotic glove for hand rehabilitation based on a novel fabrication method.
Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017

IsoTree: De Novo Transcriptome Assembly from RNA-Seq Reads - (Extended Abstract).
Proceedings of the Bioinformatics Research and Applications - 13th International Symposium, 2017

Vehicle localization based on odometry assisted magnetic matching.
Proceedings of the 2017 International Conference on Indoor Positioning and Indoor Navigation, 2017

Mobilizing Assets: Data-Driven Community Development with Refugees.
Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, 2017

Community Building with Co-located Social Media: A Field Experiment with Syrian Refugees.
Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, 2017

Towards a Principled Approach to Humanitarian Information and Communication Technology.
Proceedings of the Ninth International Conference on Information and Communication Technologies and Development, 2017

Deep Convolutional Neural Network for Facial Expression Recognition.
Proceedings of the Image and Graphics - 9th International Conference, 2017

SAR Automatic Target Recognition Based on Deep Convolutional Neural Network.
Proceedings of the Image and Graphics - 9th International Conference, 2017

Robust Transceiver Design for Full-Duplex MIMO Relay Systems.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

Analysis on the validity of eye movement data during video viewing.
Proceedings of the 10th International Congress on Image and Signal Processing, 2017

Decoupling Encoder and Decoder Networks for Abstractive Document Summarization.
Proceedings of the Workshop on Summarization and Summary Evaluation Across Source Types and Genres, 2017

2016
Performance Evaluation of the New Compound-Carrier-Modulated Signal for Future Navigation Signals.
Sensors, 2016

Local pacing, noise induced ordered wave in a 2D lattice of neurons.
Neurocomputing, 2016

Fault detection of multimode non-Gaussian dynamic process using dynamic Bayesian independent component analysis.
Neurocomputing, 2016

Finite model order asymptotic analysis in Wiener system identification.
IJMIC, 2016

Pure-strategy Nash equilibria in large games: characterization and existence.
Int. J. Game Theory, 2016

Inter-cell interference mitigation based on joint beamforming.
Int. J. Communication Systems, 2016

T Cell Repertoire Diversity Is Decreased in Type 1 Diabetes Patients.
Genomics, Proteomics & Bioinformatics, 2016

A New Graph Theoretic Approach for Protein Threading.
Fundam. Inform., 2016

POS: A High-Level System to Simplify Real-Time Stream Application Development on Storm.
Data Science and Engineering, 2016

Quantification winter wheat LAI with HJ-1CCD image features over multiple growing seasons.
Int. J. Applied Earth Observation and Geoinformation, 2016

How People Talk About Armed Conflicts.
Proceedings of the Social, Cultural, and Behavioral Modeling, 9th International Conference, 2016

Load frequency control participation of wind farms in power systems.
Proceedings of the 2016 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2016

An ALM matrix completion algorithm for recovering weather monitoring data.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Shuffle-efficient distributed Locality Sensitive Hashing on spark.
Proceedings of the IEEE Conference on Computer Communications Workshops, 2016

Communication Behaviors When Displaced: A Case Study of Za'atari Syrian Refugee Camp.
Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, 2016

Community-Level Access Divides: A Refugee Camp Case Study.
Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, 2016

A travel route recommendation algorithm with personal preference.
Proceedings of the 12th International Conference on Natural Computation, 2016

SAR automatic target recognition based on K-means and data augmentation.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

Benchmark of a large scale database for facial beauty prediction.
Proceedings of the 2016 International Conference on Intelligent Information Processing, 2016

A PBIL for Load Balancing in Network Coding Based Multicasting.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Electronic cochlea: CAR-FAC model on FPGA.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2016

2015
A New Indoor Positioning System Architecture Using GPS Signals.
Sensors, 2015

TBox learning from incomplete data by inference in BelNet+.
Knowl.-Based Syst., 2015

An optimal stochastic approximation for estimating the effective window of a control factor.
J. Systems Science & Complexity, 2015

The Benefit of Introducing Variability in Single-Server Queues with Application to Quality-Based Service Domains.
Operations Research, 2015

A Reconfigurable Mixed-signal Implementation of a Neuromorphic ADC.
CoRR, 2015

Resource management in device-to-device underlaying cellular network.
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference, 2015

TencentRec: Real-time Stream Recommendation in Practice.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

An improved dynamic framed slotted ALOHA Anti-collision algorithm based on estimation method for RFID systems.
Proceedings of the 2015 IEEE International Conference on RFID, 2015

A Crowdfunding Model for Green Energy Investment.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Promoting participatory community building in refugee camps with mapping technology.
Proceedings of the Seventh International Conference on Information and Communication Technologies and Development, 2015

Interactive simulation of virtual trees spray.
Proceedings of the 2nd IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services, 2015

A Novel Method for Predicting Facial Beauty Under Unconstrained Condition.
Proceedings of the Image and Graphics - 8th International Conference, 2015

Demand Management with Energy Generation and Storage in Collectives.
Proceedings of the Outlooks and Insights on Group Decision and Negotiation, 2015

Towards Practical Face Recognition: A Local Binary Pattern Non Frontal Faces Filtering Approach.
Proceedings of the Biometric Recognition - 10th Chinese Conference, 2015

A reconfigurable mixed-signal implementation of a neuromorphic ADC.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2015

Crowdfunding Investment for Renewable Energy.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives.
J. Artif. Intell. Res., 2014

Analyzing Binary Outcome Data with Small Clusters: A Simulation Study.
Communications in Statistics - Simulation and Computation, 2014

Energy aware network planning for wireless cellular system with renewable energy.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2014

Implementation and Optimization of Three-Dimensional UPML-FDTD Algorithm on GPU Clusters.
Proceedings of the Supercomputing - 29th International Conference, 2014

A Multi-objective Jumping Particle Swarm Optimization Algorithm for the Multicast Routing.
Proceedings of the Advances in Swarm Intelligence - 5th International Conference, 2014

Finger-knuckle-print recognition based on image sets and convex optimization.
Proceedings of the 2014 International Conference on Machine Learning and Cybernetics, 2014

An Implementation of an Intelligent PCE-Agent-Based Multi-domain Optical Network Architecture.
Proceedings of the Intelligent Computing Methodologies - 10th International Conference, 2014

A Low Redundancy and High Coverage Node Scheduling Algorithm for Wireless Sensor Networks.
Proceedings of the Advances in Wireless Sensor Networks - The 8th China Conference, 2014

Disguised Face Recognition Based on Local Feature Fusion and Biomimetic Pattern Recognition.
Proceedings of the Biometric Recognition - 9th Chinese Conference, 2014

Multiagent coordination for demand management with energy generation and storage.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Cancer Bioinformatics
Springer, ISBN: 978-1-4939-1381-7, 2014

2013
Real-Time Face Detection and Recognition via Local Binary Pattern Plus Sample Selective Biomimetic Pattern Recognition.
IEICE Transactions, 2013

Particle swarm optimization for the Steiner tree in graph and delay-constrained multicast routing problems.
J. Heuristics, 2013

Global Genomic Arrangement of Bacterial Genes Is Closely Tied with the Total Transcriptional Efficiency.
Genomics, Proteomics & Bioinformatics, 2013

A simulated annealing based genetic local search algorithm for multi-objective multicast routing problems.
Annals OR, 2013

Integrable decompositions of a symmetric matrix Kaup-Newell equation and a symmetric matrix derivative nonlinear Schrödinger equation.
Applied Mathematics and Computation, 2013

Entity Correspondence with Second-Order Markov Logic.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Transmission strategies selection for cellular networks.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

Cross-layer design based sustainability and energy-efficiency optimization in femtocell networks with sustainable energy.
Proceedings of the 2013 IEEE Wireless Communications and Networking Conference (WCNC), 2013

Energy Analysis of Device Discovery for Bluetooth Low Energy.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

Adaptive Device Discovery in Bluetooth Low Energy Networks.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

Ontology Learning from Incomplete Semantic Web Data by BelNet.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Energy sustainability modeling and liquid cell management in green cellular networks.
Proceedings of IEEE International Conference on Communications, 2013

Disguised face recognition via local phase quantization plus geometry coverage.
Proceedings of the IEEE International Conference on Acoustics, 2013

Distributed interference coordination based on energy-efficient game in HSPA HetNet.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

Multiagent Coordination for Energy Consumption Scheduling in Consumer Cooperatives.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
An iterative local search approach based on fitness landscapes analysis for the delay-constrained multicast routing problem.
Computer Communications, 2012

A hybrid scatter search meta-heuristic for delay-constrained multicast routing problems.
Appl. Intell., 2012

Purchasing Motivations Toward Counterfeit Luxury Goods on E-marketplaces.
Proceedings of the 11th Wuhan International Conference on E-Business, 2012

An Architecture for Cognitive Radio Networks with Cognition, Self-Organization and Reconfiguration Capabilities.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

A Novel Artificial Fish Swarm Algorithm Based on Multi-objective Optimization.
Proceedings of the Intelligent Computing Theories and Applications, 2012

Physical-layer network coding in OFDM system: Analysis and performance.
Proceedings of the 7th International Conference on Communications and Networking in China, 2012

A mechanism design model in robot-service-queue control with strategic operators and asymmetric information.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Prediction of renal transplant rejection and acute tubular necrosis in renal transplant based on SVM.
Proceedings of the 5th International Conference on BioMedical Engineering and Informatics, 2012

2011
Wireless Sensing of Human Respiratory Parameters by Low-Power Ultrawideband Impulse Radio Radar.
IEEE Trans. Instrumentation and Measurement, 2011

A Multi-layer Model for Face Aging Simulation.
Trans. Edutainment, 2011

Solving multi-objective multicast routing problems by evolutionary multi-objective simulated annealing algorithms with variable neighbourhoods.
JORS, 2011

Gaussian integral circulant digraphs.
Discrete Mathematics, 2011

Multi-task GLOH feature selection for human age estimation
CoRR, 2011

On the Super Codes of the First Order Reed-Muller Code Based on m-Sequence Pairs.
Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Multi-task GLOH feature selection for human age estimation.
Proceedings of the 18th IEEE International Conference on Image Processing, 2011

Research on Cognitive Wireless Networks: Theory, Key Technologies and testbed.
Proceedings of the 6th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2011

National standardization activities within China.
Proceedings of the 6th International ICST Conference on Cognitive Radio Oriented Wireless Networks and Communications, 2011

2010
Intergenic and Repeat Transcription in Human, Chimpanzee and Macaque Brains Measured by RNA-Seq.
PLoS Computational Biology, 2010

A study of health effects of long-distance ocean voyages on seamen using a data classification approach.
BMC Med. Inf. & Decision Making, 2010

Using Kernel Discriminant Analysis and 2DGabor Local Features Fusion for Face Recognition.
JDCTA, 2010

Physical Design Methodology for Godson-2G Microprocessor.
J. Comput. Sci. Technol., 2010

Physical Implementation of the 1GHz Godson-3 Quad-Core Microprocessor.
J. Comput. Sci. Technol., 2010

Novel DGS-CSRR-based microstrip low pass filter with ultra wide suppression.
IJUWBCS, 2010

GolgiP: prediction of Golgi-resident proteins in plants.
Bioinformatics, 2010

On the Performance Evaluation of Quasi-Cyclic LDPC Codes with Arbitrary Puncturing.
Proceedings of the 71st IEEE Vehicular Technology Conference, 2010

Retransmission != repeat: simple retransmission permutation can resolve overlapping channel collisions.
Proceedings of the 16th Annual International Conference on Mobile Computing and Networking, 2010

The description of iFlyTek Speech Lab system for NIST2009 Language Recognition Evaluation.
Proceedings of the 7th International Symposium on Chinese Spoken Language Processing, 2010

Service level differentiation in multi-robots control.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

An improved Particle Swarm Optimization algorithm.
Proceedings of the Sixth International Conference on Natural Computation, 2010

2009
Some Algebraic Properties of Bi-Circulant Digraphs.
Ars Comb., 2009

On the Folded hypercube and Bi-folded Hypercube.
Ars Comb., 2009

Prediction in Dynamic SDRAM Controller Policies.
Proceedings of the Embedded Computer Systems: Architectures, 2009

The Importance of Run-Time Error Detection.
Proceedings of the Tools for High Performance Computing 2009, 2009

Block Precoding Based ICI Mitigation Technique for OFDM System.
Proceedings of the 2009 Pacific-Asia Conference on Circuits, Communications and Systems, 2009

A Variable Neighborhood Descent Search Algorithm for Delay-Constrained Least-Cost Multicast Routing.
Proceedings of the Learning and Intelligent Optimization, Third International Conference, 2009

Research on Operating Parameters and Energy Consumption of Cold Store Based on Rough Set Theory.
Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

Scientific Application Based Performance on Magic Cube.
Proceedings of the High Performance Computing and Applications, 2009

2008
Block spin density matrix of the inhomogeneous AKLT model.
Quantum Information Processing, 2008

Protein Structure-structure Alignment with Discrete FrÉchet Distance.
J. Bioinformatics and Computational Biology, 2008

Reconstruction of the Infection Curve for SARS Epidemic in Beijing, China Using a Back-Projection Method.
Communications in Statistics - Simulation and Computation, 2008

Design of Online Automatic Assessment.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

An Assessment Tool for Assembly Language Programming.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
A Novel Integrated Cell-Based Biosensor for Extracellular Electrophysiological Monitoring.
I. J. Information Acquisition, 2007

On the Construction of Quasi-Systematic Block-Circulant LDPC Codes.
IEEE Communications Letters, 2007

Operon Prediction in Microbial Genomes Using Decision Tree Approach.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007

Protein Structure-Structure Alignment with Discrete Fr'echet Distance.
Proceedings of 5th Asia-Pacific Bioinformatics Conference, 2007

2006
Efficient Parameterized Algorithms for Biopolymer Structure-Sequence Alignment.
IEEE/ACM Trans. Comput. Biology Bioinform., 2006

A Numerical procedure for solving 2D phase-field model problems.
J. Comput. Physics, 2006

Structure Prediction of Helical Transmembrane Proteins at Two Length Scales.
J. Bioinformatics and Computational Biology, 2006

Vehicle routing and scheduling with dynamic travel times.
Computers & OR, 2006

libSRES: a C library for stochastic ranking evolution strategy for parameter estimation.
Bioinformatics, 2006

A Double Horizon Defense Design for Robust Regulation of Malicious Traffic.
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Design and Performance Evaluation of a Proxy-based Java Rewriting Security System.
Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

A System for Project Distribution Based on the Semantic Matching Method.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Researching on The Method and Technology of Creating Temporal Categories for an Ontology of Time.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Research on Context Modeling Based on Ontology.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

A Complex Applications Framework Supporting Tolerant Dynamic Vehicle Dispatching.
Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005
Individual QoS versus aggregate QoS: a loss performance study.
IEEE/ACM Trans. Netw., 2005

Preface.
J. Comput. Sci. Technol., 2005

Clustering Gene Expression Data with Kernel Principal Components.
J. Bioinformatics and Computational Biology, 2005

Logistic support vector machines and their application to gene expression data.
IJBRA, 2005

Bright red-to-yellow organic light-emitting devices based on polarization-induced spectral shifts and broadening.
Displays, 2005

An efficient and bright organic white-light-emitting device.
Displays, 2005

On the robustness of router-based denial-of-service (DoS) defense systems.
Computer Communication Review, 2005

MPSS: an integrated database system for surveying a set of proteins.
Bioinformatics, 2005

Efficient Parameterized Algorithm for Biopolymer Structure-Sequence Alignment.
Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005

Multilevel weighted fuzzy reasoning with interaction.
Proceedings of the IEEE International Conference on Systems, 2005

Intrusion Detection Combining Multiple Decision Trees by Fuzzy logic.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Multi-Scale Hierarchical Structure Prediction of Helical Transmembrane Proteins.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, 2005

2004
NFS-cc: tuning NFS for concurrent read sharing.
IJHPCN, 2004

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).
Comput. J., 2004

Exploring the performance benefits of end-to-end path switching.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004

Exploring the Performance Benefits of End-to-End Path Switching.
Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004

2003
MOLVIE: an interactive visualization environment for molecular structures.
Computer Methods and Programs in Biomedicine, 2003

On Evaluating Loss Performance Deviation: A Simple Tool and Its Practical Implications.
Proceedings of the Quality of Service in Multiservice IP Networks, 2003

2002
Individual QoS versus Aggregate QoS: A Loss Performance Study.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

1999
Foreword.
J. Comb. Optim., 1999

Optimizing terrestrial transport architecture in satellite telephony networks.
Proceedings of the 1999 IEEE Wireless Communications and Networking Conference, 1999

Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996
MDG Tools for the Verification of RTL Designs.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996


  Loading...