Florian Funke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
14
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDCS | DySkew: Dynamic Data Redistribution for Skew- Resilient Snowpark UDF Execution. | Chenwei Xie, Urjeet Shrestha, Corbin, Lukas Lorimer, Gopal V, Zihao Ye, Yi Pan, Nic Crouch, Elliott Brossard, Florian Funke, Yuxiong He |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2022 | FOSSACS | On probability-raising causality in Markov decision processes. | Christel Baier, Florian Funke, Jakob Piribauer, Robin Ziemek |
| 2021 | AAAI | Responsibility Attribution in Parameterized Markovian Models. | Christel Baier, Florian Funke, Rupak Majumdar |
| 2021 | ATVA | Probabilistic Causes in Markov Chains. | Christel Baier, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek |
| 2021 | CAV | Causality-Based Game Solving. | Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | ICALP | From Verification to Causality-Based Explications (Invited Talk). | Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek |
| 2021 | IJCAI | A Game-Theoretic Account of Responsibility Allocation. | Christel Baier, Florian Funke, Rupak Majumdar |
| 2021 | LICS | Responsibility and verification: Importance value in temporal logics. | Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer |
| 2020 | ATVA | Minimal Witnesses for Probabilistic Timed Automata. | Simon Jantsch, Florian Funke, Christel Baier |
| 2020 | FMCAD | Switss: Computing Small Witnessing Subsystems. | Simon Jantsch, Hans Harder, Florian Funke, Christel Baier |
| 2020 | TACAS | Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints. | Florian Funke, Simon Jantsch, Christel Baier |
| 2016 | SIGMOD | Data Blocks: Hybrid OLTP and OLAP on Compressed Storage using both Vectorization and Compilation. | Harald Lang, Tobias Mhlbauer, Florian Funke, Peter Boncz, Thomas Neumann, Alfons Kemper |
| 2013 | ICDE | CPU and cache efficient management of memory-resident databases. | Holger Pirk, Florian Funke, Martin Grund, Thomas Neumann, Ulf Leser, Stefan Manegold, Alfons Kemper, Martin L. Kersten |
| 2011 | BTW | Benchmarking Hybrid OLTP&OLAP Database Systems. | Florian Funke, Alfons Kemper, Thomas Neumann |
| 2011 | SIGMOD | The mixed workload CH-benCHmark. | Richard L. Cole, Florian Funke, Leo Giakoumakis, Wey Guy, Alfons Kemper, Stefan Krompass, Harumi A. Kuno, Raghunath Othayoth Nambiar, Thomas Neumann, Meikel Poess, Kai-Uwe Sattler, Michael Seibold, Eric Simon, Florian Waas |