Tao Zheng

Orcid: 0000-0001-6655-7037

According to our database1, Tao Zheng authored at least 178 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Smooth Motion Control Policy of Wall-Pressing Pipeline Robots.
IEEE Trans. Ind. Electron., June, 2024

Isolating all the real roots of a mixed trigonometric-polynomial.
J. Symb. Comput., March, 2024

HEU-Net: hybrid attention residual block-based network with external skip connections for metal corrosion semantic segmentation.
Vis. Comput., February, 2024

2023
Umbrellalike Hierarchical Artificial Bee Colony Algorithm.
IEICE Trans. Inf. Syst., March, 2023

A Non-Revisiting Equilibrium Optimizer Algorithm.
IEICE Trans. Inf. Syst., March, 2023

Unsupervised anomaly detection in brain MRI: Learning abstract distribution from massive healthy brains.
Comput. Biol. Medicine, March, 2023

Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure.
J. Symb. Comput., 2023

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial.
CoRR, 2023

Can Embedded Real-Time Linux System Effectively Support Multipath Transmission? An Experimental Study.
Proceedings of the 19th IEEE International Conference on Factory Communication Systems, 2023

A Comprehensive SLAM Dataset for Indoor Exhibition Environments: Data Collection, Processing, and Comparative Evaluation.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2023

Optimal Transmission Scheduling in Data-Intensive Audio Sensor Networks.
Proceedings of the IEEE Global Communications Conference, 2023

Using Complex Network Communities to Evaluate the Correctness of Object Detection.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

2022
A Transformer-Based Method of Multienergy Load Forecasting in Integrated Energy System.
IEEE Trans. Smart Grid, 2022

Artificial Intelligence Segmentation Model-Based Computed Tomography Angiography Image in the Diagnosis of Congenital Aortic Constriction.
Sci. Program., 2022

Deep Reinforcement Learning-Based Workload Scheduling for Edge Computing.
J. Cloud Comput., 2022

Discovery of Small Molecule Agonist of Gonadotropin-Releasing Hormone Receptor (GnRH1R).
J. Chem. Inf. Model., 2022

The Value of First-Order Features Based on the Apparent Diffusion Coefficient Map in Evaluating the Therapeutic Effect of Low-Intensity Pulsed Ultrasound for Acute Traumatic Brain Injury With a Rat Model.
Frontiers Comput. Neurosci., 2022

A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions.
CoRR, 2022

An artificial intelligence-based risk prediction model of myocardial infarction.
BMC Bioinform., 2022

Frequency Regulation Control and Parameter Optimization of Doubly-Fed Induction Machine Pumped Storage Hydro Unit.
IEEE Access, 2022

A Target-based Calibration Method for LiDAR-Visual-Thermal Multi-Sensor System.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2022

Underactuated Three-finger Dexterous Hand in High Altitude and Extreme Environments.
Proceedings of the IEEE International Conference on Real-time Computing and Robotics, 2022

Interpretable Binaural Ratio for Visually Guided Binaural Audio Generation.
Proceedings of the International Joint Conference on Neural Networks, 2022

High-efficiency Diagnosis of DC-link Capacitors in Grid-connected PV System with Parallel DC Modules.
Proceedings of the IECON 2022, 2022

Contactless Low Power Air-Writing Based on FMCW Radar Networks Using Spiking Neural Networks.
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

Autoscaling cracker: an efficient asymmetric DDoS attack on serverless functions.
Proceedings of the IEEE Global Communications Conference, 2022

ApkClassiFy: Identification and Classification of packed Android Malicious Applications.
Proceedings of the IEEE Global Communications Conference, 2022

2021
DDGS: A Network Coding Scheme for Dynamic Adaptation to Heterogeneous Vehicular Networks.
Wirel. Commun. Mob. Comput., 2021

Abdominal Enhanced Computed Tomography Image by Artificial Intelligence Algorithm in the Diagnosis of Abdominal Aortic Aneurysm.
Sci. Program., 2021

Research on Distance Transform and Neural Network Lidar Information Sampling Classification-Based Semantic Segmentation of 2D Indoor Room Maps.
Sensors, 2021

A fast algorithm for computing multiplicative relations between the roots of a generic polynomial.
J. Symb. Comput., 2021

Fine semantic mapping based on dense segmentation network.
Intell. Serv. Robotics, 2021

