Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Approach to Symbolic Timing Verification., and . DAC, page 410-413. IEEE Computer Society Press, (1992)Interface Timing Verification with Application to Synthesis., and . DAC, page 106-112. ACM Press, (1994)Software Scheduling in the Co-Synthesis of Reactive Real-Time Systems., and . DAC, page 1-4. ACM Press, (1994)A data architecture for consumer RFID applications.. MobiDE, page 1-2. ACM, (2006)Digitizing paper forms with mobile imaging technologies., , , , and . ACM DEV, page 2:1-2:10. ACM, (2012)Integrating ODK Scan into the community health worker supply chain in Mozambique., , , , , , and . ICTD (1), page 228-237. ACM, (2013)Optimizing high latency links in the developing world., , , and . Wireless Networks and Systems for Developing Regions, page 53-56. ACM, (2008)Open data kit: creating an open source community for mobile data collection.. HotPlanet@MobiSys, page 1-2. ACM, (2011)BALANCE: towards a usable pervasive wellness application with accurate activity inference., , , , , , and . HotMobile, ACM, (2009)Äre You with Me?" - Using Accelerometers to Determine If Two Devices Are Carried by the Same Person., , and . Pervasive, volume 3001 of Lecture Notes in Computer Science, page 33-50. Springer, (2004)