Matrix analysis
COACH: a teaching agent that learns
Communications of the ACM
Randomized algorithms
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Letizia: an agent that assists web browsing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Text Retrieval Systems for the Web
Programming and Computing Software
The effect of the back button in a random walk: application for pagerank
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
On the convergence of Newton's method for monotone systems of polynomial equations
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Automata, Probability, and Recursion
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
Journal of the ACM (JACM)
Computing the Least Fixed Point of Positive Polynomial Systems
SIAM Journal on Computing
Qualitative reachability in stochastic BPA games
Information and Computation
Model Checking of Recursive Probabilistic Systems
ACM Transactions on Computational Logic (TOCL)
Analysis of recursive probabilistic models
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Hi-index | 0.01 |