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

Hemodynamics and mechanical behaviors of aortic heart valves: A numerical evaluation., , and . BMEI, page 1101-1105. IEEE, (2011)Similarity of Personal Preferences: Theoretical Foundations and Empirical Analysis, and . Artificial Intelligence, (2003)Herding nerds on your table: NerdHerder, a mobile augmented reality game., , , , and . CHI Extended Abstracts, page 1351-1356. ACM, (2012)Statistical Verification of Two Non-linear Real-time UAV Controllers., , , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 341-351. IEEE Computer Society, (2004)Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification., and . IJCAI, page 722-727. Professional Book Center, (2005)Statistical performance verification for an autonomous rotorcraft., , , and . ISIC, page 7-12. IEEE, (2004)Identifying Meaningful Citations., , and . AAAI Workshop: Scholarly Big Data, volume WS-15-13 of AAAI Technical Report, AAAI Press, (2015)Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report., , , , and . ICSE, page 304-313. IEEE Computer Society, (2004)A framework for group-wise summarization and comparison of chromatin state annotations., , , and . Bioinform., (January 2023)NerdHerder: designing for physical actions in an augmented reality puzzle game., , , , , , and . FDG, page 250-253. ACM, (2012)