2008 |
29 | EE | Ketan Mulmuley,
Milind A. Sohoni:
Geometric Complexity Theory II: Towards Explicit Obstructions for Embeddings among Class Varieties.
SIAM J. Comput. 38(3): 1175-1206 (2008) |
2007 |
28 | EE | Ketan Mulmuley,
Milind A. Sohoni:
Geometric Complexity Theory: Introduction
CoRR abs/0709.0746: (2007) |
27 | EE | Ketan Mulmuley,
Milind A. Sohoni:
Geometric Complexity Theory IV: quantum group for the Kronecker problem
CoRR abs/cs/0703110: (2007) |
2006 |
26 | EE | Ketan Mulmuley,
Milind A. Sohoni:
Geometric Complexity Theory II: Towards explicit obstructions for embeddings among class varieties
CoRR abs/cs/0612134: (2006) |
25 | EE | Jiefeng Xu,
Milind A. Sohoni,
Mike McCleery,
T. Glenn Bailey:
A dynamic neighborhood based tabu search algorithm for real-world flight instructor scheduling problems.
European Journal of Operational Research 169(3): 978-993 (2006) |
24 | EE | Milind A. Sohoni,
Ellis Johnson,
T. Glenn Bailey:
Operational airline reserve crew planning.
J. Scheduling 9(3): 203-221 (2006) |
2005 |
23 | EE | Ashish V. Tendulkar,
Milind A. Sohoni,
Babatunde Ogunnaike,
Pramod P. Wangikar:
A geometric invariant-based framework for the analysis of protein conformational space.
Bioinformatics 21(18): 3622-3628 (2005) |
22 | EE | Ketan Mulmuley,
Milind A. Sohoni:
Geometric Complexity III: on deciding positivity of Littlewood-Richardson coefficients
CoRR abs/cs/0501076: (2005) |
21 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
Milind A. Sohoni,
P. S. Thiagarajan:
A theory of regular MSC languages.
Inf. Comput. 202(1): 1-38 (2005) |
2004 |
20 | EE | Bharat Adsul,
Milind A. Sohoni:
Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages.
FSTTCS 2004: 84-96 |
2003 |
19 | EE | Sharat Chandran,
Ananth K. Potty,
Milind A. Sohoni:
Fast image transforms using diophantine methods.
IEEE Transactions on Image Processing 12(6): 678-684 (2003) |
18 | | Madhavan Mukund,
K. Narayan Kumar,
Milind A. Sohoni:
Bounded time-stamping in message-passing systems.
Theor. Comput. Sci. 290(1): 221-239 (2003) |
2002 |
17 | EE | Bharat Adsul,
Milind A. Sohoni:
Local Normal Forms for Logics over Traces.
FSTTCS 2002: 47-58 |
16 | EE | Bharat Adsul,
Milind A. Sohoni:
Complete and Tractable Local Linear Time Temporal Logics over Traces.
ICALP 2002: 926-937 |
15 | EE | Sashikumar Venkataraman,
Milind A. Sohoni:
Reconstruction of feature volumes and feature suppression.
Symposium on Solid Modeling and Applications 2002: 321-328 |
14 | EE | Sashikumar Venkataraman,
Milind A. Sohoni:
Reconstruction of feature volumes and feature suppression.
Symposium on Solid Modeling and Applications 2002: 60-71 |
13 | EE | Sashikumar Venkataraman,
Milind A. Sohoni,
Rahul Rajadhyaksha:
Removal of blends from boundary representation models.
Symposium on Solid Modeling and Applications 2002: 83-94 |
2001 |
12 | EE | Sashikumar Venkataraman,
Milind A. Sohoni,
Vinay Kulkarni:
A graph-based framework for feature recognition.
Symposium on Solid Modeling and Applications 2001: 194-205 |
11 | EE | Sashikumar Venkataraman,
Milind A. Sohoni,
Gershon Elber:
Blend recognition algorithm and applications.
Symposium on Solid Modeling and Applications 2001: 99-108 |
10 | EE | Ketan Mulmuley,
Milind A. Sohoni:
Geometric Complexity Theory I: An Approach to the P vs. NP and Related Problems.
SIAM J. Comput. 31(2): 496-526 (2001) |
2000 |
9 | EE | Madhavan Mukund,
K. Narayan Kumar,
Milind A. Sohoni:
Synthesizing Distributed Finite-State Systems from MSCs.
CONCUR 2000: 521-535 |
8 | EE | Bharat Adsul,
Aranyak Mehta,
Milind A. Sohoni:
Keeping Track of the Latest Gossip in Shared Memory Systems.
FSTTCS 2000: 477-488 |
1998 |
7 | EE | Madhavan Mukund,
K. Narayan Kumar,
Jaikumar Radhakrishnan,
Milind A. Sohoni:
Towards a Characterisation of Finite-State Message-Passing Systems.
ASIAN 1998: 282-299 |
6 | EE | Madhavan Mukund,
K. Narayan Kumar,
Jaikumar Radhakrishnan,
Milind A. Sohoni:
Robust Asynchronous Protocols Are Finite-State.
ICALP 1998: 188-199 |
1997 |
5 | | Madhavan Mukund,
Milind A. Sohoni:
Keeping Track of the Latest Gossip in a Distributed System.
Distributed Computing 10(3): 137-148 (1997) |
1995 |
4 | | Nils Klarlund,
Madhavan Mukund,
Milind A. Sohoni:
Determinizing Büchi Asnchronous Automata.
FSTTCS 1995: 456-470 |
1994 |
3 | | Nils Klarlund,
Madhavan Mukund,
Milind A. Sohoni:
Determinizing Asynchronous Automata.
ICALP 1994: 130-141 |
1993 |
2 | | Madhavan Mukund,
Milind A. Sohoni:
Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice.
FSTTCS 1993: 388-399 |
1990 |
1 | | Michael C. Loui,
Milind A. Sohoni:
An Algorithm for Load Balancing in Multiprocessor Systems.
Inf. Process. Lett. 35(5): 223-228 (1990) |