Computer Science

Filter
Conference contribution

Search results

  • Cascading LZW algorithm with huffman coding: A variable to variable length compression algorithm

    Perl, Y. & Mehta, A., 1991, Computing in the 1990's - 1st Great Lakes Computer Science Conference, Proceedings. Sherwani, N. A., de Doncker, E. & Kapenga, J. A. (eds.). Springer Verlag, p. 170-178 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 507 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Building applications with homomorphic encryption

    Hallman, R. A., Gama, N., Laine, K., Malozemoff, A. J., Carpov, S., Dai, W. & Polyakov, Y., Oct 15 2018, CCS 2018 - Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2160-2162 3 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    7 Scopus citations

  • Building an efficient lattice gadget toolkit: Subgaussian sampling and more

    Genise, N., Micciancio, D. & Polyakov, Y., 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Ishai, Y. & Rijmen, V. (eds.). Springer Verlag, p. 655-684 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11477 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Scopus citations

  • B-Spline Applications to Image Filtering

    Shih, F. Y. & Wu, M. Y., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 87-90 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Brain tumor classification with tumor segmentations and a dual path residual convolutional neural network from MRI and pathology images

    Xue, Y., Yang, Y., Farhat, F. G., Shih, F. Y., Boukrina, O., Barrett, A. M., Binder, J. R., Graves, W. W. & Roshan, U. W., 2020, Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries - 5th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019, Revised Selected Papers. Crimi, A. & Bakas, S. (eds.). Springer, p. 360-367 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11993 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    18 Scopus citations

  • Boundary detection based on neural networks model

    Hung, D. C. D. & Chen, K. T., 1992, Third Int Conf Tools Artif Intell. Publ by IEEE, p. 254-257 4 p. (Third Int Conf Tools Artif Intell).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Bootstrapping Trust in Community Repository Projects

    Vaidya, S., Torres-Arias, S., Cappos, J. & Curtmola, R., 2023, Security and Privacy in Communication Networks - 18th EAI International Conference, SecureComm 2022, Proceedings. Li, F., Liang, K., Lin, Z. & Katsikas, S. K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 450-469 20 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 462 LNICST).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bootstrapping in-situ workflow auto-Tuning via combining performance models of component applications

    Shu, T., Guo, Y., Wozniak, J., Ding, X., Foster, I. & Kurc, T., Nov 14 2021, Proceedings of SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis: Science and Beyond. IEEE Computer Society, (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Blog mining for the fortune 500

    Geller, J., Parikh, S. & Krishnan, S., 2007, Machine Learning and Data Mining in Pattern Recognition - 5th International Conference, MLDM 2007, Proceedings. Springer Verlag, p. 379-391 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4571 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Benchmarking and Analyzing Robust Point Cloud Recognition: Bag of Tricks for Defending Adversarial Examples

    Ji, Q., Wang, L., Shi, C., Hu, S., Chen, Y. & Sun, L., 2023, Proceedings - 2023 IEEE/CVF International Conference on Computer Vision, ICCV 2023. Institute of Electrical and Electronics Engineers Inc., p. 4272-4281 10 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Bddl: A Type System for Binary Decision Diagrams

    Lembachar, Y., Rusich, R., Neamtiu, I. & Ciardo, G., 2022, Tests and Proofs - 16th International Conference, TAP 2022, held as Part of STAF 2022, Proceedings. Kovács, L. & Meinke, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 31-47 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13361 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bandwidth scheduling with multiple variable node-disjoint paths in high-performance networks

    Hou, A., Wu, C. Q., Fang, D., Wang, Y., Wang, M., Wang, T. & Zhang, X., Jan 17 2017, 2016 IEEE 35th International Performance Computing and Communications Conference, IPCCC 2016. Institute of Electrical and Electronics Engineers Inc., 7820600. (2016 IEEE 35th International Performance Computing and Communications Conference, IPCCC 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Bandwidth scheduling with multiple fixed node-disjoint paths in high-performance networks

    Hou, A., Wu, C. Q., Fang, D., Wang, Y. & Wang, M., 2017, Quality, Reliability, Security and Robustness in Heterogeneous Networks - 12th International Conference, QShine 2016, Proceedings. Pack, S. & Lee, J.-H. (eds.). Springer Verlag, p. 86-96 11 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 199).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Bandwidth scheduling with flexible multi-paths in high-performance networks

    Zhang, X., Wu, C. Q., Zuo, L., Hou, A. & Wang, Y., Jul 13 2018, Proceedings - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2018. Institute of Electrical and Electronics Engineers Inc., p. 11-20 10 p. (Proceedings - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Bandwidth scheduling in overlay networks with linear capacity constraints

    Wu, C. Q., Oct 2 2017, INFOCOM 2017 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., 8057139. (Proceedings - IEEE INFOCOM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Bandwidth Scheduling for Big Data Transfer with Deadline Constraint between Data Centers

    Hou, A., Wu, C. Q., Fang, D., Zuo, L., Zhu, M. M., Zhang, X., Qiao, R. & Yin, X., Jul 2 2018, Proceedings of INDIS 2018: Innovating the Network for Data-Intensive Science, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 55-63 9 p. 8648791. (Proceedings of INDIS 2018: Innovating the Network for Data-Intensive Science, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Bandwidth reservation for data transfers through multiple disjoint paths of dynamic HPNs

    Zuo, L., Zhu, M., Wu, C., Hou, A. & Cao, L., Aug 2019, Proceedings - 21st IEEE International Conference on High Performance Computing and Communications, 17th IEEE International Conference on Smart City and 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019. Xiao, Z., Yang, L. T., Balaji, P., Li, T., Li, K. & Zomaya, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 2455-2460 6 p. 8855448. (Proceedings - 21st IEEE International Conference on High Performance Computing and Communications, 17th IEEE International Conference on Smart City and 5th IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • Bandwidth preemption for high-priority data transfer on dedicated channels

    Zuo, L., Wu, C. Q., Rao, N. S. V., Hou, A. & Chang, C. H., Oct 9 2018, ICCCN 2018 - 27th International Conference on Computer Communications and Networks. Institute of Electrical and Electronics Engineers Inc., 8487395. (Proceedings - International Conference on Computer Communications and Networks, ICCCN; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    6 Scopus citations

  • Balancing the tradeoff between profit and fairness in rideshare platforms during high-demand hours

    Nanda, V., Xu, P., Sankararaman, K. A., Dickerson, J. P. & Srinivasan, A., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 2210-2217 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    48 Scopus citations

  • Balanced content replication in peer-to-peer online social networks

    Khan, M. A., Debnath, H. & Borcea, C., Oct 26 2016, Proceedings - 2016 IEEE International Conferences on Big Data and Cloud Computing, BDCloud 2016, Social Computing and Networking, SocialCom 2016 and Sustainable Computing and Communications, SustainCom 2016. Cai, Z., Luo, G., Cheng, L., Angryk, R., Li, Y., Bourgeois, A., Song, W., Cao, X. & Krishnamachari, B. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 274-283 10 p. 7723704. (Proceedings - 2016 IEEE International Conferences on Big Data and Cloud Computing, BDCloud 2016, Social Computing and Networking, SocialCom 2016 and Sustainable Computing and Communications, SustainCom 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Avatar: Mobile distributed computing in the cloud

    Borcea, C., Ding, X., Gehani, N., Curtmola, R., Khan, M. A. & Debnath, H., Jun 22 2015, Proceedings - 2015 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015. Institute of Electrical and Electronics Engineers Inc., p. 151-156 6 p. 7130880. (Proceedings - 2015 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    31 Scopus citations

  • Autonomous learning of load and traffic patterns to improve cluster utilization

    Sohn, A., Kwak, H. & Chung, K., 2007, Architecture of Computing Systems - ARCS 2007: 20th International Conference, Proceedings. Springer Verlag, p. 224-239 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4415 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Autonomous learning for efficient resource utilization of dynamic VM migration

    Choi, H. W., Kwak, H., Sohn, A. & Chung, K., 2008, ICS'08 - Proceedings of the 2008 ACM International Conference on Supercomputing. p. 185-194 10 p. (Proceedings of the International Conference on Supercomputing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    35 Scopus citations

  • Automatic solar flare tracking

    Qu, M., Shih, F., Jing, J., Wang, H. & Rees, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Negoita, M. G., Howlett, R. J. & Jain, L. C. (eds.). Springer Verlag, p. 419-425 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automatic generation of ontology from the Deep Web

    Yoo, J. A., Geller, J., Wu, Y. T. & Soon, A. C., 2007, Proceedings DEXA 2007 18th International Workshop on Database and Expert Systems Applications. p. 470-474 5 p. 4312938. (Proceedings - International Workshop on Database and Expert Systems Applications, DEXA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    32 Scopus citations

  • Automatic fault location for data structures

    Singh, V., Gupta, R. & Neamtiu, I., Mar 17 2016, Proceedings of CC 2016: The 25th International Conference on Compiler Construction. Association for Computing Machinery, Inc, p. 99-109 11 p. (Proceedings of CC 2016: The 25th International Conference on Compiler Construction).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • Automatic contour segmentation for object analysis

    Hung, D. C. D. & Chen, I. R., 1992, Third Int Conf Tools Artif Intell. Publ by IEEE, p. 518-519 2 p. (Third Int Conf Tools Artif Intell).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automatically verifying and reproducing event-based races in android apps

    Hu, Y., Neamtiu, I. & Alavi, A., Jul 18 2016, ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis. Roychoudhury, A. & Zeller, A. (eds.). Association for Computing Machinery, Inc, p. 377-388 12 p. (ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    33 Scopus citations

  • Automated quantitative attributes prediction from architectural description language

    Derbel, I., Jilani, L. L. & Mili, A., 2014, ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends. Holzinger, A., Cardoso, J., Cardoso, J., Cordeiro, J., Cordeiro, J., van Sinderen, M. & Mellor, S. (eds.). SciTePress, p. 87-94 8 p. (ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • Automated fast recognition and location of arbitrarily shaped objects by image morphology.

    Shih, F. Y. & Mitchell, O. R., 1988, Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit. Publ by IEEE, p. 774-779 6 p. (Proc CVPR 88 Comput Soc Conf on Comput Vision and Pattern Recognit).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    16 Scopus citations

  • Automated Estimation of the Rate of Equivalent Mutants

    Ayad, A. & Mili, A., Dec 2020, Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020. Institute of Electrical and Electronics Engineers Inc., p. 1794-1799 6 p. 9458144. (Proceedings - 2020 International Conference on Computational Science and Computational Intelligence, CSCI 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automated Discovery of Active Motifs in Three Dimensional Molecules

    Wang, X., Wang, J. T. L., Shasha, D., Shapiro, B., Dikshitulu, S., Rigoutsos, I. & Zhang, K., 1997, Proceedings - 3rd International Conference on Knowledge Discovery and Data Mining, KDD 1997. Heckerman, D., Mannila, H., Pregibon, D. & Uthurusamy, R. (eds.). AAAI press, p. 89-95 7 p. (Proceedings - 3rd International Conference on Knowledge Discovery and Data Mining, KDD 1997).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    17 Scopus citations

  • Automated Discovery of Active Motifs in Multiple RNA Secondary Structures

    Wang, J. T. L., Shapiro, B. A., Shasha, D., Zhang, K. & Chang, C. Y., 1996, Proceedings - 2nd International Conference on Knowledge Discovery and Data Mining, KDD 1996. Simoudis, E., Han, J. & Fayyad, U. M. (eds.). AAAI press, p. 70-75 6 p. (Proceedings - 2nd International Conference on Knowledge Discovery and Data Mining, KDD 1996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations

  • Automated Diagnosis of Acne and Rosacea using Convolution Neural Networks

    Gerges, F., Shih, F. & Azar, D., Sep 24 2021, AIPR 2021 - 2021 4th International Conference on Artificial Intelligence and Pattern Recognition. Association for Computing Machinery, p. 607-613 7 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    28 Scopus citations

  • A Unified View on Graph Neural Networks as Graph Signal Denoising

    Ma, Y., Liu, X., Zhao, T., Liu, Y., Tang, J. & Shah, N., Oct 26 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1202-1211 10 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    85 Scopus citations

  • Auditing the assignments of top-level semantic types in the UMLS semantic network to UMLS concepts

    He, Z., Perl, Y., Elhanan, G., Chen, Y., Geller, J. & Bian, J., Dec 15 2017, Proceedings - 2017 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2017. Yoo, I., Zheng, J. H., Gong, Y., Hu, X. T., Shyu, C.-R., Bromberg, Y., Gao, J. & Korkin, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1262-1269 8 p. (Proceedings - 2017 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2017; vol. 2017-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    7 Scopus citations

  • Auditing of SNOMED CT's Hierarchical Structure using the National Drug File - Reference Terminology

    Zakharchenko, A. & Geller, J., 2015, Digital Healthcare Empowering Europeans - Proceedings of MIE 2015. Cornet, R., Stoicu-Tivadar, L., Cornet, R., Parra Calderon, C. L., Andersen, S. K., Horbst, A. & Hercigonja-Szekeres, M. (eds.). IOS Press, p. 130-134 5 p. (Studies in Health Technology and Informatics; vol. 210).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Auditable Compressed Storage

    Leontiadis, I. & Curtmola, R., 2019, Information Security - 22nd International Conference, ISC 2019, Proceedings. Lin, Z., Papamanthou, C. & Polychronakis, M. (eds.). Springer Verlag, p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11723 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A two-scan algorithm and architecture to a root for morphological filters

    Shih, F. Y., King, C. T. & Pu, C. C., 1990, Conference Proceedings - Annual Phoenix Conference. Publ by IEEE, p. 78-84 7 p. (Conference Proceedings - Annual Phoenix Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • A Tutorial on Quantile Estimation via Monte Carlo

    Dong, H. & Nakayama, M. K., 2020, Monte Carlo and Quasi-Monte Carlo Methods, MCQMC 2018. Tuffin, B. & L’Ecuyer, P. (eds.). Springer, p. 3-30 28 p. (Springer Proceedings in Mathematics and Statistics; vol. 324).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • Attribute Propagation Enhanced Community Detection Model for Bitcoin De-anonymizing

    Wang, J., Xie, X., Fang, Y., Lu, Y., Li, T. & Wang, G., 2020, Machine Learning for Cyber Security - Third International Conference, ML4CS 2020, Proceedings. Chen, X., Yan, H., Yan, Q. & Zhang, X. (eds.). Springer Science and Business Media Deutschland GmbH, p. 607-622 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12486 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • A tool for tree pattern matching

    Wang, J. T. L., Zhang, K., Jeong, K. & Shasha, D., 1992, Third Int Conf Tools Artif Intell. Publ by IEEE, p. 436-444 9 p. (Third Int Conf Tools Artif Intell).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations

  • Asymptotic properties of kernel density estimators when applying importance sampling

    Nakayama, M. K., 2011, Proceedings of the 2011 Winter Simulation Conference, WSC 2011. p. 556-568 13 p. 6147785. (Proceedings - Winter Simulation Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    8 Scopus citations

  • A Survey of Machine Narrative Reading Comprehension Assessments

    Sang, Y., Mou, X., Li, J., Stanton, J. & Yu, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (eds.). International Joint Conferences on Artificial Intelligence, p. 5580-5587 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    5 Scopus citations

  • A Study of GDPR Compliance under the Transparency and Consent Framework

    Smith, M., Torres-Agüero, A., Grossman, R., Sen, P., Chen, Y. & Borcea, C., May 13 2024, WWW 2024 - Proceedings of the ACM Web Conference. Association for Computing Machinery, Inc, p. 1227-1236 10 p. (WWW 2024 - Proceedings of the ACM Web Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A structural partition of the Unified Medical Language System's Semantic Network

    Chen, Z., Halper, M., Geller, J. & Perl, Y., Dec 1 2000, Proceedings of the IEEE/EMBS Region 8 International Conference on Information Technology Applications in Biomedicine, ITAB. p. 296-301 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis

    Mohammadi, H., Ghardallou, W., Brick, E. & Mili, A., 2023, Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023. Institute of Electrical and Electronics Engineers Inc., p. 845-846 2 p. (Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis

    Mohammadi, H., Ghardallou, W. & Mili, A., 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021. Institute of Electrical and Electronics Engineers Inc., p. 415-424 10 p. (Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security Companion, QRS-C 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Assessment for ontology-supported deep web search

    An, Y. J., Chun, S. A., Huang, K. C. & Geller, J., 2008, Proceedings - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008. p. 382-388 7 p. 4785094. (Proceedings - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • A source-attractor approach to network detection of radiation sources

    Wu, C. Q., Berry, M. L., Grieme, K. M., Sen, S., Rao, N. S. V., Brooks, R. R. & Cordone, G., Jul 2 2016, 2016 IEEE lnternational Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI 2016. Institute of Electrical and Electronics Engineers Inc., p. 394-399 6 p. 7849520. (IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems; vol. 0).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations