Gregory Kulczycki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2000–2016
Best venue rank
B
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SIGCSE | Panel: Engage in Reasoning with Tools. | Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide |
| 2015 | ICSR | A Comparison of Methods for Automatic Term Extraction for Domain Analysis. | William B. Frakes, Gregory Kulczycki, Jason Tilley |
| 2013 | ICSR | A Language for Building Verified Software Components. | 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 |
| 2013 | ICWS | Formal Methods for Data-centric Web Services: From Model to Implementation. | Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei |
| 2013 | SEFM | Static Detection of Implementation Errors Using Formal Code Specification. | Iman Saleh, Gregory Kulczycki, M. Brian Blake, Yi Wei |
| 2011 | SERVICES | Formal Specification and Verification of Transactional Service Composition. | Iman Saleh, Gregory Kulczycki, M. Brian Blake |
| 2010 | CIKM | Mining social tags to predict mashup patterns. | Khaled Goarany, Gregory Kulczycki, M. Brian Blake |
| 2010 | ICWS | Formal Specification and Verification of Data-Centric Service Composition. | Iman Saleh, Gregory Kulczycki, M. Brian Blake |
| 2009 | ICSR | A Reusable Model for Data-Centric Web Services. | Iman Saleh, Gregory Kulczycki, M. Brian Blake |
| 2008 | AINA | Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks. | Okan Yilmaz, Ing-Ray Chen, Gregory Kulczycki, William B. Frakes |
| 2008 | ICSR | An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems. | William B. Frakes, Gregory Kulczycki, Natasha Moodliar |
| 2007 | SEW | Abstracting Pointers for a Verifying Compiler. | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
| 2006 | ICSR | Case Study of a Method for Reengineering Procedural Systems into OO Systems. | William B. Frakes, Gregory Kulczycki, Charu Saxena |
| 2000 | ICSR | Reasoning about Software-Component Behavior. | Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth |