Henri Binsztok

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

User Experience

Platform Independent

Top Venues

Publications

Henri Binsztok
Making a Breakthrough in Cloud Application Design. ICAIT (2012)
Adam Koprowski, Henri Binsztok
TRX: A Formally Verified Parser Interpreter Log. Methods Comput. Sci. 7 (2) (2011)
Adam Koprowski, Henri Binsztok
TRX: A Formally Verified Parser Interpreter. ESOP (2010)
Henri Binsztok, Thierry Artières, Patrick Gallinari
A Model-Based Approach to Sequence Clustering. ECAI (2004)
Henri Binsztok, Thierry Artières
Learning HMM structure for on-line handwriting modelization. IWFHR (2004)