David Wittenberg's Publications

A listing of these publications with their abstracts can be found here.

1. Jonathan B. Wittenberg, William Wittenberg, and David K. Wittenberg,
   Roles of Blood Plasma and Erythrocytes in Secretion of Inert Gas into the Teleost Swimbladder (abstract).
   Biological Bulletin, 151(2):434--435, Oct. 1976.

2. David Mauzerall and David Wittenberg,
   The Size of the Photosynthetic Unit and its Turnover Time in Various Seaweeds (abstract).
   Biological Bulletin, , 157(2):382, Oct. 1979.

3. William Wittenberg, David K. Wittenberg, and Jonathan B. Wittenberg,
   Secretion of Nitrogen into the Swimbladder of Fish I. Secretion by Fishes Nearly Lacking Circulating Hemoglobin. Role of the Rete Mirabale.
   Biological Bulletin, 161(3):426--439, Dec. 1981.

4. David K. Wittenberg, William Wittenberg, Jonathan B.Wittenberg and Nobutomo Itada,
   Secretion of Nitrogen into the Swimbladder of Fish II. Molecular Mechanism. Secretion of Noble Gasses.
   Biological Bulletin, 161(3):440--451, Dec. 1981.

5. Michael J. Fischer, Silvio Micali, Charles Rackoff, and David K. Wittenberg,
   Proof of an Oblivious Transfer Protocol, or: A Proven Oblivious Transfer Protocol.
   Presented at Conference on the Mathematical Theory of Security, MIT Endicott house, Dedham, Massachusetts, 1985. abstract

6. David K. Wittenberg and Jerrold S. Leichter,
   System for controlling access to a secure system by verifying acceptability of proposed password by using hashing and group of unacceptable passwords.
   United States Patent 5,204,966, 1993. abstract, text

7. David K. Wittenberg,
   Reducing the Randomness Requirements for Quantum Money.
   Technical report CS-95-177, Computer Science Department, Brandeis University, 1995. abstract, ps, pdf

8. Timothy J. Hickey and David K. Wittenberg,
   Validated Constraint Compilation.
   Technical Report CS-99-201, Computer Science Department, Brandeis University, 1999. abstract, pdf

9. Timothy J. Hickey and David K. Wittenberg,
   Validated Constraint Compilation.
   in Joxan Jaffar, editor, Principles and Practice of Constraint Programming - CP'99 volume 1713 of Lecture Notes in Computer Science, pages 482--483, 1999. ps A longer version is [8]

10. Timothy J. Hickey and David K. Wittenberg
    Using Analytic CLP to Model and Analyze Hybrid Systems
    Technical Report CS-03-240, Computer Science Department, Brandeis University, 2003, abstract, pdf A later version is [13].

11. Timothy J. Hickey and David K. Wittenberg
    Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints
    Technical Report CS-03-241, Computer Science Department, Brandeis University, 2003, pdf A later version is [14].

12. David K.Wittenberg
    On Unverifiable Facts
    Brandeis Graduate Journal 1(1), 2003 abstract, pdf

13. Timothy J. Hickey and David K. Wittenberg,
    Using Analytic CLP to Model and Analyze Hybrid Systems,
    in Valerie Barr and Zdravko Markov, editors, FLAIRS: Florida AI Research Symposium pages 269--274, AAAI Press, 2004 pdf

14. Timothy J. Hickey and David K. Wittenberg,
    Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints
    in Rajeev Alur and George J. Pappas, editors, Hybrid Systems: Computation and Control HSCC 2004, volume 2993 of Lecture Notes in Computer Science pages 402--416, Springer Verlag, 2004. abstract, ps

15. Timothy J. Hickey and David K. Wittenberg,
    Notes on using CLIP,
    2004, currently a very early draft. abstract, ps, pdf

16. David Karger Wittenberg,
    CLP(F) Modeling of Hybrid Systems,
    PhD thesis, Brandeis University, May 2004. abstract, ps, pdf

17. John T. Langton, Timothy J. Hickey and David K. Wittenberg,
    Leveraging Layout with Dimensional Stacking and Pixelization to Facilitate Feature Discovery and Directed Queries
    in Pierre P. Lévy, Bénédicte Le Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, and Jean-François Vibert, editors, Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006 volume 4370 of Lecture Notes in Computer Science pages 77--91. Springer Verlag 2006 abstract, pdf

18. Timothy J. Hickey and David K. Wittenberg,
    Modeling Hysteresis in CLIP -- The Tank Flow Problem,
    in Rafi L. Muhanna and Robert L. Mullen, editors REC 2006 Proceedings of the NSF Workshop on Reliable Engineering Computing: Modeling Errors and Uncertainty in Engineering Computations pages 99--112, 2006. abstract, pdf, ps

19. Arik Z. Lakritz, Peter Macko, David K. Wittenberg,
    Simple Additive LSB Steganography in Losslessly Encoded Images,
    In preparation, 2007.