Karel Kubicek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ETFA | Test case generation principle based on assume-guarantee reasoning. | Toms Ausberger, Karel Kubicek, Pavla Medvecov |
| 2024 | WWW | Automating Website Registration for Studying GDPR Compliance. | Karel Kubicek, Jakob Merane, Ahmed Bouhoula, David A. Basin |
| 2023 | ETFA | Distributed method for Economic Dispatch Problem with a battery system and a variable fuel price. | Karel Kubicek, Jindrich Wolf, Vclav Helma |
| 2022 | SECRYPT | Large-scale Randomness Study of Security Margins for 100+ Cryptographic Functions. | Dusan Klinec, Marek Ss, Karel Kubicek, Petr Svenda, Vashek Matys |