P-Optimal Heuristics. - Karl J. Lieberherr (Theor. Comput. Sci., 1980)

Probabilistic Combinatorial Optimization. - Karl J. Lieberherr (MFCS, 1981)

Complexity of Partial Satisfaction. - Karl J. Lieberherr; Ernst Specker (J. ACM, 1981)

Uniform Complexity and Digital Signatures. - Karl J. Lieberherr (Theor. Comput. Sci., 1981)

Algorithmic Extremal Problems in Combinatorial Optimization. - Karl J. Lieberherr (J. Algorithms, 1982)

Zeus: A hardware description language for VLSI. - Karl J. Lieberherr; Svend E. Knudsen (DAC, 1983)

Analysis of polynomial approximation algorithms for constraint expressions. - Karl J. Lieberherr; Stephen A. Vavasis (Theoretical Computer Science, 1983)

Primality Testing and Factoring. - James Finn; Karl J. Lieberherr (Theor. Comput. Sci., 1983)

Towards a standard hardware description language. - Karl J. Lieberherr (DAC, 1984)

Parameterized random testing. - Karl J. Lieberherr (DAC, 1984)

Efficient Test Generation Algorithms. - Andrew V. Goldberg; Karl J. Lieberherr (ITC, 1985)

Zeus: A Language for Expressing Algorithms in Hardware. - Steven M. German; Karl J. Lieberherr (Computer, 1985)

Toward a Standard Hardware Description Language. - Karl J. Lieberherr (IEEE Des. Test, 1985)

Implications of Forbidden Structures for Extremal Algorithmic Problems. - Ming-Deh A. Huang; Karl J. Lieberherr (Theor. Comput. Sci., 1985)

Demeter: A Case Study of Software Growth through Parameterized Classes. - Karl J. Lieberherr; Arthur J. Riel (ICSE, 1988)

Object-Oriented Programming: An Objective Sense of Style. - Karl J. Lieberherr; Ian M. Holland; Arthur J. Riel (OOPSLA, 1988)

Object-Oriented Programming with Class Dictionaries. - Karl J. Lieberherr (LISP Symb. Comput., 1988)

Tools for preventive software maintenance. - Karl J. Lieberherr; Ian M. Holland (ICSM, 1989)

Contributions to Teaching Object Oriented Design and Programming. - Karl J. Lieberherr; Arthur J. Riel (OOPSLA, 1989)

Formulations and benefits of the law of demeter. - Karl J. Lieberherr; Ian M. Holland (ACM SIGPLAN Notices, 1989)

Assuring Good Style for Object-Oriented Programs. - Karl J. Lieberherr; Ian M. Holland (IEEE Softw., 1989)

Abstraction of Object-Oriented Data Models. - Karl J. Lieberherr; Paul L. Bergstein; Ignacio Silva-Lepe (ER, 1990)

Incremental Class Dictionary Learning and Optimization. - Paul L. Bergstein; Karl J. Lieberherr (ECOOP, 1991)

From objects to classes: algorithms for optimal object-oriented design. - Karl J. Lieberherr; Paul L. Bergstein; Ignacio Silva-Lepe (Softw. Eng. J., 1991)

Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes. - Karl J. Lieberherr (IFIP Congress (1), 1992)

Three Decades of HDLs: Part II, Conlan Through Verilog. - Dominique Borrione; Robert Piloty; Dwight D. Hill; Karl J. Lieberherr; Philip Moorby (IEEE Des. Test Comput., 1992)

Object-oriented software development with the Demeter Method (abstract). - Karl J. Lieberherr (OOPSLA Addendum, 1992)

Demeter Tools/C++ (abstract). - Karl J. Lieberherr; Ian M. Holland; Walter L. Hürsch; Ignacio Silva-Lepe; Cun Xiao (OOPSLA Addendum, 1992)

Minimizing Dependency on Class Structures with Adaptive Programs. - Karl J. Lieberherr; Cun Xiao (ISOTAS, 1993)

