Old Web
English
Sign In
Acemap
>
authorDetail
>
Clemens Danninger
Clemens Danninger
Vienna University of Technology
Computer science
Algebra
Theoretical computer science
Benchmark (computing)
Task analysis
2
Papers
7
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A 'DBI' Interface to the 'Yandex Clickhouse' Database Providing Basic 'dplyr' Support [R package RClickhouse version 0.5.2]
2020
Christian Hotz-Behofsits
Daniel Winkler
Luca Rauchenberger
Peter Knaus
Clemens Danninger
Simon Stiebellehner
Dan Egnor
Vlad Losev
Keith Ray
Zhanyong Wan
Markus Heule
Oliver Flasch
Show All
Source
Cite
Save
Citations (0)
Using Loop Bound Analysis For Invariant Generation
2018
FMCAD | Formal Methods in Computer-Aided Design
Pavel Čadek
Clemens Danninger
Moritz Sinn
Florian Zuleger
Show All
Source
Cite
Save
Citations (7)
1
map