Yin Wang

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis: Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discrete Event Dynamic Systems 23(2): 157-195 (2013)

Yin Wang, Guevara Noubir: Distributed Cooperation and Diversity for Hybrid Wireless Networks. IEEE Trans. Mob. Comput. 12(3): 596-608 (2013)

Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke: Practical lock/unlock pairing for concurrent programs. CGO 2013: 1-12

Yin Wang, Panos Liatsis: 3-D Quantitative Vascular Shape Analysis for Arterial Bifurcations via Dynamic Tube Fitting. IEEE Trans. Biomed. Engineering 59(7): 1850-1860 (2012)

Yin Wang, Panos Liatsis: Automatic Segmentation of Coronary Arteries in CT Imaging in the Presence of Kissing Vessel Artifacts. IEEE Transactions on Information Technology in Biomedicine 16(4): 782-788 (2012)

Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang: On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC 2012: 7230-7237

Hong Wei, Yin Wang, George Forman, Yanmin Zhu, Haibing Guan: Fast Viterbi map matching with tunable weight functions. SIGSPATIAL/GIS 2012: 613-616

Yin Wang, Yuan He, XuFei Mao, Yunhao Liu, Zhiyu Huang, Xiang-Yang Li: Exploiting constructive interference for scalable flooding in wireless networks. INFOCOM 2012: 2104-2112

Yin Wang, Gaofeng Pan, Zhiyu Huang: Direct multi-hop time synchronization with constructive interference. IPSN 2012: 115-116

Xuemei Liu, James Biagioni, Jakob Eriksson, Yin Wang, George Forman, Yanmin Zhu: Mining large-scale, sparse GPS traces for map inference: comparison of approaches. KDD 2012: 669-677

Yin Wang, R. Kent Dybvig: Register Allocation By Model Transformer Semantics. CoRR abs/1202.5539 (2012)

Yin Wang, Yuan He, Dapeng Cheng, Yunhao Liu, Xiang-Yang Li: Triggercast: Enabling Wireless Collisions Constructive. CoRR abs/1208.0664 (2012)

Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Automat. Contr. 56(8): 1818-1833 (2011)

Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke: Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC-ECE 2011: 1142-1148

Yin Wang, Qing Ge: The User's Emotional Elements Research of Mobile Network Products Development Guided by User Experience. HCI (15) 2011: 332-340

Yin Wang, Ahmed Nazeem, Ram Swaminathan: On the Optimal Petri Net Representation for Service Composition. ICWS 2011: 235-242

Xinyu Geng, Yin Wang, Jeonghwa Lee, Jun Zhang: Stabilizing block diagonal preconditioners for complex dense matrices in electromagnetics. Applied Mathematics and Computation 217(5): 1983-1990 (2010)

Yin Wang, Jun Zhang: Fast and robust sixth-order multigrid computation for the three-dimensional convection-diffusion equation. J. Computational Applied Mathematics 234(12): 3496-3506 (2010)

Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke: Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. CDC 2010: 2797-2804

Chia-Kai Liang, Yu-Ting Hsieh, Tien-Jung Chuang, Yin Wang, Ming-Fang Weng, Yung-Yu Chuang: Learning Landmarks by Exploiting Social Media. MMM 2010: 207-217

Guevara Noubir, Wei Qian, Bishal Thapa, Yin Wang: Experimentation-oriented platform for development and evaluation of MANET cross-layer protocols. Ad Hoc Networks 7(2): 443-459 (2009)

Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke: Eliminating Concurrency Bugs with Control Engineering. IEEE Computer 42(11): 52-60 (2009)

Yin Wang, Jun Zhang: Sixth order compact scheme combined with multigrid method and extrapolation technique for 2D poisson equation. J. Comput. Physics 228(1): 137-146 (2009)

Yin Wang, Xiangming Wen, Xinqi Lin, Peizhou He, Wei Zheng: A Novel Video Shot Segmentation Based on Textural Features. IAS 2009: 119-122

Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE 2009: 37-41

Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC 2009: 4971-4976

Shuo Deng, Jianming Hu, Yin Wang, Yi Zhang: Urban Road Network Modeling and Real-Time Prediction Based on Householder Transformation and Adjacent Vector. ISNN (3) 2009: 899-908

Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke: The theory of deadlock avoidance via discrete control. POPL 2009: 252-263

Yin Wang, Ke Gong, Zhaowu Chen: Theoretical Analysis of Performance Degradation Due to Phase Noise and I/Q Imbalance in MQAM-OFDM Systems. ICC 2008: 3627-3631

Aameek Singh, Sandeep Uttamchandani, Yin Wang: Evaluating the Effectiveness of Information Extraction in Real-World Storage Management. MASCOTS 2008: 21-30

Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI 2008: 281-294

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune: Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discrete Event Dynamic Systems 17(2): 233-263 (2007)

Yin Wang, Jeonghwa Lee, Jun Zhang: Frobenius norm minimization and probing for preconditioning. Int. J. Comput. Math. 84(8): 1211-1223 (2007)

Yin Wang, Terence Kelly, Stéphane Lafortune: Discrete control for safe execution of IT automation workflows. EuroSys 2007: 305-314

Yin Wang, Arif Merchant: Proportional-Share Scheduling for Distributed Storage Systems. FAST 2007: 47-60

Yin Wang, Xianlong Hong, Tong Jing, Yang Yang, Xiaodong Hu, Guiying Yan: The polygonal contraction heuristic for rectilinear Steiner tree construction. ASP-DAC 2005: 1-6

Yin Wang, Raimo Kantola, Shuping Liu: Adding Multi-Class Routing into the DiffServ Architecture. ICW/ICHSN/ICMCS/SENET 2005: 326-334

Yin Wang, Xianlong Hong, Tong Jing, Yang Yang, Xiaodong Hu, Guiying Yan: An Efficient Low-Degree RMST Algorithm for VLSI/ULSI Physical Design. PATMOS 2004: 442-452

Yin Wang, Zhiming Wu: Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms. ICRA 2003: 2159-2164

Yin Wang, Gang Rong, Shuqing Wang: Hybrid fuzzy modeling of chemical processes. Fuzzy Sets and Systems 130(2): 265-275 (2002)