Skip to main content
Collections
All Contents
Statistics
Units
Researchers
Search
Log In
Log in
New user? Click here to register.
Have you forgotten your password?
Log in with Kunet ID
Home
Research Outputs
Research Outputs
Permanent URI for this community
https://hdl.handle.net/20.500.14288/2
Browse
Search
Subcommunities and Collections
By Issue Date
By KU Author
By Title
By Subject
By Type
By Quartile
By Indexed at
By Publisher Scope
By Department
Search
Subcommunities and Collections
By Issue Date
By KU Author
By Title
By Subject
By Type
By Quartile
By Indexed at
By Publisher Scope
By Department
2 results
Back to results
Filters
Author
search.filters.author.Elmas, Tayfun
Subject
1
search.filters.subject.File conversion (Computer science), Software
1
search.filters.subject.Integrated software
1
search.filters.subject.Java (Computer program language)
1
search.filters.subject.Programming languages (Electronic computers)
1
search.filters.subject.Software engineering
Search subject
Submit
Date
Start
End
Submit
2005 - 2010
2
Full Text
2
Yes
Entity Type
2
Publication
Item Type
1
search.filters.itemtype.Dissertation
1
search.filters.itemtype.Thesis
Reset filters
Advanced Search
Filter by
Filters
Title
Author
Subject
Entity Type
Operators
Equals
Not Equals
Authority
Not Authority
Contains
Not Contains
Query
Search Title
Submit
Add
Settings
Sort By
Title Ascending
Accessioned Date Descending
Most Relevant
Date Issued Descending
Results per page
1
5
10
20
40
60
80
100
Search
Author: search.filters.author.Elmas, Tayfun
×
Search Tools
Search Results
Now showing
1 - 2 of 2
Publication
Restricted
Runtime checking of refinement for concurrent software components
(
Koç University
,
2005
)
Elmas, Tayfun
;
Taşıran, Serdar
;
Koç University Graduate School of Sciences and Engineering
;
Electrical and Computer Engineering
Show more
Publication
Restricted
Techniques for runtime monitoring and static verification of concurrent software
(
Koç University
,
2010
)
Elmas, Tayfun
;
Taşıran, Serdar
;
Qadeer, Shaz
;
Koç University Graduate School of Sciences and Engineering
;
Computer Engineering
Show more
