Abu Dhabi Campus

Filter
Conference contribution

Search results

  • Conference contribution

    A Reinforcement learning method for traffic signal control at an isolated intersection with pedestrian flows

    Yin, B. & Menendez, M., 2019, CICTP 2019: Transportation in China - Connecting the World - Proceedings of the 19th COTA International Conference of Transportation Professionals. Zhang, L., Ma, J., Liu, P. & Zhang, G. (eds.). American Society of Civil Engineers (ASCE), p. 3123-3135 13 p. (CICTP 2019: Transportation in China - Connecting the World - Proceedings of the 19th COTA International Conference of Transportation Professionals).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A reliability-based optimization scheme for maintenance management in large-scale bridge networks

    Hu, X., Daganzo, C. & Madanat, S., 2015, 12th International Conference on Applications of Statistics and Probability in Civil Engineering, ICASP 2015. University of British Columbia, (12th International Conference on Applications of Statistics and Probability in Civil Engineering, ICASP 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Are Refactorings to Blame? An Empirical Study of Refactorings in Merge Conflicts

    Mahmoudi, M., Nadi, S. & Tsantalis, N., Mar 15 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 151-162 12 p. 8668012. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Review of Cyber Security Issues in Hospitality Industry

    Shabani, N. & Munir, A., 2020, Intelligent Computing - Proceedings of the 2020 Computing Conference. Arai, K., Kapoor, S. & Bhatia, R. (eds.). Springer, p. 482-493 12 p. (Advances in Intelligent Systems and Computing; vol. 1230 AISC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Are we ready for TBM tunneling automation? Two strategies to improve model performance

    Mostafa, S., Sousa, R. L., Klink, B. & Einstein, H., 2023, Expanding Underground - Knowledge and Passion to Make a Positive Impact on the World- Proceedings of the ITA-AITES World Tunnel Congress, WTC 2023. Anagnostou, G., Benardos, A. & Marinos, V. P. (eds.). CRC Press/Balkema, p. 2807-2812 6 p. (Expanding Underground - Knowledge and Passion to Make a Positive Impact on the World- Proceedings of the ITA-AITES World Tunnel Congress, WTC 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • ARGoS: A modular, multi-engine simulator for heterogeneous swarm robotics

    Pinciroli, C., Trianni, V., O'Grady, R., Pini, G., Brutschy, A., Brambilla, M., Mathews, N., Ferrante, E., Di Caro, G., Ducatelle, F., Stirling, T., Gutiérrez, Á., Gambardella, L. M. & Dorigo, M., 2011, IROS'11 - 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems: Celebrating 50 Years of Robotics. p. 5027-5034 8 p. 6048500. (IEEE International Conference on Intelligent Robots and Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A robot learns to know people-first contacts of a robot

    Holzapfel, H., Schaaf, T., Ekenel, H. K., Schaa, C. & Waibel, A., 2007, KI 2006: Advances in Artificial Intelligence - 29th Annual German Conference on AI, KI 2006, Proceedings. Springer Verlag, p. 302-316 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4314 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A robust model for paper-reviewer assignment

    Liu, X., Suel, T. & Memon, N., Oct 6 2014, RecSys 2014 - Proceedings of the 8th ACM Conference on Recommender Systems. Association for Computing Machinery, p. 25-32 8 p. (RecSys 2014 - Proceedings of the 8th ACM Conference on Recommender Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Robust Model Predictive Control Approach for Autonomous Underwater Vehicles Operating in a Constrained Workspace

    Heshmati-Alamdari, S., Karras, G. C., Marantos, P. & Kyriakopoulos, K. J., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 6183-6188 6 p. 8460918. (Proceedings - IEEE International Conference on Robotics and Automation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A robust self triggered Image Based Visual Servoing Model Predictive Control scheme for small autonomous robots

    Heshmati-Alamdari, S., Karras, G. C., Eqtami, A. & Kyriakopoulos, K. J., Dec 11 2015, IROS Hamburg 2015 - Conference Digest: IEEE/RSJ International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., p. 5492-5497 6 p. 7354155. (IEEE International Conference on Intelligent Robots and Systems; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A robust sonar servo control scheme for wall-following using an autonomous underwater vehicle

    Karras, G. C., Bechlioulis, C. P., Abdella, H. K., Larkworthy, T., Kyriakopoulos, K. & Lane, D., 2013, IROS 2013: New Horizon, Conference Digest - 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3893-3898 6 p. 6696913. (IEEE International Conference on Intelligent Robots and Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A robust visual servo control scheme with prescribed performance for an autonomous underwater vehicle

    Bechlioulis, C. P., Karras, G. C., Nagappa, S., Palomeras, N., Kyriakopoulos, K. J. & Carreras, M., 2013, IROS 2013: New Horizon, Conference Digest - 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3879-3884 6 p. 6696911. (IEEE International Conference on Intelligent Robots and Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • ArSEL: A Large Scale Arabic Sentiment and Emotion Lexicon

    Badaro, G., Jundi, H., Hajj, H., El-Hajj, W. & Habash, N., May 1 2018, Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). Al-Khalifa, H., University, K. S., Magdy, K. W., Edinburgh, U. O., Darwish, U. K., Institute, Q. C. R., Elsayed, Q. T., University, Q. & , Q. (eds.). Paris, France: European Language Resources Association (ELRA)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Artifact detection and correction in EEG data: A review

    Sadiya, S., Alhanai, T. & Ghassemi, M. M., May 4 2021, 2021 10th International IEEE/EMBS Conference on Neural Engineering, NER 2021. IEEE Computer Society, p. 495-498 4 p. 9441341. (International IEEE/EMBS Conference on Neural Engineering, NER; vol. 2021-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Artificial Intelligence-based Remote Diagnosis of Sleep Apnea using Instantaneous Heart Rates

    Panindre, P., Gandhi, V. & Kumar, S., Jan 28 2021, Proceedings of the Confluence 2021: 11th International Conference on Cloud Computing, Data Science and Engineering. Institute of Electrical and Electronics Engineers Inc., p. 169-174 6 p. 9377149. (Proceedings of the Confluence 2021: 11th International Conference on Cloud Computing, Data Science and Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Artirilmiş gerçeklik gözlükleri ile nesne tanima

    Translated title of the contribution: Object recognition on augmented reality glassesAlbayrak, M. S., Ner, A. O. & Ekenel, H. K., Apr 2019, 27th Signal Processing and Communications Applications Conference, SIU 2019. Institute of Electrical and Electronics Engineers Inc., 8806255. (27th Signal Processing and Communications Applications Conference, SIU 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Artık Tutarlılık ile Gerçek Dünya Süper Çözünürlüğü

    Translated title of the contribution: Real-World Super-Resolution with Residual ConsistencySarıtaş, E. & Ekenel, H. K., 2024, 32nd IEEE Conference on Signal Processing and Communications Applications, SIU 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (32nd IEEE Conference on Signal Processing and Communications Applications, SIU 2024 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • ArzEn-ST: A Three-way Speech Translation Corpus for Code-Switched Egyptian Arabic - English

    Hamed, I., Habash, N., Abdennadher, S. & Vu, N. T., 2022, WANLP 2022 - 7th Arabic Natural Language Processing - Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 119-130 12 p. (WANLP 2022 - 7th Arabic Natural Language Processing - Proceedings of the Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Scalable Readout IC Based on Wideband Noise Cancelling for Full-Rate Scanning of High-Density Microelectrode Arrays

    Kim, J., Shin, H., Kweon, S. J., Lee, S., Ha, S. & Je, M., 2021, 43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021. Institute of Electrical and Electronics Engineers Inc., Vol. 2021. p. 7344-7347 4 p. (Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Search for Gamma-ray Emission from Wind-Wind Interactions in Black Widow and Redback Millisecond Pulsars

    Johnson, T. ~., Ray, P. ~., Camilo, F. ~., Roberts, M. ~. ~. & Collaboration, F. L. A. T., Jan 1 2015, American Astronomical Society Meeting Abstracts 225. Vol. 225. p. 346.13 (American Astronomical Society Meeting Abstracts).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A secure biometric authentication scheme based on robust hashing

    Sutcu, Y., Sencar, H. T. & Memon, N., 2006, Proceedings of the 7th Multimedia and Security Workshop 2005, MM and Sec'05. p. 111-116 6 p. (Proceedings of the 7th Multimedia and Security Workshop 2005, MM and Sec'05; vol. 2006).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A secure design-for-test infrastructure for lifetime security of SoCs

    Backer, J., Ali, S. S., Rosenfeld, K., Hely, D., Sinanoglu, O. & Karri, R., Jul 27 2015, 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015. Institute of Electrical and Electronics Engineers Inc., p. 37-40 4 p. 7168564. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2015-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A self-adaptive extensible embedded processor

    Bauer, L., Shafique, M., Teufel, D. & Henkel, J., 2007, First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007. p. 344-347 4 p. 4274928. (First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A self-critical compositional algorithm

    Rowe, R., 1991, A self-critical compositional algorithm.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A self-healing framework for building resilient cyber-physical systems

    Ratasich, D., Hoftberger, O., Isakovic, H., Shafique, M. & Grosu, R., Jun 30 2017, Proceedings - 2017 IEEE 20th International Symposium on Real-Time Distributed Computing, ISORC 2017. Institute of Electrical and Electronics Engineers Inc., p. 133-140 8 p. 7964880. (Proceedings - 2017 IEEE 20th International Symposium on Real-Time Distributed Computing, ISORC 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Self-Powered Wireless Gas Sensor Node Based on Photovoltaic Energy Harvesting

    Hung, P. D., Park, Y., Kweon, S. J., Lee, T., Jeon, H., Koh, S. T., Cho, I., Yoon, J. B., Park, I., Kim, C., Ha, S. & Je, M., Jun 13 2021, 2021 Symposium on VLSI Circuits, VLSI Circuits 2021. Institute of Electrical and Electronics Engineers Inc., 9492499. (IEEE Symposium on VLSI Circuits, Digest of Technical Papers; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A self-triggered visual servoing model predictive control scheme for under-actuated underwater robotic vehicles

    Heshmati-Alamdari, S., Eqtami, A., Karras, G. C., Dimarogonas, D. V. & Kyriakopoulos, K. J., Sep 22 2014, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 3826-3831 6 p. 6907414. (Proceedings - IEEE International Conference on Robotics and Automation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A semi-Automated iterative process for detecting feature interactions

    Rocha, L., MacHado, I., Almeida, E., Kästner, C. & Nadi, S., Oct 21 2020, Proceedings - 34th Brazilian Symposium on Software Engineering, SBES 2020. Association for Computing Machinery, p. 778-787 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A semi-automatic deshredding method based on curve matching

    Shang, S., Sencar, H. T., Memon, N. & Kong, X., Jan 28 2014, 2014 IEEE International Conference on Image Processing, ICIP 2014. Institute of Electrical and Electronics Engineers Inc., p. 5537-5541 5 p. 7026120. (2014 IEEE International Conference on Image Processing, ICIP 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Sentiment Analysis Service Platform for Streamed Multilingual Tweets

    Karageorgou, I., Liakos, P. & Delis, A., Dec 10 2020, Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020. Wu, X., Jermaine, C., Xiong, L., Hu, X. T., Kotevska, O., Lu, S., Xu, W., Aluru, S., Zhai, C., Al-Masri, E., Chen, Z. & Saltz, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3262-3271 10 p. 9377837. (Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • ASER: Adaptive soft error resilience for reliability-heterogeneous processors in the dark silicon era

    Kriebel, F., Rehman, S., Sun, D., Shafique, M. & Henkel, J., 2014, DAC 2014 - 51st Design Automation Conference, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 2593094. (Proceedings - Design Automation Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A shortcut fusion rule for circular program calculation

    Fernandes, J. P., Pardo, A. & Saraiva, J., 2007, Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop. p. 95-106 12 p. (Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A shortest path approach for staff line detection

    Rebelo, A., Guedes, C., Capela, A., Carrapatoso, E., Pinto Da Costa, J. F. & Cardoso, J. S., 2007, Proceedings - 3rd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution, AXMEDIS 2007. p. 79-85 7 p. 4402863. (Proceedings - 3rd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution, AXMEDIS 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A Simple, Cost Effective, and Very Sensitive Alternative for Photon Emission Spectroscopy

    Rasras, M., Wolf, I. D., Groeseneken, G., Maes, H. E., Vanhaeverbeke, S. & De Pauw, P., 1997, ISTFA 1997: Conference Proceedings from the 23rd International Symposium for Testing and Failure Analysis. ASM International, p. 153-157 5 p. (Conference Proceedings from the International Symposium for Testing and Failure Analysis; vol. 1997-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Simple Acoustic-Based Method for Lens-toSample Distance Adjustment in µlIBS

    Abbasi, H., Cattin, P. C. & Zam, A., May 2020, 2020 Photonics North, PN 2020. Institute of Electrical and Electronics Engineers Inc., 9167018. (2020 Photonics North, PN 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A simple algorithmic proof of the symmetric lopsided Lovász local lemma

    Kirousis, L. & Livieratos, J., 2019, Learning and Intelligent Optimization - 12th International Conference, LION 12, Revised Selected Papers. Pardalos, P. M., Battiti, R., Brunato, M. & Kotsireas, I. (eds.). Springer Verlag, p. 49-63 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11353 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Simple and Effective Method for Online Signature Verification

    Sae-Bae, N. & Memon, N., Jan 27 2013, BIOSIG 2013 - Proceedings of the 12th International Conference of the Biometrics Special Interest Group. Bromme, A. & Busch, C. (eds.). Institute of Electrical and Electronics Engineers Inc., 6617153. (BIOSIG 2013 - Proceedings of the 12th International Conference of the Biometrics Special Interest Group).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A simple and practical solution for characterization of adhesively bonded joints in dissimilar materials

    Shahin, K. & Taheri, F., 2008, Proceedings of the ASME International Mechanical Engineering Congress and Exposition, IMECE 2007. p. 739-744 6 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A simple technique for estimating message lengths for additive noise steganography

    Jiang, M., Wong, E., Memon, N. & Wu, X., 2004, 2004 8th International Conference on Control, Automation, Robotics and Vision (ICARCV). p. 983-986 4 p. TuA4.06 - P1857. (2004 8th International Conference on Control, Automation, Robotics and Vision (ICARCV); vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A simulated annealing with ranking and selection for stochastic optimization

    Alrefaei, M. H. & Diabat, A. H., 2012, Key Engineering Materials II. p. 1335-1340 6 p. (Advanced Materials Research; vol. 488-489).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Single-Mode Dual-Path Buck-Boost Converter with Reduced Inductor Current Across All Duty Cases Achieving 95.58% Efficiency at 1A in Boost Operation

    Cho, D., Cho, H., Oh, S., Jung, Y., Ha, S., Kim, C. & Je, M., 2022, 2022 IEEE Custom Integrated Circuits Conference, CICC 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings of the Custom Integrated Circuits Conference; vol. 2022-April).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A single pressure pulse-actuated 3D-printed microfluidic tip for high throughput dispensing of C. elegans worms

    Chaturvedi, N., Baban, N. S., Sofela, S. O., Orozaliev, A., Giakoumidis, N., Kim, J., Gunsalus, K. C. & Song, Y. A., Jan 1 2018, 22nd International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2018. Chemical and Biological Microsystems Society, p. 1557-1559 3 p. (22nd International Conference on Miniaturized Systems for Chemistry and Life Sciences, MicroTAS 2018; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions

    Pearce, H., Ahmad, B., Tan, B., Dolan-Gavitt, B. & Karri, R., 2022, Proceedings - 43rd IEEE Symposium on Security and Privacy, SP 2022. Institute of Electrical and Electronics Engineers Inc., p. 754-768 15 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • A smart device for harnessing energy from aerodynamic flow fields

    Clair, D. S., Stabler, C., Daqaq, M. F., Luo, J. & Li, G., 2010, Proceedings of the ASME International Mechanical Engineering Congress and Exposition 2009, IMECE 2009. American Society of Mechanical Engineers (ASME), p. 377-381 5 p. (ASME International Mechanical Engineering Congress and Exposition, Proceedings; vol. 11).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Social-Aware Deep Learning Approach for Hate-Speech Detection

    Apostolopoulos, G. C., Liakos, P. & Delis, A., 2023, Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Proceedings. Li, B., Tao, C., Yue, L., Han, X., Calvanese, D. & Amagasa, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 536-544 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13421 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Software Defined architecture for Cyberphysical Systems

    Darabseh, A. & Freris, N. M., Jun 5 2017, 2017 4th International Conference on Software Defined Systems, SDS 2017. Institute of Electrical and Electronics Engineers Inc., p. 54-60 7 p. 7939141. (2017 4th International Conference on Software Defined Systems, SDS 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A song emotion identification system from lyrics using heterogeneous ensemble learning

    Mukherjee, H., Marciano, M., Dhar, A. & Roy, K., 2023, Conference Proceedings - 2023 IEEE Silchar Subsection Conference, SILCON 2023. Institute of Electrical and Electronics Engineers Inc., (Conference Proceedings - 2023 IEEE Silchar Subsection Conference, SILCON 2023).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A sparsity-aware approach for NBI estimation and mitigation in large cognitive radio networks

    Gouissem, A., Hamila, R., Al-Dhahir, N. & Foufou, S., Jul 2 2016, 2016 IEEE 84th Vehicular Technology Conference, VTC Fall 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 7880883. (IEEE Vehicular Technology Conference; vol. 0).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A spelling correction corpus for multiple arabic dialects

    Eryani, F., Habash, N., Bouamor, H. & Khalifa, S., 2020, LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings. Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). European Language Resources Association (ELRA), p. 4130-4138 9 p. (LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Asserting the correctness of Shor implementations using metamorphic testing

    Costa, N., Fernandes, J. P. & Abreu, R., Nov 7 2022, QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022. Pecorelli, F., Barletta, V. S. & Serrano, M. A. (eds.). Association for Computing Machinery, Inc, p. 32-36 5 p. (QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution