Xi Wu

According to our database1, Xi Wu authored at least 40 papers between 2008 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 



On csauthors.net:


Reinforcing Adversarial Robustness using Model Confidence Induced by Adversarial Training.
Proceedings of the 35th International Conference on Machine Learning, 2018

Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Objective Metrics and Gradient Descent Algorithms for Adversarial Examples in Machine Learning.
Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

Formalization and analysis of the REST architecture from the process algebra perspective.
Future Generation Comp. Syst., 2016

A Coordination Language for Databases.
Logical Methods in Computer Science, 2016

Distillation as a Defense to Adversarial Perturbations Against Deep Neural Networks.
Proceedings of the IEEE Symposium on Security and Privacy, 2016

A Methodology for Formalizing Model-Inversion Attacks.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

A New Framework for Container Code Recognition by Using Segmentation-Based and HMM-Based Approaches.
IJPRAI, 2015

A Completeness Theory for Polynomial (Turing) Kernelization.
Algorithmica, 2015

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

A Calculus for Wireless Sensor Networks from Quality Perspective.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Formalization and Verification of REST Architecture in Viewpoints.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Klaim-DB: A Modeling Language for Distributed Database Applications.
Proceedings of the Coordination Models and Languages, 2015

Uncertainty Aware Query Execution Time Prediction.
PVLDB, 2014

Investigating System Survivability from a Probabilistic Perspective.
IEICE Transactions, 2014

Formalization and Verification of REST on HTTP Using CSP.
Electr. Notes Theor. Comput. Sci., 2014

Observation-Oriented Semantics for Calculus of Wireless Systems.
Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Reasoning about Group-Based Mobility in MANETs.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Green Hierarchical Radio-over-Fiber Distributed Antenna System Based Wireless Sensor Network for Spectrum Monitoring.
Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

Modeling and verifying the Ariadne protocol using process algebra.
Comput. Sci. Inf. Syst., 2013

A Completeness Theory for Polynomial (Turing) Kernelization.
Proceedings of the Parameterized and Exact Computation - 8th International Symposium, 2013

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Deciphering chemically-induced reversible neurotoxicity by reconstructing perturbed pathways from time series microarray gene expression data.
Proceedings of the 2013 IEEE International Workshop on Genomic Signal Processing and Statistics, 2013

Linking the Semantics of BPEL Using Maude.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

Formal Modeling and Analysis of the REST Architecture Using CSP.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Weak compositions and their applications to polynomial lower bounds for kernelization.
Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms, 2012

Modeling and Verifying the Ariadne Protocol Using CSP.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

Weak Compositions and Their Applications to Polynomial Lower-Bounds for Kernelization.
Electronic Colloquium on Computational Complexity (ECCC), 2011

State Space Model with hidden variables for reconstruction of gene regulatory networks.
BMC Systems Biology, 2011

COREMU: a scalable and portable parallel full-system emulator.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Reconstruction of gene regulatory networks using state space model.
Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2011

Extended Islands of Tractability for Parsimony Haplotyping.
Proceedings of the Combinatorial Pattern Matching, 21st Annual Symposium, 2010

Control flow obfuscation with information flow tracking.
Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Optimized White Matter Fiber Reconstruction with B-Spline Curve and Evolutionary Computation.
Proceedings of the Fifth International Conference on Natural Computation, 2009

Design and Implementation of WSRF-Based GIS Service in Spatial Data Grid.
Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009

Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem.
Proceedings of the Algorithms, 2009

From Speculation to Security: Practical and Efficient Information Flow Tracking Using Speculative Hardware.
Proceedings of the 35th International Symposium on Computer Architecture (ISCA 2008), 2008

GloSDC: A Framework for a Global Spatial Data Catalog.
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2008

Development of a Grid GIS Prototype for Geospatial Data Integration.
Proceedings of the Seventh International Conference on Grid and Cooperative Computing, 2008