|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 90 occurrences of 83 keywords
|
|
|
Results
Found 496 publication records. Showing 477 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture in Human-Computer Interaction and Simulation, 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers, pp. 145-155, 2005, Springer, 3-540-32624-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Gesture-Based Human-Computer Interaction and Simulation, 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers, pp. 216-226, 2007, Springer, 978-3-540-92864-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
128 | Feng Wang 0036, Yu-Gang Jiang, Chong-Wah Ngo |
Video event detection using motion relativity and visual relatedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 239-248, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMEA ![In: Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008, 10-12 September 2008, Athens, Greece, pp. 376-383, 2008, ACM, 978-1-60558-248-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 215-224, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSTEC (Selected Papers) ![In: Biomedical Engineering Systems and Technologies, International Joint Conference, BIOSTEC 2008, Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers, pp. 507-519, 2008, Springer, 978-3-540-92218-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 769-770, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005, Proceedings, pp. 103-113, 2005, Springer, 3-540-26031-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21-25, 2008, pp. 1133-1134, 2008, ACM, 978-1-60558-085-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHC ![In: First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, WHC 2005, Pisa, Italy, March 18-20, 2005, pp. 157-166, 2005, IEEE Computer Society, 0-7695-2310-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: Image Analysis and Processing - ICIAP 2009, 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009, Proceedings, pp. 170-178, 2009, Springer, 978-3-642-04145-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), December 15-19, 2008, Pisa, Italy, pp. 243-252, 2008, IEEE Computer Society, 978-0-7695-3502-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Pu Wang 0002, Carlotta Domeniconi |
Building semantic kernels for text classification using wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Las Vegas, Nevada, USA, August 24-27, 2008, pp. 713-721, 2008, ACM, 978-1-60558-193-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 11th International Conference on Industrial and Information Systems, ICIIS 2016, Roorkee, India, December 3-4, 2016, pp. 558-563, 2016, IEEE, 978-1-5090-3818-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
39 | Margaret Schedel, Rebecca Fiebrink |
A Demonstration of Bow Articulation Recognition with Wekinator and K-Bow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 2011 International Computer Music Conference, ICMC 2011, Huddersfield, UK, July 31 - August 5, 2011, 2011, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
36 | Renée M. B. Fountain |
Conceptual enhancement via textual plurality: : a pedagogical Wiki bow towards collaborative structuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2007 International Symposium on Wikis, 2007, Montreal, Quebec, Canada, October 21-25, 2007, pp. 43-46, 2007, ACM, 978-1-59593-861-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003, 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part II, pp. 955-956, 2003, Springer, 3-540-20464-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Maayan Geffet, Dror G. Feitelson |
Hierarchical indexing and document matching in BoW. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2001, Roanoke, Virginia, USA, June 24-28, 2001, Proceedings, pp. 259-267, 2001, ACM, 1-58113-345-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Sebastian Göbel, Christian Geiger 0001, Christin Heinze, Dionysios Marinos |
Creating a virtual archery experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the International Conference on Advanced Visual Interfaces, AVI 2010, Roma, Italy, May 26-28, 2010, pp. 337-340, 2010, ACM Press, 978-1-4503-0076-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 19(3), pp. 265-281, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings, pp. 239-250, 2009, Springer, 978-3-642-04956-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 427-428, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 179-186, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 625-630, 2007, IEEE Computer Society, 0-7695-3018-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHC ![In: First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, WHC 2005, Pisa, Italy, March 18-20, 2005, pp. 525-526, 2005, IEEE Computer Society, 0-7695-2310-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: Intelligence and Security Informatics, IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings, pp. 381-388, 2005, Springer, 3-540-25999-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Tobias Grosshauser, Thomas Hermann 0001 |
Augmented Haptics - An Interactive Feedback System for Musicians. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAID ![In: Haptic and Audio Interaction Design, 4th International Conference, HAID 200, Dresden, Germany, September 10-11, 2009, Proceedings, pp. 100-108, 2009, Springer, 978-3-642-04075-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), Palo Alto, CA, USA, September 18-21, 2011, pp. 235-238, 2011, IEEE Computer Society, 978-1-4577-1648-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIG ![In: Proceedings of the Fifth International Conference on Image and Graphics, ICIG 2009, Xi'an, Shanxi, China, 20-23 September 2009, pp. 744-748, 2009, IEEE Computer Society, 978-0-7695-3883-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 943, pp. 153-170, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1861, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, pp. 227-240, 2023, Springer, 978-3-031-37702-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (3) ![In: Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, pp. 329-349, 2023, Springer, 978-3-031-37708-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 2167-2171, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Chen-Kai Lin, Bow-Yaw Wang |
Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.07480, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.00279, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Cryptogr. Hardw. Embed. Syst. ![In: IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022(4), pp. 718-750, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1116, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001 |
Verifying Pufferfish Privacy in Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, pp. 174-196, 2022, Springer, 978-3-030-94582-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: IEEE Military Communications Conference, MILCOM 2022, Rockville, MD, USA, November 28 - December 2, 2022, pp. 735-742, 2022, IEEE, 978-1-6654-8534-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, pp. 149-171, 2021, Springer, 978-3-030-81687-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Qianshan Yu, Fei He 0001, Bow-Yaw Wang |
Incremental predicate analysis for regression verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 184:1-184:25, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptogr. ![In: Cryptogr. 4(2), pp. 13, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001 |
Verifying Pufferfish Privacy in Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.01704, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Bow-Nan Cheng, Lou Berger |
Dynamic Link Exchange Protocol (DLEP) Latency Range Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8757, pp. 1-5, March 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VCIP ![In: 2020 IEEE International Conference on Visual Communications and Image Processing, VCIP 2020, Macau, China, December 1-4, 2020, pp. 419-422, 2020, IEEE, 978-1-7281-8068-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Rongchen Xu, Fei He 0001, Bow-Yaw Wang |
Interval counterexamples for loop invariant learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 111-122, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Mohammed Al-Bow, Jeffrey Edgington, Mario Lopez, Petr Vojtechovský |
Permutations in Two Dimensions that Maximally Separate Neighbors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 26(2), pp. 2, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Jin Soung Yoo, Mark Bow |
A framework for generating condensed co-location sets from spatial databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Data Anal. ![In: Intell. Data Anal. 23(2), pp. 333-355, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Bow-Nan Cheng, Lou Berger |
Dynamic Link Exchange Protocol (DLEP) Multi-Hop Forwarding Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8629, pp. 1-10, July 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Bow-Nan Cheng, David Wiggins, Lou Berger |
Dynamic Link Exchange Protocol (DLEP) Control-Plane-Based Pause Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8651, pp. 1-12, October 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019., pp. 1591-1606, 2019, ACM, 978-1-4503-6747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Yongjian Li, Bow-Yaw Wang |
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, pp. 403-419, 2019, Springer, 978-3-030-32408-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers, pp. 75-92, 2019, Springer, 978-3-030-31276-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Energy ![In: Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019, Phoenix, AZ, USA, June 25-28, 2019., pp. 215-225, 2019, ACM, 978-1-4503-6671-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2019, Long Beach, CA, USA, June 16-20, 2019, pp. 2224-2232, 2019, Computer Vision Foundation / IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, pp. 552-564, 2019, IEEE, 978-1-7281-2508-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2019 IEEE Military Communications Conference, MILCOM 2019, Norfolk, VA, USA, November 12-14, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-4280-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ad Hoc Networks ![In: Ad Hoc Networks 79, pp. 160-172, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.04239, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Depeng Liu, Bow-Yaw Wang, Lijun Zhang 0001 |
Model Checking Differentially Private Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings, pp. 394-414, 2018, Springer, 978-3-030-02767-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 4:1-4:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2018 IEEE Military Communications Conference, MILCOM 2018, Los Angeles, CA, USA, October 29-31, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-7185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2018 IEEE Military Communications Conference, MILCOM 2018, Los Angeles, CA, USA, October 29-31, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-7185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2018 IEEE Military Communications Conference, MILCOM 2018, Los Angeles, CA, USA, October 29-31, 2018, pp. 1031-1036, 2018, IEEE, 978-1-5386-7185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2018 IEEE Military Communications Conference, MILCOM 2018, Los Angeles, CA, USA, October 29-31, 2018, pp. 273-277, 2018, IEEE, 978-1-5386-7185-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.02439, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, pp. 1973-1987, 2017, ACM, 978-1-4503-4946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Hsin-Hung Lin, Bow-Yaw Wang |
Releasing VDM proof obligations with SMT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017, pp. 132-135, 2017, ACM, 978-1-4503-5093-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, pp. 421-438, 2017, 978-3-319-59646-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, pp. 300-302, 2017, IEEE Computer Society, 978-1-5386-1589-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 54(10), pp. 145-151, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 25(3), pp. 21:1-21:39, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Fei He 0001, Shu Mao, Bow-Yaw Wang |
Learning-Based Assume-Guarantee Regression Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pp. 310-328, 2016, Springer, 978-3-319-41527-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WNS3 ![In: Proceedings of the Workshop on ns-3, WNS3 '16, Seattle, WA, USA, June 15-16, 2016, pp. 71-78, 2016, ACM, 978-1-4503-4216-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 189-200, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016, pp. 714-724, 2016, ACM, 978-1-4503-3900-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2016 IEEE Military Communications Conference, MILCOM 2016, Baltimore, MD, USA, November 1-3, 2016, pp. 964-969, 2016, IEEE, 978-1-5090-3781-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2016 IEEE Military Communications Conference, MILCOM 2016, Baltimore, MD, USA, November 1-3, 2016, pp. 343-348, 2016, IEEE, 978-1-5090-3781-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2016 IEEE Military Communications Conference, MILCOM 2016, Baltimore, MD, USA, November 1-3, 2016, pp. 331-336, 2016, IEEE, 978-1-5090-3781-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Bow-Nan Cheng, Shari Mann, Tim Arganbright |
Toward Composable Hardware Agnostic Communications Blocks - Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 2016 IEEE Military Communications Conference, MILCOM 2016, Baltimore, MD, USA, November 1-3, 2016, pp. 1149-1154, 2016, IEEE, 978-1-5090-3781-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi |
Automatically inferring loop invariants via algorithmic learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(4), pp. 892-915, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 53(10), pp. 32-38, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.08114, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.04280, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.00754, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pp. 658-674, 2015, Springer, 978-3-319-21689-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 503-514, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 426-428, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Yu-Fang Chen 0001, Chih-Duo Hong, Nishant Sinha 0001, Bow-Yaw Wang |
Commutativity of Reducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 131-146, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: 34th IEEE Military Communications Conference, MILCOM 2015, Tampa, FL, USA, October 26-28, 2015, pp. 991-996, 2015, IEEE, 978-1-5090-0073-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 13(2), pp. 299-310, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 52(5), pp. 138-145, 2014. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 8(12), pp. 659-670, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 52(4), pp. 379-405, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014, pp. 299-309, 2014, ACM, 978-1-4503-2957-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Leonid Veytser, Bow-Nan Cheng |
Network-coded connected dominating set relaying for airborne tactical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRBORNE@MobiHoc ![In: Proceedings of the third ACM workshop on Airborne networks and communications, AIRBORNE@MobiHoc 2014, Philadelphia, Pennsylvania, USA, August 11, 2014, pp. 11-16, 2014, ACM, 978-1-4503-2985-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRBORNE@MobiHoc ![In: Proceedings of the third ACM workshop on Airborne networks and communications, AIRBORNE@MobiHoc 2014, Philadelphia, Pennsylvania, USA, August 11, 2014, pp. 17-22, 2014, ACM, 978-1-4503-2985-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Yu-Fang Chen 0001, Bow-Yaw Wang, Kai-Chun Yang |
Learning Summaries of Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, pp. 303-310, 2014, IEEE Computer Society, 978-1-4799-7425-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Robert Konrad 0002, Benjamin (Russ) Hamilton, Bow-Nan Cheng |
A GPU-accelerated physical layer for simulating wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (CNS) ![In: Proceedings of the 17th Communications & Networking Symposium, part of the 2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL, USA, April 13-16, 2014, pp. 3, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 477 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ >>] |
|