iastate.edu
Index
Directory
Maps
Safety
Sign Ons
iastate.edu
Index
Directory
Maps
Safety
Sign Ons
Menu
English
Deutsch
Čeština
Nederlands
PortuguĂŞs do Brasil
PortuguĂŞs
Français
Latviešu
Suomi
magyar
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
1353 results
Back to results
Filters
Author
Leavens, Gary
124
Rajan, Hridesh
117
Honavar, Vasant
86
Tirthapura, Srikanta
41
Rozier, Kristin Yvonne
35
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
952
2020 - 2023
124
Department
Computer Science
983
Electrical and Computer Engineering
98
Mathematics
41
Aerospace Engineering
39
Genetics, Development and Cell Biology
36
Show more
Subject
Computer Sciences
585
Programming Languages and Compilers
158
Theory and Algorithms
154
Software Engineering
139
Artificial Intelligence and Robotics
100
Show more
Keywords
Computer science
193
Computer Science
36
verification
27
specification
26
JML language
22
Show more
Type
article
1253
Article
25
Presentation
23
Preprint
13
Book chapter
5
event
5
Document Type
article
542
thesis
289
dissertation
261
conference
106
creativecomponent
52
book_chapter
4
event
3
poster
1
Has files
Yes
1346
No
7
Item Type
Publication
1353
Reset filters
Settings
Sort By
Relevance
Title Ascending
Title Descending
Date Issued Ascending
Date Issued Descending
Results per page
1
5
10
20
40
60
80
100
All repository
Departments and Author Profiles
Student Research
University Scholarship
Search
Search Tools
Publication Search Results
Show statistical information
Top Items
Top Countries
Top Authors