Fei Xie
Orcid: 0000-0002-7324-3287
According to our database1,
Fei Xie
authored at least 286 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Sparse Hyperspectral Unmixing With Preference-Based Evolutionary Multiobjective Multitasking Optimization.
IEEE Trans. Emerg. Top. Comput. Intell., April, 2024
Cut-set matrix methods for frequency response analysis curves of lumped parameter equivalent circuit model of three-winding power transformer.
Int. J. Circuit Theory Appl., March, 2024
SoftwareX, February, 2024
Multim. Tools Appl., February, 2024
GA-Net: A geographical attention neural network for the segmentation of body torso tissue composition.
Medical Image Anal., January, 2024
CoRR, 2024
Diagnosing Fault Types and Degrees of Transformer Winding Combining FRA Method With SOA-KELM.
IEEE Access, 2024
2023
A Small Intestinal Stromal Tumor Detection Method Based on an Attention Balance Feature Pyramid.
Sensors, December, 2023
A hybrid computing framework for risk-oriented reliability analysis in dynamic PSA context: A case study.
Qual. Reliab. Eng. Int., December, 2023
Cutout with patch-loss augmentation for improving generative adversarial networks against instability.
Comput. Vis. Image Underst., September, 2023
Few-shot relation classification based on the BERT model, hybrid attention and fusion networks.
Appl. Intell., September, 2023
A Bilevel Gene-Based Multiobjective Memetic Algorithm for Passive Localization System Deployment Optimization.
IEEE Trans. Evol. Comput., April, 2023
Spatial-temporal correlated graph neural networks based on neighborhood feature selection for traffic data prediction.
Appl. Intell., February, 2023
IEEE Trans. Instrum. Meas., 2023
Incorporating multi-stage spatial visual cues and active localization offset for pancreas segmentation.
Pattern Recognit. Lett., 2023
A new adaptive window-based guided filtering and interpolation for polarization image demosaicing.
IET Image Process., 2023
Complex Dynamic Analysis, Circuit Design and Simplified Predefined Time Synchronization for a Jerk Absolute Memristor Chaotic System.
Complex., 2023
Backflow Power Optimization of DAB Based on Asymmetric Duty Cycle and Internal Phase Shift Control.
IEEE Access, 2023
Cnnformer: Transformer-Based Semantic Information Enhancement Framework for Behavior Recognition.
IEEE Access, 2023
Proceedings of the IEEE International Conference on Software Analysis, 2023
Attacks are Forwarded: Breaking the Isolation of MicroVM-based Containers Through Operation Forwarding.
Proceedings of the 32nd USENIX Security Symposium, 2023
Alzheimer's Disease Early Diagnosis Based on Resting-State Dynamic Functional Connectivity.
Proceedings of the 12th International Conference on Software and Computer Applications, 2023
A Music Labeling Model Based on Traditional Chinese Music Characteristics for Emotional Regulation.
Proceedings of the 12th International Conference on Software and Computer Applications, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
Proceedings of the IEEE International Conference on Knowledge Graph, 2023
Proceedings of the IEEE International Conference on Knowledge Graph, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023
2022
Extreme Change Events of Stratospheric HCl and N2O in the Mid-Latitude Region of the Northern Hemisphere.
Remote. Sens., December, 2022
Offspring regeneration method based on bi-level sampling for large-scale evolutionary multi-objective optimization.
Swarm Evol. Comput., 2022
Monitoring Surface Water Inundation of Poyang Lake and Dongting Lake in China Using Sentinel-1 SAR Images.
Remote. Sens., 2022
An Adaptive Surrogate-Assisted Endmember Extraction Framework Based on Intelligent Optimization Algorithms for Hyperspectral Remote Sensing Images.
Remote. Sens., 2022
Identifying a Leading Predictor of Arctic Stratospheric Ozone for April Precipitation in Eastern North America.
Remote. Sens., 2022
FPS: Fast Path Planner Algorithm Based on Sparse Visibility Graph and Bidirectional Breadth-First Search.
Remote. Sens., 2022
Vegetation Dynamics under Rapid Urbanization in the Guangdong-Hong Kong-Macao Greater Bay Area Urban Agglomeration during the Past Two Decades.
Remote. Sens., 2022
A Robot Pose Estimation Optimized Visual SLAM Algorithm Based on CO-HDC Instance Segmentation Network for Dynamic Scenes.
Remote. Sens., 2022
Convolutionally evaluated gradient first search path planning algorithm without prior global maps.
Robotics Auton. Syst., 2022
Int. J. Mach. Learn. Cybern., 2022
Knowl. Based Syst., 2022
Knowl. Based Syst., 2022
Siamese Transformer Network: Building an autonomous real-time target tracking system for UAV.
J. Syst. Archit., 2022
Enhance prototypical networks with hybrid attention and confusing loss function for few-shot relation classification.
Neurocomputing, 2022
Modelling, simulation and optimisation of medical enterprise warehousing process based on FlexSim model and greedy algorithm.
Int. J. Bio Inspired Comput., 2022
A New Precise High Flow Oxygen Therapy System Based on Sliding Mode Control Strategy.
Complex., 2022
Effect of different anesthetic dose of pentobarbital on respiratory activity in rabbits.
Comput. Biol. Medicine, 2022
IEEE Access, 2022
Conditional Domain Adaptation Based on Initial Distribution Discrepancy for EEG Emotion Recognition.
Proceedings of the Clinical Image-Based Procedures - 11th Workshop, 2022
Proceedings of the 26th International Conference on Pattern Recognition, 2022
Proceedings of the 5th International Conference on Information Technologies and Electrical Engineering, 2022
Extending Tensor Virtual Machine to Support Deep-Learning Accelerators with Convolution Cores.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Proceedings of the IEEE International Conference on Knowledge Graph, 2022
Proceedings of the IEEE International Conference on Knowledge Graph, 2022
Proceedings of the Computer Vision - ECCV 2022 Workshops, 2022
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022
High-quality development assessment and spatial difference analysis of new urbanization in Guangdong Province based on multi-source data.
Proceedings of the 18th International Conference on Computational Intelligence and Security, 2022
A two-stage multi-objective evolutionary algorithm for large-scale multi-objective optimization.
Proceedings of the IEEE Congress on Evolutionary Computation, 2022
2021
Combining Machine Learning and Dynamic Time Wrapping for Vehicle Driving Event Detection Using Smartphones.
IEEE Trans. Intell. Transp. Syst., 2021
High-Precision Trajectory Tracking Control of Cable-Driven Parallel Robots Using Robust Synchronization.
IEEE Trans. Ind. Informatics, 2021
Specification-Driven Conformance Checking for Virtual/Silicon Devices Using Mutation Testing.
IEEE Trans. Computers, 2021
A Two-Step Method for Remote Sensing Images Registration Based on Local and Global Constraints.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2021
Sci. Program., 2021
High Quantum Efficiency and Broadband Photodetector Based on Graphene/Silicon Nanometer Truncated Cone Arrays.
Sensors, 2021
Attention-Based Spatial and Spectral Network with PCA-Guided Self-Supervised Feature Extraction for Change Detection in Hyperspectral Images.
Remote. Sens., 2021
Predicting therapeutic drugs for hepatocellular carcinoma based on tissue-specific pathways.
PLoS Comput. Biol., 2021
A Novel PageRank-Based Fault Handling Strategy for Workflow Scheduling in Cloud Data Centers.
Int. J. Web Serv. Res., 2021
Enhanced three-dimensional U-Net with graph-based refining for segmentation of gastrointestinal stromal tumours.
IET Comput. Vis., 2021
Intell. Data Anal., 2021
Complex Electrical Stimulation Systems in Motor Function Rehabilitation after Spinal Cord Injury.
Complex., 2021
Deriving drought indices from MODIS vegetation indices (NDVI/EVI) and Land Surface Temperature (LST): Is data reconstruction necessary?
Int. J. Appl. Earth Obs. Geoinformation, 2021
Power Allocation for Minimizing Outage Probability of Cognitive Multi-Hop Relay Networks.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021
Outage Probability Analysis of RIS-assisted Wireless Powered Multi-user Communications.
Proceedings of the 13th International Conference on Wireless Communications and Signal Processing, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the ICITEE 2021: The 4th International Conference on Information Technologies and Electrical Engineering, Changde, Hunan, China, October 29, 2021
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021
Proceedings of the MTD@CCS 2021: Proceedings of the 8th ACM Workshop on Moving Target Defense, 2021
2020
Adaptive Cross-Coupled Control of Cable-Driven Parallel Robots With Model Uncertainties.
IEEE Robotics Autom. Lett., 2020
J. Circuits Syst. Comput., 2020
Human Emotion Recognition Based on Face and Facial Expression Detection Using Deep Belief Network Under Complicated Backgrounds.
Int. J. Pattern Recognit. Artif. Intell., 2020
Automatic evaluation of facial nerve paralysis by dual-path LSTM with deep differentiated network.
Neurocomputing, 2020
Backstepping-Based Adaptive Control for Nonlinear Systems with Actuator Failures and Uncertain Parameters.
Circuits Syst. Signal Process., 2020
Driver Attribute Filling for Genes in Interaction Network via Modularity Subspace-Based Concept Learning from Small Samples.
Complex., 2020
A Novel Method to Evaluate Patient-Ventilator Synchrony during Mechanical Ventilation.
Complex., 2020
A Novel Multiface Recognition Method With Short Training Time and Lightweight Based on ABASNet and H-Softmax.
IEEE Access, 2020
Active Supervision Strategies of Online Ride-Hailing Based on the Tripartite Evolutionary Game Model.
IEEE Access, 2020
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
Hierarchical Representations with Discriminative Meta-filters in Dual Path Network for Tracking.
Proceedings of the Pattern Recognition and Computer Vision - Third Chinese Conference, 2020
SpectreCheck: An Approach to Detecting Speculative Execution Side Channels in Data Cache.
Proceedings of the 2020 IEEE International Conference on Embedded Software and Systems, 2020
Proceedings of the 2020 IEEE International Conference on Knowledge Graph, 2020
Proceedings of the Computer Vision - ECCV 2020 Workshops, 2020
Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the Cloud Computing - CLOUD 2020, 2020
Linear Elements Separation via Vision System Feature and Seed Spreading from Topographic Maps.
Proceedings of the 16th International Conference on Computational Intelligence and Security, 2020
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2020
A Bandwidth and Latency Based Replica Selection Mechanism for Data-Intensive Workflow Applications in the Multi-Cloud Environment.
Proceedings of the Australasian Computer Science Week, 2020
2019
Heterogeneous-Length Text Topic Modeling for Reader-Aware Multi-Document Summarization.
ACM Trans. Knowl. Discov. Data, 2019
Robust delay-dependent <i>H</i><sub>∞</sub> filtering for uncertain Takagi-Sugeno fuzzy neutral stochastic time-delay systems.
J. Frankl. Inst., 2019
Adaptive dynamic sliding mode control for space manipulator with external disturbance.
J. Control. Decis., 2019
A Novel Multi-Pattern Solder Joint Simultaneous Segmentation Algorithm for PCB Selective Packaging Systems.
Int. J. Pattern Recognit. Artif. Intell., 2019
Int. J. Comput. Commun. Control, 2019
An importance sampling-based smoothing approach for quasi-Monte Carlo simulation of discrete barrier options.
Eur. J. Oper. Res., 2019
Bioinform., 2019
Fault-Tolerant Adaptive Control for a Class of Nonlinear Systems With Uncertain Parameters and Unknown Control Directions.
IEEE Access, 2019
Automatic Degree Evaluation of Facial Nerve Paralysis Based on Triple-stream Long Short Term Memory.
Proceedings of the Third International Symposium on Image Computing and Digital Medicine, 2019
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019
2018
A Hybrid Beam-Forming and Direction-Finding Method for Wind Direction Sensing Based on HF Radar.
IEEE Trans. Geosci. Remote. Sens., 2018
Validation of Sensing Ocean Surface Currents Using Multi-Frequency HF Radar Based on a Circular Receiving Array.
Remote. Sens., 2018
An Orthogonal Projection Algorithm to Suppress Interference in High-Frequency Surface Wave Radar.
Remote. Sens., 2018
Pattern Anal. Appl., 2018
Radio Frequency Interference Cancelation in High-Frequency Surface Wave Radar Using Orthogonal Projection Filtering.
IEEE Geosci. Remote. Sens. Lett., 2018
IEEE Geosci. Remote. Sens. Lett., 2018
J. Syst. Archit., 2018
Fuzzy observer-based sampled-data control for a class of pure-feedback nonlinear systems.
J. Frankl. Inst., 2018
IEEE Access, 2018
IEEE Access, 2018
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018
Will Advanced Public Charging Infrastructure Speed Up Electrification of Future Transportation?
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018
Proceedings of the 19th International Symposium on Quality Electronic Design, 2018
Proceedings of the ISICDM 2018: The 2nd International Symposium on Image Computing and Digital Medicine 2018, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
A Data Dependency and Access Threshold Based Replication Strategy for Multi-cloud Workflow Applications.
Proceedings of the Service-Oriented Computing - ICSOC 2018 Workshops, 2018
Proceedings of the 2018 IEEE International Conference on Big Knowledge, 2018
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
Ionic Conduction in Biological Nanopores Created by Ultrashort9 High-Intensity Pulses.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018
Proceedings of the 2018 IEEE International Conference on Electro/Information Technology, 2018
Specification-driven automated conformance checking for virtual prototype and post-silicon designs.
Proceedings of the 55th Annual Design Automation Conference, 2018
Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018
2017
Hysteresis Compensation Method for Magnetoresistive Sensors Based on Single Polar Controlled Magnetic Field Pulses.
IEEE Trans. Ind. Electron., 2017
Radio Frequency Interference Mitigation in High-Frequency Surface Wave Radar Based on CEMD.
IEEE Geosci. Remote. Sens. Lett., 2017
IEEE Geosci. Remote. Sens. Lett., 2017
IEEE Geosci. Remote. Sens. Lett., 2017
Knowl. Based Syst., 2017
Proceedings of the 8th IEEE Annual Ubiquitous Computing, 2017
Interference Suppression Based on Joint Time-Frequency Analysis and Fractional Fourier Domain in LFM HF Radar.
Proceedings of the Fuzzy Systems and Data Mining III, 2017
Proceedings of the 15th IEEE Intl Conf on Dependable, 2017
Proceedings of the Fifth International Conference on Advanced Cloud and Big Data, 2017
2016
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.
Real Time Syst., 2016
Neurocomputing, 2016
Research on spatial and temporal characteristics of drought based on GIS using Remote Sensing Big Data.
Clust. Comput., 2016
Allocation and Scheduling of Strictly Periodic Tasks in Multi-core Real-Time Systems.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
The key technologies of pedestrian navigation based on micro inertial system and biological kinematics.
Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2016
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016
Proceedings of the IEEE International Conference on Data Mining Workshops, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Giant-Magnetoresistance-Based Galvanically Isolated Voltage and Current Measurements.
IEEE Trans. Instrum. Meas., 2015
Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors.
IEEE Trans. Ind. Electron., 2015
基于局部和全局特征视觉单词的人物行为识别 (Human Action Recognition by Visual Word Based on Local and Global Features).
计算机科学, 2015
J. Comput. Appl. Math., 2015
Proceedings of the 24th International Conference on World Wide Web Companion, 2015
Proceedings of the 2015 IEEE International Conference on Mobile Services, MS 2015, New York City, NY, USA, June 27, 2015
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015
Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015
2014
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the 2014 IEEE International Conference on Data Mining, 2014
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the IEEE International Workshop on Applied Measurements for Power Systems Proceedings, 2014
2013
Freight train gauge-exceeding detection based on three-dimensional stereo vision measurement.
Mach. Vis. Appl., 2013
Int. J. Online Biomed. Eng., 2013
Int. J. Model. Simul. Sci. Comput., 2013
Int. J. Artif. Intell. Tools, 2013
Pattern matching with wildcards and gap-length constraints based on a centrality-degree graph.
Appl. Intell., 2013
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2013
The preliminary inquiry of Chlorophyll-a inversion algorithms applicable to guanting reservoir.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Automatic concolic test generation with virtual prototypes for post-silicon validation.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013
2012
A Logistic Regression Model for Predicting Axillary Lymph Node Metastases in Early Breast Carcinoma Patients.
Sensors, 2012
Proceedings of the Enterprise Interoperability - 4th International IFIP Working Conference, 2012
Proceedings of the 2012 IEEE International Conference on Multimedia and Expo Workshops, 2012
Proceedings of the 2012 IEEE International Conference on Granular Computing, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
Study of Patching-based and Caching-based video-on-demand in multi-hop WiMax mesh networks.
Wirel. Commun. Mob. Comput., 2011
Electron. Commer. Res. Appl., 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the iConference 2011, 2011
Proceedings of the ICIMCS 2011, 2011
Proceedings of the Global Communications Conference, 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
A novel piezoelectric device with dual functions of studying biological soft tissues.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011
2010
Int. J. Commun. Syst., 2010
A Dynamic Stream Merging Technique for Video-on-Demand Services over Wireless Mesh Access Networks.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010
Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010
2009
IEEE Trans. Veh. Technol., 2009
J. Univers. Comput. Sci., 2009
Int. J. Adv. Pervasive Ubiquitous Comput., 2009
Proceedings of the International Forum on Information Technology and Applications, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the Automated Technology for Verification and Analysis, 2009
2008
A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks.
Comput. Commun., 2008
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the 9th International Conference on Mobile Data Management (MDM 2008), 2008
Proceedings of The 2008 IEEE International Conference on Networking, 2008
Proceedings of the Intelligence and Security Informatics, 2008
Proceedings of the High Confidence Software Reuse in Large Systems, 2008
Keyword Extraction Based on Lexical Chains and Word Co-occurrence for Chinese News Web Pages.
Proceedings of the Workshops Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), 2008
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.
Proceedings of the 45th Design Automation Conference, 2008
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
2007
Component-based hardware/software co-verification for building trustworthy embedded systems.
J. Syst. Softw., 2007
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007
Proceedings of the 66th IEEE Vehicular Technology Conference, 2007
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007
Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Proceedings of the Implementation and Application of Automata, 2006
Proceedings of the Theory and Applications of Models of Computation, 2006
Proceedings of the Theory and Applications of Models of Computation, 2006
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006
Proceedings of the LCN 2006, 2006
Proceedings of the Eigth IEEE International Symposium on Multimedia (ISM 2006), 2006
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Int. J. Softw. Eng. Knowl. Eng., 2005
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005
2004
Formal Methods Syst. Des., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the Fundamental Approaches to Software Engineering, 2004
2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
ACM SIGOPS Oper. Syst. Rev., 2002
Proceedings of the 4th International Symposium on Multimedia Software Engineering, 2002
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
1997
Proceedings of the Fifth European Conference on Speech Communication and Technology, 1997
1996
Speech Commun., 1996
Proceedings of the 4th International Conference on Spoken Language Processing, 1996
1994
Proceedings of ICASSP '94: IEEE International Conference on Acoustics, 1994
1993
Proceedings of the Third European Conference on Speech Communication and Technology, 1993
1990
Speech Commun., 1990