Find Research outputs

Search in all content

Filters for Scholarly Output

"Research Units"
Search concepts
Selected Filters

Search results

  • Conference contribution

    Online selection of quorum systems for rambo reconfiguration

    Michel, L., Moraal, M., Shvartsman, A., Sonderegger, E. & Van Hentenryck, P., 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. p. 88-103 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5732 LNCS).

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

    1 Scopus citations
  • On many-to-many communication in packet radio networks

    Chlebus, B. S., Kowalski, D. R. & Radzik, T., 2006, Principles of Distributed Systems - 10th International Conference, OPODIS 2006, Proceedings. Springer Verlag, p. 260-274 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4305 LNCS).

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

    4 Scopus citations
  • On radio broadcasting in random geometric graphs

    Elsässer, R., Ga̧sieniec, L. & Sauerwald, T., 2008, Distributed Computing - 22nd International Symposium, DISC 2008, Proceedings. p. 212-226 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5218 LNCS).

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

    6 Scopus citations
  • On reachable set estimation for discrete-time switched linear systems under arbitrary switching

    Xiang, W., Tran, H. D. & Johnson, T. T., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 4534-4539 6 p. 7963654. (Proceedings of the American Control Conference).

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

    5 Scopus citations
  • On setting-up asynchronous ad hoc wireless networks

    Jurdzinski, T., Kowalski, D. R., Rozanski, M. & Stachowiak, G., Aug 21 2015, 2015 IEEE Conference on Computer Communications, IEEE INFOCOM 2015. Institute of Electrical and Electronics Engineers Inc., p. 2191-2199 9 p. 7218605. (Proceedings - IEEE INFOCOM; vol. 26).

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

    15 Scopus citations
  • On temporally connected graphs of small cost

    Akrida, E. C., Gąsieniec, L., Mertzios, G. B. & Spirakis, P. G., 2015, Approximation and Online Algorithms - 13th International Workshop, WAOA 2015, Revised Selected Papers. Skutella, M. & Sanità, L. (eds.). Springer Verlag, p. 84-96 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9499).

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

    8 Scopus citations
  • On the communication surplus incurred by faulty processors

    Kowalski, D. R. & Strojnowski, M., 2007, Distributed Computing - 21st International Symposium, DISC 2007, Proceedings. Springer Verlag, p. 328-342 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4731 LNCS).

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

    5 Scopus citations
  • On the complexity of asynchronous gossip

    Georgiou, C., Gilbert, S., Guerraoui, R. & Kowalski, D. R., 2008, PODC'08: Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 135-144 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    32 Scopus citations
  • On the complexity of computing evolutionary trees

    Gasieniec, L., Jansson, J., Lingas, A. & Östlin, A., 1997, Computing and Combinatorics - 3rd Annual International Conference COCOON 1997, Proceedings. Jiang, T. & Lee, D. T. (eds.). Springer Verlag, p. 134-145 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1276).

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

    5 Scopus citations
  • On the complexity of determining the period of a string

    Czumaj, A. & Gaşieniec, L., Jan 1 2000, Combinatorial Pattern Matching - 11th Annual Symposium, CPM 2000, Proceedings. Giancarlo, R. & Sankoff, D. (eds.). Springer Verlag, p. 412-422 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1848).

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

    8 Scopus citations
  • On the complexity of distributed broadcasting and MDS construction in radio networks

    Jurdzinski, T. & Kowalski, D. R., Dec 1 2012, Principles of Distributed Systems - 16th International Conference, OPODIS 2012, Proceedings. p. 209-223 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7702 LNCS).

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

    2 Scopus citations
  • On the complexity of fault-tolerant consensus

    Kowalski, D. R. & Mirek, J., 2019, Networked Systems - 7th International Conference, NETYS 2019, Revised Selected Papers. Atig, M. F. & Schwarzmann, A. A. (eds.). Springer, p. 19-31 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11704 LNCS).

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

  • On the complexity of universal leader election

    Kutten, S., Pandurangan, G., Peleg, D., Robinson, P. & Trehan, A., 2013, PODC 2013 - Proceedings of the 2013 ACM Symposium on Principles of Distributed Computing. p. 100-109 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    6 Scopus citations
  • On the distributed complexity of large-scale graph computations

    Pandurangan, G., Robinson, P. & Scquizzato, M., Jul 11 2018, SPAA 2018 - Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 405-414 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

    Open Access
    34 Scopus citations
  • On the effect of code regularity on comprehension

    Jbara, A. & Feitelson, D. G., Jun 2 2014, 22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings. Association for Computing Machinery, p. 189-200 12 p. (22nd International Conference on Program Comprehension, ICPC 2014 - Proceedings).

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

    19 Scopus citations
  • On the efficiency of atomic multi-reader, multi-writer distributed memory

    Englert, B., Georgiou, C., Musial, P. M., Nicolaou, N. & Shvartsman, A. A., 2009, Principles of Distributed Systems - 13th International Conference, OPODIS 2009, Proceedings. p. 240-254 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5923 LNCS).

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

    12 Scopus citations
  • On the hardness of the strongly dependent decision problem

    Biely, M. & Robinson, P., Jan 4 2019, ICDCN 2019 - Proceedings of the 2019 International Conference on Distributed Computing and Networking. Association for Computing Machinery, p. 120-123 4 p. (ACM International Conference Proceeding Series).

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

    1 Scopus citations
  • On the impact of geometry on ad hoc communication in wireless networks

    Jurdzinski, T., Kowalski, D. R., Rozanski, M. & Stachowiak, G., Jan 1 2014, PODC 2014 - Proceedings of the 2014 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 357-366 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    30 Scopus citations
  • On the klee’s measure problem in small dimensions

    Chlebus, B. S., Jan 1 1998, SOFSEM 1998: Theory and Practice of Informatics - 25th Conference on Current Trends in Theory and Practice of Informatics, Proceedings. Rovan, B. (ed.). Springer Verlag, p. 304-311 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1521).

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

    9 Scopus citations
  • On the message complexity of indulgent consensus

    Gilbert, S., Guerraoui, R. & Kowalski, D. R., 2007, Distributed Computing - 21st International Symposium, DISC 2007, Proceedings. Springer Verlag, p. 283-297 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4731 LNCS).

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

    3 Scopus citations
  • On the performance of window-based contention managers for transactional memory

    Sharma, G. & Busch, C., 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2011. p. 559-568 10 p. 6008877. (IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum).

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

    2 Scopus citations
  • On the robustness of (semi) fast quorum-based implementations of atomic shared memory

    Georgiou, C., Nicolaou, N. C. & Shvartsman, A. A., 2008, Distributed Computing - 22nd International Symposium, DISC 2008, Proceedings. p. 289-304 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5218 LNCS).

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

    13 Scopus citations
  • On the universally composable security of openstack

    Hogan, K., Maleki, H., Rahaeimehr, R., Canetti, R., Van Dijk, M., Hennessey, J., Varia, M. & Zhang, H., Sep 2019, Proceedings - 2019 IEEE Secure Development, SecDev 2019. Institute of Electrical and Electronics Engineers Inc., p. 20-33 14 p. 8901675. (Proceedings - 2019 IEEE Secure Development, SecDev 2019).

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

    3 Scopus citations
  • Operational Annotations: A New Method for Sequential Program Verification

    Attie, P. C., 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 597-615 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).

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

  • Operation Liveness and Gossip Management in a Dynamic Distributed Atomic Data Service.

    Gramoli, V., Musial, P. M. & Shvartsman, A. A., 2005, PDCS. p. 206-211 6 p.

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

  • Optical PUF for non forwardable vehicle authentication

    Dolev, S., Krzywiecki, Ł., Panwar, N. & Segal, M., Jan 4 2016, Proceedings - 2015 IEEE 14th International Symposium on Network Computing and Applications, NCA 2015. Avresky, D. R., Avresky, D. R. & Busnel, Y. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 204-207 4 p. 7371725. (Proceedings - 2015 IEEE 14th International Symposium on Network Computing and Applications, NCA 2015).

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

    3 Scopus citations
  • Optimal broadcasting in faulty hypercubes

    Chlebus, B. S., Diks, K. & Pelc, A., Jun 1 1991, 91 Fault-Tolerant Comput. Symp.. Publ by IEEE, p. 266-273 8 p. (Digest of Papers - FTCS (Fault-Tolerant Computing Symposium)).

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

    23 Scopus citations
  • Optimal Channel Utilization with Limited Feedback

    De Marco, G., Jurdziński, T. & Kowalski, D. R., 2019, Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Proceedings. Gąsieniec, L. A., Jansson, J. & Levcopoulos, C. (eds.). Springer Verlag, p. 140-152 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11651 LNCS).

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

    3 Scopus citations
  • Optimal deployment of eventually-serializable data services

    Michel, L., Shvartsman, A., Sonderegger, E. & Van Hentenryck, P., 2008, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 5th International Conference, CPAIOR 2008, Proceedings. p. 188-202 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5015 LNCS).

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

    5 Scopus citations
  • Optimally fast parallel algorithms for preprocessing and pattern matching in one and two dimensions

    Cole, R., Crochemore, M., Galil, Z., Gasieniec, L., Hariharan, R., Muthukrishnan, S., Park, K. & Rytter, W., Dec 1 1993, Annual Symposium on Foundatons of Computer Science (Proceedings). Anon (ed.). Publ by IEEE, p. 248-258 11 p. (Annual Symposium on Foundatons of Computer Science (Proceedings)).

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

    49 Scopus citations
  • Optimal memory rendezvous of anonymous mobile agents in a unidirectional ring

    Ga̧sieniec, L., Kranakis, E., Krizanc, D. & Zhang, X., 2006, SOFSEM 2006: Theory and Practice of Computer Science - 32nd Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Springer Verlag, p. 282-292 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3831 LNCS).

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

    19 Scopus citations
  • Optimal nearest neighbor queries in sensor networks

    Sharma, G. & Busch, C., 2013, Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Revised Selected Papers. Springer Verlag, p. 260-277 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8243 LNCS).

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

    5 Scopus citations
  • Optimal oblivious path selection on the mesh

    Busch, C., Magdon-Ismail, M. & Xi, J., 2005, Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005. p. 82 1 p. 1419907. (Proceedings - 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005; vol. 2005).

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

    6 Scopus citations
  • Optimal Oblivious Routing in Hole-Free Networks

    Busch, C. & Magdon-Ismail, M., 2012, Quality, Reliability,Security and Robustness in Heterogeneous Networks - 7th Int. Conf. on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010 and DSRC 2010.. p. 421-437 17 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 74 LNICST).

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

  • Optimal packed string matching

    Ben-Kiki, O., Bille, P., Breslauer, D., Ga̧sieniec, L., Grossi, R. & Weimann, O., 2011, 31st International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011. p. 423-432 10 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 13).

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

    14 Scopus citations
  • Optimal packet-oblivious stable routing in multi-hop wireless networks

    Cholvi, V., Garncarek, P., Jurdziński, T. & Kowalski, D. R., 2020, Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Proceedings. Richa, A. W. & Scheideler, C. (eds.). Springer, p. 165-182 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12156 LNCS).

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

    1 Scopus citations
  • Optimal patrolling of fragmented boundaries

    Collins, A., Czyzowicz, J., Ga̧sieniec, L., Kosowski, A., Kranakis, E., Krizanc, D., Martin, R. & Ponce, O. M., 2013, SPAA 2013 - Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 241-250 10 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

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

    26 Scopus citations
  • Optimal pattern matching on meshes

    Chlebus, B. S. & Gąsieniec, L., Jan 1 1994, STACS 1994 - 11th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Mayr, E. W., Wagner, K. W. & Enjalbert, P. (eds.). 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. 775 LNCS).

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

    4 Scopus citations
  • Optimal price of anarchy of polynomial and super-polynomial bottleneck congestion games

    Kannan, R., Busch, C. & Vasilakos, A. V., 2012, Game Theory for Networks - Second International ICST Conference, GAMENETS 2011, Revised Selected Papers. p. 308-320 13 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 75 LNICST).

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

    3 Scopus citations
  • Optimal regional consecutive leader election in mobile ad-hoc networks

    Chung, H. C., Robinson, P. & Welch, J. L., 2011, Proceedings of the 7th ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing, FOMC'11. p. 52-61 10 p. (Proceedings of the 7th ACM SIGACT/SIGMOBILE International Workshop on Foundations of Mobile Computing, FOMC'11).

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

    14 Scopus citations
  • Optimizing multiple queries on scientific datasets with partial replicas

    Weng, L., Catalyurek, U., Kurct, T., Agrawal, G. & Saltz, J., 2007, Proceedings - 8th IEEE/ACM International Conference on Grid Computing, GRID 2007. p. 259-266 8 p. 4354141. (Proceedings - IEEE/ACM International Workshop on Grid Computing).

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

    2 Scopus citations
  • Optimizing network deployment of formally-specified distributed systems

    Coffrin, C., Michel, L. D., Shvartsman, A. A., Sonderegger, E. L. & Van Hentenryck, P., 2009, 18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009. p. 230-237 8 p. (18th International Conference on Software Engineering and Data Engineering 2009, SEDE 2009).

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

  • Organizational factors and bad news reporting on troubled it projects

    Park, C. W. & Keil, M., Dec 1 2007, Association for Information Systems - 13th Americas Conference on Information Systems, AMCIS 2007: Reaching New Heights. p. 2317-2323 7 p. (Association for Information Systems - 13th Americas Conference on Information Systems, AMCIS 2007: Reaching New Heights; vol. 4).

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

  • OST Rift: Temporally consistent augmented reality with a consumer optical see-through head-mounted display

    Itoh, Y., Orlosky, J., Huber, M., Kiyokawa, K. & Klinker, G., Jul 5 2016, 2016 IEEE Virtual Reality Conference, VR 2016 - Proceedings. Interrante, V., Hollerer, T., Suma, E. & Lecuyer, A. (eds.). IEEE Computer Society, p. 189-190 2 p. 7504717. (Proceedings - IEEE Virtual Reality; vol. 2016-July).

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

    9 Scopus citations
  • Outlines from EU - US experiences in personalized health informatics

    Pinciroli, F., De Leo, G., Bonacina, S., Garzon, B., Giacomini, M. & Ruggiero, C., Jan 1 2009, Proceedings of the 6th International Workshop on Wearable, Micro, and Nano Technologies for Personalized Health: "Facing Future Healthcare Needs", pHealth 2009. IEEE Computer Society, p. 83-86 4 p. 5754838. (Proceedings of the 6th International Workshop on Wearable, Micro, and Nano Technologies for Personalized Health: "Facing Future Healthcare Needs", pHealth 2009).

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

  • Panoramic view reconstruction for stereoscopic teleoperation of a humanoid robot

    Theofilis, K., Orlosky, J., Nagai, Y. & Kiyokawa, K., Dec 30 2016, Humanoids 2016 - IEEE-RAS International Conference on Humanoid Robots. IEEE Computer Society, p. 242-248 7 p. 7803284. (IEEE-RAS International Conference on Humanoid Robots).

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

    11 Scopus citations
  • Parallel alternating-direction access machine

    Chlebus, B. S., Czumaj, A., Gasieniec, L., Kowaluk, M. & Plandowski, W., 1996, Mathematical Foundations of Computer Science 1996 - 21st International Symposium, MFCS 1996, Proceedings. Penczek, W. & Szalas, A. (eds.). Springer Verlag, p. 267-278 12 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 proceedingConference contribution

    6 Scopus citations
  • Parallel complexity of lexicographically first problems for tree-structured graphs

    Chlebus, B., Diks, K., Rytter, W. & Szymacha, T., Jan 1 1989, Mathematical Foundations of Computer Science 1989, Proceedings. Kreczmar, A. & Mirkowska, G. (eds.). Springer Verlag, p. 185-195 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 379 LNCS).

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

    1 Scopus citations
  • 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

    9 Scopus citations
  • Parallelizing an information theoretic Co-clustering algorithm using a cloud middleware

    Ramanathan, V., Ma, W., Ravi, V. T., Liu, T. & Agrawal, G., 2010, Proceedings - 10th IEEE International Conference on Data Mining Workshops, ICDMW 2010. p. 186-193 8 p. 5693299. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

    4 Scopus citations