Wen Su

According to our database1, Wen Su authored at least 55 papers between 2009 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Monocular Depth Estimation Using Information Exchange Network.
IEEE Trans. Intell. Transp. Syst., 2021

Facial Expression Recognition With Confidence Guided Refined Horizontal Pyramid Network.
IEEE Access, 2021

2020
Modeling of Timing Constraints in Hybrid Systems Using Event-B.
IEEE Trans. Reliab., 2020

Crowd counting with crowd attention convolutional neural network.
Neurocomputing, 2020

Weakly Supervised Local-Global Attention Network for Facial Expression Recognition.
IEEE Access, 2020

Soft Regression of Monocular Depth Using Scale-Semantic Exchange Network.
IEEE Access, 2020

Weakly Supervised Local-Global Relation Network for Facial Expression Recognition.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Simple Pose: Rethinking and Improving a Bottom-up Approach for Multi-Person Pose Estimation.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Widening residual refine edge reserved neural network for semantic segmentation.
Multim. Tools Appl., 2019

Estimating the Gerber-Shiu function in a Lévy risk model by Laguerre series expansion.
J. Comput. Appl. Math., 2019

Monocular Depth Estimation as Regression of Classification using Piled Residual Networks.
Proceedings of the 27th ACM International Conference on Multimedia, 2019

MCNE: An End-to-End Framework for Learning Multiple Conditional Network Representations of Social Network.
Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2019

Expression-identity Fusion Network for Facial Expression Recognition.
Proceedings of the IEEE International Conference on Acoustics, 2019

2018
Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

A United Approach to Learning Sparse Attributed Network Embedding.
Proceedings of the IEEE International Conference on Data Mining, 2018

Facial Expression Bilinear Encoding Model.
Proceedings of the Biometric Recognition - 13th Chinese Conference, 2018

Cyberphysical Systems: A Behind-the-Scenes Foundational View.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system.
Int. J. Softw. Tools Technol. Transf., 2017

Reducing energy consumption in serial production lines with Bernoulli reliability machines.
Int. J. Prod. Res., 2017

Widening residual skipped network for semantic segmentation.
IET Image Process., 2017

A prototype system for multilingual data discovery of International Long-Term Ecological Research (ILTER) Network data.
Ecol. Informatics, 2017

2016
A Node Localization Algorithm Based on Multi-Granularity Regional Division and the Lagrange Multiplier Method in Wireless Sensor Networks.
Sensors, 2016

Regularized fully convolutional networks for RGB-D semantic segmentation.
Proceedings of the 2016 Visual Communications and Image Processing, 2016

Depth Supporting Semantic Segmentation via Deep Neural Markov Random Field.
Proceedings of the Pattern Recognition - 7th Chinese Conference, 2016

An energy and productivity optimization model in Bernoulli serial lines.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Adding laziness in BnB-ADOPT+.
Constraints An Int. J., 2015

Formal Development of a Real-Time Operating System Memory Manager.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Color Image Segmentation Combining Rough Depth Information.
Proceedings of the Computer Vision - CCF Chinese Conference, 2015

2014
A Continuous ASM Modelling Approach to Pacemaker Sensing.
ACM Trans. Softw. Eng. Methodol., 2014

Formalizing hybrid systems with Event-B and the Rodin Platform.
Sci. Comput. Program., 2014

ASM, controller synthesis, and complete refinement.
Sci. Comput. Program., 2014

A Location Estimation Algorithm Based on RSSI Vector Similarity Degree.
Int. J. Distributed Sens. Networks, 2014

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.
Formal Aspects Comput., 2014

Optimizing Memory Access with Fast Address Computation on a MIPS Architecture.
Proceedings of the 9th IEEE International Conference on Networking, 2014

2013
The loophole of the improved secure quantum sealed-bid auction with post-confirmation and solution.
Quantum Inf. Process., 2013

An Optimized Solution for Cross-Domain System Bus Transaction Processing.
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

2012
Cache Locking for Network Processing Acceleration.
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

Complementary Methodologies for Developing Hybrid Systems with Event-B.
Proceedings of the Formal Methods and Software Engineering, 2012

Using Direct Cache Access Combined with Integrated NIC Architecture to Accelerate Network Processing.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

Address-Locking Cache: A Flexible on Chip Memory Implementation for Embedded System.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

A New Model on the School-Enterprise Cooperation Curriculum Construction.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Continuous Behaviour in Event-B: A Sketch.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Continuous ASM, and a Pacemaker Sensing Fragment.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

ASM and Controller Synthesis.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Formalizing Hybrid Systems with Event-B.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

A Context-aware Modeling Framework for Pervasive Applications.
Proceedings of the 2012 International Conference on Cloud and Service Computing, 2012

2011
Formalising the Continuous/Discrete Modeling Step
Proceedings of the Proceedings 15th International Refinement Workshop, 2011

A Processor-DMA-Based Memory Copy Hardware Accelerator.
Proceedings of the Sixth International Conference on Networking, Architecture, and Storage, 2011

From Requirements to Development: Methodology and Example.
Proceedings of the Formal Methods and Software Engineering, 2011

Formal Approaches to Mode Conversion and Positioning for Vehicle System.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Exploring the Extent and Impediments of Knowledge Sharing in Chinese Business Enterprise.
Int. J. Knowl. Manag., 2010

A multilingual metadata catalog for the ILTER: Issues and approaches.
Ecol. Informatics, 2010

Formalizing MapReduce with CSP.
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009
Modeling MapReduce with CSP.
Proceedings of the TASE 2009, 2009


  Loading...