Karl J. Lieberherr

According to our database, Karl J. Lieberherr authored at least 81 papers between 1980 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Accelerating Neural MCTS Algorithms using Neural Sub-Net Structures.

Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search.

Ruiyang Xu, Karl J. Lieberherr

Proceedings of the Intelligent Computing, 2022

On-the-Fly Model Checking with Neural MCTS.

Ruiyang Xu, Karl J. Lieberherr

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Dual Monte Carlo Tree Search.

Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr

CoRR, 2021

Solving QSAT problems with neural MCTS.

Ruiyang Xu, Karl J. Lieberherr

CoRR, 2021

First-Order Problem Solving through Neural MCTS based Reinforcement Learning.

Ruiyang Xu, Prashank Kadam, Karl J. Lieberherr

CoRR, 2021

2020

Learning self-play agents for combinatorial optimization problems.

Ruiyang Xu, Karl J. Lieberherr

Knowl. Eng. Rev., 2020

2019

Learning Self-Game-Play Agents for Combinatorial Optimization Problems.

Ruiyang Xu, Karl J. Lieberherr

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2010

A functional approach to generic programming using adaptive traversals.

Bryan Chadwick, Karl J. Lieberherr

High. Order Symb. Comput., 2010

Algorithms for traversal-based generic programming.

Bryan Chadwick, Karl J. Lieberherr

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

Weaving generic programming and traversal performance.

Bryan Chadwick, Karl J. Lieberherr

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

Controlled evolution of adaptive programs.

Ahmed Abdelmeged, Therapon Skotiniotis, Karl J. Lieberherr

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops, 2009

A type system for functional traversal-based aspects.

Bryan Chadwick, Karl J. Lieberherr

Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009

2007

Recursive adaptive computations using perobject visitors.

Ahmed Abdelmeged, Karl J. Lieberherr

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Demeter Interfaces: Adaptive Programming Without Surprises.

Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr

Proceedings of the ECOOP 2006, 2006

2005

Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.

Pengcheng Wu, Karl J. Lieberherr

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Traversals of object structures: Specification and Efficient Implementation.

Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans

ACM Trans. Program. Lang. Syst., 2004

Controlling the Complexity of Software Design.

Karl J. Lieberherr

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Aspectual Collaborations: Combining Modules and Aspects

Karl J. Lieberherr, David H. Lorenz, Johan Ovlinger

Comput. J., 2003

XAspects: an extensible system for domain-specific aspect languages.

Macneil Shonle, Karl J. Lieberherr, Ankit Shah

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Beyond AOP: toward naturalistic programming.

Cristina Videira Lopes, Paul Dourish, David H. Lorenz, Karl J. Lieberherr

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

A case for statically executable advice: checking the law of demeter with AspectJ.

Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

2001

Aspect-oriented programming with adaptive methods.

Karl J. Lieberherr, Doug Orleans, Johan Ovlinger

Commun. ACM, 2001

Discussing aspects of AOP.

Tzilla Elrad, Mehmet Aksit, Gregor Kiczales, Karl J. Lieberherr, Harold Ossher

Commun. ACM, 2001

DJ: Dynamic Adaptive Programming in Java.

Doug Orleans, Karl J. Lieberherr

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

2000

Demeter/adaptive programming.

Karl J. Lieberherr

ACM SIGSOFT Softw. Eng. Notes, 2000

Building modular object-oriented systems with reusable collaborations (tutorial session).

Karl J. Lieberherr, David H. Lorenz, Mira Mezini

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Interaction Schemata: Compiling Interactions to Code.

Neeraj Sangal, Edward Farrell, Karl J. Lieberherr, David H. Lorenz

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Dynamic Component Gluing.

Linda M. Seiter, Mira Mezini, Karl J. Lieberherr

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

Evolution of Object Behavior Using Context Relations.

Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr

IEEE Trans. Software Eng., 1998

Adaptive Plug-and-Play Components for Evolutionary Software Development.

Mira Mezini, Karl J. Lieberherr

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

From CSCW applications to multicast routing: an integrated QoS architecture.

Ibrahim Matta, Mohamed Eltoweissy, Karl J. Lieberherr

Proceedings of the 1998 IEEE International Conference on Communications, 1998

The Refinement Relation of Graph-Based Generic Programs.

Karl J. Lieberherr, Boaz Patt-Shamir

Proceedings of the Generic Programming, 1998

1997

The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database.

Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr

IEEE Trans. Knowl. Data Eng., 1997

A New Approach to Compiling Adaptive Programs.

Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr

Sci. Comput. Program., 1997

Simplifying the Evolution of Java Programs (Tutorial).

Linda M. Seiter, Karl J. Lieberherr, Doug Orleans

Proceedings of the Pulling Together, 1997

Preventive Program Maintenance in Demeter/Java.

Karl J. Lieberherr, Doug Orleans

Proceedings of the Pulling Together, 1997

1996

From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures.

Karl J. Lieberherr

ACM Comput. Surv., 1996

Object-Oriented Design.

Ian M. Holland, Karl J. Lieberherr

ACM Comput. Surv., 1996

Integrating Adaptive Programming into Existing Object-Oriented Analysis and Design Methods: Do It Yourself Adaptiveness.

M. Spit, Sjaak Brinkkemper, Karl J. Lieberherr

Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996

1995

Efficient Implementation of Adaptive Software.

