Jacobs, Bart
1760  Ergebnisse:
Personensuche X
?
1

Drawing from an Urn is Isometric:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Jacobs, Bart - p. 101-120 , 2024
 
?
2

The authenticity crisis:

Jacobs, Bart
Computer Law & Security Review.  53 (2024)  - p. 105962 , 2024
 
?
 
?
5

Verifying C++ Dynamic Binding:

, In: Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs,
Mommen, Niels ; Jacobs, Bart - p. 1-7 , 2023
 
?
7

Multisets and Distributions, in Drawing and Learning:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,
Jacobs, Bart - p. 1095-1146 , 2023
 
?
8

Completeness Thresholds for Memory Safety of Array Traversi..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,
 
?
9

Sufficient Statistics and Split Idempotents in Discrete Pro..:

Jacobs, Bart
Electronic Notes in Theoretical Informatics and Computer Science.  1 - Proceedings of (2023)  - p. , 2023
 
?
10

Immunogenicity, safety, and preliminary efficacy evaluation..:

Leroux-Roels, Isabel ; Willems, Paul ; Waerlop, Gwenn...
The Lancet Infectious Diseases.  23 (2023)  12 - p. 1360-1369 , 2023
 
?
 
?
13

A Principled Approach to Expectation Maximisation and Laten..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Jacobs, Bart - p. 256-273 , 2023
 
?
14

Pearl's and Jeffrey's Update as Modes of Learning in Probab..:

Jacobs, Bart ; Stein, Dario
Electronic Notes in Theoretical Informatics and Computer Science.  3 - Proceedings of (2023)  - p. , 2023
 
?
15

PostGuard: Towards Easy and Secure Email Communication:

, In: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems,
Botros, Leon ; Brandon, Merel ; Jacobs, Bart... - p. 1-6 , 2023
 
1-15