| 2025 | ISIT | Improved Lower Bounds on the Expected Length of Longest Common Subsequences. | Duncan Soiffer, Andrew Salls, Chase Miller, Daniel Reichman, Gbor N. Srkzy, George T. Heineman |
| 2022 | AIED | Enhancing Auto-scoring of Student Open Responses in the Presence of Mathematical Terms and Expressions. | Sami Baral, Karthik Seetharaman, Anthony F. Botelho, Anzhuo Wang, George T. Heineman, Neil T. Heffernan |
| 2021 | ECOOP | Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. | Jan Bessai, George T. Heineman, Boris Ddder |
| 2016 | ISoLA | ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. | Boris Ddder, George T. Heineman, Jakob Rehof |
| 2016 | ISoLA | A Long and Winding Road Towards Modular Synthesis. | George T. Heineman, Jan Bessai, Boris Ddder, Jakob Rehof |
| 2015 | SPLC | Synthesizing type-safe compositions in feature oriented software designs using staged composition. | Boris Ddder, Jakob Rehof, George T. Heineman |
| 2015 | SPLC | Towards migrating object-oriented frameworks to enable synthesis of product line members. | George T. Heineman, Armend Hoxha, Boris Ddder, Jakob Rehof |
| 2015 | SPLC | Modular synthesis of product lines (ModSyn-PL). | Jakob Rehof, George T. Heineman |
| 2004 | CoopIS | Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems. | Praveen Kaushik Sharma, Joseph P. Loyall, George T. Heineman, Richard E. Schantz, Richard Shapiro, Gary Duzan |
| 2004 | EDBT | Joining Punctuated Streams. | Luping Ding, Nishant K. Mehta, Elke A. Rundensteiner, George T. Heineman |
| 2004 | SIGMOD | Dynamic Plan Migration for Continuous Queries Over Data Streams. | Yali Zhu, Elke A. Rundensteiner, George T. Heineman |
| 2002 | ICSE | Evolving legacy system features into fine-grained components. | Alok Mehta, George T. Heineman |
| 2000 | ER | ROVER: A Framework for the Evolution of Relationships. | Kajal T. Claypool, Elke A. Rundensteiner, George T. Heineman |
| 2000 | ICSE | Component-based software engineering and the issue of trust. | George T. Heineman, William T. Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw |
| 1999 | COMPSAC | Architectural Evolution of Legacy Systems. | Alok Mehta, George T. Heineman |
| 1998 | COMPSAC | A Model for Designing Adaptable Software Components. | George T. Heineman |
| 1997 | ICDE | The CORD Appraoch to Extensible Concurrency Control. | George T. Heineman, Gail E. Kaiser |
| 1995 | ICSE | An Architecture for Integrating Concurrency Control into Environment Frameworks. | George T. Heineman, Gail E. Kaiser |