bib

bibs/myrefs.bib

@@ -39,6 +39,21 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@article{vHHOS25,
+  title     = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
+  author    = {van Heerdt, Gerco and
+               Hsu, Justin and
+               Ouaknine, Jo\"el and
+               Silva, Alexandra},
+  year      = {2025},
+  jh        = yes,
+  jhsite        = yes,
+  reviewed  = yes,
+  journal = {Theoretical Computer Science},
+  doi       = {10.1016/j.tcs.2025.115191},
+  note    = "Previously published in " # ictac18 # ", 2018."
+}
+
 @article{BPHR24,
   title  = {Data-Driven Invariant Learning for Probabilistic Programs},
   author = {Bao, Jialu and
@@ -1454,6 +1469,15 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{chocola25-talk,
+  title = {Type Systems for Numerical Error Analysis},
+  organization = {{CHoCoLa} Seminar, {ENS} Lyon},
+  year = 2025,
+  month = feb,
+  jh = yes,
+}
+
+
 @talk{kent24-talk,
   title = {Type Systems for Numerical Error Analysis},
   organization = {Programming Languages and Systems ({PLAS}) Seminar, University of Kent},