Login / Signup
Lena Schnedlitz
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Mobile Devices
Real World
Scientific Data Analysis
Multidimensional Data
Top Venues
CoRR
IFM
</>
Publications
</>
Bernhard Gleiss
,
Laura Kovács
,
Lena Schnedlitz
Interactive Visualization of Saturation Attempts in Vampire.
CoRR
(2020)
Bernhard Gleiss
,
Laura Kovács
,
Lena Schnedlitz
Interactive Visualization of Saturation Attempts in Vampire.
IFM
(2019)