( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Counting Votes with Formal Methods.

, , , и . AMAST, том 3116 из Lecture Notes in Computer Science, стр. 21-22. Springer, (2004)

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.

Bart Jacobs

Bart Cramer

Bart Maris

Bart Kersbergen

Bart Geurts

 

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

Coalgebraic Components in a Many-Sorted Microcosm., , , и . CALCO, том 5728 из Lecture Notes in Computer Science, стр. 64-80. Springer, (2009)Java's Integral Types in PVS.. FMOODS, том 2884 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2003)Lower and Upper Conditioning in Quantum Bayesian Theory.. QPL, том 287 из EPTCS, стр. 225-238. (2018)A Formalisation of Java's Exception Mechanism.. ESOP, том 2028 из Lecture Notes in Computer Science, стр. 284-301. Springer, (2001)A Tutorial on (Co)Algebras and (Co)Induction, и . Bulletin of the European Association for Theoretical Computer Science, (1997)Formal Specification and Verification of JavaCard's Application Identifier Class., , и . Java Card Workshop, том 2041 из Lecture Notes in Computer Science, стр. 137-150. Springer, (2000)Coinductive Predicates and Final Sequences in a Fibration, , , и . Electronic Notes in Theoretical Computer Science, 298 (0): 197 - 214 (2013)Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \MFPS\ \XXIX\.Learning to Coordinate., , , и . It's All About Coordination, том 10865 из Lecture Notes in Computer Science, стр. 139-159. Springer, (2018)From Multisets over Distributions to Distributions over Multisets.. LICS, стр. 1-13. IEEE, (2021)A Reconstruction of Ewens' Sampling Formula via Lists of Coins.. A Journey from Process Algebra via Timed Automata to Model Learning, том 13560 из Lecture Notes in Computer Science, стр. 339-357. Springer, (2022)