( 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 Matthei

Adolfo Bittinger

 

Other publications of authors with the same name

Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem., , , and . J. Autom. Reason., 19 (3): 319-346 (1997)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)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 Survey: Electronic Voting Development and Trends., and . Electronic Voting, volume P-167 of LNI, page 119-131. GI, (2010)An Adaptive Learning with Gamification & Conversational UIs: The Rise of CiboPoliBot., and . UMAP (Adjunct Publication), page 408-412. ACM, (2017)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)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)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)