default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKarl J. Lieberherr
Person information
- affiliation: Northeastern University, Boston, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c49]Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr:
Accelerating Neural MCTS Algorithms using Neural Sub-Net Structures. AAMAS 2023: 2637-2639- 2022
- [c48]Ruiyang Xu
, Karl J. Lieberherr:
On-the-Fly Model Checking with Neural MCTS. NFM 2022: 557-575 - [c47]Ruiyang Xu, Karl J. Lieberherr:
Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search. SAI (2) 2022: 45-58 - 2021
- [i4]Ruiyang Xu, Prashank Kadam, Karl J. Lieberherr:
First-Order Problem Solving through Neural MCTS based Reinforcement Learning. CoRR abs/2101.04167 (2021) - [i3]Ruiyang Xu, Karl J. Lieberherr:
Solving QSAT problems with neural MCTS. CoRR abs/2101.06619 (2021) - [i2]Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr:
Dual Monte Carlo Tree Search. CoRR abs/2103.11517 (2021) - 2020
- [j33]Ruiyang Xu, Karl J. Lieberherr:
Learning self-play agents for combinatorial optimization problems. Knowl. Eng. Rev. 35: e11 (2020)
2010 – 2019
- 2019
- [c46]Ruiyang Xu, Karl J. Lieberherr:
Learning Self-Game-Play Agents for Combinatorial Optimization Problems. AAMAS 2019: 2276-2278 - [i1]Ruiyang Xu, Karl J. Lieberherr:
Learning Self-Game-Play Agents for Combinatorial Optimization Problems. CoRR abs/1903.03674 (2019) - 2010
- [j32]Bryan Chadwick, Karl J. Lieberherr:
A functional approach to generic programming using adaptive traversals. High. Order Symb. Comput. 23(4): 433-463 (2010) - [c45]Bryan Chadwick, Karl J. Lieberherr:
Weaving generic programming and traversal performance. AOSD 2010: 61-72 - [c44]Bryan Chadwick, Karl J. Lieberherr:
Algorithms for traversal-based generic programming. ICFP-WGP 2010: 61-72
2000 – 2009
- 2009
- [c43]Bryan Chadwick, Karl J. Lieberherr:
A type system for functional traversal-based aspects. FOAL 2009: 1-6 - [c42]Ahmed Abdelmeged, Therapon Skotiniotis, Karl J. Lieberherr:
Controlled evolution of adaptive programs. EVOL/IWPSE 2009: 89-98 - 2007
- [c41]Ahmed Abdelmeged, Karl J. Lieberherr:
Recursive adaptive computations using perobject visitors. OOPSLA Companion 2007: 825-826 - 2006
- [c40]Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr:
Demeter Interfaces: Adaptive Programming Without Surprises. ECOOP 2006: 477-500 - 2005
- [c39]Pengcheng Wu, Karl J. Lieberherr:
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information. GPCE 2005: 141-156 - 2004
- [j31]Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans:
Traversals of object structures: Specification and Efficient Implementation. ACM Trans. Program. Lang. Syst. 26(2): 370-412 (2004) - [c38]Karl J. Lieberherr:
Controlling the Complexity of Software Design. ICSE 2004: 2-11 - [e1]Gail C. Murphy, Karl J. Lieberherr:
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, AOSD 2004, Lancaster, UK, March 22-24, 2004. ACM 2004, ISBN 1-58113-842-3 [contents] - 2003
- [j30]Karl J. Lieberherr, David H. Lorenz, Johan Ovlinger:
Aspectual Collaborations: Combining Modules and Aspects. Comput. J. 46(5): 542-565 (2003) - [c37]Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu:
A case for statically executable advice: checking the law of demeter with AspectJ. AOSD 2003: 40-49 - [c36]Macneil Shonle, Karl J. Lieberherr, Ankit Shah:
XAspects: an extensible system for domain-specific aspect languages. OOPSLA Companion 2003: 28-37 - [c35]Cristina Videira Lopes, Paul Dourish, David H. Lorenz, Karl J. Lieberherr:
Beyond AOP: toward naturalistic programming. OOPSLA Companion 2003: 198-207 - 2001
- [j29]Tzilla Elrad, Mehmet Aksit, Gregor Kiczales, Karl J. Lieberherr, Harold Ossher:
Discussing aspects of AOP. Commun. ACM 44(10): 33-38 (2001) - [j28]Karl J. Lieberherr, Doug Orleans, Johan Ovlinger:
Aspect-oriented programming with adaptive methods. Commun. ACM 44(10): 39-41 (2001) - [c34]Doug Orleans, Karl J. Lieberherr:
DJ: Dynamic Adaptive Programming in Java. Reflection 2001: 73-80 - 2000
- [j27]Karl J. Lieberherr:
Demeter/adaptive programming. ACM SIGSOFT Softw. Eng. Notes 25(1): 100-101 (2000) - [c33]Karl J. Lieberherr, David H. Lorenz, Mira Mezini:
Building modular object-oriented systems with reusable collaborations (tutorial session). ICSE 2000: 821
1990 – 1999
- 1999
- [c32]Linda M. Seiter, Mira Mezini, Karl J. Lieberherr:
Dynamic Component Gluing. GCSE 1999: 134-164 - [c31]Neeraj Sangal, Edward Farrell, Karl J. Lieberherr, David H. Lorenz:
Interaction Schemata: Compiling Interactions to Code. TOOLS (30) 1999: 268- - 1998
- [j26]Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations. IEEE Trans. Software Eng. 24(1): 79-92 (1998) - [c30]Karl J. Lieberherr, Boaz Patt-Shamir:
The Refinement Relation of Graph-Based Generic Programs. Generic Programming 1998: 40-52 - [c29]Ibrahim Matta, Mohamed Eltoweissy, Karl J. Lieberherr:
From CSCW applications to multicast routing: an integrated QoS architecture. ICC 1998: 880-884 - [c28]Mira Mezini, Karl J. Lieberherr:
Adaptive Plug-and-Play Components for Evolutionary Software Development. OOPSLA 1998: 97-116 - 1997
- [j25]Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr:
A New Approach to Compiling Adaptive Programs. Sci. Comput. Program. 29(3): 303-326 (1997) - [j24]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): 50-67 (1997) - [c27]Karl J. Lieberherr, Doug Orleans:
Preventive Program Maintenance in Demeter/Java. ICSE 1997: 604-605 - [c26]Linda M. Seiter, Karl J. Lieberherr, Doug Orleans:
Simplifying the Evolution of Java Programs (Tutorial). ICSE 1997: 655-656 - 1996
- [j23]Ian M. Holland, Karl J. Lieberherr:
Object-Oriented Design. ACM Comput. Surv. 28(1): 273-275 (1996) - [j22]Karl J. Lieberherr:
From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures. ACM Comput. Surv. 28(4es): 156 (1996) - [c25]Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr:
A New Approach to Compiling Adaptive Programs. ESOP 1996: 280-295 - [c24]M. Spit, Sjaak Brinkkemper, Karl J. Lieberherr:
Integrating Adaptive Programming into Existing Object-Oriented Analysis and Design Methods: Do It Yourself Adaptiveness. OOIS 1996: 57-75 - [c23]Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr:
Evolution of Object Behavior Using Context Relations. SIGSOFT FSE 1996: 46-57 - 1995
- [j21]Karl J. Lieberherr, Roberto V. Zicari:
Editorial. Theory Pract. Object Syst. 1(1): 1 (1995) - [j20]Jens Palsberg, Cun Xiao, Karl J. Lieberherr:
Efficient Implementation of Adaptive Software. ACM Trans. Program. Lang. Syst. 17(2): 264-292 (1995) - [c22]Karl J. Lieberherr:
Workshop on adaptable and adaptive software. OOPSLA Addendum 1995: 149-154 - 1994
- [j19]Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao:
Adaptive Object-Oriented Programming Using Graph-Based Customization. Commun. ACM 37(5): 94-101 (1994) - [j18]Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao:
Object-Extending Class Transformations. Formal Aspects Comput. 6(4): 391-416 (1994) - [j17]Karl J. Lieberherr, Cun Xiao:
Customizing Adaptive Software to Object-Oriented Software Using Grammars. Int. J. Found. Comput. Sci. 5(2): 179-208 (1994) - [j16]Karl J. Lieberherr, Cun Xiao:
Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars. Int. J. Found. Comput. Sci. 5(3/4): 329- (1994) - [c21]Cristina Videira Lopes, Karl J. Lieberherr:
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. ECOOP 1994: 81-99 - [c20]Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr:
Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications. ICDE 1994: 180-189 - 1993
- [j15]Karl J. Lieberherr, Cun Xiao:
Formal Foundations for Object-Oriented Data Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 462-478 (1993) - [j14]Karl J. Lieberherr, Cun Xiao:
Object-Oriented Software Evolution. IEEE Trans. Software Eng. 19(4): 313-343 (1993) - [c19]Karl J. Lieberherr, Cun Xiao:
Minimizing Dependency on Class Structures with Adaptive Programs. ISOTAS 1993: 424-441 - [c18]Walter L. Hürsch, Karl J. Lieberherr, Sougata Mukherjea:
Object-Oriented Schema Extension and Abstraction. SAC 1993: 54-62 - 1992
- [j13]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): 54-63 (1992) - [c17]Karl J. Lieberherr:
Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes. IFIP Congress (1) 1992: 179-185 - [c16]Karl J. Lieberherr:
Object-oriented software development with the Demeter Method (abstract). OOPSLA Addendum 1992: 220 - [c15]Karl J. Lieberherr, Ian M. Holland, Walter L. Hürsch, Ignacio Silva-Lepe, Cun Xiao:
Demeter Tools/C++ (abstract). OOPSLA Addendum 1992: 233 - 1991
- [j12]Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe:
From objects to classes: algorithms for optimal object-oriented design. Softw. Eng. J. 6(4): 205-228 (1991) - [c14]Paul L. Bergstein, Karl J. Lieberherr:
Incremental Class Dictionary Learning and Optimization. ECOOP 1991: 377-396 - 1990
- [c13]Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe:
Abstraction of Object-Oriented Data Models. ER 1990: 81-94
1980 – 1989
- 1989
- [j11]Karl J. Lieberherr, Ian M. Holland:
Formulations and benefits of the law of demeter. ACM SIGPLAN Notices 24(3): 67-78 (1989) - [j10]Karl J. Lieberherr, Ian M. Holland:
Assuring Good Style for Object-Oriented Programs. IEEE Softw. 6(5): 38-48 (1989) - [c12]Karl J. Lieberherr, Ian M. Holland:
Tools for preventive software maintenance. ICSM 1989: 2-13 - [c11]Karl J. Lieberherr, Arthur J. Riel:
Contributions to Teaching Object Oriented Design and Programming. OOPSLA 1989: 11-22 - 1988
- [j9]Karl J. Lieberherr:
Object-Oriented Programming with Class Dictionaries. LISP Symb. Comput. 1(2): 185-212 (1988) - [c10]Karl J. Lieberherr, Arthur J. Riel:
Demeter: A Case Study of Software Growth through Parameterized Classes. ICSE 1988: 254-264 - [c9]Karl J. Lieberherr, Ian M. Holland, Arthur J. Riel:
Object-Oriented Programming: An Objective Sense of Style. OOPSLA 1988: 323-334 - 1985
- [j8]Steven M. German, Karl J. Lieberherr:
Zeus: A Language for Expressing Algorithms in Hardware. Computer 18(2): 55-65 (1985) - [j7]Karl J. Lieberherr:
Toward a Standard Hardware Description Language. IEEE Des. Test 2(1): 55-62 (1985) - [j6]Ming-Deh A. Huang, Karl J. Lieberherr:
Implications of Forbidden Structures for Extremal Algorithmic Problems. Theor. Comput. Sci. 40: 195-210 (1985) - [c8]Andrew V. Goldberg, Karl J. Lieberherr:
Efficient Test Generation Algorithms. ITC 1985: 508-517 - 1984
- [c7]Karl J. Lieberherr:
Towards a standard hardware description language. DAC 1984: 265-272 - [c6]Karl J. Lieberherr:
Parameterized random testing. DAC 1984: 510-516 - 1983
- [j5]James Finn, Karl J. Lieberherr:
Primality Testing and Factoring. Theor. Comput. Sci. 23: 211-215 (1983) - [c5]Karl J. Lieberherr, Svend E. Knudsen:
Zeus: A hardware description language for VLSI. DAC 1983: 17-23 - [c4]Karl J. Lieberherr, Stephen A. Vavasis:
Analysis of polynomial approximation algorithms for constraint expressions. Theoretical Computer Science 1983: 187-197 - 1982
- [j4]Karl J. Lieberherr:
Algorithmic Extremal Problems in Combinatorial Optimization. J. Algorithms 3(3): 225-244 (1982) - 1981
- [j3]Karl J. Lieberherr, Ernst Specker:
Complexity of Partial Satisfaction. J. ACM 28(2): 411-421 (1981) - [j2]Karl J. Lieberherr:
Uniform Complexity and Digital Signatures. Theor. Comput. Sci. 16: 99-110 (1981) - [c3]Karl J. Lieberherr:
Uniform Complexity and Digital Signatures. ICALP 1981: 530-543 - [c2]Karl J. Lieberherr:
Probabilistic Combinatorial Optimization. MFCS 1981: 423-432 - 1980
- [j1]Karl J. Lieberherr:
P-Optimal Heuristics. Theor. Comput. Sci. 10: 123-131 (1980)
1970 – 1979
- 1979
- [c1]Karl J. Lieberherr, Ernst Specker:
Complexity of Partial Satisfaction. FOCS 1979: 132-139
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
