Sotabase

Career

· Simon Ramo Professor of Computer Science, Emeritus, California Institute of Technology1989–
· Visiting Professor, California Institute of Technology1988–1989
· Professor, University of Texas at Austin1970–1987
· Ph.D. in Operations Research, Massachusetts Institute of Technology1966–1969
· M.S. in Electrical Engineering, Polytechnic Institute of Brooklyn1965–1966
· B.Tech. in Electrical Engineering, Indian Institute of Technology, Madras1961–1965
· Researcher, Honeywell
· Researcher/Consultant, IBM

Publications (20)

How processes learn
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1985
310
cited
A simple optimal power flow model with energy storage
IEEE Conference on Decision and Control · 2010
182
cited
Optimal power flow over tree networks
Allerton Conference on Communication, Control, and Computing · 2011
104
cited
Equivalence of branch flow and bus injection models
Allerton Conference on Communication, Control, and Computing · 2012
92
cited
Predicate Transformers for Reasoning about Concurrent Computation
Science of Computer Programming · 1995
43
cited
Load-shedding probabilities with hybrid renewable power generation and energy storage
Allerton Conference on Communication, Control, and Computing · 2010
37
cited
Convergence Verification: From Shared Memory to Partially Synchronous Systems
International Conference on Formal Modeling and Analysis of Timed Systems · 2008
24
cited
An Experiment in Program Composition and Proof
Formal Methods Syst. Des. · 2002
22
cited
Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow
Annual Conference on Information Sciences and Systems · 2014
21
cited
Performance models of token ring local area networks
Measurement and Modeling of Computer Systems · 1983
18
cited
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
International Conference on Theorem Proving in Higher Order Logics · 2008
16
cited
Verification of distributed systems with local–global predicates
Formal Aspects of Computing · 2011
15
cited
Embedded Networked Sensing
Encyclopedia of Database Systems · 2009
8
cited
Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment
ACM Conference on Economics and Computation · 2000
6
cited
Enterprise Information Integration
Encyclopedia of Database Systems · 2009
2
cited
Theory and implementation of a distributed event based platform
Distributed Event-Based Systems · 2016
2
cited
Entity Resolution
Encyclopedia of Database Systems · 2009
Event Processing
Encyclopedia of Database Systems · 2009
Extended Relations
Encyclopedia of Database Systems · 2009
Mathematics of Program Construction Applied to Analog Neural Networks
International Conference on Mathematics of Program Construction · 1989
Sotabase
K. Mani Chandy | Researcher Profile | Sotabase | Sotabase