Travelled to:2 × USA
Collaborated with:D.W.Stemple T.Sheard M.AbuSafiya M.Pietrzyk P.K.Chrysanthis
Talks about:constrain (1) transact (1) feedback (1) document (1) accommod (1) theorem (1) tension (1) databas (1) between (1) resolv (1)
Person: Subhasish Mazumdar
DBLP: Mazumdar:Subhasish
Contributed to:
2004
2001
19881987Wrote 4 papers:
- DocEng-2004-AbuSafiyaM #database #documentation
- Accommodating paper in document databases (MA, SM), pp. 155–162.
- CIKM-2001-MazumdarPC #mobile
- Caching Constrained Mobile Data (SM, MP, PKC), pp. 442–449.
- SIGMOD-1988-MazumdarSS #proving #security #theorem proving #using
- Resolving the Tension between Integrity and Security Using a Theorem Prover (SM, DWS, TS), pp. 233–242.
- SIGMOD-1987-StempleMS #design #feedback #on the #transaction
- On the Modes and Meaning of Feedback to Transaction Designers (DWS, SM, TS), pp. 374–386.