Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jacobs, Bart
39  Ergebnisse:
Buchkapitel (Online) X
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
Link: https://doi.org/10.1007/..
 
?
2

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..
 
?
3

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
Link: https://doi.org/10.1007/..
 
?
4

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..
 
?
5

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..
 
?
6

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
Link: https://doi.org/10.1007/..
 
?
7

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..
 
?
8

A Reconstruction of Ewens' Sampling Formula via Lists of Co..:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,
Jacobs, Bart - p. 339-357 , 2022
Link: https://doi.org/10.1007/..
 
?
9

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..
 
?
10

Stick Breaking, in Coalgebra and Probability:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Jacobs, Bart - p. 176-193 , 2022
Link: https://doi.org/10.1007/..
 
?
11

From multisets over distributions to distributions over mul..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Jacobs, Bart - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Ghost Signals: Verifying Termination of Busy Waiting:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Reinhard, Tobias ; Jacobs, Bart - p. 27-50 , 2021
Link: https://doi.org/10.1007/..
 
?
13

A separation logic to verify termination of busy-waiting fo..:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs,
Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart - p. 26-32 , 2020
Link: https://dl.acm.org/doi/1..
 
?
14

De Finetti's Construction as a Categorical Limit:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,
Jacobs, Bart ; Staton, Sam - p. 90-111 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Modular Verification of Liveness Properties of the I/O Beha..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,
Jacobs, Bart - p. 509-524 , 2020
Link: https://doi.org/10.1007/..
 
1-15