Login / Signup
Reyyan Tekin
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Independence Assumption
Bayes Nets
Bayesian Reasoning
Bayesian Networks
Top Venues
SSDBM
J. Syst. Softw.
LCTES
</>
Publications
</>
Chanattan Sok
,
Laurent d'Orazio
,
Reyyan Tekin
,
Dimitri Tombroff
WebAssembly serverless join: A Study of its Application.
SSDBM
(2024)
Guillaume Baudart
,
Louis Mandel
,
Reyyan Tekin
JAX based parallel inference for reactive probabilistic programming.
LCTES
(2022)
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Silvano Dal-Zilio
,
Reyyan Tekin
Hippo: A formal-model execution engine to control and verify critical real-time systems.
J. Syst. Softw.
181 (2021)