Valentino Delle Rose

13 papers A* 2A 1B 1Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Discret. Appl. Math.
Nicanor Carrasco-Vargas, Valentino Delle Rose, Cristóbal Rojas
2025 B conf
ALT
Valentino Delle Rose, Alexander Kozachinskiy, Tomasz Steifer
2025 J jnl
CoRR
Vittorio Cipriani, Valentino Delle Rose, Luca San Mauro, Giovanni Soldà
2025 J jnl
Comput.
Irakli O. Chitaia, Valentino Delle Rose, Andrea Sorbi
2024 J jnl
CoRR
Valentino Delle Rose, Alexander Kozachinskiy, Tomasz Steifer
2023 J jnl
Int. J. Algebra Comput.
Valentino Delle Rose, Luca San Mauro, Andrea Sorbi
2023 A* conf
COLT
Valentino Delle Rose, Alexander Kozachinskiy, Cristóbal Rojas, Tomasz Steifer
2023 J jnl
CoRR
Valentino Delle Rose, Alexander Kozachinskiy, Cristóbal Rojas, Tomasz Steifer
2023 J jnl
Theor. Comput. Sci.
Laurent Bienvenu, Valentino Delle Rose, Wolfgang Merkle
2023 A* conf
NeurIPS
Valentino Delle Rose, Alexander Kozachinskiy, Cristobal Rojas, Mircea Petrache, Pablo Barceló
2023 J jnl
CoRR
Valentino Delle Rose, Alexander Kozachinskiy, Cristóbal Rojas, Mircea Petrache, Pablo Barceló
2022 A conf
STACS
Laurent Bienvenu, Valentino Delle Rose, Tomasz Steifer
2020 J jnl
Math. Log. Q.
Valentino Delle Rose, Luca San Mauro, Andrea Sorbi
scripts/setup-and-run.sh
← Index scripts/setup-and-run.sh bash
#!/bin/bash
set -e

# Setup Binary Ninja Python API if available on host (from snapshot)
if [ -d "/opt/binaryninja" ] && [ -f "/opt/binaryninja/scripts/linux-setup.sh" ]; then
    echo "Binary Ninja found on host, setting up Python API..."
    cd /opt
    ./binaryninja/scripts/linux-setup.sh -s || echo "Binary Ninja setup failed"
    
    # Change back to the app directory
    cd /app
    
    # Verify installation
    python3 -c "import binaryninja; print('Binary Ninja Python API ready, version:', binaryninja.core_version())" 2>/dev/null || echo "Binary Ninja Python API not available"
else
    echo "Binary Ninja not found on host - decompilation will be disabled"
fi

# Copy license if available
if [ -f "/opt/binaryninja-license/license.dat" ]; then
    mkdir -p ~/.binaryninja
    cp /opt/binaryninja-license/license.dat ~/.binaryninja/
    echo "Binary Ninja license configured"
fi

# Execute the original command
exec "$@"