Search results for "bow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	Nicolas H. Rasamimanana, Emmanuel Fléty, Frédéric Bevilacqua	Gesture Analysis of Violin Bow Strokes.	Gesture Workshop	2005	DBLP DOI BibTeX RDF	Bow Strokes, Violin, Augmented Instruments, Music, Gesture Analysis
132	Nicolas H. Rasamimanana, Delphine Bernardin, Marcelo M. Wanderley, Frédéric Bevilacqua	String Bowing Gestures at Varying Bow Stroke Frequencies: A Case Study.	Gesture Workshop	2007	DBLP DOI BibTeX RDF
128	Feng Wang 0036, Yu-Gang Jiang, Chong-Wah Ngo	Video event detection using motion relativity and visual relatedness.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	motion relativity, video event detection, visual relatedness
68	Antonio Camurri, Corrado Canepa, Paolo Coletta, Nicola Ferrari, Barbara Mazzarino, Gualtiero Volpe	Social active listening and making of expressive music: the interactive piece the bow is bent and drawn.	DIMEA	2008	DBLP DOI BibTeX RDF	active listening of music, expressive interfaces, full-body motion
64	Xianpei Han, Jun Zhao 0001	Named entity disambiguation by leveraging wikipedia semantic knowledge.	CIKM	2009	DBLP DOI BibTeX RDF	name ambiguity, named entity disambiguation, record linkage, semantic knowledge, coreference resolution
64	Fernando Ruiz-Rico, José Luis Vicedo González, María-Consuelo Rubio-Sánchez	MEDLINE Abstracts Classification Based on Noun Phrases Extraction.	BIOSTEC (Selected Papers)	2008	DBLP DOI BibTeX RDF	OHSUMED, Medical Subject Headings, SVM, Text classification, MEDLINE
64	Yu-Gang Jiang, Chong-Wah Ngo	Bag-of-visual-words expansion using visual relatedness for video indexing.	SIGIR	2008	DBLP DOI BibTeX RDF	visual relatedness, video indexing, expansion, bag-of-visual-words
64	Jingbo Zhu, Wenliang Chen	Improving Text Categorization Using Domain Knowledge.	NLDB	2005	DBLP DOI BibTeX RDF
60	Jonathan J. H. Zhu, Tao Meng, Zhengmao Xie, Geng Li, Xiaoming Li	A teapot graph and its hierarchical structure of the chinese web.	WWW	2008	DBLP DOI BibTeX RDF	bow tie graph, daisy graph, teapot graph, self similarity
52	Dale A. Lawrence, Lucy Y. Pao, Sutha Aphanuphong	Bow Spring/Tendon Actuation for Low Cost Haptic Interfaces.	WHC	2005	DBLP DOI BibTeX RDF
48	Lamberto Ballan, Marco Bertini 0001, Alberto Del Bimbo, Giuseppe Serra 0001	Video Event Classification Using Bag of Words and String Kernels.	ICIAP	2009	DBLP DOI BibTeX RDF	action classification, edit distance, video annotation, bag-of-words, string kernel
48	Jen-Hao Hsiao, Chu-Song Chen, Ming-Syan Chen	A Novel Language-Model-Based Approach for Image Object Mining and Re-ranking.	ICDM	2008	DBLP DOI BibTeX RDF
48	Pu Wang 0002, Carlotta Domeniconi	Building semantic kernels for text classification using wikipedia.	KDD	2008	DBLP DOI BibTeX RDF	semantic kernels, wikipedia, text classification, kernel methods
39	Bikash Ranjan Behera	Behaviour of bow-tie antenna under the influence of metamaterials and genetic algorithm: Design and modelling of bow-tie antenna with EBG structures and genetic algorithm.	ICIIS	2016	DBLP DOI BibTeX RDF
39	Margaret Schedel, Rebecca Fiebrink	A Demonstration of Bow Articulation Recognition with Wekinator and K-Bow.	ICMC	2011	DBLP BibTeX RDF
36	Renée M. B. Fountain	Conceptual enhancement via textual plurality: : a pedagogical Wiki bow towards collaborative structuration.	Int. Sym. Wikis	2007	DBLP DOI BibTeX RDF	co-elaboration, communal constructivism, intertextuality, intratextuality, collaboration, wikis, technology, higher education, concept development
36	G. S. Athwal, S. Leclaire, Randy E. Ellis, David R. Pichora	Two Bone Fragment Manipulation in Computer-Assisted Preoperative Planning: Restoration of the Radial Bow.	MICCAI (2)	2003	DBLP DOI BibTeX RDF
36	Maayan Geffet, Dror G. Feitelson	Hierarchical indexing and document matching in BoW.	JCDL	2001	DBLP DOI BibTeX RDF
32	Sebastian Göbel, Christian Geiger 0001, Christin Heinze, Dionysios Marinos	Creating a virtual archery experience.	AVI	2010	DBLP DOI BibTeX RDF	VR archery, interactive sport simulation, user experience, user centred design, 3D interaction
32	Pu Wang, Jian Hu 0001, Hua-Jun Zeng, Zheng Chen 0001	Using Wikipedia knowledge to improve text classification.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Wikipedia, Text classification, Thesaurus
32	Maya Carrillo, Esaú Villatoro-Tello, Aurelio López-López, Chris Eliasmith, Manuel Montes-y-Gómez, Luis Villaseñor Pineda	Representing Context Information for Document Retrieval.	FQAS	2009	DBLP DOI BibTeX RDF	Vector Model, Random Indexing, Holographic Reduced Representation, Information Retrieval, Context Information
32	Sungjae Hwang, Kibeom Lee, Daham Park, Woonseung Yeo	The Biolin: a current-based musical interface.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	interface design, media art, musical interface
32	Jian Hu 0001, Lujun Fang, Yang Cao, Hua-Jun Zeng, Hua Li 0001, Qiang Yang 0001, Zheng Chen 0001	Enhancing text clustering by leveraging Wikipedia semantics.	SIGIR	2008	DBLP DOI BibTeX RDF	similarity measure, Wikipedia, thesaurus, text clustering
32	Wen Pu, Ning Liu 0001, Shuicheng Yan, Jun Yan 0001, Kunqing Xie, Zheng Chen 0001	Local Word Bag Model for Text Categorization.	ICDM	2007	DBLP DOI BibTeX RDF
32	Sarah Baillie, Stephen A. Brewster, Cordelia V. Hall, John T. O'Donnell	Motion Space Reduction in a Haptic Model of Violin and Viola Bowin.	WHC	2005	DBLP DOI BibTeX RDF
32	Özgür Yilmazel, Svetlana Symonenko, Niranjan Balasubramanian, Elizabeth D. Liddy	Leveraging One-Class SVM and Semantic Analysis to Detect Anomalous Content.	ISI	2005	DBLP DOI BibTeX RDF
29	Tobias Grosshauser, Thomas Hermann 0001	Augmented Haptics - An Interactive Feedback System for Musicians.	HAID	2009	DBLP DOI BibTeX RDF	closed-loop tactile feedback, tuition, violin, bow, 3D-movement, real-time feedback, sensor
28	Duy-Dinh Le, Shin'ichi Satoh 0001	A Comprehensive Study of Feature Representations for Semantic Concept Detection.	ICSC	2011	DBLP DOI BibTeX RDF	BOW feature, TRECVID, semantic indexing, local features, semantic concept detection, global features
28	Hongwei She, Yanning Zhang, Haichao Zhang 0001, Xuegong Liu, Lin Han	Detection the River Regime Variation of the Yellow River Based on Remote Sensing Imagery.	ICIG	2009	DBLP DOI BibTeX RDF	river regime, main-stream, bow parameters, SCDT algorithm
26	Depeng Liu, Bow-Yaw Wang, Chen Fu, Lijun Zhang 0001	Model checking differentially private properties.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
26	Li-Chang Lai, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
26	Ming-Hsien Tsai 0001, Yu-Fu Fu, Jiaxiang Liu 0001, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang	CoqCryptoLine: A Verified Model Checker with Certified Results.	CAV (2)	2023	DBLP DOI BibTeX RDF
26	Ming-Hsien Tsai 0001, Yu-Fu Fu, Jiaxiang Liu 0001, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang	Certified Verification for Algebraic Abstraction.	CAV (3)	2023	DBLP DOI BibTeX RDF
26	Ruiling Chen, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.	ESEC/SIGSOFT FSE	2023	DBLP DOI BibTeX RDF
26	Chen-Kai Lin, Bow-Yaw Wang	Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores.	CoRR	2022	DBLP DOI BibTeX RDF
26	Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou 0001, Lijun Zhang 0001, Naijun Zhan	Defensive Design of Saturating Counters Based on Differential Privacy.	CoRR	2022	DBLP DOI BibTeX RDF
26	Vincent Hwang, Jiaxiang Liu 0001, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2022	DBLP DOI BibTeX RDF
26	Ming-Hsien Tsai 0001, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu 0001, Bow-Yaw Wang, Bo-Yin Yang	Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001	Verifying Pufferfish Privacy in Hidden Markov Models.	VMCAI	2022	DBLP DOI BibTeX RDF
26	Daniel Song, Eugene Wu 0003, William Song, Bow-Nan Cheng	Resource-Efficient and Power-Efficient FPGA Frequency Channelizer Using Novel Systolic Array Architectures.	MILCOM	2022	DBLP DOI BibTeX RDF
26	Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu 0001, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.	CAV (2)	2021	DBLP DOI BibTeX RDF
26	Qianshan Yu, Fei He 0001, Bow-Yaw Wang	Incremental predicate analysis for regression verification.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
26	Ivan Bow, Nahome Bete, Fareena Saqib, Wenjie Che, Chintan Patel, Ryan W. Robucci, Calvin Chan, Jim Plusquellic	Side-Channel Power Resistance for Encryption Algorithms Using Implementation Diversity.	Cryptogr.	2020	DBLP DOI BibTeX RDF
26	Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001	Verifying Pufferfish Privacy in Hidden Markov Models.	CoRR	2020	DBLP BibTeX RDF
26	Bow-Nan Cheng, Lou Berger	Dynamic Link Exchange Protocol (DLEP) Latency Range Extension.	RFC	2020	DBLP DOI BibTeX RDF
26	Nelson Chong Ngee Bow, Vu-Hoang Tran, Punchok Kerdsiri, Yuen Peng Loh, Ching-Chun Huang	DEN: Disentanglement and Enhancement Networks for Low Illumination Images.	VCIP	2020	DBLP DOI BibTeX RDF
26	Rongchen Xu, Fei He 0001, Bow-Yaw Wang	Interval counterexamples for loop invariant learning.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
26	Mohammed Al-Bow, Jeffrey Edgington, Mario Lopez, Petr Vojtechovský	Permutations in Two Dimensions that Maximally Separate Neighbors.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
26	Jin Soung Yoo, Mark Bow	A framework for generating condensed co-location sets from spatial databases.	Intell. Data Anal.	2019	DBLP DOI BibTeX RDF
26	Bow-Nan Cheng, Lou Berger	Dynamic Link Exchange Protocol (DLEP) Multi-Hop Forwarding Extension.	RFC	2019	DBLP DOI BibTeX RDF
26	Bow-Nan Cheng, David Wiggins, Lou Berger	Dynamic Link Exchange Protocol (DLEP) Control-Plane-Based Pause Extension.	RFC	2019	DBLP DOI BibTeX RDF
26	Yu-Fu Fu, Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	Signed Cryptographic Program Verification with Typed CryptoLine.	CCS	2019	DBLP DOI BibTeX RDF
26	Yongjian Li, Bow-Yaw Wang	Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation.	ICFEM	2019	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang	Synthesize Models for Quantitative Analysis Using Automata Learning.	NETYS	2019	DBLP DOI BibTeX RDF
26	Sid Chi-Kin Chau, Jiajia Xu, Wilson Bow, Khaled M. Elbassioni	Peer-to-Peer Energy Sharing: Effective Cost-Sharing Mechanisms and Social Efficiency.	e-Energy	2019	DBLP DOI BibTeX RDF
26	Andrey Ignatov, Radu Timofte, Xiaochao Qu, Xingguang Zhou, Ting Liu, Pengfei Wan, Syed Waqas Zamir, Aditya Arora, Salman H. Khan 0001, Fahad Shahbaz Khan, Ling Shao 0001, Dongwon Park, Se Young Chun, Pablo Navarrete Michelini, Hanwen Liu, Dan Zhu, Zhiwei Zhong, Xianming Liu, Junjun Jiang, Debin Zhao, Muhammad Haris 0002, Kazutoshi Akita, Tomoki Yoshida, Greg Shakhnarovich, Norimichi Ukita, Jie Liu 0042, Cheolkon Jung, Raimondo Schettini, Simone Bianco 0001, Claudio Cusano, Flavio Piccoli, Pengju Liu, Kai Zhang 0008, Jingdong Liu, Jiye Liu, Hongzhi Zhang, Wangmeng Zuo, Nelson Chong Ngee Bow, Lai-Kuan Wong, John See, Jinghui Qin, Lishan Huang, Yukai Shi, Pengxu Wei, Wushao Wen, Liang Lin, Zheng Hui, Xiumei Wang, Xinbo Gao 0001, Kanti Kumari, Vikas Kumar Anand, Mahendra Khened, Ganapathy Krishnamurthi	NTIRE 2019 Challenge on Image Enhancement: Methods and Results.	CVPR Workshops	2019	DBLP BibTeX RDF
26	Jiaxiang Liu 0001, Xiaomu Shi, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	Verifying Arithmetic in Cryptographic C Programs.	ASE	2019	DBLP DOI BibTeX RDF
26	Scott Arbiv, Rahul Amin, Tom Goff, Dow Street, Igor Pedan, Larry Bressler, Terrence Gibbons, Bow-Nan Cheng, Chayil Timmerman	Data Collection and Analysis Framework for Mobile Ad Hoc Network Research.	MILCOM	2019	DBLP DOI BibTeX RDF
26	Greg Kuperman, Jun Sun, Bow-Nan Cheng, Patricia Deutsch, Aradhana Narula-Tam	Group centric networking: A new approach for wireless multi-hop networking.	Ad Hoc Networks	2018	DBLP DOI BibTeX RDF
26	Chen-Kai Lin, Ching-Chun Huang, Bow-Yaw Wang	A Spin-based model checking for the simple concurrent program on a preemptive RTOS.	CoRR	2018	DBLP BibTeX RDF
26	Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001	Model Checking Differentially Private Properties.	APLAS	2018	DBLP DOI BibTeX RDF
26	Andy Polyakov, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk).	CONCUR	2018	DBLP DOI BibTeX RDF
26	Jeffrey Wildman, Thomas Capuano, David Wiggins, Leonid Veytser, Omar Salama, Robert H. Spaanenburg, Jason Hillger, Bow-Nan Cheng	Enhancing the Common-Modem Hardware Integrated Library (CHIL) Framework.	MILCOM	2018	DBLP DOI BibTeX RDF
26	Ryan Murphy, Ben Barnett, Landon Wagner, Jeffrey Wildman, Leonid Veytser, David Wiggins, Scott Buscemi, Tim Arganbright, Steve Clark, Bow-Nan Cheng	CHIL: Common-Modem Hardware Integrated Library.	MILCOM	2018	DBLP DOI BibTeX RDF
26	Jeffrey Wildman, Scott Moore, Leonid Veytser, Thomas Capuano, Jon Shapiro, Jason Hillger, Bow-Nan Cheng	Towards Rapid Waveform Design and Deployment via Modular Signal Processing Frameworks.	MILCOM	2018	DBLP DOI BibTeX RDF
26	Joy Na Wang, Patricia Deutsch, Scott Moore, Bow-Nan Cheng	Topology Algorithm Enhancements for Aerial High Capacity Directional Networks.	MILCOM	2018	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha 0001, Bow-Yaw Wang	An Executable Sequential Specification for Spark Aggregation.	CoRR	2017	DBLP BibTeX RDF
26	Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang	Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs.	CCS	2017	DBLP DOI BibTeX RDF
26	Hsin-Hung Lin, Bow-Yaw Wang	Releasing VDM proof obligations with SMT solvers.	MEMOCODE	2017	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha 0001, Bow-Yaw Wang	An Executable Sequential Specification for Spark Aggregation.	NETYS	2017	DBLP DOI BibTeX RDF
26	Chen Luo 0002, Fei He 0001, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang	PSpec: a formal specification language for fine-grained control on distributed data analytics.	ICSE (Companion Volume)	2017	DBLP DOI BibTeX RDF
26	Bow-Nan Cheng, Greg Kuperman, Patricia Deutsch, Logan Mercer, Aradhana Narula-Tam	Group-centric networking: addressing information sharing requirements at the tactical edge.	IEEE Commun. Mag.	2016	DBLP DOI BibTeX RDF
26	Fei He 0001, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang 0001	Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.	ACM Trans. Softw. Eng. Methodol.	2016	DBLP DOI BibTeX RDF
26	Fei He 0001, Shu Mao, Bow-Yaw Wang	Learning-Based Assume-Guarantee Regression Verification.	CAV (1)	2016	DBLP DOI BibTeX RDF
26	Patricia Deutsch, Leonid Veytser, Bow-Nan Cheng	LL SimpleWireless: A Controlled MAC/PHY Wireless Model to Enable Network Protocol Research.	WNS3	2016	DBLP DOI BibTeX RDF
26	Fang Yu 0001, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen 0001, Bow-Yaw Wang, Tevfik Bultan	Optimal sanitization synthesis for web application vulnerability repair.	ISSTA	2016	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang	PAC learning-based verification and model synthesis.	ICSE	2016	DBLP DOI BibTeX RDF
26	Scott Moore, Rahul Amin, David Ripplinger, Devanshu Mehta, Bow-Nan Cheng	Performance evaluation of a disruption tolerant network proxy for tactical edge networks.	MILCOM	2016	DBLP DOI BibTeX RDF
26	Joy Na Wang, Thomas H. Shake, Patricia Deutsch, Andrea Coyle, Bow-Nan Cheng	Topology management algorithms for large-scale aerial high capacity directional networks.	MILCOM	2016	DBLP DOI BibTeX RDF
26	Rahul Amin, Tom Goff, Bow-Nan Cheng	An evaluation of layer 2 and layer 3 routing on high capacity aerial directional links.	MILCOM	2016	DBLP DOI BibTeX RDF
26	Bow-Nan Cheng, Shari Mann, Tim Arganbright	Toward Composable Hardware Agnostic Communications Blocks - Lessons Learned.	MILCOM	2016	DBLP DOI BibTeX RDF
26	Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi	Automatically inferring loop invariants via algorithmic learning.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
26	Rahul Amin, David Ripplinger, Devanshu Mehta, Bow-Nan Cheng	Design considerations in applying disruption tolerant networking to tactical edge networks.	IEEE Commun. Mag.	2015	DBLP DOI BibTeX RDF
26	Greg Kuperman, Jun Sun, Bow-Nan Cheng, Patricia Deutsch, Aradhana Narula-Tam	Group Centric Networking: A New Approach for Wireless Multi-Hop Networking to Enable the Internet of Things.	CoRR	2015	DBLP BibTeX RDF
26	Yu-Fang Chen 0001, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang 0001	Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.	CoRR	2015	DBLP BibTeX RDF
26	Yu-Fang Chen 0001, Chiao Hsieh, Ondrej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang	PAC Learning-Based Verification and Model Synthesis.	CoRR	2015	DBLP BibTeX RDF
26	Yu-Fang Chen 0001, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang 0001	Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation.	CAV (1)	2015	DBLP DOI BibTeX RDF
26	Fei He 0001, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang 0001	Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.	POPL	2015	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Chiao Hsieh, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang	CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).	TACAS	2015	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Chih-Duo Hong, Nishant Sinha 0001, Bow-Yaw Wang	Commutativity of Reducers.	TACAS	2015	DBLP DOI BibTeX RDF
26	Joy Na Wang, Patricia Deutsch, Andrea Coyle, Thomas H. Shake, Bow-Nan Cheng	An implementation of a flexible topology management system for aerial high capacity directional networks.	MILCOM	2015	DBLP DOI BibTeX RDF
26	Bow-Nan Cheng, Randy Charland, Paul Christensen, Leonid Veytser, James Wheeler	Evaluation of a Multihop Airborne IP Backbone with Heterogeneous Radio Technologies.	IEEE Trans. Mob. Comput.	2014	DBLP DOI BibTeX RDF
26	Bow-Nan Cheng, Frederick J. Block, B. Russ Hamilton, David Ripplinger, Chayil Timmerman, Leonid Veytser, Aradhana Narula-Tam	Design considerations for next-generation airborne tactical networks.	IEEE Commun. Mag.	2014	DBLP DOI BibTeX RDF
26	Dominique Estival, Cathy Bow, John Henderson, Barbara Kelly, Mary Laughren, Elisabeth Mayer, Diego Mollá, Colette Mrowa-Hopkins, Rachel Nordlinger, Verna Rieschild, Andrea C. Schalley, Alexander W. Stanley, Jill Vaughan	Australia Loves Language Puzzles: The Australian Computational and Linguistics Olympiad (OzCLO).	Lang. Linguistics Compass	2014	DBLP DOI BibTeX RDF
26	Min Zhou 0001, Fei He 0001, Bow-Yaw Wang, Ming Gu 0001, Jiaguang Sun 0001	Array Theory of Bounded Elements and its Applications.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang	Verifying Curve25519 Software.	CCS	2014	DBLP DOI BibTeX RDF
26	Leonid Veytser, Bow-Nan Cheng	Network-coded connected dominating set relaying for airborne tactical networks.	AIRBORNE@MobiHoc	2014	DBLP DOI BibTeX RDF
26	Greg Kuperman, Lenny Veytser, Bow-Nan Cheng, Scott Moore, Aradhana Narula-Tam	A comparison of OLSR and OSPF-MDR for large-scale airborne mobile ad-hoc networks.	AIRBORNE@MobiHoc	2014	DBLP DOI BibTeX RDF
26	Yu-Fang Chen 0001, Bow-Yaw Wang, Kai-Chun Yang	Learning Summaries of Recursive Functions.	APSEC (1)	2014	DBLP DOI BibTeX RDF
26	Robert Konrad 0002, Benjamin (Russ) Hamilton, Bow-Nan Cheng	A GPU-accelerated physical layer for simulating wireless networks.	SpringSim (CNS)	2014	DBLP BibTeX RDF