Computer Science

Filter
Conference contribution

Search results

  • Conference contribution

    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 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

  • Bayesian Multi-head Convolutional Neural Networks with Bahdanau Attention for Forecasting Daily Precipitation in Climate Change Monitoring

    Gerges, F., Boufadel, M. C., Bou-Zeid, E., Darekar, A., Nassif, H. & Wang, J. T. L., 2023, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2022, Proceedings. Amini, M-R., Canu, S., Fischer, A., Guns, T., Kralj Novak, P. & Tsoumakas, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 565-580 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13717 LNAI).

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

  • 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

  • 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

  • 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

    3 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

  • Boundary detection based on neural networks model

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

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

    1 Scopus citations

  • 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

    13 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

  • 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

    8 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
    5 Scopus citations

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

    Perl, Y. & Mehta, A., Jan 1 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

  • Catching packet droppers and modifiers in wireless sensor networks

    Wang, C., Feng, T., Kim, J., Wang, G. & Zhang, W., 2009, 2009 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2009. 5168914. (2009 6th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, SECON 2009).

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

    19 Scopus citations

  • Categorization of camera captured documents based on logo identification

    Edupuganti, V. G., Shih, F. & Kompalli, S., Sep 20 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Proceedings. PART 2 ed. Vol. 6855 LNCS. p. 130-137 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6855 LNCS, no. PART 2).

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

  • CCA Updatable Encryption Against Malicious Re-encryption Attacks

    Chen, L., Li, Y. & Tang, Q., 2020, Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings. Moriai, S. & Wang, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 590-620 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12493 LNCS).

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

    5 Scopus citations

  • Cellular Network Traffic Prediction Incorporating Handover: A Graph Convolutional Approach

    Zhao, S., Jiang, X., Jacobson, G., Jana, R., Hsu, W. L., Rustamov, R., Talasila, M., Aftab, S. A., Chen, Y. & Borcea, C., Jun 2020, 2020 17th IEEE International Conference on Sensing, Communication and Networking, SECON 2020. IEEE Computer Society, 9158437. (Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks workshops).

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

    18 Scopus citations

  • Censorship resistant decentralized IoT management systems

    He, S., Tang, Q. & Wu, C. Q., Nov 5 2018, Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Mobiquitous 2018. Association for Computing Machinery, p. 454-459 6 p. (ACM International Conference Proceeding Series).

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

    4 Scopus citations

  • Challenges in predicting glioma survival time in multi-modal deep networks

    Aljouie, A., Xue, Y., Xie, M. & Roshan, U., Dec 16 2020, Proceedings - 2020 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020. Park, T., Cho, Y-R., Hu, X. T., Yoo, I., Woo, H. G., Wang, J., Facelli, J., Nam, S. & Kang, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 2558-2562 5 p. 9313512. (Proceedings - 2020 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020).

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

  • Challenging the mean time to failure: Measuring dependability as a mean failure cost

    Mili, A. & Sheldon, F., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755411. (Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS).

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

    18 Scopus citations

  • Change propagation for assessing design quality of software architectures

    Shaik, I., Abdelmoez, W., Gunnalan, R., Shereshevsky, M., Zeid, A., Ammar, H. H., Mili, A. & Fuhrman, C., Dec 1 2005, Proceedings - 5th Working IEEE/IFIP Conference on Software Architecture, WICSA 2005. Vol. 2005. p. 205-208 4 p. 1620112

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

    5 Scopus citations

  • CHARACTERIZING MEDICAL ANDROID APPS

    Samuel, R., Neamtiu, I., Rahaman, S. & Geller, J., 2022, 15th International Conference on ICT, Society and Human Beings, ICT 2022, 19th International Conference on Web Based Communities and Social Media, WBC 2022 and 14th International Conference on e-Health, EH 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022. IADIS Press, p. 155-162 8 p. (15th International Conference on ICT, Society and Human Beings, ICT 2022, 19th International Conference on Web Based Communities and Social Media, WBC 2022 and 14th International Conference on e-Health, EH 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022).

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

  • Classification of histopathology images with random depthwise convolutional neural networks

    Yang, Y., Farhat, F. G., Xue, Y., Shih, F. Y. & Roshan, U., Sep 30 2020, Proceedings of 2020 7th International Conference on Bioinformatics Research and Applications, ICBRA 2020. Association for Computing Machinery, p. 22-27 6 p. 3440072. (ACM International Conference Proceeding Series).

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

  • Clinical clarity versus terminological order - The readiness of SNOMED CT concept descriptors for primary care

    He, Z., Halper, M., Perl, Y. & Elhanan, G., 2012, MIX-HS'12 - Proceedings of the 2nd International Workshop on Managing Interoperability and Complexity in Health Systems, Co-located with CIKM 2012. p. 1-6 6 p. (International Conference on Information and Knowledge Management, Proceedings).

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

    4 Scopus citations

  • Cliptography: Post-snowden cryptography

    Tang, Q. & Yung, M., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2615-2616 2 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    11 Scopus citations

  • Cliptography: Clipping the power of kleptographic attacks

    Russell, A., Tang, Q., Yung, M. & Zhou, H. S., 2016, Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. Cheon, J. H. & Takagi, T. (eds.). Springer Verlag, p. 34-64 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10032 LNCS).

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

    Open Access
    46 Scopus citations

  • Clustering query results to support keyword search on tree data

    Aksoy, C., Dass, A., Theodoratos, D. & Wu, X., Jan 1 2014, Web-Age Information Management - 15th International Conference, WAIM 2014, Proceedings. Springer Verlag, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8485 LNCS).

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

    4 Scopus citations

  • CodeSport: Increasing Participation in Programming Using Coding Tournaments as an Alternative to Hackathons

    Lee, M. J. & Geller, J., May 9 2019, CompEd 2019 - Proceedings of the ACM Conference on Global Computing Education. Association for Computing Machinery, Inc, p. 9-15 7 p. (CompEd 2019 - Proceedings of the ACM Conference on Global Computing Education).

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

    Open Access
    1 Scopus citations

  • Cohesive keyword search on tree data

    Dimitriou, A., Theodoratos, D., Dass, A. & Vassiliou, Y., 2016, Advances in Database Technology - EDBT 2016: 19th International Conference on Extending Database Technology, Proceedings. Manolescu, I., Pitoura, E., Marian, A., Maabout, S., Tanca, L., Koutrika, G. & Stefanidis, K. (eds.). OpenProceedings.org, p. 137-148 12 p. (Advances in Database Technology - EDBT; vol. 2016-March).

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

  • Collaborated online change-point detection in sparse time series for online advertising

    Zhang, J., Wei, Z., Yan, Z. & Pani, A., Jan 5 2016, Proceedings - 15th IEEE International Conference on Data Mining, ICDM 2015. Aggarwal, C., Zhou, Z-H., Tuzhilin, A., Xiong, H. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1099-1104 6 p. 7373442. (Proceedings - IEEE International Conference on Data Mining, ICDM; vol. 2016-January).

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

    5 Scopus citations

  • Collaborative and trajectory prediction models of medical conditions by mining patients' Social Data

    Ji, X., Chun, S. A., Geller, J. & Oria, V., Dec 16 2015, Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015. Schapranow, L. M., Zhou, J., Hu, X. T., Ma, B., Rajasekaran, S., Miyano, S., Yoo, I., Pierce, B., Shehu, A., Gombar, V. K., Chen, B., Pai, V. & Huan, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 695-700 6 p. 7359771. (Proceedings - 2015 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2015).

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

    12 Scopus citations

  • Collaborative lifelogging through the integration of machine and human computation

    Ahmadi, M., Borcea, C. & Jones, Q., Mar 16 2019, Proceedings of the 24th International Conference on Intelligent User Interfaces, IUI 2019. Association for Computing Machinery, p. 23-24 2 p. (International Conference on Intelligent User Interfaces, Proceedings IUI).

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

    1 Scopus citations

  • Collaborative Offloading for Distributed Mobile-Cloud Apps

    Debnath, H., Gezzi, G., Corradi, A., Gehani, N., Ding, X., Curtmola, R. & Borcea, C., Apr 26 2018, Proceedings - 6th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2018. Institute of Electrical and Electronics Engineers Inc., p. 87-94 8 p. (Proceedings - 6th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2018; vol. 2018-January).

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

    10 Scopus citations

  • Color correction for color distorted images

    Shih, F. & Fu, Y. Y., Dec 1 2005, Proceedings of the Third IASTED International Conference on Circuits, Signals, and Systems, CSS 2005. Oklobdzija, V. G. (ed.). p. 206-211 6 p. (Proceedings of the Third IASTED International Conference on Circuits, Signals, and Systems, CSS 2005).

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

    1 Scopus citations

  • Color multi-fusion fisher vector feature for fine art painting categorization and influence analysis

    Puthenputhussery, A., Liu, Q. & Liu, C., May 23 2016, 2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016. Institute of Electrical and Electronics Engineers Inc., 7477619. (2016 IEEE Winter Conference on Applications of Computer Vision, WACV 2016).

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

    20 Scopus citations

  • Combining multi-probe histogram and order-statistics based LSH for scalable audio content retrieval

    Yu, Y., Crucianu, M., Oria, V. & Damiani, E., 2010, MM'10 - Proceedings of the ACM Multimedia 2010 International Conference. p. 381-390 10 p. (MM'10 - Proceedings of the ACM Multimedia 2010 International Conference).

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

    20 Scopus citations

  • Commit signatures for centralized version control systems

    Vaidya, S., Torres-Arias, S., Curtmola, R. & Cappos, J., 2019, ICT Systems Security and Privacy Protection - 34th IFIP TC 11 International Conference, SEC 2019, Proceedings. Dhillon, G., Karlsson, F., Hedström, K. & Zúquete, A. (eds.). Springer New York LLC, p. 359-373 15 p. (IFIP Advances in Information and Communication Technology; vol. 562).

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

    6 Scopus citations

  • Comparing Regenerative-Simulation-Based Estimators of the Distribution of the Hitting Time to a Rarely Visited Set

    Glynn, P. W., Nakayama, M. K. & Tuffin, B., Dec 14 2020, Proceedings of the 2020 Winter Simulation Conference, WSC 2020. Bae, K-H., Feng, B., Kim, S., Lazarova-Molnar, S., Zheng, Z., Roeder, T. & Thiesing, R. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 421-432 12 p. 9383896. (Proceedings - Winter Simulation Conference; vol. 2020-December).

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

    1 Scopus citations

  • Complement Sparsification: Low-Overhead Model Pruning for Federated Learning

    Jiang, X. & Borcea, C., Jun 27 2023, AAAI-23 Technical Tracks 7. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 8087-8095 9 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

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

  • Compositional knowledge management for medical services on semantic web

    Lee, Y., Patel, C., Chun, S. A. & Geller, J., May 19 2004, Proceedings of the 13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004. Association for Computing Machinery, Inc, p. 498-499 2 p. (Proceedings of the 13th International World Wide Web Conference on Alternate Track, Papers and Posters, WWW Alt. 2004).

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

    10 Scopus citations

  • Compositional knowledge management for medical services on Semantic Web

    Lee, Y., Patel, C., Chun, S. A. & Geller, J., Dec 1 2004, Thirteenth International World Wide Web Conference Proceedings, WWW2004. p. 1230-1231 2 p.

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

    6 Scopus citations

  • Compressing Geodesic Information for Fast Point-to-Point Geodesic Distance Queries

    Gotsman, C. & Hormann, K., Nov 29 2022, Proceedings - SIGGRAPH Asia 2022 Conference Papers. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, 4. (Proceedings - SIGGRAPH Asia 2022 Conference Papers).

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

  • Compression of Solar Spectroscopic Observations: A Case Study of Mg II k Spectral Line Profiles Observed by NASA's IRIS Satellite

    Sadykov, V. M., Kitiashvili, I. N., Dalda, A. S., Oria, V., Kosovichev, A. G. & Illarionov, E., Jun 28 2021, 2021 International Conference on Content-Based Multimedia Indexing, CBMI 2021. IEEE Computer Society, 9461879. (Proceedings - International Workshop on Content-Based Multimedia Indexing; vol. 2021-June).

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

    3 Scopus citations

  • Computing access relevance to support path-method generation in interoperable multi-OODB

    Mehta, A., Geller, J., Perl, Y. & Fankhauser, P., Jan 1 1993, Proceedings - RIDE-IMS 1993: 3rd International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems. Institute of Electrical and Electronics Engineers Inc., p. 144-151 8 p. 281931. (Proceedings - RIDE-IMS 1993: 3rd International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems).

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

    2 Scopus citations

  • Computing attributes of software architectures: A static method and its validation

    Derbel, I., Jilani, L. L. & Mili, A., Jan 1 2015, ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Filipe, J., Filipe, J., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 55-66 12 p. (ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering).

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

    2 Scopus citations

  • Computing closest common subexpressions for view selection problems

    Xu, W., Theodoratos, D. & Zuzarte, C., 2006, CIKM 2006 Workshop - DOLAP 2006: Ninth ACM International Workshop on Data Warehousing and OLAP. p. 75-82 8 p. (DOLAP: Proceedings of the ACM International Workshop on Data Warehousing and OLAP).

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

    8 Scopus citations

  • Computing preconditions and postconditions of while loops

    Mraihi, O., Ghardallou, W., Louhichi, A., Labed Jilani, L., Bsaies, K. & Mili, A., Sep 19 2011, Theoretical Aspects of Computing, ICTAC 2011 - 8th International Colloquium, Proceedings. p. 173-193 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6916 LNCS).

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

    10 Scopus citations

  • Computing Program Functions

    Mohammadi, H., Ghardallou, W., Linger, R. C. & Mili, A., 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. Institute of Electrical and Electronics Engineers Inc., p. 102-112 11 p. (Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022).

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

    1 Scopus citations

  • Confidence intervals for quantiles and value-at-risk when applying importance sampling

    Chu, F. & Nakayama, M. K., 2010, Proceedings of the 2010 Winter Simulation Conference, WSC'10. p. 2751-2761 11 p. 5678970. (Proceedings - Winter Simulation Conference).

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

    3 Scopus citations

  • Confidence intervals for quantiles when applying latin hypercube sampling

    Nakayama, M., Dec 1 2010, Proceedings - 2nd International Conference on Advances in System Simulation, SIMUL 2010. p. 78-81 4 p. 5601893

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

    2 Scopus citations