Search concepts
|
Selected Filters
|
- 8,250 - 8,300 out of 52,092 results
Search results
-
Conference contribution
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals. Arbitrary code execution on optical scan voting terminals
Jancewicz, R. J., Kiayias, A., Michel, L. D., Russell, A. C. & Shvartsman, A. A., 2013, 28th Annual ACM Symposium on Applied Computing, SAC 2013. p. 1816-1823 8 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Management and manipulation of text in dynamic mixed reality workspaces
Orlosky, J., Kiyokawa, K. & Takemura, H., 2013, 2013 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2013. 6671819. (2013 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2013).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Managing and achieving process integrity in SOA
Rallapalli, M., 2009, 2009 International Conference on Computer and Electrical Engineering, ICCEE 2009. p. 70-74 5 p. 5380665. (2009 International Conference on Computer and Electrical Engineering, ICCEE 2009; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Manipulation of silver nanoparticles in a droplet for label-free detection of biological molecules using surface-enhanced Raman scattering
Çulha, M., Altunbek, M., Keskin, S. & Saatçi, D., 2011, Plasmonics in Biology and Medicine VIII. 791102. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 7911).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8 Scopus citations -
Mapping IoT applications on the edge to cloud continuum with a filter stream model
Lou, S. & Agrawal, G., May 2021, Proceedings - 5th IEEE International Conference on Fog and Edge Computing, ICFEC 2021. Simmhan, Y., Varghese, B., Mashayekhy, L., Buyya, R. & Rana, O. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 61-65 5 p. 9458899. (Proceedings - 5th IEEE International Conference on Fog and Edge Computing, ICFEC 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Markov modeling of moving target defense games
Maleki, H., Valizadeh, S., Koch, W., Bestavros, A. & Van Dijk, M., Oct 24 2016, MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016. Association for Computing Machinery, Inc, p. 81-92 12 p. (MTD 2016 - Proceedings of the 2016 ACM Workshop on Moving Target Defense, co-located with CCS 2016).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access71 Scopus citations -
M-ary based Spectrum Sensing Approach for Cognitive Radio under Different Fading Channels
Singh, J. S. P., Singh, R., Kumar, G., Singh, P. & Kim, T. H., Nov 2019, 2019 5th International Conference on Image Information Processing, ICIIP 2019. Gupta, P. K., Gandotra, E., Tyagi, V., Ghrera, S. P. & Sehgal, V. K. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 408-413 6 p. 8985700. (Proceedings of the IEEE International Conference Image Information Processing; vol. 2019-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
MATE-CG: A MapReduce-like framework for accelerating data-intensive computations on heterogeneous clusters
Jiang, W. & Agrawal, G., 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012. p. 644-655 12 p. 6267866. (Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
26 Scopus citations -
Measuring and characterizing IPv6 router availability
Beverly, R., Luckie, M., Mosley, L. & Claffy, K., 2015, Passive and Active Measurement - 16th International Conference, PAM 2015, Proceedings. Liu, Y. & Mirkovic, J. (eds.). Springer Verlag, p. 123-135 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8995).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9 Scopus citations -
Measuring the impact of adversarial errors on packet scheduling strategies
Anta, A. F., Georgiou, C., Kowalski, D. R., Widmer, J. & Zavou, E., 2013, Structural Information and Communication Complexity - 20th International Colloquium, SIROCCO 2013, Revised Selected Papers. p. 261-273 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8179 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Mechanism-based clustering of genome-wide RNA levels: Roles of transcription and transcript-degradation rates
Ji, S., Chaovalitwongse, W. A., Fefferman, N., Yoo, W. & Perez-Ortin, J. E., Dec 1 2013, Clustering Challenges in Biological Networks. p. 237-255 19 p. (Clustering Challenges in Biological Networks).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Medical Ultrasound Imaging
Duffy, D., Edwards, D., Emmanuel, B., Fessel, K., Hu, L., Moore, R., Please, C., Schwendeman, D., Seal, S., Song, Y. & Yang, H., Jun 2010, Proceedings of the Twenty-Sixth Workshop on Mathematical Problems in Industry . 42 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Medium access control for adversarial channels with jamming
Anantharamu, L., Chlebus, B. S., Kowalski, D. R. & Rokicki, M. A., Aug 10 2011, Structural Information and Communication Complexity - 18th International Colloquium, SIROCCO 2011, Proceedings. p. 89-100 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6796 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
32 Scopus citations -
Meeting the deadline: On the complexity of fault-tolerant Continuous Gossip
Georgiou, C., Gilbert, S. & Kowalski, D. R., 2010, PODC'10 - Proceedings of the 2010 ACM Symposium on Principles of Distributed Computing. p. 247-256 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8 Scopus citations -
Memory efficient anonymous graph exploration
Ga̧sieniec, L. & Radzik, T., 2008, Graph-Theoretic Concepts in Computer Science - 34th International Workshop, WG 2008, Revised Papers. p. 14-29 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5344 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
28 Scopus citations -
Meta-analysis to study the impact of learning engagement strategies in introductory computer programming courses: A multi-institutional study
Ramasamy, V., Narasareddygari, M. R., Walia, G., Allen, A., Duke, D., Kiper, J. & Davis, D., Apr 15 2021, Proceedings of the 2021 ACMSE Conference - ACMSE 2021: The Annual ACM Southeast Conference. Association for Computing Machinery, Inc, p. 40-46 7 p. (Proceedings of the 2021 ACMSE Conference - ACMSE 2021: The Annual ACM Southeast Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Methods and techniques to identify security incidents using domain knowledge and contextual information
AlEroud, A. & Karabatis, G., Jul 20 2017, Proceedings of the IM 2017 - 2017 IFIP/IEEE International Symposium on Integrated Network and Service Management. Chemouil, P., Simoes, P., Madeira, E., Secci, S., Monteiro, E., Gaspary, L. P., dos Santos, C. R. P. & Charalambides, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1040-1045 6 p. 7987435. (Proceedings of the IM 2017 - 2017 IFIP/IEEE International Symposium on Integrated Network and Service Management).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Military Medical Department Research Centers
Wood, J., Klote, M. M., Tung, H. L., Stachura, M. E., Astapova, E. V., Sofge, D. A., Grayson, J. & Lawless, W. F., Dec 1 2010, ENTERprise Information Systems - International Conference, CENTERIS 2010, Proceedings. PART 2 ed. p. 109-118 10 p. (Communications in Computer and Information Science; vol. 110 CCIS, no. PART 2).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Military to private sector technology transfer: A research agenda
Franza, R. M., Jan 1 1997, Innovation in Technology Management - The Key to Global Leadership, PICMET 1997: Portland International Conference on Management and Technology. Institute of Electrical and Electronics Engineers Inc., p. 928-930 3 p. 653713Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Minimizing congestion of layouts for ATM networks with faulty links
Gasieniec, L., Kranakis, E., Krizanc, D. & Pelc, A., 1996, Mathematical Foundations of Computer Science 1996 - 21st International Symposium, MFCS 1996, Proceedings. Penczek, W. & Szalas, A. (eds.). Springer Verlag, p. 372-381 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1113).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Scopus citations -
Minimizing Cost in IaaS Clouds Via Scheduled Instance Reservation
Wang, Q., Tan, M. M., Tang, X. & Cai, W., Jul 13 2017, Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. Lee, K. & Liu, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1565-1574 10 p. 7980094. (Proceedings - International Conference on Distributed Computing Systems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12 Scopus citations -
Mitigating Large Response Time Fluctuations through Fast Concurrency Adapting in Clouds
Liu, J., Zhang, S., Wang, Q. & Wei, J., May 2020, Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020. Institute of Electrical and Electronics Engineers Inc., p. 368-377 10 p. 9139832. (Proceedings - 2020 IEEE 34th International Parallel and Distributed Processing Symposium, IPDPS 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Mmwave wireless backhaul scheduling of stochastic packet arrivals
Garncarek, P., Jurdzinski, T., Kowalski, D. R. & Mosteiro, M. A., May 2019, Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019. Institute of Electrical and Electronics Engineers Inc., p. 708-717 10 p. 8820979. (Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium, IPDPS 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Mobile and connected device security considerations: A dilemma for small and medium enterprise business mobility?
Harris, M., Patten, K., Regan, E. & Fjermestad, J., Dec 1 2012, 18th Americas Conference on Information Systems 2012, AMCIS 2012. p. 1677-1683 7 p. (18th Americas Conference on Information Systems 2012, AMCIS 2012; vol. 3).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12 Scopus citations -
Mobile application installation influences: Have mobile device users become desensitized to excessive permission requests?
Harris, M. A., Brookshire, R., Patten, K. P. & Regan, E. A., Jan 1 2015, 2015 Americas Conference on Information Systems, AMCIS 2015. Americas Conference on Information Systems, (2015 Americas Conference on Information Systems, AMCIS 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
11 Scopus citations -
Model and program repair via SAT solving
Attie, P., Cherri, A., Dak Al Bab, K., Sakr, M. & Saklawi, J., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 148-157 10 p. 7340481. (2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Scopus citations -
Model-based diagnosis with FTTell: Assessing the potential for pediatric failure to thrive (FTT) during the perinatal stage
Levi-Soskin, N., Shaoul, R., Kohen, H., Jbara, A. & Dori, D., 2019, Information Systems: Research, Development, Applications, Education - 12th SIGSAND/PLAIS EuroSymposium 2019, Proceedings. Wrycza, S. & Maslankowski, J. (eds.). Springer Verlag, p. 37-47 11 p. (Lecture Notes in Business Information Processing; vol. 359).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Model-based systems engineering for aircraft design with dynamic landing constraints using object-process methodology
Li, L., Soskin, N. L., Jbara, A., Karpel, M. & Dori, D., 2019, AIAA Scitech 2019 Forum. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Scitech 2019 Forum).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Model checking tap withdrawal in c. Elegans
Islam, M. A., De Francisco, R., Fan, C., Grosu, R., Mitra, S. & Smolka, S. A., 2015, Hybrid Systems Biology - 4th International Workshop, HSB 2015, Revised Selected Papers. Abate, A. & Šafránek, D. (eds.). Springer Verlag, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9271).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Modeling 4D FMRI data via spatio-temporal convolutional neural networks (ST-CNN)
Zhao, Y., Li, X., Zhang, W., Zhao, S., Makkie, M., Zhang, M., Li, Q. & Liu, T., 2018, Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 - 21st International Conference, 2018, Proceedings. Frangi, A. F., Davatzikos, C., Fichtinger, G., Alberola-López, C. & Schnabel, J. A. (eds.). Springer Verlag, p. 181-189 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11072 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
22 Scopus citations -
Modeling and Simulating Reconfigurable Networked Service Composites
Ezenwoye, O., Sadjadi, S. M. & Wang, W., Aug 17 2015, Proceedings - 2015 IEEE International Conference on Services Computing, SCC 2015. Chou, W., Maglio, P. P. & Paik, I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 765-768 4 p. 7207428. (Proceedings - 2015 IEEE International Conference on Services Computing, SCC 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Modeling functional dynamics of cortical gyri and sulci
Jiang, X., Li, X., Lv, J., Zhao, S., Zhang, S., Zhang, W., Zhang, T. & Liu, T., 2016, Medical Image Computing and Computer-Assisted Intervention - MICCAI 2016 - 19th International Conference, Proceedings. Ourselin, S., Joskowicz, L., Sabuncu, M. R., Wells, W. & Unal, G. (eds.). Springer Verlag, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9900 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Modeling hierarchical spatial and temporal patterns of naturalistic fmri volume via volumetric deep belief network with neural architecture search
Ren, Y., Tao, Z., Zhang, W. & Liu, T., Apr 13 2021, 2021 IEEE 18th International Symposium on Biomedical Imaging, ISBI 2021. IEEE Computer Society, p. 130-134 5 p. 9433811. (Proceedings - International Symposium on Biomedical Imaging; vol. 2021-April).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Modeling of temperature in orthopaedic drilling using fuzzy logic
Pandey, R. K. & Panda, S. S., 2013, Applied Mechanics and Mechanical Engineering III. Vol. 249-250. p. 1313-1318 6 p. (Applied Mechanics and Materials; vol. 249-250).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Modeling resting state fMRI data via longitudinal supervised stochastic coordinate coding
Zhang, W., Lv, J., Zhang, S., Zhao, Y. & Liu, T., May 23 2018, 2018 IEEE 15th International Symposium on Biomedical Imaging, ISBI 2018. IEEE Computer Society, p. 127-131 5 p. (Proceedings - International Symposium on Biomedical Imaging; vol. 2018-April).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Moha: A composable system for efficient in-situ analytics on heterogeneous hpc systems
Xing, H., Agrawal, G. & Ramnath, R., Nov 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society, 9355207. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC; vol. 2020-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Molecular imaging with targeted contrast agents and high frequency ultrasound
Van Wamel, A., Celebi, M., Hossack, J. A., Backer, J. M., Backer, M. V., Ley, K., De Jong, N. & Klibanov, A. L., 2007, 2007 IEEE Ultrasonics Symposium Proceedings, IUS. p. 961-964 4 p. 4409818. (Proceedings - IEEE Ultrasonics Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Scopus citations -
Momentum measure for quantifying dendritic cell movement
Crockett, C., Orrico, E., McArdle, S., Ley, K. & Acton, S. T., Feb 26 2016, Conference Record of the 49th Asilomar Conference on Signals, Systems and Computers, ACSSC 2015. Matthews, M. B. (ed.). IEEE Computer Society, p. 935-939 5 p. 7421275. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2016-February).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Monitoring decentralized interacting services with a global state choreography model
Ezenwoye, O. & Tang, B., Oct 6 2010, ICWS 2010 - 2010 IEEE 8th International Conference on Web Services. p. 671-672 2 p. 5552718Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Monocular Cloud Map Generation for Intelligent Navigation
Vaibhav, K., Vikram Nag, R. C., Shobha, K. R., Harish, M. M., Murthy, D. S., Lakshmi, S., Ravikanth, M. & Tyagi, T., 2022, 2022 IEEE International Conference on Electronics, Computing and Communication Technologies, CONECCT 2022. Institute of Electrical and Electronics Engineers Inc., (2022 IEEE International Conference on Electronics, Computing and Communication Technologies, CONECCT 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Monocular focus estimation method for a freely-orienting eye using Purkinje-Sanson images
Itoh, Y., Orlosky, J., Kiyokawa, K., Amano, T. & Sugimoto, M., Apr 4 2017, 2017 IEEE Virtual Reality, VR 2017 - Proceedings. IEEE Computer Society, p. 213-214 2 p. 7892252. (Proceedings - IEEE Virtual Reality).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
More efficient periodic traversal in anonymous undirected graphs
Czyzowicz, J., Dobrev, S., Ga̧sieniec, L., Ilcinkas, D., Jansson, J., Klasing, R., Lignos, I., Martin, R., Sadakane, K. & Sung, W. K., 2010, Structural Information and Communication Complexity - 16th International Colloquium, SIROCCO 2009, Revised Selected Papers. Springer Verlag, p. 167-181 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5869 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Multi-camera laparoscopic imaging with tunable focusing capability
Kanhere, A., Van Grinsven, K., Huang, C. C., Lu, Y. S., Greenberg, J., Heise, C., Hu, Y. & Jiang, H., 2014, 2014 Solid-State Sensors, Actuators and Microsystems Workshop, Hilton Head 2014. Allen, M. G. & Mehregany, M. (eds.). Transducer Research Foundation, p. 379-382 4 p. (Technical Digest - Solid-State Sensors, Actuators, and Microsystems Workshop).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Scopus citations -
Multi-cell 3D tracking with adaptive acceptance gates
Landau, M., Koltsova, E., Ley, K. & Acton, S. T., 2010, 2010 IEEE Southwest Symposium on Image Analysis and Interpretation, SSIAI 2010 - Proceedings. p. 49-52 4 p. 5483920. (Proceedings of the IEEE Southwest Symposium on Image Analysis and Interpretation).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Multi-channel assignment for communication in radio networks
Kowalski, D. R. & Rokicki, M. A., 2011, Theory and Practice of Algorithms in (Computer) Systems - First International ICST Conference, TAPAS 2011, Proceedings. p. 181-192 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6595 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Multichannel robotic system for surgical procedures
Podder, T. K., Buzurovic, I., Huang, K. & Yu, Y., Sep 2 2011, Proceedings of the IASTED International Symposia on Imaging and Signal Processing in Healthcare and Technology, ISPHT 2011. p. 95-101 7 p. (Proceedings of the IASTED International Symposia on Imaging and Signal Processing in Healthcare and Technology, ISPHT 2011).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Multi-granular aggregation of network flows for security analysis
Ding, T., Aleroud, A. & Karabatis, G., Jul 23 2015, 2015 IEEE International Conference on Intelligence and Security Informatics: Securing the World through an Alignment of Technology, Intelligence, Humans and Organizations, ISI 2015. Zhou, L., Wang, G. A., Mao, W. & Kaati, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 173-175 3 p. 7165965. (2015 IEEE International Conference on Intelligence and Security Informatics: Securing the World through an Alignment of Technology, Intelligence, Humans and Organizations, ISI 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
13 Scopus citations -
Multi-label Classification of Commit Messages using Transfer Learning
Sarwar, M. U., Zafar, S., Mkaouer, M. W., Walia, G. S. & Malik, M. Z., Oct 2020, Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020. Vieira, M., Madeira, H., Antunes, N. & Zheng, Z. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 37-42 6 p. 9307651. (Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Multi-objective optimization of an axial compressor
Maleki, H., Sep 14 2009, 2008 Proceedings of the ASME Fluids Engineering Division Summer Conference, FEDSM 2008. p. 135-139 5 p. (2008 Proceedings of the ASME Fluids Engineering Division Summer Conference, FEDSM 2008; vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Multiple conclusion linear logic: Cut elimination and more
Eades, H. & de Paiva, V., 2016, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 90-105 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9537).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations