Login / Signup
Lisa Willemsen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Marginal Distributions
Pattern Matching
Stochastic Model
Relational Databases
Top Venues
ARCH
CoRR
ARCH@SAFECOMP
QEST
</>
Publications
</>
Lisa Willemsen
,
Anne Remke
,
Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
CoRR
(2023)
Lisa Willemsen
,
Anne Remke
,
Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata.
QEST
(2023)
Alessandro Abate
,
Henk A. P. Blom
,
Nathalie Cauchi
,
Joanna Delicaris
,
Sofie Haesaert
,
Birgit van Huijgevoort
,
Abolfazl Lavaei
,
Anne Remke
,
Oliver Schön
,
Stefan Schupp
,
Fedor Shmarov
,
Sadegh Soudjani
,
Lisa Willemsen
,
Paolo Zuliani
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
(2023)
Alessandro Abate
,
Henk A. P. Blom
,
Joanna Delicaris
,
Sofie Haesaert
,
Arnd Hartmanns
,
Birgit van Huijgevoort
,
Abolfazl Lavaei
,
Hao Ma
,
Mathis Niehage
,
Anne Remke
,
Oliver Schön
,
Stefan Schupp
,
Sadegh Soudjani
,
Lisa Willemsen
ARCH-COMP22 Category Report: Stochastic Models.
ARCH@SAFECOMP
(2022)