Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Multinomial and Hypergeometric Distributions in Markov CategoriesJacobs, BartElectronic proceedings in theoretical computer science, 2021, Vol.351, p.98-115Texto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Learning from What's Right and Learning from What's WrongJacobs, BartElectronic proceedings in theoretical computer science, 2021, Vol.351, p.116-133Texto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Overdrawing Urns using Categories of Signed ProbabilitiesJacobs, Bart ; Stein, DarioElectronic proceedings in theoretical computer science, 2023, Vol.397, p.172-189Texto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Measurable Spaces and Their Effect LogicJacobs, Bart2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.83-92IEEE Computer SocietyTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Ghost Signals: Verifying Termination of Busy WaitingReinhard, Tobias ; Jacobs, Bart Silva, A ; Leino, KRMLecture Notes in Computer Science, 2021, Vol.12760, p.27-50 [Periódico revisado por pares]Springer VerlagTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems ProgrammingBenoit, Tuur ; Jacobs, Bart Tarifa, SLT ; Ahrendt, WIntegrated Formal Methods. IFM 2019, 2019, Vol.11918, p.46-64 [Periódico revisado por pares]SpringerTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Deadlock-Free MonitorsHamin, Jafar ; Jacobs, Bart Ahmed, AmalProgramming Languages and Systems. ESOP 2018, 2018, Vol.10801, p.415-441 [Periódico revisado por pares]SpringerTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with SpecificationsVanspauwen, Gijs ; Jacobs, BartSoftware Engineering and Formal Methods, p.53-68 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
States of Convex SetsJacobs, Bart ; Westerbaan, Bas ; Westerbaan, BramFoundations of Software Science and Computation Structures, p.87-101 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Verifying protocol implementations by augmenting existing cryptographic libraries with specificationsVanspauwen, Gijs ; Jacobs, Bart Calinescu, Radu ; Rumpe, BernhardSoftware Engineering and Formal Methods, 2015, Vol.9276 (13), p.53-68 [Periódico revisado por pares]SpringerTexto completo disponível |