Ondrej Benedikt

16 papers B 2C 4Misc 1Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Eur. J. Oper. Res.
Ondrej Benedikt, István Módos, Antonín Novák, Zdenek Hanzálek
2025 J jnl
CoRR
Ondrej Benedikt, Michal Sojka, Premysl Sucha, Pavel Zaykov, Zdenek Hanzálek
2025 J jnl
J. Parallel Distributed Comput.
Zdenek Hanzálek, Ondrej Benedikt, Premysl Sucha, Pavel Zaykov, Michal Sojka
2024 C conf
VEHITS
Jaroslav Klapálek, Ondrej Benedikt, Michal Sojka, Zdenek Hanzálek
2023 C conf
ISORC
Ondrej Benedikt, Javier Pérez-Rodríguez, Patrick Meumeu Yomsi, Michal Sojka
2022
Ondrej Benedikt
2021 J jnl
Comput. Oper. Res.
Ondrej Benedikt, Baran Alikoc, Premysl Sucha, Sergej Celikovský, Zdenek Hanzálek
2021 Misc conf
EMSOFT
Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek
2021 B conf
RTCSA
Ondrej Benedikt, Michal Sojka, Pavel Zaykov, David Hornof, Matej Kafka, Premysl Sucha, Zdenek Hanzálek
2020 C conf
ICORES
Ondrej Benedikt, Premysl Sucha, Zdenek Hanzálek
2020 J jnl
CoRR
Ondrej Benedikt, Premysl Sucha, Zdenek Hanzálek
2020 J jnl
Constraints An Int. J.
Ondrej Benedikt, István Módos, Zdenek Hanzálek
2020 C conf
FedCSIS
Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek, Pavel Zaykov
2019 J jnl
CoRR
Ondrej Benedikt, Baran Alikoc, Premysl Sucha, Sergej Celikovský, Zdenek Hanzálek
2019 J jnl
CoRR
Ondrej Benedikt, István Módos, Zdenek Hanzálek
2018 B conf
CPAIOR
Ondrej Benedikt, Premysl Sucha, István Módos, Marek Vlk, Zdenek Hanzálek
docker-push.sh
← Index docker-push.sh bash
#!/bin/bash

set -e

REGISTRY_USER="pstirparo"
IMAGE_NAME="redb"
TAG=${1:-"latest"}

echo "Tagging and pushing redb:$TAG to Docker Hub..."

# Tag for Docker Hub
docker tag redb:$TAG $REGISTRY_USER/$IMAGE_NAME:$TAG

# Push to Docker Hub
docker push $REGISTRY_USER/$IMAGE_NAME:$TAG

echo "✅ Successfully pushed $REGISTRY_USER/$IMAGE_NAME:$TAG"
echo ""
echo "To pull on VPS:"
echo "  docker pull $REGISTRY_USER/$IMAGE_NAME:$TAG"