BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Latvia
1 × Poland
1 × Spain
3 × USA
Collaborated with:
P.Pudlák M.Schacht Y.Kohayakawa B.Nagle M.Lauria N.Thapen N.Alon A.Coja-Oghlan H.Hàn M.Kang M.Ajtai L.Babai P.Hajnal J.Komlós E.Szemerédi G.Turán
Talks about:
hypergraph (2) graph (2) test (2) distribut (1) algorithm (1) properti (1) regular (1) program (1) general (1) complex (1)

Person: Vojtech Rödl

DBLP DBLP: R=ouml=dl:Vojtech

Contributed to:

ICALP (1) 20132013
ICALP 20072007
STOC 20072007
ICALP 20022002
STOC 19931993
STOC 19861986

Wrote 6 papers:

ICALP-v1-2013-LauriaPRT #complexity #graph #proving
The Complexity of Proving That a Graph Is Ramsey (ML, PP, VR, NT), pp. 684–695.
ICALP-2007-AlonCHKRS #algorithm #graph
Quasi-randomness and Algorithmic Regularity for Graphs with General Degree Distributions (NA, ACO, HH, MK, VR, MS), pp. 789–800.
STOC-2007-RodlS #testing
Property testing in hypergraphs and the removal lemma (VR, MS), pp. 488–495.
ICALP-2002-KohayakawaNR #performance #testing
Efficient Testing of Hypergraphs (YK, BN, VR), pp. 1017–1028.
Modified ranks of tensors and the size of circuits (PP, VR), pp. 523–531.
STOC-1986-AjtaiBHKPRST #bound #branch #source code
Two lower bounds for branching programs (MA, LB, PH, JK, PP, VR, ES, GT), pp. 30–38.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.