 | 2009 |
| 11 |  | Stephen H. Edwards,
Gregory Kulczycki:
Formal Foundations of Reuse and Domain Engineering, 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
Springer 2009 |
| 10 |  | Iman Saleh,
Gregory Kulczycki,
M. Brian Blake:
A Reusable Model for Data-Centric Web Services.
ICSR 2009: 288-297 |
| 2008 |
| 9 |  | Okan Yilmaz,
Ing-Ray Chen,
Gregory Kulczycki,
William B. Frakes:
Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks.
AINA Workshops 2008: 1299-1304 |
| 8 |  | K. El-Goarany,
Iman Saleh,
Gregory Kulczycki:
The Social Service Network - Web 2.0 Can Make Semantic Web Services Happen.
CEC/EEE 2008: 419-423 |
| 7 |  | William B. Frakes,
Gregory Kulczycki,
Natasha Moodliar:
An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems.
ICSR 2008: 376-389 |
| 6 |  | Gregory Kulczycki,
Murali Sitaraman,
Kimberly Roche,
Nighat Yasmin:
Formal Specification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
| 5 |  | Gregory Kulczycki,
Heather Keown,
Murali Sitaraman,
Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler.
SEW 2007: 204-213 |
| 2006 |
| 4 |  | William B. Frakes,
Gregory Kulczycki,
Charu Saxena:
Case Study of a Method for Reengineering Procedural Systems into OO Systems.
ICSR 2006: 184-202 |
| 3 |  | Gregory Kulczycki,
Murali Sitaraman,
Bruce W. Weide,
Atanas Rountev:
A specification-based approach to reasoning about pointers.
ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2001 |
| 2 |  | Murali Sitaraman,
Gregory Kulczycki,
Joan Krone,
William F. Ogden,
A. L. Narasimha Reddy:
Performance specification of software components.
SSR 2001: 3-10 |
| 2000 |
| 1 |  | Murali Sitaraman,
Steven Atkinson,
Gregory Kulczycki,
Bruce W. Weide,
Timothy J. Long,
Paolo Bucci,
Wayne D. Heym,
Scott M. Pike,
Joseph E. Hollingsworth:
Reasoning about Software-Component Behavior.
ICSR 2000: 266-283 |