iastate.edu Index Directory Maps Safety Sign Ons
iastate.edu Index Directory Maps Safety Sign Ons
  • English
  • Deutsch
  • ÄŚeština
  • Nederlands
  • PortuguĂŞs do Brasil
  • PortuguĂŞs
  • Français
  • Latviešu
  • Suomi
  • magyar
  • Log In
    or
    New user? Click here to register. Have you forgotten your password?
Iowa State University Digital Repository
  • COLLECTIONS
  • ABOUT US
  • BLOG
  • CONTACT US
  • FAQ
  • AFFILIATED LIBRARY UNITS
  • STATISTICS
  1. Home
  2. Departments and Author Profiles
  3. Academic and Administrative Units
  4. Computer Science
 

Computer Science

Date established
City
Country
ID
cs
Description
Full item page
DOI
URI
https://dr.lib.iastate.edu/handle/20.500.12876/98971
Source
  • Publications
  • Authors
1299 results

Filters

Author
Leavens, Gary 124 Rajan, Hridesh 111 Honavar, Vasant 86 Tirthapura, Srikanta 39 Dobbs, Drena 32
Show more
Advisor
Carl K. Chang 30 Wensheng Zhang 29 Vasant Honavar 25 Samik Basu 24 Hridesh Rajan 23 Leslie Miller 20 Jin Tian 19 Jack H. Lutz 13 Lu Ruan 13 Shashi K. Gadia 13
Show more
Date
1969 - 1979 46 1980 - 1999 231 2000 - 2019 928 2020 - 2022 94
Department
Computer Science 928 Electrical and Computer Engineering 84 Mathematics 37 Genetics, Development and Cell Biology 36 Aerospace Engineering 33
Show more
Keywords
Computer science 193 Computer Science 36 specification 26 verification 26 JML language 22
Show more
Type
article 1252 event 5 Preprint 5 Presentation 5 Article 3
Document Type
article 541 thesis 289 dissertation 261 conference 106 creativecomponent 52 book_chapter 4 event 3 poster 1
Has files
Yes 1292 No 7
Item Type
Publication 1299
Reset filters

Settings

Publication Search Results

  • Top Items
  • Top Countries
  • Top Authors
Iowa State University University Library Digital Scholarship LibGuides Digital Scholarship & Initiatives Research Projects

University Library Digital Initiative
701 Morrill Road
204 Parks Library
Iowa State University
Ames, IA 50011

DSI Update

Copyright © 1995-2021
Iowa State University of Science and Technology
All rights reserved

Non-discrimination Policy
Privacy Policy
Digital Access & Accessibility