Object-Oriented Schema Extension and Abstraction. - Walter L. Hürsch; Karl J. Lieberherr; Sougata Mukherjea (SAC, 1993)

Formal Foundations for Object-Oriented Data Modeling. - Karl J. Lieberherr; Cun Xiao (IEEE Trans. Knowl. Data Eng., 1993)

Object-Oriented Software Evolution. - Karl J. Lieberherr; Cun Xiao (IEEE Trans. Software Eng., 1993)

Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. - Cristina Videira Lopes; Karl J. Lieberherr (ECOOP, 1994)

Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications. - Ling Liu 001; Roberto V. Zicari; Walter L. Hürsch; Karl J. Lieberherr (ICDE, 1994)

Adaptive Object-Oriented Programming Using Graph-Based Customization. - Karl J. Lieberherr; Ignacio Silva-Lepe; Cun Xiao (Commun. ACM, 1994)

Object-Extending Class Transformations. - Karl J. Lieberherr; Walter L. Hürsch; Cun Xiao (Formal Aspects Comput., 1994)

Customizing Adaptive Software to Object-Oriented Software Using Grammars. - Karl J. Lieberherr; Cun Xiao (Int. J. Found. Comput. Sci., 1994)

Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars. - Karl J. Lieberherr; Cun Xiao (Int. J. Found. Comput. Sci., 1994)

Workshop on adaptable and adaptive software. - Karl J. Lieberherr (OOPSLA Addendum, 1995)

Editorial. - Karl J. Lieberherr; Roberto V. Zicari (Theory Pract. Object Syst., 1995)

Efficient Implementation of Adaptive Software. - Jens Palsberg; Cun Xiao; Karl J. Lieberherr (ACM Trans. Program. Lang. Syst., 1995)

Integrating Adaptive Programming into Existing Object-Oriented Analysis and Design Methods: Do It Yourself Adaptiveness. - M. Spit; Sjaak Brinkkemper; Karl J. Lieberherr (OOIS, 1996)

Object-Oriented Design. - Ian M. Holland; Karl J. Lieberherr (ACM Comput. Surv., 1996)

From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures. - Karl J. Lieberherr (ACM Comput. Surv., 1996)

Preventive Program Maintenance in Demeter/Java. - Karl J. Lieberherr; Doug Orleans (ICSE, 1997)

Simplifying the Evolution of Java Programs (Tutorial). - Linda M. Seiter; Karl J. Lieberherr; Doug Orleans (ICSE, 1997)

A New Approach to Compiling Adaptive Programs. - Jens Palsberg; Boaz Patt-Shamir; Karl J. Lieberherr (Sci. Comput. Program., 1997)

The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database. - Ling Liu 001; Roberto V. Zicari; Walter L. Hürsch; Karl J. Lieberherr (IEEE Trans. Knowl. Data Eng., 1997)

The Refinement Relation of Graph-Based Generic Programs. - Karl J. Lieberherr; Boaz Patt-Shamir (Generic Programming, 1998)

From CSCW applications to multicast routing: an integrated QoS architecture. - Ibrahim Matta; Mohamed Eltoweissy; Karl J. Lieberherr (ICC, 1998)

Adaptive Plug-and-Play Components for Evolutionary Software Development. - Mira Mezini; Karl J. Lieberherr (OOPSLA, 1998)

Evolution of Object Behavior Using Context Relations. - Linda M. Seiter; Jens Palsberg; Karl J. Lieberherr (IEEE Trans. Software Eng., 1998)

Dynamic Component Gluing. - Linda M. Seiter; Mira Mezini; Karl J. Lieberherr (GCSE, 1999)

Interaction Schemata: Compiling Interactions to Code. - Neeraj Sangal; Edward Farrell; Karl J. Lieberherr; David H. Lorenz (TOOLS (30), 1999)

Building modular object-oriented systems with reusable collaborations (tutorial session). - Karl J. Lieberherr; David H. Lorenz; Mira Mezini (ICSE, 2000)

