( en | de | ru )

 

Disambiguation of "Lieberman, Henry"

Author of the publication

copydeleteadd this publication to your clipboard
Specifying and Proving Properties of Guardians for Distributed Systems.

, , and . Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 316-336. Springer, (1979)

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.

Michaela Karin Ingrid Henry

Madeleine Mary Henry

James Henry

David P Henry

Marie-Louise Henry

 

Other publications of authors with the same name

Debugging and the Experience of Immediacy., , and . Commun. ACM, 40 (4): 38-43 (1997)End-user tools for debugging e-commerce., and . EC, page 250-251. ACM, (2003)Applying common sense to distance learning: the case of home care education., , , , , , and . IHC, page 1-4. ACM, (2006)A Real-Time Garbage Collector Based on the Lifetimes of Objects., and . Commun. ACM, 26 (6): 419-429 (1983)The why UI: using goal networks to improve user interfaces., and . IUI, page 377-380. ACM, (2010)Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)., , and . IJCAI, page 4168-4172. AAAI Press, (2015)Adaptive Linking between Text and Photos Using Common Sense Reasoning., and . AH, volume 2347 of Lecture Notes in Computer Science, page 2-11. Springer, (2002)Les "Spirales de contextes" dans I'interaction homme-machine.. IHM, volume 32 of ACM International Conference Proceeding Series, page 15. ACM, (2002)Cross-Domain Scruffy Inference., and . AAAI Fall Symposium: Commonsense Knowledge, volume FS-10-02 of AAAI Technical Report, AAAI, (2010)A Creative Programming Environment. page 37-42. MIT Press, Cambridge, MA, (2008)