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 × Denmark
1 × Israel
1 × Spain
2 × USA
Collaborated with:
B.Adsul M.Mukund J.Garg R.Mehta N.Klarlund V.V.Vazirani K.N.Kumar J.Radhakrishnan
Talks about:
asynchron (2) algorithm (2) linear (2) time (2) complementari (1) homeomorph (1) tractabl (1) protocol (1) polynomi (1) piecewis (1)

Person: Milind A. Sohoni

DBLP DBLP: Sohoni:Milind_A=

Contributed to:

STOC 20122012
STOC 20112011
ICALP 20022002
ICALP 19981998
ICALP 19941994

Wrote 5 papers:

STOC-2012-GargMSV #algorithm
A complementary pivot algorithm for markets under separable, piecewise-linear concave utilities (JG, RM, MAS, VVV), pp. 1003–1016.
STOC-2011-AdsulGMS #algorithm #game studies #morphism #polynomial
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm (BA, JG, RM, MAS), pp. 195–204.
ICALP-2002-AdsulS #linear #logic
Complete and Tractable Local Linear Time Temporal Logics over Traces (BA, MAS), pp. 926–937.
ICALP-1998-MukundKRS #finite #protocol #robust
Robust Asynchronous Protocols Are Finite-State (MM, KNK, JR, MAS), pp. 188–199.
ICALP-1994-KlarlundMS #automaton
Determinizing Asynchronous Automata (NK, MM, MAS), pp. 130–141.

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.