Cryptology and complexity theories
Proc. of the EUROCRYPT 84 workshop on Advances in cryptology: theory and application of cryptographic techniques
Probabilistic inductive inference
Journal of the ACM (JACM)
An abstract theory of computer viruses (invited talk)
CRYPTO '88 Proceedings on Advances in cryptology
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Generalization versus classification
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
On the role of procrastination for machine learning
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Journal of the ACM (JACM)
Language learning in dependence on the space of hypotheses
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
On the impact of forgetting on learning machines
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
On learning multiple concepts in parallel
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
Co-learning of total recursive functions
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
The representation of recursive languages and its impact on the efficiency of learning
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
On the intrinsic complexity of language identification
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
On the inductive inference of real valued functions
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
On the impact of forgetting on learning machines
Journal of the ACM (JACM)
Probabilistic and team PFIN-type learning: general properties
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Synthesizing enumeration techniques for language learning
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Elementary formal systems, intrinsic complexity, and procrastination
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Teachers, learners and black boxes
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
On a generalized notion of mistake bounds
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
On the intrinsic complexity of learning recursive functions
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
The Power of Pluralism for Automatic Program Synthesis
Journal of the ACM (JACM)
Local Microcode Compaction Techniques
ACM Computing Surveys (CSUR)
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Communications of the ACM
Probabilistic inductive inference: a survey
Theoretical Computer Science
Axiomatic definitions of programming languages: a theoretical assessment (preliminary report)
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generalization and specialization strategies for learning r.e. languages
Annals of Mathematics and Artificial Intelligence
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Learning by the process of elimination
Information and Computation
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Theta2p-Completeness: A Classical Approach for New Results
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Undecidability of the exists*forall* Part of the Theory of Ground Term Algebra Modulo an AC Symbol
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Learning by Switching Type of Information
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Learning Recursive Functions Refutably
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
On the Learnability of Vector Spaces
ALT '02 Proceedings of the 13th International Conference on Algorithmic Learning Theory
Intrinsic Complexity of Learning Geometrical Concepts from Positive Data
COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
On learning of functions refutably
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Independence results in Computer Science? (Preliminary Version)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Some structural properties of polynomial reducibilities and sets in NP
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
On the intrinsic complexity of learning recursive functions
Information and Computation
Learning by switching type of information
Information and Computation
Intrinsic complexity of learning geometrical concepts from positive data
Journal of Computer and System Sciences
Theoretical Computer Science - Special issue: Algorithmic learning theory
On teaching theoretical foundations of Computer Science
ACM SIGACT News
On a class of independent problems related to Rice theorem
ACM SIGACT News
Hypothesis formation and language acquisition with an infinitely-often correct teacher
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Variations on U-shaped learning
Information and Computation
The Intrinsic Complexity of Learning: A Survey
Fundamenta Informaticae
On the learnability of vector spaces
Journal of Computer and System Sciences
Capabilities of Thoughtful Machines
Fundamenta Informaticae
Learning multiple languages in groups
Theoretical Computer Science
Iterative learning from positive data and negative counterexamples
Information and Computation
Learning languages from positive data and negative counterexamples
Journal of Computer and System Sciences
Probabilistic and team PFIN-type learning: General properties
Journal of Computer and System Sciences
Taming teams with mind changes
Journal of Computer and System Sciences
Learning and extending sublanguages
Theoretical Computer Science
Characterizing Programming Systems Allowing Program Self-reference
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
The complexity of searching several classes of AND/OR graphs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Applications and extensions of PTIME description logics with functional constraints
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Brief Critique of Pure Hypercomputation
Minds and Machines
One-sided error probabilistic inductive inference and reliable frequency identification
Information and Computation
Independence results for n-ary recursion theorems
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Learning Behaviors of Functions
Fundamenta Informaticae
Learning multiple languages in groups
ALT'05 Proceedings of the 16th international conference on Algorithmic Learning Theory
Variations on u-shaped learning
COLT'05 Proceedings of the 18th annual conference on Learning Theory
On approximating real-world halting problems
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
Properties Complementary to Program Self-Reference
Fundamenta Informaticae
Capabilities of Thoughtful Machines
Fundamenta Informaticae
The Intrinsic Complexity of Learning: A Survey
Fundamenta Informaticae
Learning Via Queries With Teams And Anomalies
Fundamenta Informaticae
Properties complementary to program self-reference
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Learning Behaviors of Functions with Teams
Fundamenta Informaticae
Hi-index | 0.02 |