Stem van$ (all stems)

7 papers:

CSL-2015-KontinenMSV #semantics #theorem

A Van Benthem Theorem for Modal Team Semantics (JK, JSM, HS, HV), pp. 277–291.

ICGT-2014-KonigLSW #graph transformation

Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.

ITiCSE-2011-Connolly #education #web

Awakening Rip Van Winkle: modernizing the computer science web curriculum (RWC), pp. 18–22.

GT-VMT-2010-Kahl

Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories (WK).

CASE-2006-ZhangCVJG #assembly #modelling

Modeling of van der Waals Forces during the Assembly of Micro Devices (LZ, JC, DV, JJ, BG), pp. 484–489.

STOC-2006-Gurvits #algorithm #approach #bound #proving

Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications (LG), pp. 417–426.

SAT-2003-DransfieldMT #satisfiability

Satisfiability and Computing van der Waerden Numbers (MRD, VWM, MT), pp. 1–13.