( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections.

, , , , , , и . E-VOTE-ID, том 12900 из Lecture Notes in Computer Science, стр. 47-62. Springer, (2021)

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.

Marc Stuckey

Peter J Schmidt

Peter J Barth

Peter J Deneffe

Peter J Michael

 

Другие публикации лиц с тем же именем

Linear Equation Solving for Constraint Logic Programming., , , и . ICLP, стр. 33-47. MIT Press, (1995)Planning for Mining Operations with Time and Resource Constraints., , , и . ICAPS, AAAI, (2014)Risk-Limiting Audits for IRV Elections., , и . CoRR, (2019)Monadic constraint programming., , и . J. Funct. Program., 19 (6): 663-697 (2009)Exploring Declarative Local-Search Neighbourhoods with Constraint Programming., , , и . CP, том 11802 из Lecture Notes in Computer Science, стр. 37-53. Springer, (2019)Using Stochastic Methods to Guide Search in CLP: A Preliminary Report., , , , и . ASIAN, том 1179 из Lecture Notes in Computer Science, стр. 43-52. Springer, (1996)Size-Change Termination Analysis in k-Bits., , , и . ESOP, том 3924 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2006)To the Gates of HAL: A HAL Tutorial., , , и . FLOPS, том 2441 из Lecture Notes in Computer Science, стр. 47-66. Springer, (2002)Propagating dense systems of integer linear equations., и . SAC, стр. 306-310. ACM, (2007)Computing the Margin of Victory in Preferential Parliamentary Elections., , и . CoRR, (2017)