Publications
Found 33 results
Author Keyword Title [ Type] Year Filters: First Letter Of Last Name is M [Clear All Filters]
Lower Bound Methods and Separation Results for On-Line Learning Models. Machine Learning. 9:107–145.
.
1992. Recognizing Design Patterns in C++ programs with the integration of Columbus and Maisa. Acta Cybernetica. 15:669-682.
.
2002. Slicing of Constraint Logic Programs. Linköping Electronic Articles in Computer and Information Science. 3:1-27.
.
1998. Static and Dynamic Slicing of Constraint Logic Programs. Automated Software Engineering. 9:41–65.
.
2002. Threshold Circuits of Bounded Depth. J. Comput. Syst. Sci.. 46:129–154.
.
1993. Two Tapes Versus One for Off-Line Turing Machines. Computational Complexity. 3:392–401.
.
1993. .
1999. .
1999.