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: Kreinovich:Vladik
Contributed to:
2007
2006
20062005
20001994Wrote 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.