iastate.edu
Index
Directory
Maps
Safety
Sign Ons
iastate.edu
Index
Directory
Maps
Safety
Sign Ons
Menu
English
Čeština
Deutsch
Español
Français
Gàidhlig
Latviešu
Magyar
Nederlands
Português
Português do Brasil
Suomi
Log In
Email address
Password
Log in
or
Log in with Shibboleth
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
Home
Departments and Author Profiles
Academic and Administrative Units
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
1358 results
Back to results
Filters
Author
Leavens, Gary
124
Rajan, Hridesh
121
Honavar, Vasant
86
Tirthapura, Srikanta
41
Rozier, Kristin Yvonne
35
Show more
Search author name
Submit
Advisor
Carl K. Chang
30
Wensheng Zhang
30
Vasant Honavar
26
Hridesh Rajan
24
Samik Basu
24
Leslie Miller
20
Jin Tian
19
Shashi K. Gadia
14
Jack H. Lutz
13
Lu Ruan
13
Show more
Search Advisor
Submit
Date
Start
End
Submit
1969 - 1979
46
1980 - 1999
231
2000 - 2019
952
2020 - 2023
129
Department
Computer Science
1358
Electrical and Computer Engineering
100
Mathematics
42
Aerospace Engineering
39
Genetics, Development and Cell Biology
36
Show more
Search Department
Submit
Subject
Computer Sciences
603
Programming Languages and Compilers
158
Theory and Algorithms
155
Software Engineering
139
Artificial Intelligence and Robotics
100
Show more
Search subject
Submit
Keywords
Computer science
214
Computer Science
36
verification
27
specification
26
JML language
22
Show more
Search Keywords
Submit
Type
article
1281
Article
27
Presentation
23
Preprint
17
Book chapter
5
event
5
Search type
Submit
Document Type
article
545
thesis
298
dissertation
276
conference
107
creativecomponent
52
book_chapter
4
event
3
poster
1
Search Document Type
Submit
Has files
Yes
1351
No
7
Item Type
Publication
1358
Search item type
Submit
Reset filters
Settings
Sort By
Author Ascending
Relevance
Title Ascending
Date Issued Descending
sorting.dc.date.available.DESC
Accessioned Date Descending
Results per page
1
5
10
20
40
60
80
100
All of DSpace
Search
Search Tools
Publication Search Results
Show statistical information