Demeter/adaptive programming. - Karl J. Lieberherr (ACM SIGSOFT Softw. Eng. Notes, 2000)

DJ: Dynamic Adaptive Programming in Java. - Doug Orleans; Karl J. Lieberherr (Reflection, 2001)

Discussing aspects of AOP. - Tzilla Elrad; Mehmet Aksit; Gregor Kiczales; Karl J. Lieberherr; Harold Ossher (Commun. ACM, 2001)

Aspect-oriented programming with adaptive methods. - Karl J. Lieberherr; Doug Orleans; Johan Ovlinger (Commun. ACM, 2001)

A case for statically executable advice: checking the law of demeter with AspectJ. - Karl J. Lieberherr; David H. Lorenz; Pengcheng Wu (AOSD, 2003)

Beyond AOP: toward naturalistic programming. - Cristina Videira Lopes; Paul Dourish; David H. Lorenz; Karl J. Lieberherr (OOPSLA Companion, 2003)

XAspects: an extensible system for domain-specific aspect languages. - Macneil Shonle; Karl J. Lieberherr; Ankit Shah (OOPSLA Companion, 2003)

Aspectual Collaborations: Combining Modules and Aspects - Karl J. Lieberherr; David H. Lorenz; Johan Ovlinger (Comput. J., 2003)

Controlling the Complexity of Software Design. - Karl J. Lieberherr (ICSE, 2004)

Traversals of object structures: Specification and Efficient Implementation. - Karl J. Lieberherr; Boaz Patt-Shamir; Doug Orleans (ACM Trans. Program. Lang. Syst., 2004)

Shadow Programming: Reasoning About Programs Using Lexical Join Point Information. - Pengcheng Wu; Karl J. Lieberherr (GPCE, 2005)

Demeter Interfaces: Adaptive Programming Without Surprises. - Therapon Skotiniotis; Jeffrey Palm; Karl J. Lieberherr (ECOOP, 2006)

Recursive adaptive computations using perobject visitors. - Ahmed Abdelmeged; Karl J. Lieberherr (OOPSLA Companion, 2007)

A type system for functional traversal-based aspects. - Bryan Chadwick; Karl J. Lieberherr (FOAL, 2009)

Controlled evolution of adaptive programs. - Ahmed Abdelmeged; Therapon Skotiniotis; Karl J. Lieberherr (EVOL/IWPSE, 2009)

Weaving generic programming and traversal performance. - Bryan Chadwick; Karl J. Lieberherr (AOSD, 2010)

Algorithms for traversal-based generic programming. - Bryan Chadwick; Karl J. Lieberherr (ICFP-WGP, 2010)

A functional approach to generic programming using adaptive traversals. - Bryan Chadwick; Karl J. Lieberherr (High. Order Symb. Comput., 2010)

Learning Self-Game-Play Agents for Combinatorial Optimization Problems. - Ruiyang Xu; Karl J. Lieberherr (AAMAS, 2019)

Learning self-play agents for combinatorial optimization problems. - Ruiyang Xu; Karl J. Lieberherr (Knowl. Eng. Rev., 2020)

First-Order Problem Solving through Neural MCTS based Reinforcement Learning. - Ruiyang Xu; Prashank Kadam; Karl J. Lieberherr (CoRR, 2021)

Solving QSAT problems with neural MCTS. - Ruiyang Xu; Karl J. Lieberherr (CoRR, 2021)

Dual Monte Carlo Tree Search. - Prashank Kadam; Ruiyang Xu; Karl J. Lieberherr (CoRR, 2021)

On-the-Fly Model Checking with Neural MCTS. - Ruiyang Xu; Karl J. Lieberherr (NFM, 2022)

Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search. - Ruiyang Xu; Karl J. Lieberherr (SAI (2), 2022)

Accelerating Neural MCTS Algorithms using Neural Sub-Net Structures. - Prashank Kadam; Ruiyang Xu; Karl J. Lieberherr (AAMAS, 2023)