PUBLICATIONS
-
D. Tulone. Ensuring strong data consistency in highly mobile networks via quorum systems. Ad Hoc Networks journal.
-
D. Tulone. On the feasibility of Global Time Estimation under Isolation Conditions in Wireless Sensor Networks. Algorithmica Journal, June 2005.
-
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.
-
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. 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. A Model-Based Monitoring Scheme for Disruption-tolerant Underwater Sensor Networks. In Proc. SECON 2009.
-
D. Tulone. A hierarchical model-based framework for answering queries in very large sensor networks. Invited journal submission.
-
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.
-
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.
-
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.
-
D. Tulone, S. Madden. SAF: a similarity-based adaptable framework for approximate querying in sensor networks based on time series forecasting. TOSN.
-
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.
-
D.Tulone. Ensuring Causal Consistency in Internet-based Services with Arbitrary Failures. IN proc. ISADS, April 2003.
-
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 (DISCEX II), Vol. 2, pp. 1126-1137, June 2001.
-
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.
-
D. Tulone. Mechanisms for energy conservation in wireless sensor networks. Ph.D. thesis, University of Pisa and MIT. 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 May 2006.
-
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.
-
D. Tulone. ETNA: Extensible Theorem Prover in NAtural deduction, in Set Theory. M.S. thesis, Dept. of Mathematics, Univ. of Catania, Mar 94.