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

  • Yang, Fan; Escobar, Santiago; Meadows, Catherine; Meseguer, Jose; Santiago, Sonia (2016-07)
    Roles in cryptographic protocols do not always have a linear execution, but may include choice points causing the protocol to continue along different paths. In this paper we address the problem of representing choice in ...

    application/pdf

    application/pdfPDF (457kB)
  • Skeirik, Stephen; Meseguer, José (2016-06-07)
    Variant satisfiability is a theory-generic algorithm to decide quantifier-free satisfiability in an initial algebra when its corresponding theory has the finite variant property and its constructors satisfy a compactness ...

    application/pdf

    application/pdfPDF (582kB)
  • Bertram Ludäscher (2016-03-03)
    Within computer science, the term provenance has multiple meanings, due to different motivations, perspectives, and assumptions prevalent in the respective communities. This chapter provides a high-level “sightseeing tour” ...

    application/pdf

    application/pdfPDF (3MB)
  • Ghosh, Mainak; Kao, Thomas; Gupta, Indranil (2016-03-08)
    In this paper, we target lookback processing systems (LPS), which allow queries to operate on segment-based historical data. We present new strategies that decide which segments should be placed, and how they should be ...

    application/pdf

    application/pdfPDF (389kB)
  • Shifteh Far, Saeidreza (2015-10-29)
    Mobile devices have become ubiquitous and provide ever richer content and functionality. At the same time, applications are also becoming more complex and require ever increasing amount of computational power and energy. ...

    application/pdf

    application/pdfPDF (12MB)Restricted to U of Illinois

Community Statistics