Ming Wang
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2025
A resilient scheduling framework for multi-robot multi-station welding flow shop scheduling against robot failures.
Robotics Comput. Integr. Manuf., 2025
IFNet: Data-driven multisensor estimate fusion with unknown correlation in sensor measurement noises.
Inf. Fusion, 2025
Appl. Math. Lett., 2025
2024
Joint Power Allocation and Hybrid Beamforming for Cell-Free mmWave Multiple-Input Multiple-Output with Statistical Channel State Information.
Sensors, October, 2024
IEEE Trans. Veh. Technol., September, 2024
Traffic Origin-Destination Demand Prediction via Multichannel Hypergraph Convolutional Networks.
IEEE Trans. Comput. Soc. Syst., August, 2024
Remote. Sens., March, 2024
IEEE Trans. Consumer Electron., February, 2024
LeaNet: Lightweight U-shaped architecture for high-performance skin cancer image segmentation.
Comput. Biol. Medicine, February, 2024
IEEE Trans. Intell. Veh., January, 2024
Binary-Stochasticity-Enabled Highly Efficient Neuromorphic Deep Learning Achieves Better-than-Software Accuracy.
Adv. Intell. Syst., January, 2024
Potential of Sample Migration and Explainable Machine Learning Model for Monitoring Spatiotemporal Changes of Wetland Plant Communities.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024
Collaborative modeling-based improved moving Kriging approach for low-cycle fatigue life reliability estimation of mechanical structures.
Reliab. Eng. Syst. Saf., 2024
Study on the application of 3D imaging based on the γ-photon silk thread method for visualisation and detection of flow fields.
Displays, 2024
Creating a Microstructure Latent Space with Rich Material Information for Multiphase Alloy Design.
CoRR, 2024
Honeybee pollen but not nectar foraging greatly reduced by neonicotinoids: Insights from AI and simulation.
Comput. Electron. Agric., 2024
Analysis and experiment research on droplet coverage and deposition measurement with capacitive sensor.
Comput. Electron. Agric., 2024
Multi-robot multi-station welding flow shop closed-loop rescheduling with deep reinforcement learning and improved artificial bee colony algorithm.
Comput. Ind. Eng., 2024
TAP with ease: a generic recommendation system for trigger-action programming based on multi-modal representation learning.
Appl. Soft Comput., 2024
Mapping mangrove functional traits from Sentinel-2 imagery based on hybrid models coupled with active learning strategies.
Int. J. Appl. Earth Obs. Geoinformation, 2024
Octree-Retention Fusion: A High-Performance Context Model for Point Cloud Geometry Compression.
Proceedings of the 2024 International Conference on Multimedia Retrieval, 2024
Improved Road Extraction Method Using SBD-Linknet and a Postprocessing Method for High Resolution Satellite Imagery.
Proceedings of the IGARSS 2024, 2024
Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024
Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024
2023
Study on risk factors of diabetic peripheral neuropathy and establishment of a prediction model by machine learning.
BMC Medical Informatics Decis. Mak., December, 2023
A new QoS-aware service composition technique in cloud computing using capuchin search algorithm.
J. Intell. Fuzzy Syst., December, 2023
Modeling potential wetland distributions in China based on geographic big data and machine learning algorithms.
Int. J. Digit. Earth, December, 2023
PPT-LBS: Privacy-preserving top-k query scheme for outsourced data of location-based services.
Cyber Secur. Appl., December, 2023
Connect. Sci., December, 2023
Analysis of impact and absorbed energy of Fritillaria ussuriensis maxim during drum screening and its effect on impact damage.
Comput. Electron. Agric., December, 2023
A New Data-Driven Diagnosis Method for Mixed Eccentricity in External Rotor Permanent Magnet Motors.
IEEE Trans. Ind. Electron., November, 2023
FCAE-AD: Full Convolutional Autoencoder Based on Attention Gate for Hyperspectral Anomaly Detection.
Remote. Sens., September, 2023
Progress in the Application of CNN-Based Image Classification and Recognition in Whole Crop Growth Cycles.
Remote. Sens., June, 2023
A Residual Neural Network Integrated with a Hydrological Model for Global Flood Susceptibility Mapping Based on Remote Sensing Datasets.
Remote. Sens., May, 2023
Log-Gabor directional region entropy adaptive guided filtering for multispectral pansharpening.
Appl. Intell., April, 2023
Domain-incremental learning for fire detection in space-air-ground integrated observation network.
Int. J. Appl. Earth Obs. Geoinformation, April, 2023
High-spatiotemporal-resolution dynamic water monitoring using LightGBM model and Sentinel-2 MSI data.
Int. J. Appl. Earth Obs. Geoinformation, April, 2023
Remote. Sens., February, 2023
Comparisons of Convolutional Neural Network and Other Machine Learning Methods in Landslide Susceptibility Assessment: A Case Study in Pingwu.
Remote. Sens., February, 2023
Integrated Sensing and Communication Aided Dynamic Resource Allocation for Random Access in Satellite Terrestrial Relay Networks.
IEEE Commun. Lett., February, 2023
Study of γ-Photon High-Resolution Fast 3-D Image Reconstruction Algorithm Based on Lossless Equivalent System Matrix.
IEEE Trans. Instrum. Meas., 2023
Lossless Compression and Linear Recovery of a System Matrix Based on a Polar Adaptive Pixel.
IEEE Access, 2023
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2023
A cheap and accurate delay-based IP Geolocation method using Machine Learning and Looking Glass.
Proceedings of the IFIP Networking Conference, 2023
Text Is All You Need: Learning Language Representations for Sequential Recommendation.
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023
Knocking Cells: Latency-Based Identification of IPv6 Cellular Addresses on the Internet.
Proceedings of the IEEE Symposium on Computers and Communications, 2023
Adaptive Deep Reinforcement Learning for Dynamic Parallel Machines Scheduling with Maintenance Activities.
Proceedings of the 28th International Conference on Automation and Computing, 2023
Data-Driven Prediction of Polymer Intrinsic Viscosity with Incomplete Time Series Data.
Proceedings of the 28th International Conference on Automation and Computing, 2023
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023
Be Careful of Your Neighbors: Injected Sub-Prefix Hijacking Invisible to Public Monitors.
Proceedings of the IEEE International Conference on Communications, 2023
Proceedings of the IEEE International Joint Conference on Biometrics, 2023
Detection of Interaction-based Knowledge for Reclassification of Service Robots: Big Data Analytics Perspective.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023
Research on Business Model of Organizational Decision Making Supported by Integrated Computer Digital Technology.
Proceedings of the International Conference on Computers, 2023
G-STO: Sequential Main Shopping Intention Detection via Graph-Regularized Stochastic Transformer.
Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023
Proceedings of the Biometric Recognition - 17th Chinese Conference, 2023
A Dynamic Multi-Branch Neural Network Module for 3D Point Cloud Classification and Segmentation Using Structural Re-parametertization.
Proceedings of the 11th International Conference on Agro-Geoinformatics, 2023
An ontology-based approach for virtual constellation recommendation in remote sensing applications.
Proceedings of the 11th International Conference on Agro-Geoinformatics, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Vis. Informatics, 2022
IEEE Trans. Geosci. Remote. Sens., 2022
Category-Wise Fusion and Enhancement Learning for Multimodal Remote Sensing Image Semantic Segmentation.
IEEE Trans. Geosci. Remote. Sens., 2022
Learning From Noisy Data: An Unsupervised Random Denoising Method for Seismic Data Using Model-Based Deep Learning.
IEEE Trans. Geosci. Remote. Sens., 2022
High-Resolution Mapping Changes in the Invasion of Spartina Alterniflora in the Yellow River Delta.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2022
Robust Speed Tracking Control for Future Electric Vehicles under Network-Induced Delay and Road Slope Variation.
Sensors, 2022
Annual Wetland Mapping in Metropolis by Temporal Sample Migration and Random Forest Classification with Time Series Landsat Data and Google Earth Engine.
Remote. Sens., 2022
Global Dynamic Rainfall-Induced Landslide Susceptibility Mapping Using Machine Learning.
Remote. Sens., 2022
RATING: Medical knowledge-guided rheumatoid arthritis assessment from multimodal ultrasound images via deep learning.
Patterns, 2022
J. Intell. Robotic Syst., 2022
Distributed Offloading in Overlapping Areas of Mobile-Edge Computing for Internet of Things.
IEEE Internet Things J., 2022
GaitGL: Learning Discriminative Global-Local Feature Representations for Gait Recognition.
CoRR, 2022
GaitStrip: Gait Recognition via Effective Strip-based Feature Representations and Multi-Level Framework.
CoRR, 2022
WTL-CNN: a news text classification method of convolutional neural network based on weighted word embedding.
Connect. Sci., 2022
Posts and reviews in P2P online lending platforms: a sentiment analysis and cross-culture comparison.
Behav. Inf. Technol., 2022
Stabilization of stochastic highly non-linear multi-links systems via aperiodically intermittent control.
Autom., 2022
Improved Cluster Intelligent and Complex Optimization Algorithm for Power Equipment CAD-Assisted Intelligent Operation and Maintenance.
Adv. Multim., 2022
Proceedings of the Neural Computing for Advanced Applications, 2022
OnionCode: Enabling Multi-priority Coding in LED-based Optical Camera Communications.
Proceedings of the IEEE INFOCOM 2022, 2022
Proceedings of the Intelligent Information Processing XI, 2022
Proceedings of the Intelligent Information Processing XI, 2022
An Integration of Spectrum Analysis and Attention-based Network for Condition Monitoring of Vibration Components.
Proceedings of the 2022 IEEE International Conference on Prognostics and Health Management, 2022
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022
Proceedings of the The 2022 Conference on Empirical Methods in Natural Language Processing, 2022
GaitStrip: Gait Recognition via Effective Strip-Based Feature Representations and Multi-level Framework.
Proceedings of the Computer Vision - ACCV 2022, 2022
2021
Vis. Informatics, 2021
Downscaling Groundwater Storage Data in China to a 1-km Resolution Using Machine Learning Methods.
Remote. Sens., 2021
Landslide and Wildfire Susceptibility Assessment in Southeast Asia Using Ensemble Machine Learning Methods.
Remote. Sens., 2021
Signal demodulation method for underwater optical wireless communication by measuring the time interval between adjacent photons.
Photonic Netw. Commun., 2021
Robustness of the Chinese power grid to cascading failures under attack and defense strategies.
Int. J. Crit. Infrastructure Prot., 2021
IBEET-AOK: ID-based encryption with equality test against off-line KGAs for cloud medical services.
Frontiers Comput. Sci., 2021
A framework on task configuration and execution for distributed geographical simulation.
Int. J. Digit. Earth, 2021
Machine Learning for Real-Time, Automatic, and Early Diagnosis of Parkinson's Disease by Extracting Signs of Micrographia from Handwriting Images.
CoRR, 2021
Improved adaptive gray wolf genetic algorithm for photovoltaic intelligent edge terminal optimal configuration.
Comput. Electr. Eng., 2021
IEEE Access, 2021
When Few-Shot Learning Meets Large-Scale Knowledge-Enhanced Pre-training: Alibaba at FewCLUE.
Proceedings of the Natural Language Processing and Chinese Computing, 2021
Proceedings of the ICAIIS 2021: 2021 2nd International Conference on Artificial Intelligence and Information Systems, Chongqing, China, May 28, 2021
Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021
Word Sense Disambiguation: Towards Interactive Context Exploitation from Both Word and Sense Perspectives.
Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021
2020
Seasonal and Interannual Variations in China's Groundwater Based on GRACE Data and Multisource Hydrological Models.
Remote. Sens., 2020
Knowl. Based Syst., 2020
J. Mach. Learn. Res., 2020
Design and Delivery of an Online Information Systems Management Course for MBA Programs.
J. Inf. Technol. Educ. Innov. Pract., 2020
EURASIP J. Image Video Process., 2020
Frequency-Based Modeling of a Vehicle Fitted With Roll-Plane Hydraulically Interconnected Suspension for Ride Comfort and Experimental Validation.
IEEE Access, 2020
Microgrid Trading Game Model Based on Blockchain Technology and Optimized Particle Swarm Algorithm.
IEEE Access, 2020
Implementation of Linear/Nonlinear Auto Disturbance Rejection Switching Control in Inverted Pendulum System.
Proceedings of the RICAI 2020: 2nd International Conference on Robotics, 2020
Proceedings of the Data Science, 2020
A Synset Relation-enhanced Framework with a Try-again Mechanism for Word Sense Disambiguation.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020
An Improved Genetic Algorithm with Local Search for Dynamic Job Shop Scheduling Problem.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020
Proceedings of the 29th IEEE Asian Test Symposium, 2020
2019
Postcapture Attitude Takeover Control of a Partially Failed Spacecraft With Parametric Uncertainties.
IEEE Trans Autom. Sci. Eng., 2019
多通信半径与角度修正的凸规划改进定位算法 (Optimized Convex Localization Algorithm Using Multiple Communication Radius and Angle Correction).
计算机科学, 2019
Genetic algorithm-based method for forest type classification using multi-temporal NDVI from Landsat TM imagery.
Ann. GIS, 2019
Research and Analysis of Node Satellites Selection Strategy Based on Navigation System.
Proceedings of the Space Information Networks - 4th International Conference, 2019
Cycling Induced Trap Generation and Recovery Near the Top Select Gate Transistor in 3D NAND.
Proceedings of the IEEE International Reliability Physics Symposium, 2019
Study on Magnetic Particle Relaxation Detection Device Based on AC Magnetic Susceptibility.
Proceedings of the ICITEE-2019: 2nd International Conference on Information Technologies and Electrical Engineering, 2019
Fuzzy Clustering: A New Clustering Method in Heterogeneous Medical Records Searching.
Proceedings of the Artificial Intelligence and Security - 5th International Conference, 2019
Proceedings of the CAA Symposium on Fault Detection, 2019
Proceedings of the 25th Americas Conference on Information Systems, 2019
2018
ACM Trans. Interact. Intell. Syst., 2018
Calibration of Elasto-Magnetic Sensors on In-Service Cable-Stayed Bridges for Stress Monitoring.
Sensors, 2018
SAR Image Recognition with Monogenic Scale Selection-Based Weighted Multi-task Joint Sparse Representation.
Remote. Sens., 2018
基于元胞遗传机制的虚拟网络映射算法 (Virtual Network Mapping Algorithm Based on Cellular Genetic Mechanism).
计算机科学, 2018
基于多通信半径加余弦定理的DV-Hop算法的改进 (Improvement of DV-Hop Algorithm Based on Multiple Communication Radii and Cosine Theorem).
计算机科学, 2018
Acoustic Emission Source Localization System Using Fiber Bragg Grating Sensors and a Barycentric Coordinate-Based Algorithm.
J. Sensors, 2018
Vulnerability analysis of an urban gas pipeline network considering pipeline-road dependency.
Int. J. Crit. Infrastructure Prot., 2018
Attitude Confidence and User Resistance for Purchasing Wearable Devices on VR: VR Headset Perspective.
Proceedings of the 22nd Pacific Asia Conference on Information Systems, 2018
Proceedings of the 14th International Conference on Natural Computation, 2018
Proceedings of the IEEE/CIC International Conference on Communications in China, 2018
2017
Performance Assessment of a Custom, Portable, and Low-Cost Brain-Computer Interface Platform.
IEEE Trans. Biomed. Eng., 2017
An adaptive dynamic feedback load balancing algorithm based on QoS in distributed file system.
J. Commun. Inf. Networks, 2017
IEEE Access, 2017
YNUDLG at SemEval-2017 Task 4: A GRU-SVM Model for Sentiment Classification and Quantification in Twitter.
Proceedings of the 11th International Workshop on Semantic Evaluation, 2017
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017
2016
Spatiotemporal Variations of Lake Surface Temperature across the Tibetan Plateau Using MODIS LST Product.
Remote. Sens., 2016
Reconfigurable spacecraft attitude takeover control in post-capture of target by space manipulators.
J. Frankl. Inst., 2016
Int. Trans. Oper. Res., 2016
Control. Intell. Syst., 2016
Proceedings of the 2016 IEEE International Conference on Digital Signal Processing, 2016
A small, portable, battery-powered brain-computer interface system for motor rehabilitation.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016
Proceedings of the E-Learning and Games - 10th International Conference, 2016
2015
IEEE Trans. Inf. Forensics Secur., 2015
Remote. Sens., 2015
J. Sci. Comput., 2015
J. Control. Decis., 2015
Darboux transformation and conservation laws for an inhomogeneous fifth-order nonlinear Schrödinger equation from the Heisenberg ferromagnetism.
Commun. Nonlinear Sci. Numer. Simul., 2015
Analytic studies on a generalized inhomogeneous higher-order nonlinear Schrödinger equation for the Heisenberg ferromagnetic spin chain.
Commun. Nonlinear Sci. Numer. Simul., 2015
2014
IEEE Trans. Inf. Forensics Secur., 2014
Integrability and soliton-like solutions for the coupled higher-order nonlinear Schrödinger equations with variable coefficients in inhomogeneous optical fibers.
Commun. Nonlinear Sci. Numer. Simul., 2014
Control. Intell. Syst., 2014
Efficient boundary surface reconstruction from heterogeneous volumetric data via tri-prism decomposition.
Comput. Graph., 2014
Proceedings of the 2014 IEEE International Conference on Image Processing, 2014
Proceedings of the IEEE International Conference on Information and Automation, 2014
Proceedings of the IEEE International Conference on Information and Automation, 2014
Proceedings of the IEEE International Conference on Information and Automation, 2014
Construction of slope-consistent trapezoidal interval type-2 fuzzy sets for simplifying the perceptual reasoning method.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014
Proceedings of the Pattern Recognition - 6th Chinese Conference, 2014
2013
Data-driven modeling and optimization of thermal comfort and energy consumption using type-2 fuzzy method.
Soft Comput., 2013
Monotonic type-2 fuzzy neural network and its application to thermal comfort prediction.
Neural Comput. Appl., 2013
Minimal finite element spaces for 2m-th-order partial differential equations in R<sup>n</sup>.
Math. Comput., 2013
Multigrid Methods for the Stokes Equations using Distributive Gauss-Seidel Relaxations based on the Least Squares Commutator.
J. Sci. Comput., 2013
Commun. Res., 2013
Uncertainty degree and modeling of interval type-2 fuzzy sets: Definition, method and application.
Comput. Math. Appl., 2013
Soliton collision in a general coupled nonlinear Schrödinger system via symbolic computation.
Appl. Math. Comput., 2013
The design and implementation of the kernel level mobile storage medium data protection system.
Proceedings of the 2013 IEEE International Conference on Granular Computing, 2013
Proceedings of the 21st International Conference on Geoinformatics, 2013
A linear matrix assisted laser desorption ionization time-of-flight mass spectrometer used in pathogenic microorganism detection.
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013
Design and simulation of magnetic nanoparticles detector based on the nonlinear magnetization.
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013
Proceedings of the Sixth International Conference on Business Intelligence and Financial Engineering, 2013
Knowledge management system and infertility treatment using Traditional Chinese medicine.
Proceedings of the 19th Americas Conference on Information Systems, 2013
Proceedings of the 9th International Conference on Information, 2013
2012
J. Comput. Sci. Technol., 2012
A robust and efficient method for steady state patterns in reaction-diffusion systems.
J. Comput. Phys., 2012
Proceedings of the 20th International Conference on Geoinformatics, 2012
Uncertainty degree of interval type-2 fuzzy sets and its application to thermal comfort modelling.
Proceedings of the 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012
Proceedings of the Advances in Brain Inspired Cognitive Systems, 2012
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012
Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012
2011
The Simulation Method of the Galvanic Coupling Intrabody Communication With Different Signal Transmission Paths.
IEEE Trans. Instrum. Meas., 2011
Proceedings of the IEEE International Conference on Spatial Data Mining and Geographical Knowledge Services, 2011
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011
2010
J. Comput. Phys., 2010
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010
The design and implementation of a malicious code behavior detecting model based on virtualization techology.
Proceedings of the International Conference on Machine Learning and Cybernetics, 2010
Data Processing and Analysis of Coal Properties Using Pulsed Neutron Generator.
Proceedings of the ISCA 25th International Conference on Computers and Their Applications, 2010
Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010
2009
Variable structure sliding mode based unknown input observer for speed identification of brushless DC motors.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2009
Risk Control of Providing a Kind of Quasi-public Goods under China's Current Pricing Mechanism.
Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009
Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009
Proceedings of the Business Intelligence: Artificial Intelligence in Business, 2009
2008
2007
Numerische Mathematik, 2007
Eur. J. Oper. Res., 2007
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2007
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007
2006
J. Inf. Syst. Educ., 2006
The Intelligent C Language Debugger.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006
2005
2004
A computer organization course project: simulation of a modern traffic signal system.
ACM SIGCSE Bull., 2004
Design of Merchant Reputation System: a Web-based Purchase Decision Support System.
Proceedings of the 2nd International Workshop on Web-based Support Systems, 2004
2003
<i>Teaching Case</i>: E-Business Application Development with Java Technology and Oracle: The Fortune Invest Inc. Case.
J. Inf. Syst. Educ., 2003
Electron. J. Inf. Syst. Dev. Ctries., 2003
2002
Proceedings of the Encyclopedia of Information Systems, 2002
Proceedings of the Encyclopedia of Information Systems, 2002
Conditional edge connectivity properties, reliability comparisons and transitivity of graphs.
Discret. Math., 2002
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
2001
On the Necessity and Sufficiency of the Patch Test for Convergence of Nonconforming Finite Elements.
SIAM J. Numer. Anal., 2001
Proceedings of the 32rd SIGCSE Technical Symposium on Computer Science Education, 2001
2000
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000
Establishing a bridge from academia to industry: the faculty internship.
Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000
1999
Application of WEB based Interactive and Multimedia Technology in an Introductory Engineering Course.
Proceedings of WebNet 99, 1999
Proceedings of the Proceedings ACM SIGAda Annual International Conference, 1999
1996
Proceedings of the 33st Conference on Design Automation, 1996
1990