Stability and Hopf Bifurcation of a Stage-Structured Cannibalism Model with Two Delays.
Int. J. Bifurc. Chaos, 2021

Structural Model and Mathematical Foundation of Information Space.
CoRR, 2021

An optimized two-stage cascaded deep neural network for adrenal segmentation on CT images.
Comput. Biol. Medicine, 2021

Global stability for a delayed HIV reactivation model with latent infection and Beddington-DeAngelis incidence.
Appl. Math. Lett., 2021

A Network Forensics Investigating Method Based on Weak Consistency for Distributed SDN.
Proceedings of the Ubiquitous Security - First International Conference, 2021

Explore Nursing Informatics Research Theme Using Co-Word Analysis.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Assessment of the Chinese Literature for Nursing Informatics Education Initiatives.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Development of Nursing Informatics in Mainland China: A Bibliometric Analysis.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

Differential Whale Optimization Algorithm.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Bottleneck-Aware Multipath Scheduling Mechanism for Social Networks.
Proceedings of the ICC 2021, 2021

A Preliminary Prototype Based on Biological Mimicry for Hardware Data Acquisition.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020
A New Automatic Foot Arch Index Measurement Method Based on a Flexible Membrane Pressure Sensor.
Sensors, 2020

An Online Tea Fixation State Monitoring Algorithm Based on Image Energy Attention Mechanism and Supervised Clustering (IEAMSC).
Sensors, 2020

An Adaptive Network Coding Scheme for Multipath Transmission in Cellular-Based Vehicular Networks.
Sensors, 2020

Channel Compressive Aperture Synthesis.
IEEE Geosci. Remote. Sens. Lett., 2020

Computed Tomography and Health Study of Using Erlotinib and Apatinib for Advanced Non-Small Cell Lung Cancer.
J. Medical Imaging Health Informatics, 2020

Joint Optimization of Computation Offloading and Task Scheduling in Vehicular Edge Computing Networks.
IEEE Access, 2020

Cluster-based Cooperative Multicast for Multimedia Data Dissemination in Vehicular Networks.
Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

A Zone Routing Algorithm for Service Network.
Proceedings of the 2020 International Conference on Service Science, 2020

Reference Service Process: A Normalized Cross-Over Service Collaboration Paradigm.
Proceedings of the 2020 International Conference on Service Science, 2020

Rotation Matrix Oriented Visual Inertial Online Initialization.
Proceedings of the 2020 IEEE International Conference on Real-time Computing and Robotics, 2020

Smart Greenhouse Management System based on NB-IoT and Smartphone.
Proceedings of the 17th International Joint Conference on Computer Science and Software Engineering, 2020

GGF: A Graph-based Method for Programming Language Syntax Error Correction.
Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

Artifact-Free RFI Localization Based on Spatial Smoothing Music in Synthetic Aperture Interferometric Radiometers.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

A Wavenumber Domain Imaging Algorithm for Synthetic Aperture Interferometric Radiometry in Near-Field.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

Semantic Segmentation Based on Deeplabv3+ With Fractional-Order Image Enhancement Convolution Kernel.
Proceedings of the ICCCV'20: The 3rd International Conference on Control and Computer Vision, 2020

A Semi-quantum Group Signature Scheme Based on Bell States.
Proceedings of the Artificial Intelligence and Security - 6th International Conference, 2020

An Efficient Network Coding Scheme for Heterogeneous Wireless Networks.
Proceedings of the IEEE Global Communications Conference, 2020

An Indoor Wi-Fi Positioning Method Based on RSS Matrix Relevance.
Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

A Survey of Computation Offloading in Edge Computing.
Proceedings of the International Conference on Computer, 2020

Characterizing Triviality of the Exponent Lattice of a Polynomial Through Galois and Galois-Like Groups.
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019
Near Field Communication-based Agricultural Management Service Systems for Family Farms.
Sensors, 2019

A Novel Rotation Scheme for MEMS IMU Error Mitigation Based on a Missile-Borne Rotation Semi-Strapdown Inertial Navigation System.
Sensors, 2019

Detection of medical text semantic similarity based on convolutional neural network.
BMC Medical Informatics Decis. Mak., 2019

LHRNet: Lateral hierarchically refining network for salient object detection.
J. Intell. Fuzzy Syst., 2019

