Gregory Kulczycki

According to our database1, Gregory Kulczycki authored at least 21 papers between 2000 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Panel: Engage in Reasoning with Tools.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02, 2016

2015
A Comparison of Methods for Automatic Term Extraction for Domain Analysis.
Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

2013
Static Detection of Implementation Errors Using Formal Code Specification.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Formal Methods for Data-centric Web Services: From Model to Implementation.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013


2012
The Location Linking Concept: A Basis for Verification of Code Using Pointers.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2011
Formal Specification and Verification of Transactional Service Composition.
Proceedings of the World Congress on Services, 2011

2010
Performance Analysis of Spillover-Partitioning Call Admission Control in Mobile Wireless Networks.
Wireless Personal Communications, 2010

Formal Specification and Verification of Data-Centric Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2010

Mining social tags to predict mashup patterns.
Proceedings of the 2nd international workshop on Search and mining user-generated contents, 2010

2009
Demystifying Data-Centric Web Services.
IEEE Internet Computing, 2009

A Reusable Model for Data-Centric Web Services.
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008
Formal Specification.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

The Social Service Network - Web 2.0 Can Make Semantic Web Services Happen.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
Abstracting Pointers for a Verifying Compiler.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006
A specification-based approach to reasoning about pointers.
ACM SIGSOFT Software Engineering Notes, 2006

Case Study of a Method for Reengineering Procedural Systems into OO Systems.
Proceedings of the Reuse of Off-the-Shelf Components, 2006

2001
Performance specification of software components.
SSR, 2001

2000
Reasoning about Software-Component Behavior.
Proceedings of the Software Reuse: Advances in Software Reusability, 2000


  Loading...