Publications

Journals:         

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

• D. Tulone. On the feasibility of Global Time Estimation under Isolation Conditions in Wireless Sensor Networks. To appear in Algorithmica.

• 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, pp. 58-82, Springer 2001.

Conferences:

Wireless sensor networks

• D. Tulone, E. Demaine. Redesigning quorum systems for wireless sensor networks. Submitted to conference.

• D. Tulone, S. Madden. An energy-efficient querying framework in sensor networks for detecting node similarities. Submitted to conference.

• 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.

• 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.

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

Secure distributed systems 

• D.Tulone. A Secure and Scalable Digital Time-stamping Service. To appear in Proc. of the Intl. Conf. on Commmunications, track Network Security, June 2006.  Best paper award.

• 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. 

• D.Tulone. How Efficiently and Accurately Can a Process Get the Reference Time? International Symposium on Distributed Computing (DISC '03), Sorrento, Italy, October 2003. Brief announcement, pp. 25-32. 

• D.Tulone. Ensuring Causal Consistency in Internet-based Services with Arbitrary Failures. Fast Abstract ISADS, April 2003, pp. 17-18. 

• 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. 

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

Automated theorem proving 

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

Other manuscripts:

• D. Tulone. Mechanisms for energy conservation in wireless sensor networks. Ph.D. thesis. Dec 2005.

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

• D.Tulone. An Efficient and Secure Information Dispersal Protocol. Manuscript, University of Pisa, May 2004. 

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

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

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