Yuchen Zhang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2024
ACX-UNet: a multi-scale lung parenchyma segmentation study with improved fusion of skip connection and circular cross-features extraction.
Signal Image Video Process., February, 2024

Joint Distribution Adaptive-Alignment for Cross-Domain Segmentation of High-Resolution Remote Sensing Images.
IEEE Trans. Geosci. Remote. Sens., 2024

Navigating Complexity: Toward Lossless Graph Condensation via Expanding Window Matching.
CoRR, 2024

Two Trades is not Baffled: Condensing Graph via Crafting Rational Gradient Matching.
CoRR, 2024

Boximator: Generating Rich and Controllable Motions for Video Synthesis.
CoRR, 2024

2023
Distance-Angle Beamforming for Covert Communications via Frequency Diverse Array: Toward Two-Dimensional Covertness.
IEEE Trans. Wirel. Commun., December, 2023

Distributed Anti-Eavesdropping Fusion Estimation Under Energy Constraints.
IEEE Trans. Autom. Control., December, 2023

Distributed zonotopic estimation for interconnected systems: A fusing overlapping states strategy.
Autom., September, 2023

Hypergraph Transformer Neural Networks.
ACM Trans. Knowl. Discov. Data, June, 2023

Guaranteeing Differential Privacy in Distributed Fusion Estimation.
IEEE Trans. Aerosp. Electron. Syst., June, 2023

Security defense decision method based on potential differential game for complex networks.
Comput. Secur., June, 2023

A survey: When moving target defense meets game theory.
Comput. Sci. Rev., May, 2023

A differential game approach for real-time security defense decision in scale-free networks.
Comput. Networks, April, 2023

Scheduling non-permutation flowshop with finite buffers and two competitive agents.
Comput. Ind. Eng., March, 2023

The prediction of molecular toxicity based on BiGRU and GraphSAGE.
Comput. Biol. Medicine, February, 2023

Light Field Compression With Graph Learning and Dictionary-Guided Sparse Coding.
IEEE Trans. Multim., 2023

A Novel Approach for Establishing the Global Ionospheric Model With High Spatiotemporal Resolution.
IEEE Trans. Geosci. Remote. Sens., 2023

Taurus MM: bringing multi-master to the cloud.
Proc. VLDB Endow., 2023

A certificateless multi-dimensional data aggregation scheme for smart grid.
J. Syst. Archit., 2023

Wide-Beam Designs for Terahertz Massive MIMO: SCA-ATP and S-SARV.
IEEE Internet Things J., 2023

Overlapping Fusion Estimation for Discrete Time-Varying Interconnected Systems.
IEEE Control. Syst. Lett., 2023

AutoEval-Video: An Automatic Benchmark for Assessing Large Vision Language Models in Open-Ended Video Question Answering.
CoRR, 2023

Make Pixels Dance: High-Dynamic Video Generation.
CoRR, 2023

Can pre-trained models assist in dataset distillation?
CoRR, 2023

Robust Transceiver Design for Covert Integrated Sensing and Communications With Imperfect CSI.
CoRR, 2023

Llama 2: Open Foundation and Fine-Tuned Chat Models.
CoRR, 2023

What Matters in Training a GPT4-Style Language Model with Multimodal Inputs?
CoRR, 2023

A Theory on Adam Instability in Large-Scale Machine Learning.
CoRR, 2023

Distributed encryption fusion estimation against full eavesdropping.
Autom., 2023

Adversarial example generation with adabelief optimizer and crop invariance.
Appl. Intell., 2023

Multivariate Cooperative Internal Mode Control of RBF Neural Network for Power System Chaos Suppression.
IEEE Access, 2023

Mining User-aware Multi-relations for Fake News Detection in Large Scale Online Social Networks.
Proceedings of the Sixteenth ACM International Conference on Web Search and Data Mining, 2023

On the Dual Nature of Necessity in Use of Rust Unsafe Code.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

ACDroid: Detecting Collusion Applications on Smart Devices.
Proceedings of the Science of Cyber Security - 5th International Conference, 2023

Weakly/Semi-supervised Left Ventricle Segmentation in 2D Echocardiography with Uncertain Region-Aware Contrastive Learning.
Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

Design and Research of Road Rescue Service Monitoring System Based on Driving Vehicles.
Proceedings of the 2023 International Conference on Power, 2023

Online Volume Optimization for Notifications via Long Short-Term Value Modeling.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

