( en | de | ru )

 

Disambiguation of "Villafiorita, Adolfo"

Author of the publication

copydeleteadd this publication to your clipboard
Tape Mbo'e: A First Experimental Assessment.

, , , and . CLEI Electron. J., (2015)

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.

Adolfo Poma

Adolfo Cavalié

Adolfo Bauchspiess

Adolfo Bittinger

Adolfo Matthei

 

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)Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem., , , and . J. Autom. Reason., 19 (3): 319-346 (1997)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)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)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)A General Purpose Reasoner for Abstraction., , , and . AI, volume 1081 of Lecture Notes in Computer Science, page 323-335. Springer, (1996)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)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)