Joint communication and computing resource allocation in vehicular edge computing.
Int. J. Distributed Sens. Networks, 2019

Improving bandwidth utilization by compressing small-payload traffic for vehicular networks.
Int. J. Distributed Sens. Networks, 2019

BNNC: Improving Performance of Multipath Transmission in Heterogeneous Vehicular Networks.
IEEE Access, 2019

Real-Time Impedance Estimation for Power Line Communication.
IEEE Access, 2019

Optimized Design of an Anti-Rotation and Anti-Overload Structure Based on Missile-Borne Semi-Strap-Down Inertial Navigation System.
IEEE Access, 2019

Three-dimensional Localization of Convolutional Neural Networks Based on Domain Randomization.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019

A Dense Segmentation Network for Fine Semantic Mapping.
Proceedings of the 2019 IEEE International Conference on Robotics and Biomimetics, 2019

Rectified Encoder Network for High-Dimensional Imbalanced Learning.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Current Status and Trends in Health Informatics Research: A Bibliometric Analysis by Health Technology and Informatics.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019

An Effective Framework for Constructing Exponent Lattice Basis of Nonzero Algebraic Numbers.
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Impedance Tracking and Estimation using Power Line Communications.
Proceedings of the 2019 IEEE International Symposium on Power Line Communications and its Applications (ISPLC), 2019

Enhancing Feature Representation for Saliency Detection.
Proceedings of the Advances in Neural Networks - ISNN 2019, 2019

An Improved Recurrent Neural Network Language Model for Programming Language.
Proceedings of the International Joint Conference on Neural Networks, 2019

Delving into the Impact of Saliency Detector: A GeminiNet for Accurate Saliency Detection.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Annular Feature Pyramid Network for Salient Object Detection.
Proceedings of the Eleventh International Conference on Advanced Computational Intelligence, 2019

One-dimensional attitude control for BIT flying Robot.
Proceedings of the 2019 IEEE International Conference on Advanced Robotics and its Social Impacts, 2019

Clinical Informatics Course: Doctor of Medicine Student Perceptions.
Proceedings of the AMIA 2019, 2019

2018
Comprehensive Analysis on Heterogeneous Wireless Network in High-Speed Scenarios.
Wirel. Commun. Mob. Comput., 2018

An Adaptive Multipath Algorithm to Overcome the Unpredictability of Heterogeneous Wireless Networks for High-Speed Railway.
IEEE Trans. Veh. Technol., 2018

Optimization Design Method of a New Stabilized Platform Based on Missile-borne Semi-Strap-down Inertial Navigation System.
Sensors, 2018

SVCC-HSR: Providing Secure Vehicular Cloud Computing for Intelligent High-Speed Rail.
IEEE Netw., 2018

Reliability model of bond wire fatigue for IGBT in MMC with system redundancy consideration.
Microelectron. Reliab., 2018

Incrementally and inductively constructing basis of multiplicative dependence lattice of non-zero algebraic numbers.
CoRR, 2018

A Performance Analysis Model of TCP over Multiple Heterogeneous Paths for 5G Mobile Services.
CoRR, 2018

Improving flow delivery with link available time prediction in software-defined high-speed vehicular networks.
Comput. Networks, 2018

Congestion Game With Link Failures for Network Selection in High-Speed Vehicular Networks.
IEEE Access, 2018

Reduction of the Instrument Model Error in Aperture Synthesis Radiometers.
IEEE Access, 2018

A Bignum Network Coding Scheme for Multipath Transmission in Vehicular Networks.
Proceedings of the IEEE Global Communications Conference, 2018

Research on Hospital Operation Index Prediction Method Based on PSO-Holt-Winters Model.
Proceedings of the 2nd International Conference on Computer Science and Application Engineering, 2018

2017
Fuzzy and Utility Based Network Selection for Heterogeneous Networks in High-Speed Railway.
Wirel. Commun. Mob. Comput., 2017

Enhancing Vehicular Communication Using 5G-Enabled Smart Collaborative Networking.
IEEE Wirel. Commun., 2017

Correction: A New Quaternion-Based Kalman Filter for Real-Time Attitude Estimation Using the Two-Step Geometrically-Intuitive Correction Algorithm. <i>Sensors</i> 2017, <i>17</i>, 2146.
Sensors, 2017

A New Quaternion-Based Kalman Filter for Real-Time Attitude Estimation Using the Two-Step Geometrically-Intuitive Correction Algorithm.
Sensors, 2017