Enhancing Knowledge Transfer for Task Incremental Learning with Data-free Subnetwork.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Acute Ischemic Stroke Onset Time Classification with Dynamic Convolution and Perfusion Maps Fusion.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

InstantCopresence: A Spatial Anchor Sharing Methodology for Co-located Multiplayer Handheld and Headworn AR.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality Adjunct, 2023

Worldwide COVID-19 Topic Knowledge Graph Analysis From Social Media.
Proceedings of the International Joint Conference on Neural Networks, 2023

Analysis on the Quality of Distance and Digital Learning Service (DDLS) Based on Bibliometrics.
Proceedings of the 14th International Conference on E-business, Management and Economics, 2023

An Improved Two-Stage Network for Steel Surface Defect Detection.
Proceedings of the 9th International Conference on Computing and Artificial Intelligence, 2023

Robust Beamfocusing for FDA-Aided Near-Field Covert Communications with Uncertain Location.
Proceedings of the IEEE International Conference on Communications, 2023

Visual Information Matters for ASR Error Correction.
Proceedings of the IEEE International Conference on Acoustics, 2023

Robust Beamforming for Covert Communications Aided by Reconfigurable Dual-Functional Surface.
Proceedings of the IEEE Globecom Workshops 2023, 2023

Robust Transceiver Design for ISAC with Imperfect CSI.
Proceedings of the IEEE Global Communications Conference, 2023

Battle of the Large Language Models: Dolly vs LLaMA vs Vicuna vs Guanaco vs Bard vs ChatGPT - A Text-to-SQL Parsing Comparison.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

ROBBIE: Robust Bias Evaluation of Large Generative Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

Unsupervised Grammatical Error Correction Rivaling Supervised Methods.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

MOFA: Exploring Asymmetric Mixed Reality Design Strategy for Co-located Multiplayer Between Handheld and Head-mounted Augmented Reality.
Proceedings of the Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

NrGe-DTL: a computational framework for cancer drug response prediction based on deep transfer learning from combined denoised genomic profiles and chemical structure embedding of drugs.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

Self-supervised Distillation and Multi-scale Network for Parkinson's Disease Classification.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

EmoKnow: Emotion- and Knowledge-Oriented Model for COVID-19 Fake News Detection.
Proceedings of the Advanced Data Mining and Applications - 19th International Conference, 2023

Rethinking Masked Language Modeling for Chinese Spelling Correction.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

An Exploratory Study on Model Compression for Text-to-SQL.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022
Correction: DENSEN: a convolutional neural network for estimating chronological ages from panoramic radiographs.
BMC Bioinform., December, 2022

Revisiting Dimensionality Reduction Techniques for Visual Cluster Analysis: An Empirical Study.
IEEE Trans. Vis. Comput. Graph., 2022

Cybersecurity Threat Assessment Integrating Qualitative Differential and Evolutionary Games.
IEEE Trans. Netw. Serv. Manag., 2022

Kalman-Like Filter Under Binary Sensors.
IEEE Trans. Instrum. Meas., 2022

MIMO Control of a High-Step-Up Isolated Bidirectional DC-DC Converter.
IEEE Trans. Ind. Electron., 2022

Distributed Kalman Filtering for Interconnected Dynamic Systems.
IEEE Trans. Cybern., 2022

Sliding Mode Control of Two-Parameter Fourth-Order Chaos Model of Power System.
IEEE Trans. Circuits Syst. II Express Briefs, 2022

Distributed Confidentiality Fusion Estimation Against Eavesdroppers.
IEEE Trans. Aerosp. Electron. Syst., 2022

Few-Shot Object Detection With Self-Adaptive Global Similarity and Two-Way Foreground Stimulator in Remote Sensing Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2022

A Novel Two-Axis Differential Resonant Accelerometer Based on Graphene with Transmission Beams.
Sensors, 2022

Linear Characteristics of the Differences in Phase Tangents of Triple-Coil Electromagnetic Sensors and Their Application in Nonmagnetic Metal Classification.
Sensors, 2022

Conductivity Classification of Multi-Shape Nonmagnetic Metal Considering Spatial Position Drift Effect with a Triple-Coil Electromagnetic Sensor.
Sensors, 2022

Non-Destructive Detection of Damaged Strawberries after Impact Based on Analyzing Volatile Organic Compounds.
Sensors, 2022

