Dept. of Computer Science


The Department of Computer Science is recognized throughout the world as a leader in education and research. The department and its graduates have long been at the forefront of modern computing beginning with the ILLIAC in 1952, and continuing with the creation of Mosaic, the first graphic web browser, through the most recent Internet era.

Browse Sub-communities

Browse Collections of Items

Recent AdditionsRSS feed

  • Kashev Dalmia; Tarek Abdelzaher; Shen Li (2016-06-30)
    In this paper, we use passivity theory as an approach for dealing with dynamical systems, and demonstrate how to apply it to software systems in a general way. We first cover key results from passivity theory. Then, using ...


    application/pdfPDF (1MB)
  • Prasanna Giridhar; Tarek Abdelzaher; Lance Kaplan (2017-02-01)


    application/pdfPDF (473kB)
  • Kini, Dileep; Viswanathan, Mahesh (2017)
    A crucial step in model checking Markov Decision Processes (MDP) is to translate the LTL specification into automata. Efforts have been made in improving deterministic automata construction for LTL but such translations ...


    application/pdfPDF (452kB)
  • Amin, Md Tanvir Al; Aggarwal, Charu; Yao, Shuochao; Abdelzaher, Tarek; Kaplan, Lance (IEEE, 2017)
    This paper presents unsupervised algorithms to uncover polarization in social networks (namely, Twitter) and identify polarized groups. The approach is language-agnostic and thus broadly applicable to global and multilingual ...


    application/pdfPDF (831kB)
  • Giridhar, Prasanna; Wang, Shiguang; Abdelzaher, Tarek; Kaplan, Lance; George, Jemin; Ganti, Raghu (2017-05)
    This paper develops an algorithm that exploits picture-oriented social networks to localize urban events. We choose picture-oriented networks because taking a picture requires physical proximity, thereby revealing the ...


    application/pdfPDF (323kB)

Community Statistics