Random Generation and Approximate Counting of Ambiguously Described Combinatorial Structures
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Linear delay enumeration and monadic second-order logic
Discrete Applied Mathematics
Controlled non-uniform random generation of decomposable structures
Theoretical Computer Science
Generating, sampling and counting subclasses of regular tree languages
Proceedings of the 14th International Conference on Database Theory
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
A new dichotomic algorithm for the uniform random generation of words in regular languages
Theoretical Computer Science
Non-redundant random generation algorithms for weighted context-free grammars
Theoretical Computer Science
Hi-index | 0.89 |