The LDBC Social Network Benchmark: Business Intelligence Workload.
Proc. VLDB Endow., 2022

RNAInter v4.0: RNA interactome repository with redefined confidence scoring system and improved accessibility.
Nucleic Acids Res., 2022

The Optimal Precoded Faster-Than-Nyquist Signaling for Covert Communications.
IEEE Commun. Lett., 2022

Performance Analysis for Covert Communications Under Faster-Than-Nyquist Signaling.
IEEE Commun. Lett., 2022

LegalRelectra: Mixed-domain Language Modeling for Long-range Legal Text Comprehension.
CoRR, 2022

Decomposing the Fundamentals of Creepy Stories.
CoRR, 2022

Transfer Deep Reinforcement Learning-based Large-scale V2G Continuous Charging Coordination with Renewable Energy Sources.
CoRR, 2022

Distributed Estimation for Interconnected Systems with Arbitrary Coupling Structures.
CoRR, 2022

Gene-related Parkinson's disease diagnosis via feature-based multi-branch octave convolution network.
Comput. Biol. Medicine, 2022

Human drug-pathway association prediction based on network consistency projection.
Comput. Biol. Chem., 2022

DENSEN: a convolutional neural network for estimating chronological ages from panoramic radiographs.
BMC Bioinform., 2022

A comprehensive comparison of multilocus association methods with summary statistics in genome-wide association studies.
BMC Bioinform., 2022

Debloating Address Sanitizer.
Proceedings of the 31st USENIX Security Symposium, 2022

Learning Discriminative Representation Base on Attention for Uplift.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2022

Building Embedded Systems Like It's 1996.
Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

Traceability Method of Network Attack Based on Evolutionary Game.
Proceedings of the International Conference on Networking and Network Applications, 2022

Automatically Segment the Left Atrium and Scars from LGE-MRIs Using a Boundary-Focused nnU-Net.
Proceedings of the Left Atrial and Scar Quantification and Segmentation - First Challenge, 2022

Towards Understanding the Runtime Performance of Rust.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Stability Comparison Between AC and DC Microgrids Applying Sensitivity Analysis.
Proceedings of the IEEE PES Innovative Smart Grid Technologies - Asia, 2022

Vision-Guided Quadrupedal Locomotion in the Wild with Multi-Modal Delay Randomization.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Attention-based Graph Neural Network for the Classification of Parkinson's Disease.
Proceedings of the 26th International Conference on Pattern Recognition, 2022

Parkinson's Disease Classification with Self-supervised Learning and Attention Mechanism.
Proceedings of the 26th International Conference on Pattern Recognition, 2022

HyAlg: A Multi-algorithm Cooperation for Balancing Performance and Accuracy.
Proceedings of the 5th IEEE International Conference on Information Systems and Computer Aided Education, 2022

Friend Relation Recognization Algorithm Based on The Campus Card Consumption.
Proceedings of the 2022 11th International Conference on Computing and Pattern Recognition, 2022

ConeSSD: A Novel Policy to Optimize the Performance of HDFS Heterogeneous Storage.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

CASCADE and CREAM: Covert Communications Enhancement Based on Frequency Diverse Array.
Proceedings of the IEEE Globecom 2022 Workshops, 2022

Achieving Positive Covert Rate in Distributed Antenna System.
Proceedings of the IEEE Globecom 2022 Workshops, 2022

2021
Knitting 4D garments with elasticity controlled for body motion.
ACM Trans. Graph., 2021

Does enterprise social media usage make the employee more productive? A meta-analysis.
Telematics Informatics, 2021

The Dynamic Analysis of a Novel Reconfigurable Cubic Chaotic Map and Its Application in Finite Field.
Symmetry, 2021

Research on Point Cloud Registering Method of Tunneling Roadway Based on 3D NDT-ICP Algorithm.
Sensors, 2021

The Influence of Data Pre-processing and Post-processing on Long Document Summarization.
CoRR, 2021

Performance Analysis for Covert Communications Under Faster-than-Nyquist Signaling.
CoRR, 2021

Adversarial example generation with AdaBelief Optimizer and Crop Invariance.
CoRR, 2021

Network defense decision-making based on a stochastic game system and a deep recurrent Q-network.
Comput. Secur., 2021

An 8-layer residual U-Net with deep supervision for segmentation of the left ventricle in cardiac CT angiography.
Comput. Methods Programs Biomed., 2021