Jens Palsberg, Cun Xiao, Karl J. Lieberherr

ACM Trans. Program. Lang. Syst., 1995

Editorial.

Karl J. Lieberherr, Roberto V. Zicari

Theory Pract. Object Syst., 1995

Workshop on adaptable and adaptive software.

Karl J. Lieberherr

Proceedings of the Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, 1995

1994

Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars.

Karl J. Lieberherr, Cun Xiao

Int. J. Found. Comput. Sci., 1994

Customizing Adaptive Software to Object-Oriented Software Using Grammars.

Karl J. Lieberherr, Cun Xiao

Int. J. Found. Comput. Sci., 1994

Object-Extending Class Transformations.

Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao

Formal Aspects Comput., 1994

Adaptive Object-Oriented Programming Using Graph-Based Customization.

Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao

Commun. ACM, 1994

Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications.

Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr

Proceedings of the Tenth International Conference on Data Engineering, 1994

Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications.

Cristina Videira Lopes, Karl J. Lieberherr

Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993

Object-Oriented Software Evolution.

Karl J. Lieberherr, Cun Xiao

IEEE Trans. Software Eng., 1993

Formal Foundations for Object-Oriented Data Modeling.

Karl J. Lieberherr, Cun Xiao

IEEE Trans. Knowl. Data Eng., 1993

Object-Oriented Schema Extension and Abstraction.

Walter L. Hürsch, Karl J. Lieberherr, Sougata Mukherjea

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

Minimizing Dependency on Class Structures with Adaptive Programs.

Karl J. Lieberherr, Cun Xiao

Proceedings of the Object Technologies for Advanced Software, 1993

1992

Demeter Tools/C++ (abstract).

Karl J. Lieberherr, Ian M. Holland, Walter L. Hürsch, Ignacio Silva-Lepe, Cun Xiao

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

Object-oriented software development with the Demeter Method (abstract).

Karl J. Lieberherr

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 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

Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes.

Karl J. Lieberherr

Proceedings of the Algorithms, Software, Architecture, 1992

1991

From objects to classes: algorithms for optimal object-oriented design.

Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe

Softw. Eng. J., 1991

Incremental Class Dictionary Learning and Optimization.

Paul L. Bergstein, Karl J. Lieberherr

Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991

1990

Abstraction of Object-Oriented Data Models.

Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe

Proceedings of the 9th International Conference on Entity-Relationship Approach (ER'90), 1990

1989

Assuring Good Style for Object-Oriented Programs.

Karl J. Lieberherr, Ian M. Holland

IEEE Softw., 1989

Formulations and benefits of the law of demeter.

Karl J. Lieberherr, Ian M. Holland

ACM SIGPLAN Notices, 1989

Contributions to Teaching Object Oriented Design and Programming.

Karl J. Lieberherr, Arthur J. Riel

Proceedings of the Conference on Object-Oriented Programming: Systems, 1989

Tools for preventive software maintenance.

Karl J. Lieberherr, Ian M. Holland

Proceedings of the Conference on Software Maintenance, 1989

1988

Object-Oriented Programming with Class Dictionaries.

Karl J. Lieberherr

LISP Symb. Comput., 1988

Object-Oriented Programming: An Objective Sense of Style.

Karl J. Lieberherr, Ian M. Holland, Arthur J. Riel

Proceedings of the Conference on Object-Oriented Programming Systems, 1988

Demeter: A Case Study of Software Growth through Parameterized Classes.

Karl J. Lieberherr, Arthur J. Riel

Proceedings of the Proceedings, 1988

1985

Implications of Forbidden Structures for Extremal Algorithmic Problems.

Ming-Deh A. Huang, Karl J. Lieberherr

Theor. Comput. Sci., 1985

Toward a Standard Hardware Description Language.

Karl J. Lieberherr

IEEE Des. Test, 1985

Zeus: A Language for Expressing Algorithms in Hardware.

Steven M. German, Karl J. Lieberherr

Computer, 1985

Efficient Test Generation Algorithms.

Andrew V. Goldberg, Karl J. Lieberherr

Proceedings of the Proceedings International Test Conference 1985, 1985

1984

Parameterized random testing.

Karl J. Lieberherr

Proceedings of the 21st Design Automation Conference, 1984

Towards a standard hardware description language.

Karl J. Lieberherr

Proceedings of the 21st Design Automation Conference, 1984

1983

Primality Testing and Factoring.

James Finn, Karl J. Lieberherr

Theor. Comput. Sci., 1983

Analysis of polynomial approximation algorithms for constraint expressions.

Karl J. Lieberherr, Stephen A. Vavasis

Proceedings of the Theoretical Computer Science, 1983

Zeus: A hardware description language for VLSI.

Karl J. Lieberherr, Svend E. Knudsen

Proceedings of the 20th Design Automation Conference, 1983

1982

Algorithmic Extremal Problems in Combinatorial Optimization.

Karl J. Lieberherr

J. Algorithms, 1982

1981

Uniform Complexity and Digital Signatures.

Karl J. Lieberherr

Theor. Comput. Sci., 1981

Complexity of Partial Satisfaction.

Karl J. Lieberherr, Ernst Specker

J. ACM, 1981

Probabilistic Combinatorial Optimization.

Karl J. Lieberherr

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

1980

P-Optimal Heuristics.

Karl J. Lieberherr

Theor. Comput. Sci., 1980