Old Web
English
Sign In
Acemap
>
authorDetail
>
Florian Funke
Florian Funke
University of Bonn
Mathematics
Linear dynamical system
Matrix (mathematics)
Discrete mathematics
Computer science
5
Papers
17
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
From Verification to Causality-Based Explications (Invited Talk)
2021
ICALP | International Colloquium on Automata, Languages and Programming
Christel Baier
Clemens Dubslaff
Florian Funke
Simon Jantsch
Rupak Majumdar
Jakob Piribauer
Robin Ziemek
Show All
Source
Cite
Save
Citations (0)
The Orbit Problem for Parametric Linear Dynamical Systems
2021
CONCUR | International Conference on Concurrency Theory
Christel Baier
Florian Funke
Simon Jantsch
Toghrul Karimov
Engel Lefaucheux
Florian Luca
Joël Ouaknine
David Purser
Markus A. Whiteland
James Worrell
Show All
Source
Cite
Save
Citations (0)
Reachability in Dynamical Systems with Rounding.
2020
FSTTCS | International Conference on Foundation of Software Technology and Theoretical Computer Science
Christel Baier
Florian Funke
Simon Jantsch
Toghrul Karimov
Engel Lefaucheux
Joël Ouaknine
Amaury Pouly
David Purser
Markus A. Whiteland
Show All
Source
Cite
Save
Citations (1)
1