Analysis and Research on Human Movement in Sports Scene.
Comput. Intell. Neurosci., 2021

Distributed Robust Dimensionality Reduction Fusion Estimation Under DoS Attacks and Uncertain Covariances.
IEEE Access, 2021

Service Function Chain Deployment Based on Candidate Paths.
Proceedings of the International Conference on UK-China Emerging Technologies, 2021

Facilitating Parallel Fuzzing with Mutually-Exclusive Task Distribution.
Proceedings of the Security and Privacy in Communication Networks, 2021

Covert Communications under Multiple-Antenna Eavesdropping without Channel State Information.
Proceedings of the 2021 IEEE Military Communications Conference, 2021

MiniDB: A Teaching Oriented Lightweight Database.
Proceedings of the ICAIIS 2021: 2021 2nd International Conference on Artificial Intelligence and Information Systems, Chongqing, China, May 28, 2021

Summary of the typical standards of distance learning service quality evaluation in the U.S., and the UK.
Proceedings of the IC4E 2021: 12th International Conference on E-Education, E-Business, E-Management, and E-Learning, Tokyo Japan, 10, 2021

Fast Synchronization of Model Updates for Collaborative Learning in Micro-Clouds.
Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Joint Deployment Design and Power Control for UAV-enabled Covert Communications.
Proceedings of the IEEE Globecom 2021 Workshops, Madrid, Spain, December 7-11, 2021, 2021

A Model-Based Aircraft Function Analysis Method: From Operational Scenarios to Functions.
Proceedings of the 4th International Conference on Complex Systems Design & Management Asia, 2021

Value-Agnostic Conversational Semantic Parsing.
Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021

2020
Depth Estimation From Light Field Using Graph-Based Structure-Aware Analysis.
IEEE Trans. Circuits Syst. Video Technol., 2020

Dynamic Beam Hopping Method Based on Multi-Objective Deep Reinforcement Learning for Next Generation Satellite Broadband Systems.
IEEE Trans. Broadcast., 2020

Task-Oriented Dialogue as Dataflow Synthesis.
Trans. Assoc. Comput. Linguistics, 2020

A Hybrid Cyber Defense Mechanism to Mitigate the Persistent Scan and Foothold Attack.
Secur. Commun. Networks, 2020

Optimal Network Defense Strategy Selection Method Based on Evolutionary Network Game.
Secur. Commun. Networks, 2020

Attack scenario reconstruction approach using attack graph and alert data mining.
J. Inf. Secur. Appl., 2020

Fusion estimation under binary sensors.
Autom., 2020

An Intelligent Deployment Policy for Deception Resources Based on Reinforcement Learning.
IEEE Access, 2020

Modeling of Wastewater Treatment Processes Using Dynamic Bayesian Networks Based on Fuzzy PLS.
IEEE Access, 2020

Protecting Electronic Evidence with Block Chain and Secret Sharing.
Proceedings of the CIPAE 2020: 2020 International Conference on Computers, 2020

2019
Optimal Decision-Making Approach for Cyber Security Defense Using Game Theory and Intelligent Learning.
Secur. Commun. Networks, 2019

Active Defense Strategy Selection Method Based on Two-Way Signaling Game.
Secur. Commun. Networks, 2019

Design of 3D Laser Radar Based on Laser Triangulation.
KSII Trans. Internet Inf. Syst., 2019

Deep reinforcement learning-based beam Hopping algorithm in multibeam satellite systems.
IET Commun., 2019

HPC AI500: A Benchmark Suite for HPC AI Systems.
CoRR, 2019

Attack-Defense Differential Game Model for Network Defense Strategy Selection.
IEEE Access, 2019

Consumer Perceptions of Online Behavioral Advertising.
Proceedings of the 21st IEEE Conference on Business Informatics, 2019

Multi-band Digital Predistortion in IoT System with Co-prime Sampling Technique.
Proceedings of the 11th International Conference on Wireless Communications and Signal Processing, 2019

Acquiring Structured Temporal Representation via Crowdsourcing: A Feasibility Study.
Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, 2019

SMART: A Stratified Machine Reading Test.
Proceedings of the Natural Language Processing and Chinese Computing, 2019

Bounded Recursive Optimization Approach for Pose Estimation in Robotic Visual Servoing.
Proceedings of the Intelligent Robotics and Applications - 12th International Conference, 2019

