Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jacobs, Bart
1021  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Returning a maverick creole to the fold : the Berbice Dutch..:

Jacobs, Bart ; Parkvall, Mikael
Folia Linguistica, T. 57, nr 1, s. 177-203.  , 2023
Link: https://ruj.uj.edu.pl/xm..
 
?
2

Overdrawing Urns using Categories of Signed Probabilities:

Jacobs, Bart ; Stein, Dario
http://arxiv.org/abs/2312.12453.  , 2023
Link: http://arxiv.org/abs/231..
 
?
3

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

Jacobs, Bart ; Stein, Dario
http://arxiv.org/abs/2309.07053.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

Verifying C++ Dynamic Binding:

Mommen, Niels ; Jacobs, Bart
http://arxiv.org/abs/2306.02073.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

Certifying C program correctness with respect to CH2O with ..:

Wils, Stefan ; Jacobs, Bart
http://arxiv.org/abs/2308.15567.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Expressive modular verification of termination for busy-wai..:

Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2312.15379.  , 2023
Link: http://arxiv.org/abs/231..
 
?
7

Immune responses in healthy adults elicited by a bivalent n..:

Waerlop, Gwenn ; Janssens, Yorick ; Jacobs, Bart...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10331465/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
?
8

Completeness Thresholds for Memory Safety: Unbounded Guaran..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2309.09731.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Counting and Matching:

Jacobs, Bart ; Stein, Dario
doi:10.4230/LIPIcs.CSL.2023.28.  , 2023
Link: https://doi.org/10.4230/..
 
?
10

Completeness Thresholds for Memory Safety of Array Traversi..:

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2305.03606.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

A randomized, double-blind, placebo-controlled, dose-escala..:

Leroux-Roels, Isabel ; Maes, Cathy ; Joye, Jasper...
1021500.  , 2022
Link: https://trepo.tuni.fi/ha..
 
?
12

Modular termination verification with a higher-order concur..:

Fasse, Justus ; Jacobs, Bart
http://arxiv.org/abs/2212.14126.  , 2022
Link: http://arxiv.org/abs/221..
 
?
13

Verification of C++ Programs with VeriFast:

Mommen, Niels ; Jacobs, Bart
http://arxiv.org/abs/2212.13754.  , 2022
Link: http://arxiv.org/abs/221..
 
?
14

Sufficient Statistics and Split Idempotents in Discrete Pro..:

Jacobs, Bart
http://arxiv.org/abs/2212.09191.  , 2022
Link: http://arxiv.org/abs/221..
 
?
15

Modular Formal Verification of Rust Programs with Unsafe Bl..:

Foroushaani, Nima Rahimi ; Jacobs, Bart
http://arxiv.org/abs/2212.12976.  , 2022
Link: http://arxiv.org/abs/221..
 
1-15