Login / Signup
Nighat Yasmin
Publication Activity (10 Years)
Years Active: 2006-2013
Publications (10 Years): 0
Top Topics
Programming Language
Semi Automatic
Component Based Development
Commercial Off The Shelf
Top Venues
ICSR
</>
Publications
</>
Gregory Kulczycki
,
Murali Sitaraman
,
Joan Krone
,
Joseph E. Hollingsworth
,
William F. Ogden
,
Bruce W. Weide
,
Paolo Bucci
,
Charles T. Cook
,
Svetlana Drachova-Strang
,
Blair Durkee
,
Heather K. Harton
,
Wayne D. Heym
,
Dustin Hoffman
,
Hampton Smith
,
Yu-Shan Sun
,
Aditi Tagore
,
Nighat Yasmin
,
Diego Zaccai
A Language for Building Verified Software Components.
ICSR
(2013)
Nighat Yasmin
,
Murali Sitaraman
Compositional performance prediction exemplified using generic object finalization analysis.
ACM Southeast Regional Conference
(2009)
Nighat Yasmin
Incremental computation of shortest paths in semi-dynamic graphs using software components.
ACM Southeast Regional Conference
(2006)