E-LIB Suche - Ergebnisse für: Jacobs, Bart

1

The authenticity crisis:

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

Link: https://doi.org/10.1016/..

2

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

Link: https://doi.org/10.1007/..

3

Sufficient Statistics and Split Idempotents in Discrete Pro..:

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

Link: https://doi.org/10.46298..

4

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,

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart - p. 47-54 , 2023

Link: https://dl.acm.org/doi/1..

5

Why Haitian is a creole, Michif an intertwiner, and Irish E..:

Parkvall, Mikael ; Jacobs, Bart
Folia Linguistica. 57 (2023) 1 - p. 217-226 , 2023

Link: https://doi.org/10.1515/..

6

Immunogenicity, safety, and preliminary efficacy evaluation..:

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

Link: https://doi.org/10.1016/..

7

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

Link: https://doi.org/10.46298..

8

PubHubs identity management:

Jacobs, Bart ; Westerbaana, Bram ; Javed, Omar...
Journal of Logic and Computation. , 2023

Link: https://doi.org/10.1093/..

9

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

Link: https://dl.acm.org/doi/1..

10

Guyanais vs. Gardiol: Broken transmission vs. grammatical c..:

Jacobs, Bart
Lingua. 296 (2023) - p. 103625 , 2023

Link: https://doi.org/10.1016/..

11

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

Link: https://dl.acm.org/doi/1..

12

Endovascular transatrial stenting of pulmonary vein stenosi..:

Orlitová, Michaela ; Gewillig, Marc ; Van Slambrouck, Jan...
American Journal of Transplantation. 23 (2023) 1 - p. 111-114 , 2023

Link: https://doi.org/10.1111/..

13

Design Principles for Actual Security:

, In: Adjunct Proceedings of the 2022 Nordic Human-Computer Interaction Conference,

Brandon, Merel ; Schraffenberger, Hanna Kathrin ; Sluis-Thiescheffer, Wouter... - p. 1-6 , 2022

Link: https://dl.acm.org/doi/1..

14

Urns & Tubes:

Jacobs, Bart
Compositionality. 4 (2022) - p. 4 , 2022

Link: https://doi.org/10.32408..

15

Partitions and Ewens Distributions in element-free Probabil..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Jacobs, Bart - p. 1-9 , 2022

Link: https://dl.acm.org/doi/1..