Author of the publication

An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot.

, and . UMAP (Adjunct Publication), page 408-412. ACM, (2017)

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

Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform., and . SAFECOMP, volume 2788 of Lecture Notes in Computer Science, page 49-62. Springer, (2003)A Survey: Electronic Voting Development and Trends., and . Electronic Voting, volume P-167 of LNI, page 119-131. GI, (2010)Iraqi Elections in 2014: a Privacy Requirement Evaluation Based on a Polling Place Experience., and . GI-Jahrestagung, volume P-232 of LNI, page 1359-1370. GI, (2014)A General Purpose Reasoner for Abstraction., , , and . AI, volume 1081 of Lecture Notes in Computer Science, page 323-335. Springer, (1996)An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot., and . UMAP (Adjunct Publication), page 408-412. ACM, (2017)ABSFOL: A Proof Checker with Abstraction., and . CADE, volume 1104 of Lecture Notes in Computer Science, page 136-140. Springer, (1996)Improving Public Administrations via Law Modeling and BPR., and . AFRICOM, volume 64 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 69-78. Springer, (2010)Formal Specification and Development of a Safety-Critical Train Management System., , , , , , and . SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 410-419. Springer, (1999)Improving Safety Assessment of Complex Systems: An Industrial Case Study., , , , and . FME, volume 2805 of Lecture Notes in Computer Science, page 208-222. Springer, (2003)Crowdsourcing ICTD Best Practices., and . AFRICOMM, volume 92 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 167-176. Springer, (2011)