PUBLICATIONS

  1. D. Tulone. Ensuring strong data consistency in highly mobile networks via quorum systems. Ad Hoc Networks journal. 

  2. D. Tulone. On the feasibility of Global Time Estimation under Isolation Conditions in Wireless Sensor Networks. Algorithmica Journal, June 2005.

  3. D. Tulone, S. Madden. An energy-efficient querying framework in sensor networks for detecting node similarities. In Proc. of the 9th Intl. ACM Symp. on Modeling, Analysis and Simulation of Wireless and Mobile Systems, October 2006.

  4. D. Tulone, S. Madden. PAQ: Time series forecasting for approximate query answering in sensor networks. In Proc. of the 3rd European Conf. Wireless Sensor Networks, Feb 2006.

  5. D. Tulone. Is it possible to ensure strong data guarantees in highly mobile networks? In Proc. of the 5th Annual Mediterranean Workshop of Ad hoc Networks (MedHoc), June 2006.

  6. D. Tulone. A Model-Based Monitoring Scheme for Disruption-tolerant Underwater Sensor Networks. In Proc. SECON 2009. 

  7. D. Tulone. A hierarchical model-based framework for answering queries in very large sensor networks. Invited journal submission. 

  8. D. Tulone, C. K. Yap, and C. Li. Randomized zero-testing of radical expressions and Elementary Geometry theorem proving. In Automated Deduction in Geometry, LNCS 2061, Springer 2001. 

  9. D.Tulone. A Resource-efficient Time Estimation for Wireless Sensor Networks. In Proc. of the 4th Workshop on Foundations of Mobile Computing (DIALM-POMC '04), Oct 2004.

  10. D. Tulone, E. Demaine. Redesigning quorum systems for wireless sensor networks. In Proc. 2nd Intl. Conf. on Wireless Algorithms, Systems, and Applications, Aug 2007.

  11. D. Tulone, M. Srivastava.  A general framework for on-line detection and diagnosis of sensor faults. In Proc. of ITA Conf., Sept 07.

  12. D.Tulone. A Secure and Scalable Digital Time-stamping Service. In Proc. of the Intl. Conf. on Communications, track Network Security, June 2006.  Best paper award.

  13. D. Tulone, S. Madden. SAF: a similarity-based adaptable framework for approximate querying in sensor networks based on time series forecasting. TOSN. 

  14. D.Tulone. Enhancing efficiency of Byzantine-tolerant coordination protocols via hash functions. In Proc. of  the 10th Conference Euro-Par 2004, pp. 587-595, September 2004.

  15. D.Tulone. How efficiently and accurately can a process get the reference time? International Symposium on Distributed Computing (DISC '03), Sorrento, Italy, October 2003. 

  16. D.Tulone. Ensuring Causal Consistency in Internet-based Services with Arbitrary Failures. IN proc. ISADS, April 2003.

  17. R. Baldoni, C.Spaziani, S. Tucci-Piergiovanni, D.Tulone. An Implementation of Causal Memories using the Writing Semantic. In the Proc. of the 6th International Conference On Principles of Distributed Systems, (OPODIS '02), pp. 41-50, Reims, France, December 2002.

  18. D.Malkhi, M.K.Reiter, D.Tulone, E.Ziskind. Persistent objects in the Fleet System. In Proc. of the 2nd Darpa Information Survivability Conference (DISCEX II), Vol. 2,  pp. 1126-1137, June 2001.

  19. D.Tulone, C.K.Yap, C.Li. Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving. In Proc. of the Intl. Workshop on Automated Deduction in Geometry (ADG '00), September 2000.

  20. D. Tulone. Mechanisms for energy conservation in wireless sensor networks. Ph.D. thesis, University of Pisa and MIT. Dec 2005.

  21. D. Tulone. Efficiency and intrusion-tolerance: reconcilable aspects of the same coin? Ph.D. thesis proposal, March 2004

  22. D.Tulone. An Efficient and Secure Information Dispersal Protocol. Manuscript MIT May 2006. 

  23. D.Tulone. On the design of a distributed Byzantine-tolerant function. Manuscript, University of Pisa, August 2003. 

  24. D.Tulone. On the Efficiently of Ordering Operations with Arbitrary Failures Technical Report, ISTI-CNR. April 2003.

  25. D.Tulone, C.K.Yap Cookbook bounds for Multi-term Recursions. Manuscript, New York University, February 1998.

  26. D. Tulone. ETNA: Extensible Theorem Prover in NAtural deduction, in Set Theory. M.S. thesis, Dept. of Mathematics, Univ. of Catania, Mar 94.