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 × France
1 × Latvia
1 × United Kingdom
3 × USA
Collaborated with:
A.Q.Gates S.Salamah W.Wang M.Orshansky E.Dantsin A.Wolpert O.Kosheleva G.Mayer H.T.Nguyen C.Baral L.Tuan R.Trejo D.E.Cooke R.Duran
Talks about:
logic (3) base (3) algorithm (2) quantum (2) linear (2) interv (2) comput (2) uncertainti (1) probabilist (1) constraint (1)

Person: Vladik Kreinovich

DBLP DBLP: Kreinovich:Vladik

Contributed to:

SEKE 20072007
DAC 20062006
SAC 20062006
SAC 20052005
CL 20002000
SEKE 19941994

Wrote 6 papers:

SEKE-2007-SalamahKG #generative #linear #logic #specification
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications (SS, VK, AQG), pp. 422–427.
DAC-2006-WangKO #nondeterminism #parametricity #probability #statistics
Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty (WSW, VK, MO), pp. 161–166.
SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards
Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.
SAC-2005-KoshelevaKMN #matrix #np-hard
Computing the cube of an interval matrix is NP-Hard (OK, VK, GM, HTN), pp. 1449–1453.
CL-2000-BaralTTK #complexity
Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States (CB, LCT, RT, VK), pp. 882–896.
SEKE-1994-CookeDGK #concurrent #linear #logic programming #source code
Bag languages, concurrency, Horn logic programs, and linear logic (DEC, RD, AQG, VK), pp. 289–297.

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.