George T. Heineman
According to our database1,
George T. Heineman
authored at least 46 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
CoRR, 2024
2022
Enhancing Auto-scoring of Student Open Responses in the Presence of Mathematical Terms and Expressions.
Proceedings of the Artificial Intelligence in Education - 23rd International Conference, 2022
2021
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact).
Dagstuhl Artifacts Ser., 2021
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Towards migrating object-oriented frameworks to enable synthesis of product line members.
Proceedings of the 19th International Conference on Software Product Line, 2015
Synthesizing type-safe compositions in feature oriented software designs using staged composition.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
O'Reilly, ISBN: 978-0-596-51624-6, 2009
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
2006
IEEE Internet Comput., 2006
2004
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004
Component-Based Dynamic QoS Adaptations in Distributed Real-Time and Embedded Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004
2003
Proceedings of the 2nd International Workshop on Distributed Event-Based Systems, 2003
2002
Proceedings of the 24th International Conference on Software Engineering, 2002
2001
ACM SIGSOFT Softw. Eng. Notes, 2001
Proceedings of the 3rd International Workshop on Web Site Evolution (WSE 2001), 2001
Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the Database Schema Evolution and Meta-Modeling, 2000
Proceedings of the Conceptual Modeling, 2000
1999
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
1998
Proceedings of the Third International Workshop on Software Architecture, 1998
Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998
1997
Proceedings of the Thirteenth International Conference on Data Engineering, 1997
1996
Distributed Syst. Eng., 1996
Proceedings of the 10th International Software Process Workshop, 1996
A 3-level Atomicity Model for Decentralized Process-Centered Software Engineering Environments.
Proceedings of the Software Process Technology, 5th European Workshop, 1996
1995
Proceedings of the 17th International Conference on Software Engineering, 1995
1994
Proceedings of the Proceedings KBSE'94, 1994
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994
Proceedings of the International Conference on Software Maintenance, 1994
Proceedings of the Software Process Technology, Third European Workshop, 1994
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994
1993
Comput. Syst., 1993
Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993
1992