Exploring Retraining-free Speech Recognition for Intra-sentential Code-switching.
Proceedings of the IEEE International Conference on Acoustics, 2019

2018
Security Metric Methods for Network Multistep Attacks Using AMC and Big Data Correlation Analysis.
Secur. Commun. Networks, 2018

Structured Interpretation of Temporal Relations.
Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

Biometric Recognition Databases: A Survey.
Proceedings of the VII International Conference on Network, Communication and Computing, 2018

Geographic Language Models for Automatic Speech Recognition.
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Neural Ranking Models for Temporal Dependency Structure Parsing.
Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31, 2018

HPC AI500: A Benchmark Suite for HPC AI Systems.
Proceedings of the Benchmarking, Measuring, and Optimizing, 2018

2017
Light Field Image Processing: An Overview.
IEEE J. Sel. Top. Signal Process., 2017

Stochastic Primal-Dual Coordinate Method for Regularized Empirical Risk Minimization.
J. Mach. Learn. Res., 2017

Dynamic Detection of Academic Team Communities Based on Temporal Coauthor Network.
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

Author Influence Spreading Prediction Based on Co-Citation Interest Similarity.
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

Classification of Lung Nodules Based on Convolutional Deep Belief Network.
Proceedings of the 10th International Symposium on Computational Intelligence and Design, 2017

2016
On Bayes Risk Lower Bounds.
J. Mach. Learn. Res., 2016

HEALER: homomorphic computation of ExAct Logistic rEgRession for secure rare disease variants analysis in GWAS.
Bioinform., 2016

An empirical study on recovering requirement-to-code links.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Multi-perspective change impact analysis using linked data of software engineering.
Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

A cost minimization with light field in scene depth MAP estimation.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

Depth map estimation with 4D light fields using confocal stereo.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2016

2015
FORESEE: Fully Outsourced secuRe gEnome Study basEd on homomorphic Encryption.
BMC Medical Informatics Decis. Mak., December, 2015

Communication-Efficient Distributed Optimization of Self-Concordant Empirical Loss.
CoRR, 2015

DiSCO: Distributed Optimization for Self-Concordant Empirical Loss.
Proceedings of the 32nd International Conference on Machine Learning, 2015

Stochastic Primal-Dual Coordinate Method for Regularized Empirical Risk Minimization.
Proceedings of the 32nd International Conference on Machine Learning, 2015

To Write not Select, a New Text Entry Method Using Joystick.
Proceedings of the Human-Computer Interaction: Interaction Technologies, 2015

Design and Realization of Cognitive Routing Resources Using Big Data Analysis in SDN.
Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

2014
Taxonomy discovery for personalized recommendation.
Proceedings of the Seventh ACM International Conference on Web Search and Data Mining, 2014

Buy one get one free: Distant annotation of Chinese tense, event type and modality.
Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

Automatic Inference of the Tense of Chinese Events Using Implicit Linguistic Information.
Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, 2014

2013
Visual preserving video retargeting with deformable shape consistency.
Proceedings of the 2013 IEEE International Conference on Multimedia and Expo, 2013

Towards Robust Linguistic Analysis using OntoNotes.
Proceedings of the Seventeenth Conference on Computational Natural Language Learning, 2013

2012
A noise-aware click model for web search.
Proceedings of the Fifth International Conference on Web Search and Web Data Mining, 2012

CoNLL-2012 Shared Task: Modeling Multilingual Unrestricted Coreference in OntoNotes.
Proceedings of the Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, 2012

2011
Characterizing search intent diversity into click models.
Proceedings of the 20th International Conference on World Wide Web, 2011

User-click modeling for understanding and predicting search-behavior.
Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

2010
Incorporating post-click behaviors into a click model.
Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

Extracting independent rules: a new perpsective of boosting.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2010

Learning click models via probit bayesian inference.
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

Explore click models for search ranking.
Proceedings of the 19th ACM Conference on Information and Knowledge Management, 2010

2009
The antimagicness of the Cartesian product of graphs.
Theor. Comput. Sci., 2009

2008
Identity-Based Threshold Key Management for Ad Hoc Networks.
Proceedings of the PACIIA 2008, 2008

Analysis of Distributed CA Model for MANETs Based on Queuing Theory.
Proceedings of the PACIIA 2008, 2008

2003
A systematic incrementalization technique and its application to hardware design.
Int. J. Softw. Tools Technol. Transf., 2003

1998
Automating Derivation of Incremental Programs.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998


  Loading...