A machine learning-based framework to identify type 2 diabetes through electronic health records.
Int. J. Medical Informatics, 2017

SmartSec: A Smart Security Mechanism for the New-Flow Attack in Software-Defined Networking.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017

A Big Data Application of Machine Learning-Based Framework to Identify Type 2 Diabetes Through Electronic Health Records.
Proceedings of the Knowledge Management in Organizations - 12th International Conference, 2017

Pattern Learning Based Parallel Ant Colony Optimization.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

An improved clean algorithm for RFI mitigation in aperture synthesis radiometers.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Fast RFI localization using virtual array in synthetic aperture interferometric radiometers.
Proceedings of the 2017 IEEE International Geoscience and Remote Sensing Symposium, 2017

Dynamic multi-link scheduling for cellular networks in high-speed transportation systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Fuzzy Multi-Attribute Utility Based Network Selection Approach for High-Speed Railway Scenario.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

A Performance Analysis Model for TCP over Multiple Heterogeneous Paths in 5G Networks.
Proceedings of the 2017 IEEE Global Communications Conference, 2017

2016
End-to-end available bandwidth estimation using HybChirp.
Int. J. Comput. Sci. Eng., 2016

Modeling link quality for high-speed railway wireless networks based on hidden Markov chain.
EURASIP J. Wirel. Commun. Netw., 2016

Modeling Link Quality for High-Speed Railway Networks Based on Hidden Markov Chain.
Proceedings of the IEEE 83rd Vehicular Technology Conference, 2016

A multi-criteria value iteration algorithm for POMDP problems.
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016

Network security analyzing and modeling based on Petri net and Attack tree for SDN.
Proceedings of the 2016 International Conference on Computing, 2016

2015
Assignment of Segmented Slots Enabling Reliable Real-Time Transmission in Industrial Wireless Sensor Networks.
IEEE Trans. Ind. Electron., 2015

Emerging infectious disease: trends in the literature on SARS and H7N9 influenza.
Scientometrics, 2015

Improving QoS on high-speed vehicle by multipath transmission based on practical experiment.
Proceedings of the 2015 IEEE Vehicular Networking Conference, 2015

Tracking time-varying parameters in software systems with extended Kalman filters.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

Research on the medical Nd: YAG laser power system using LLC resonant converter.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2015

2014
Void control during plating process and thermal annealing of through-mask electroplated copper interconnects.
Microelectron. Reliab., 2014

Long-Distance Travel Behaviours Accelerate and Aggravate the Large-Scale Spatial Spreading of Infectious Diseases.
Comput. Math. Methods Medicine, 2014

Medium access protocol design for time-critical applications in wireless sensor networks.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Defending ROP Attacks Using Basic Block Level Randomization.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

A-R Exploit: An Automatic ROP Exploit Based on Long Sequence.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

AProbing: Estimating available bandwidth using ACK pair probing.
Proceedings of the International Conference on Smart Computing, 2014

Runtime Code Reuse Attacks: A Dynamic Framework Bypassing Fine-Grained Address Space Layout Randomization.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Demonstration abstract: applying industrial wireless sensor networks to welder machine system.
Proceedings of the IPSN'14, 2014

Hierarchical energy strategy of islanding microgrid based on lexicographic hierarchical method.
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

Energy management strategy of battery in isolated micro-grid based on state of charge(SOC).
Proceedings of the 7th International Conference on Biomedical Engineering and Informatics, 2014

A Software Birthmark Based on System Call and Program Data Dependence.
Proceedings of the 11th Web Information System and Application Conference, 2014

2013
Deterministic medium access mechanism for time-critical wireless sensor network applications.
Proceedings of the 24th IEEE Annual International Symposium on Personal, 2013

SPOCS : A Smarter Point of Care System for Coordinated Chronic Disease Management.
Proceedings of the MEDINFO 2013, 2013

Improving Physician Practice Efficiency by Learning Lab Test Ordering Pattern.
Proceedings of the MEDINFO 2013, 2013

A Static Recognition Mechanism for Indirect Call Based on Static Single Assignment.
Proceedings of the Pervasive Computing and the Networked World, 2013

2012
Comparison of trends in the quantity and variety of Science Citation Index (SCI) literature on human pathogens between China and the United States.
Scientometrics, 2012

