College of Engineering

Recent AdditionsRSS feed

  • Chen, Xiaohong; Rosu, Grigore (2019-01-19)
    Matching logic is a logic for specifying and reasoning about structure by means of patterns and pattern matching. This paper makes two contributions. First, it proposes a sound and complete proof system for matching ...

    application/pdf

    application/pdfPDF (682kB)
  • Kendall, Thomas Mark (University of Illinois at Urbana-Champaign, 1992-09)

    application/pdf

    application/pdfPDF (2GB)
  • Meseguer, Jose (2018-12-19)
    A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories ...

    application/pdf

    application/pdfPDF (716kB)
  • Akin, Michelle; Zhang, Yan; Shi, Xianming (Illinois Center for Transportation/Illinois Department of Transportation, 2018-11)
    This project aims to identify and evaluate effective and durable pavement surface treatments (PSTs) suitable for implementation at Illinois Department of Transportation (IDOT) ice-prone locations. A user-friendly questionnaire ...

    application/pdf

    application/pdfPDF (2MB)
  • El-Rayes, Khaled; Liu, Liang; Ignacio, Ernest-John (Illinois Center for Transportation/Illinois Department of Transportation, 2018-11)
    Current Illinois Department of Transportation (IDOT) policies specify that noise barriers can be constructed of earth, masonry, concrete, and composite materials. These IDOT policies specify that alternative noise barriers ...

    application/pdf

    application/pdfPDF (1MB)

Community Statistics