Find Research outputs

Search in all content

Filters for Scholarly Output

"Research Units"
Search concepts
Selected Filters
  • 7,250 - 7,300 out of 46,045 results
  • Export search results

Search results

  • Conference contribution

    On formal modeling of agent computations

    Araragi, T., Attie, P., Keidar, I., Kogure, K., Luchangco, V., Lynch, N. & Mano, K., 2001, Formal Approaches to Agent-Based Systems - 1st International Workshop, FAABS 2000, Revised Papers. Rash, J. L., Truszkowski, W., Hinchey, M. G., Rouff, C. A. & Gordon, D. (eds.). Springer Verlag, p. 48-62 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1871).

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

    10 Scopus citations
  • On four logics of programs and complexity of their satisfiability problems: Extended abstract

    Chlebus, B. S., Jan 1 1983, Logics of Programs and Their Applications - Proceedings. Salwicki, A. (ed.). Springer Verlag, p. 98-107 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 148 LNCS).

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

  • Online algorithms for maximizing quality of link transmissions over a jammed wireless channel

    Kannan, R., Wei, S., Busch, C. & Vasilakos, A., 2009, 7th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009. 4912840. (7th Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2009).

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

    1 Scopus citations
  • On linear logic, functional programming, and attack trees

    Eades, H., Jiang, J. & Bryant, A., 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

    2 Scopus citations
  • Online packet scheduling under adversarial jamming

    Jurdzinski, T., Kowalski, D. R. & Lorys, K., Jan 1 2015, Approximation and Online Algorithms - 12th International Workshop, WAOA 2014, Revised Selected Papers. Svensson, O. & Bampis, E. (eds.). Springer Verlag, p. 193-206 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8952).

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

    8 Scopus citations
  • Online parallel scheduling of non-uniform tasks: Trading failures for energy

    Fernández Anta, A., Georgiou, C., Kowalski, D. R. & Zavou, E., 2013, Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Proceedings. p. 145-158 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8070 LNCS).

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

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

    4 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

    12 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

    4 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

    31 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 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, Inc, 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

    11 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

    28 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

    8 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

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

    21 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

    2 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

    47 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

    18 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

    13 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

  • 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

    24 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

    2 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

  • 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

  • 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

    7 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
  • Parallelizing pruned landmark labeling: Dealing with dependencies in graph algorithms

    Jin, R., Peng, Z., Wu, W., Dragan, F., Agrawal, G. & Ren, B., Jun 29 2020, Proceedings of the 34th ACM International Conference on Supercomputing, ICS 2020. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing).

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

  • Parkinson's disease simulation in virtual reality for empathy training in medical education

    Li, Y. J., Ducleroir, C., Stollman, T. I. & Wood, E., Mar 2021, Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2021. Institute of Electrical and Electronics Engineers Inc., p. 56-59 4 p. 9419316. (Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2021).

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

    1 Scopus citations