Simulating City-level Airborne Infectious Diseases
CoRR, 2012

Issues of routing protocol for Wireless Industrial Sensor Networks.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

A dynamic detective method against ROP attack on ARM platform.
Proceedings of the Second International Workshop on Software Engineering for Embedded Systems, 2012

Enriching Context-Oriented Programming with Structured Context Representation.
Proceedings of the Pervasive Computing and the Networked World, 2012

Application of Belief Learning Model Based Socio-rational Secret Sharing Scheme on Cloud Storage.
Proceedings of the 2012 Sixth International Conference on Genetic and Evolutionary Computing, 2012

A routing layer sleep scheme for data gathering in wireless sensor networks.
Proceedings of IEEE International Conference on Communications, 2012

A self-configurable power control algorithm for cognitive radio-based industrial wireless sensor networks with interference constraints.
Proceedings of IEEE International Conference on Communications, 2012

The Effect of Checklist in Code Review for Inexperienced Students: An Empirical Study.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011
Integrated estimation and tracking of performance model parameters with autoregressive trends (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Tracking adaptive performance models using dynamic clustering of user classes (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Integrated estimation and tracking of performance model parameters with autoregressive trends.
Proceedings of the ICPE'11, 2011

Tracking adaptive performance models using dynamic clustering of user classes.
Proceedings of the ICPE'11, 2011

Modeling and performance analysis of DMAC for wireless sensor networks.
Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2011

Integrating preference based weighted sum into evolutionary multi-objective optimization.
Proceedings of the Seventh International Conference on Natural Computation, 2011

2010
On robustness of constrained non-linear <i>H</i><sub>∞</sub> predictive controllers with disturbances.
Int. J. Syst. Sci., 2010

Improved Gradient-Based Micro Sensor Routing Protocol with Node Sleep Scheduling in Wireless Sensor Networks.
Proceedings of the 72nd IEEE Vehicular Technology Conference, 2010

Environmental monitoring and air-conditioning automatic control with intelligent building wireless sensor network.
Proceedings of the 11th International Conference on Control, 2010

2009
A Robust Iris Localization Model Based on Phase Congruency and Least Trimmed Squares Estimation.
Proceedings of the Image Analysis and Processing, 2009

A switch agent for wireless sensor nodes with dual interfaces: Implementation and evaluation.
Proceedings of the 6th International ICST Conference on Broadband Communications, 2009

2008
Performance Model Estimation and Tracking Using Optimal Filters.
IEEE Trans. Software Eng., 2008

Membrane-Interaction Quantitative Structure-Activity Relationship (MI-QSAR) Analyses of Skin Penetration Enhancers.
J. Chem. Inf. Model., 2008

Landscape bartender: landscape generation using a cocktail analogy.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2008

Simultaneous estimation of surface photosynthetically active radiation and albedo from GOES.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

2007
QSAR Analyses of Skin Penetration Enhancers.
J. Chem. Inf. Model., 2007

ERItemManager - ein dynamisch rekonfigurierbares Webapplikationsframework.
Proceedings of the Software Engineering 2007, 2007

2006
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
J. Comput. Sci. Technol., 2006

Deriving Photosynthetically Active Radiation using GOES Visible Band Data.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2006

Service System Resource Management Based on a Tracked Layered Performance Model.
Proceedings of the 3rd International Conference on Autonomic Computing, 2006

2005
Hierarchical model-based autonomic control of software systems.
ACM SIGSOFT Softw. Eng. Notes, 2005

Fast estimation of probabilities of soft deadline misses in layered software performance models.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

The Use of Optimal Filters to Track Parameters of Performance Models.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

PMAC: An Adaptive Energy-Efficient MAC Protocol for Wireless Sensor Networks.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Distributed floor control protocols for computer collaborative applications on overlay networks.
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

2004
Duration-constrained regular expressions.
Formal Aspects Comput., 2004

2003
Interaction of Wireless TCP Schemes and Rerouting: Analytical Models and Simulation.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines.
Proceedings of the Computer Performance Evaluations, 2003

2002
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebraic Methods Program., 2002

Partial Order Path Technique for Checking Parallel Timed Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

1998
Hybrid Regular Expressions.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997
Checking Hybrid Automata for Linear Duration Invariants.
Proceedings of the Advances in Computing Science, 1997


  Loading...