Karl J. Lieberherr

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 9

Top Topics

Combinatorial Optimization

Temporal Difference Learning

Reinforcement Learning

Monte Carlo Tree Search

Top Venues

Knowl. Eng. Rev.

Publications

Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr
Accelerating Neural MCTS Algorithms using Neural Sub-Net Structures. AAMAS (2023)
Ruiyang Xu, Karl J. Lieberherr
On-the-Fly Model Checking with Neural MCTS. NFM (2022)
Ruiyang Xu, Karl J. Lieberherr
Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search. SAI (2) (2022)
Ruiyang Xu, Karl J. Lieberherr
Solving QSAT problems with neural MCTS. CoRR (2021)
Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr
Dual Monte Carlo Tree Search. CoRR (2021)
Ruiyang Xu, Prashank Kadam, Karl J. Lieberherr
First-Order Problem Solving through Neural MCTS based Reinforcement Learning. CoRR (2021)
Ruiyang Xu, Karl J. Lieberherr
Learning self-play agents for combinatorial optimization problems. Knowl. Eng. Rev. 35 (2020)
Ruiyang Xu, Karl J. Lieberherr
Learning Self-Game-Play Agents for Combinatorial Optimization Problems. CoRR (2019)
Ruiyang Xu, Karl J. Lieberherr
Learning Self-Game-Play Agents for Combinatorial Optimization Problems. AAMAS (2019)
Bryan Chadwick, Karl J. Lieberherr
A functional approach to generic programming using adaptive traversals. High. Order Symb. Comput. 23 (4) (2010)
Bryan Chadwick, Karl J. Lieberherr
Weaving generic programming and traversal performance. AOSD (2010)
Bryan Chadwick, Karl J. Lieberherr
Algorithms for traversal-based generic programming. ICFP-WGP (2010)
Bryan Chadwick, Karl J. Lieberherr
A type system for functional traversal-based aspects. FOAL (2009)
Ahmed Abdelmeged, Therapon Skotiniotis, Karl J. Lieberherr
Controlled evolution of adaptive programs. EVOL/IWPSE (2009)
Ahmed Abdelmeged, Karl J. Lieberherr
Recursive adaptive computations using perobject visitors. OOPSLA Companion (2007)
Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr
Demeter Interfaces: Adaptive Programming Without Surprises. ECOOP (2006)
Pengcheng Wu, Karl J. Lieberherr
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information. GPCE (2005)
Karl J. Lieberherr
Controlling the Complexity of Software Design. ICSE (2004)
Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans
Traversals of object structures: Specification and Efficient Implementation. ACM Trans. Program. Lang. Syst. 26 (2) (2004)
Karl J. Lieberherr, David H. Lorenz, Johan Ovlinger
Aspectual Collaborations: Combining Modules and Aspects Comput. J. 46 (5) (2003)
Cristina Videira Lopes, Paul Dourish, David H. Lorenz, Karl J. Lieberherr
Beyond AOP: toward naturalistic programming. OOPSLA Companion (2003)
Macneil Shonle, Karl J. Lieberherr, Ankit Shah
XAspects: an extensible system for domain-specific aspect languages. OOPSLA Companion (2003)
Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu
A case for statically executable advice: checking the law of demeter with AspectJ. AOSD (2003)
Doug Orleans, Karl J. Lieberherr
DJ: Dynamic Adaptive Programming in Java. Reflection (2001)
Karl J. Lieberherr, Doug Orleans, Johan Ovlinger
Aspect-oriented programming with adaptive methods. Commun. ACM 44 (10) (2001)
Tzilla Elrad, Mehmet Aksit, Gregor Kiczales, Karl J. Lieberherr, Harold Ossher
Discussing aspects of AOP. Commun. ACM 44 (10) (2001)
Karl J. Lieberherr
Demeter/adaptive programming. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Karl J. Lieberherr, David H. Lorenz, Mira Mezini
Building modular object-oriented systems with reusable collaborations (tutorial session). ICSE (2000)
Linda M. Seiter, Mira Mezini, Karl J. Lieberherr
Dynamic Component Gluing. GCSE (1999)
Neeraj Sangal, Edward Farrell, Karl J. Lieberherr, David H. Lorenz
Interaction Schemata: Compiling Interactions to Code. TOOLS (30) (1999)
Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
Evolution of Object Behavior Using Context Relations. IEEE Trans. Software Eng. 24 (1) (1998)
Karl J. Lieberherr, Boaz Patt-Shamir
The Refinement Relation of Graph-Based Generic Programs. Generic Programming (1998)
Mira Mezini, Karl J. Lieberherr
Adaptive Plug-and-Play Components for Evolutionary Software Development. OOPSLA (1998)
Ibrahim Matta, Mohamed Eltoweissy, Karl J. Lieberherr
From CSCW applications to multicast routing: an integrated QoS architecture. ICC (1998)
Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr
The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database. IEEE Trans. Knowl. Data Eng. 9 (1) (1997)
Karl J. Lieberherr, Doug Orleans
Preventive Program Maintenance in Demeter/Java. ICSE (1997)
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
A New Approach to Compiling Adaptive Programs. Sci. Comput. Program. 29 (3) (1997)
Linda M. Seiter, Karl J. Lieberherr, Doug Orleans
Simplifying the Evolution of Java Programs (Tutorial). ICSE (1997)
Ian M. Holland, Karl J. Lieberherr
Object-Oriented Design. ACM Comput. Surv. 28 (1) (1996)
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
A New Approach to Compiling Adaptive Programs. ESOP (1996)
M. Spit, Sjaak Brinkkemper, Karl J. Lieberherr
Integrating Adaptive Programming into Existing Object-Oriented Analysis and Design Methods: Do It Yourself Adaptiveness. OOIS (1996)
Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
Evolution of Object Behavior Using Context Relations. SIGSOFT FSE (1996)
Karl J. Lieberherr
From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures. ACM Comput. Surv. 28 (4es) (1996)
Karl J. Lieberherr
Workshop on adaptable and adaptive software. OOPS Messenger 6 (4) (1995)
Jens Palsberg, Cun Xiao, Karl J. Lieberherr
Efficient Implementation of Adaptive Software. ACM Trans. Program. Lang. Syst. 17 (2) (1995)
Karl J. Lieberherr, Roberto V. Zicari
Editorial. Theory Pract. Object Syst. 1 (1) (1995)
Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao
Adaptive Object-Oriented Programming Using Graph-Based Customization. Commun. ACM 37 (5) (1994)
Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr
Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications. ICDE (1994)
Karl J. Lieberherr, Cun Xiao
Customizing Adaptive Software to Object-Oriented Software Using Grammars. Int. J. Found. Comput. Sci. 5 (2) (1994)
Cristina Videira Lopes, Karl J. Lieberherr
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. ECOOP (1994)
Karl J. Lieberherr, Cun Xiao
Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars. Int. J. Found. Comput. Sci. 5 (3/4) (1994)
Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao
Object-Extending Class Transformations. Formal Aspects Comput. 6 (4) (1994)
Walter L. Hürsch, Karl J. Lieberherr, Sougata Mukherjea
Object-Oriented Schema Extension and Abstraction. SAC (1993)
Karl J. Lieberherr, Ian M. Holland, Walter L. Hürsch, Ignacio Silva-Lepe, Cun Xiao
Demeter Tools/C++ (abstract). OOPS Messenger 4 (2) (1993)
Karl J. Lieberherr, Cun Xiao
Formal Foundations for Object-Oriented Data Modeling. IEEE Trans. Knowl. Data Eng. 5 (3) (1993)
Karl J. Lieberherr, Cun Xiao
Object-Oriented Software Evolution. IEEE Trans. Software Eng. 19 (4) (1993)
Karl J. Lieberherr
Object-oriented software development with the Demeter Method (abstract). OOPS Messenger 4 (2) (1993)
Karl J. Lieberherr, Cun Xiao
Minimizing Dependency on Class Structures with Adaptive Programs. ISOTAS (1993)
Karl J. Lieberherr
Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes. IFIP Congress (1) (1992)
Dominique Borrione, Robert Piloty, Dwight D. Hill, Karl J. Lieberherr, Philip Moorby
Three Decades of HDLs: Part II, Conlan Through Verilog. IEEE Des. Test Comput. 9 (3) (1992)
Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe
From objects to classes: algorithms for optimal object-oriented design. Softw. Eng. J. 6 (4) (1991)
Paul L. Bergstein, Karl J. Lieberherr
Incremental Class Dictionary Learning and Optimization. ECOOP (1991)
Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe
Abstraction of Object-Oriented Data Models. ER (1990)
Karl J. Lieberherr, Ian M. Holland
Formulations and benefits of the law of demeter. ACM SIGPLAN Notices 24 (3) (1989)
Karl J. Lieberherr, Ian M. Holland
Assuring Good Style for Object-Oriented Programs. IEEE Softw. 6 (5) (1989)
Karl J. Lieberherr, Ian M. Holland
Tools for preventive software maintenance. ICSM (1989)
Karl J. Lieberherr, Arthur J. Riel
Contributions to Teaching Object Oriented Design and Programming. OOPSLA (1989)
Karl J. Lieberherr
Object-Oriented Programming with Class Dictionaries. LISP Symb. Comput. 1 (2) (1988)
Karl J. Lieberherr, Ian M. Holland, Arthur J. Riel
Object-Oriented Programming: An Objective Sense of Style. OOPSLA (1988)
Karl J. Lieberherr, Arthur J. Riel
Demeter: A Case Study of Software Growth through Parameterized Classes. ICSE (1988)
Steven M. German, Karl J. Lieberherr
Zeus: A Language for Expressing Algorithms in Hardware. Computer 18 (2) (1985)
Andrew V. Goldberg, Karl J. Lieberherr
Efficient Test Generation Algorithms. ITC (1985)
Karl J. Lieberherr
Toward a Standard Hardware Description Language. IEEE Des. Test 2 (1) (1985)
Ming-Deh A. Huang, Karl J. Lieberherr
Implications of Forbidden Structures for Extremal Algorithmic Problems. Theor. Comput. Sci. 40 (1985)
Karl J. Lieberherr
Towards a standard hardware description language. DAC (1984)
Karl J. Lieberherr
Parameterized random testing. DAC (1984)
James Finn, Karl J. Lieberherr
Primality Testing and Factoring. Theor. Comput. Sci. 23 (1983)
Karl J. Lieberherr, Svend E. Knudsen
Zeus: A hardware description language for VLSI. DAC (1983)
Karl J. Lieberherr, Stephen A. Vavasis
Analysis of polynomial approximation algorithms for constraint expressions. Theoretical Computer Science (1983)
Karl J. Lieberherr
Algorithmic Extremal Problems in Combinatorial Optimization. J. Algorithms 3 (3) (1982)
Karl J. Lieberherr
Uniform Complexity and Digital Signatures. Theor. Comput. Sci. 16 (1981)
Karl J. Lieberherr
Probabilistic Combinatorial Optimization. MFCS (1981)
Karl J. Lieberherr, Ernst Specker
Complexity of Partial Satisfaction. J. ACM 28 (2) (1981)
Karl J. Lieberherr
Uniform Complexity and Digital Signatures. ICALP (1981)
Karl J. Lieberherr
P-Optimal Heuristics. Theor. Comput. Sci. 10 (1980)
Karl J. Lieberherr, Ernst Specker
Complexity of Partial Satisfaction FOCS (1979)