Research Output

Filter
Conference contribution
2019

A look at the security and privacy of Fitbit as a health activity tracker

Orlosky, J., Ezenwoye, O., Yates, H. & Besenyi, G., Apr 18 2019, ACMSE 2019 - Proceedings of the 2019 ACM Southeast Conference. Association for Computing Machinery, Inc, p. 241-244 4 p. (ACMSE 2019 - Proceedings of the 2019 ACM Southeast Conference).

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

Open Access

Broadcasting on Adversarial Multiple Access Channels

Aldawsari, B. A., Chlebus, B. S. & Kowalski, D. R., Sep 2019, 2019 IEEE 18th International Symposium on Network Computing and Applications, NCA 2019. Gkoulalas-Divanis, A., Marchetti, M. & Avresky, D. R. (eds.). Institute of Electrical and Electronics Engineers Inc., 8935052. (2019 IEEE 18th International Symposium on Network Computing and Applications, NCA 2019).

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

On linear logic, functional programming, and attack trees

Eades, H., Jiang, J. & Bryant, A., Jan 1 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Cybenko, G. & Fila, B. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

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

Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks

Tran, H. D., Musau, P., Manzanas Lopez, D., Yang, X., Nguyen, L. V., Xiang, W. & Johnson, T. T., May 2019, Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019. Institute of Electrical and Electronics Engineers Inc., p. 51-60 10 p. 8807491. (Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019).

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

1 Scopus citations
2018

Dialectica categories for the lambek calculus

de Paiva, V. & Eades, H., Jan 1 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 256-272 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703 LNCS).

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

2 Scopus citations
2016

Multiple conclusion linear logic: Cut elimination and more

Eades, H. & de Paiva, V., Jan 1 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 proceedingConference contribution

2 Scopus citations
2015

Big Data Clinical Research: Validity, Ethics, and Regulation

Balas, E. A., Vernon, M. M. C., Magrabi, F., Gordon, L. T. & Sexton, J., Jan 1 2015, MEDINFO 2015: eHealth-Enabled Health - Proceedings of the 15th World Congress on Health and Biomedical Informatics. Georgiou, A., Sarkar, I. N. & de Azevedo Marques, P. M. (eds.). IOS Press, p. 448-452 5 p. (Studies in Health Technology and Informatics; vol. 216).

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

6 Scopus citations
2014

A general framework for architecture composability

Attie, P., Baranov, E., Bliudze, S., Jaber, M. & Sifakis, J., Jan 1 2014, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Proceedings. Springer Verlag, p. 128-143 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8702 LNCS).

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

12 Scopus citations

Unification and logarithmic space

Aubert, C. & Bagnol, M., Jan 1 2014, Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 77-92 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

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

3 Scopus citations
2013

An abstract framework for deadlock prevention in BIP

Attie, P. C., Bensalem, S., Bozga, M., Jaber, M., Sifakis, J. & Zaraket, F. A., Oct 9 2013, Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings. p. 161-177 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7892 LNCS).

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

Open Access
11 Scopus citations

Towards a service for machine consumable web search results

Ezenwoye, O. & Pokharel, M., Dec 1 2013, Proceedings - IEEE 10th International Conference on Services Computing, SCC 2013. p. 749-750 2 p. 6649767

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

2008

Innovative grid technologies applied to bioinformatics and hurricane mitigation

Badia, R., Dasgupta, G., Ezenwoye, O., Fong, L., Ho, H., Khuri, S., Liu, Y., Luis, S., Praino, A., Prost, J. P., Radwan, A., Sadjadi, S. M., Shivaji, S., Viswanathan, B., Welsh, P. & Younis, A., 2008, High Performance Computing and Grids in Action. IOS Press BV, p. 436-462 27 p. (Advances in Parallel Computing; vol. 16).

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

2 Scopus citations
2007

Grid service composition in BPEL for scientific applications

Ezenwoye, O., Sadjadi, S. M., Cary, A. & Robinson, M., Dec 1 2007, On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings. PART 2 ed. p. 1304-1312 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4804 LNCS, no. PART 2).

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

5 Scopus citations
2006

Composing aggregate web services in BPEL

Ezenwoye, O. & Sadjadi, S. M., Dec 1 2006, Proceedings of the 44th ACM Southeast Conference, ACMSE 2006. p. 458-463 6 p. (Proceedings of the Annual Southeast Conference; vol. 2006).

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

12 Scopus citations
1991

Duplicating keys to streamline sorting on a mesh-connected computer

Chlebus, B. S., Jan 1 1991, Proceedings of the 3rd IEEE Symposium on Parallel and Distributed Processing 1991. Institute of Electrical and Electronics Engineers Inc., p. 296-300 5 p. 218266. (Proceedings of the 3rd IEEE Symposium on Parallel and Distributed Processing 1991).

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

1 Scopus citations