Vaclav Satek

15 papers C 2Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2018 J jnl
Math. Comput. Simul.
Radek Kucera, Jaroslav Haslinger, Vaclav Satek, Marta Jarosová
2018 J jnl
Open Comput. Sci.
Petr Veigend, Gabriela Necasová, Vaclav Satek
2016 — conf
HPCS
Filip Kocina, Gabriela Necasová, Petr Veigend, Vaclav Satek, Jirí Kunovsky
2015 C conf
SIMULTECH
Václav Valenta, Gabriela Necasová, Jirí Kunovsky, Vaclav Satek, Filip Kocina
2015 C conf
SIMULTECH
Jan Chaloupka, Jirí Kunovsky, Vaclav Satek, Petr Veigend, Alzbeta Martinkovicová
2013 J jnl
Simul. Model. Pract. Theory
Georg Fuchs, Vaclav Satek, Vásek Vopenka, Jirí Kunovsky, Martin Kozek
2009 — conf
UKSim
Vaclav Satek, Jirí Kunovsky, Michal Kraus, Jan Kopriva
2009 J jnl
Int. J. Auton. Comput.
Jirí Kunovsky, Michal Kraus, Milan Pindryc, Vaclav Satek
2009 — conf
Asia International Conference on Modelling and Simulation
Jirí Kunovsky, Vlastimil Kaluza, Michal Kraus, Vaclav Satek
2009 — conf
UKSim
Michal Kraus, Vlastimil Kaluza, Jirí Kunovsky, Vaclav Satek
2008 — conf
EMS
Vlastimil Kaluza, Michal Kraus, Jirí Kunovsky, Vaclav Satek
2008 — conf
UKSim
Vaclav Satek, Jirí Kunovsky, Jirí Petrek
2008 — conf
EMS
Jan Kopriva, Michal Kraus, Jirí Kunovsky, Vaclav Satek
2008 — conf
EMS
Michal Kraus, Jirí Kunovsky, Vaclav Satek
2008 — conf
UKSim
Michal Kraus, Jirí Kunovsky, Milan Pindryc, Vaclav Satek
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling