Some geometric applications of Dilworth's theorem
SCG '93 Proceedings of the ninth annual symposium on Computational geometry
Ramsey-type results for geometric graphs
Proceedings of the twelfth annual symposium on Computational geometry
Paul Erdös (1913-996): his influence on the theory of computing
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
Ramsey-type results for geometric graphs. II
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
Generalized and geometric Ramsey numbers for cycles
Theoretical Computer Science
Resource-bounded continuity and sequentiality for type-two functionals
ACM Transactions on Computational Logic (TOCL)
On generalized van der Waerden triples
Discrete Mathematics
Typechecking XML views of relational databases
ACM Transactions on Computational Logic (TOCL)
A partition problem on colored sets
Discrete Mathematics
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Local Anti-Ramsey Numbers of Graphs
Combinatorics, Probability and Computing
On the number of edges not covered by monochromatic copies of a fixed graph
Journal of Combinatorial Theory Series B
Independent Deuber sets in graphs on the natural numbers
Journal of Combinatorial Theory Series A
A Characterization of Easily Testable Induced Subgraphs
Combinatorics, Probability and Computing
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
The complexity of temporal constraint satisfaction problems
Journal of the ACM (JACM)
IEEE Transactions on Information Theory
Vertex-bipartition method for colouring minor-closed classes of graphs
Combinatorics, Probability and Computing
New Constructive Aspects of the Lovász Local Lemma
Journal of the ACM (JACM)
3D visibility representations by regular polygons
GD'09 Proceedings of the 17th international conference on Graph Drawing
On vectorizations of unary generalized quantifiers
Archive for Mathematical Logic
The dynamic complexity of formal languages
ACM Transactions on Computational Logic (TOCL)
Ramsey-type results for semi-algebraic relations
Proceedings of the twenty-ninth annual symposium on Computational geometry
| Hi-index | 0.06 |