Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving. - Daniela Tulone; Chee-Keng Yap; Chen Li 003 (Automated Deduction in Geometry, 2000)

An Implementation of Causal Memories using the Writing Semantic. - Roberto Baldoni; C. Sparziani; Sara Tucci Piergiovanni; Daniela Tulone (OPODIS, 2002)

A resource–efficient time estimation for wireless sensor networks. - Daniela Tulone (DIALM-POMC, 2004)

Enhancing Efficiency of Byzantine-Tolerant Coordination Protocols via Hash Functions. - Daniela Tulone (Euro-Par, 2004)

PAQ: Time Series Forecasting for Approximate Query Answering in Sensor Networks. - Daniela Tulone; Samuel Madden 001 (EWSN, 2006)

A Scalable and Intrusion-tolerant Digital Time-stamping System. - Daniela Tulone (ICC, 2006)

An energy-efficient querying framework in sensor networks for detecting node similarities. - Daniela Tulone; Samuel Madden 001 (MSWiM, 2006)

Ensuring strong data guarantees in highly mobile ad hoc networks via quorum systems. - Daniela Tulone (Ad Hoc Networks, 2007)

On the Feasibility of Time Estimation under Isolation Conditions in Wireless Sensor Networks. - Daniela Tulone (Algorithmica, 2007)

Mechanisms for energy conservation in wireless sensor networks. - Daniela Tulone (2010)