Publications

Journals:         

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

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

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

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

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, 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 Simulationof Wireless and Mobile Systems, October 2006.

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. In Proc. of the 4th Workshop on Foundations of Mobile Computing (DIALM-POMC '04), Oct 2004.

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

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

Secure distributed systems

D.Tulone. A Secure and Scalable Digital Time-stamping Service. 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, MIT CSAIL, May 2006. In preparation for publication.

D.Tulone. On the design of a distributed Byzantine-tolerant function.Manuscript, University of Pisa, August 2003. In preparation for publication.

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.

D. Tulone. ETNA: Extensible Theorem Prover in NAtural deduction, in Set Theory. Tesi di laurea, Dept. of Mathematics, Univ. of Catania, Mar 94.