Login / Signup
Alex Thieme
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Xml Data
Imaging Systems
Delay Insensitive
Hierarchical Data
Top Venues
A Journey from Process Algebra via Timed Automata to Model Learning
VINCI
</>
Publications
</>
Alex Thieme
,
Twan Basten
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits.
A Journey from Process Algebra via Timed Automata to Model Learning
(2022)
Michael Burch
,
Adrian Vramulet
,
Alex Thieme
,
Alina Vorobiova
,
Denis Shehu
,
Mara Miulescu
,
Mehrdad Farsadyar
,
Tar van Krieken
VizWick: a multiperspective view of hierarchical data.
VINCI
(2020)