Olivier Finkel

118 papers A 2B 5C 4Misc 1Journal 100Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Theor. Comput. Sci.
Olivier Finkel, Johan Girardot, Dominiquelecomte
2026 J jnl
Ann. Pure Appl. Log.
Olivier Bournez, Olivier Finkel, Johan Girardot
2024 J jnl
CoRR
Olivier Finkel, Dominique Lecomte
2023 J jnl
RAIRO Theor. Informatics Appl.
Olivier Finkel, Vesa Halava, Tero Harju, Esa Sahla
2021 J jnl
Fundam. Informaticae
Olivier Finkel, Michal Skrzypczak
2021 J jnl
CoRR
Olivier Finkel, Michal Skrzypczak
2021 J jnl
Arch. Math. Log.
Olivier Finkel, Dominique Lecomte
2021 J jnl
Int. J. Found. Comput. Sci.
Olivier Finkel
2020 J jnl
CoRR
Olivier Finkel, Dominique Lecomte
2020 B conf
Petri Nets
Olivier Finkel
2020 J jnl
CoRR
Olivier Finkel, Dominique Lecomte
2020 C conf
LATA
Olivier Finkel
2019 J jnl
J. Comput. Syst. Sci.
Jérémie Cabessa, Olivier Finkel
2019 J jnl
Int. J. Found. Comput. Sci.
Olivier Finkel
2019 J jnl
Log. Methods Comput. Sci.
Olivier Finkel, Olivier Carton, Dominique Lecomte
2018 J jnl
CoRR
Olivier Finkel
2017 B conf
FCT
Jérémie Cabessa, Olivier Finkel
2017 C conf
TAMC
Olivier Finkel
2017 B conf
CSL
Olivier Carton, Olivier Finkel, Dominique Lecomte
2017 J jnl
CoRR
Olivier Finkel, Olivier Carton, Dominique Lecomte
2017 J jnl
CoRR
Olivier Finkel
2016 J jnl
Ann. Pure Appl. Log.
Olivier Finkel
2016 J jnl
Math. Log. Q.
Olivier Finkel
2015 J jnl
CoRR
Olivier Finkel, Dominique Lecomte, Pierre Simonnet
2015 J jnl
RAIRO Theor. Informatics Appl.
Olivier Finkel, Dominique Lecomte, Pierre Simonnet
2015 conf
ICALP (2)
Olivier Finkel
2015 J jnl
Inf. Process. Lett.
Olivier Finkel
2014 J jnl
Log. Methods Comput. Sci.
Olivier Finkel
2014 J jnl
CoRR
Olivier Finkel, Michal Skrzypczak
2014 J jnl
Inf. Process. Lett.
Olivier Finkel, Michal Skrzypczak
2014 ch.
Logic, Computation, Hierarchies
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
2014 conf
Language, Culture, Computation (1)
Olivier Finkel
2013 J jnl
Int. J. Unconv. Comput.
Olivier Finkel, Stevo Todorcevic
2013 J jnl
CoRR
Olivier Finkel
2013 J jnl
CoRR
Olivier Finkel
2013 Misc conf
LFCS
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
2013 J jnl
J. Symb. Log.
Olivier Finkel
2012 J jnl
J. Symb. Log.
Olivier Finkel, Stevo Todorcevic
2012 J jnl
CoRR
Olivier Finkel, Stevo Todorcevic
2012 A conf
STACS
Olivier Finkel
2012 J jnl
Int. J. Found. Comput. Sci.
Olivier Finkel
2011 J jnl
CoRR
Olivier Finkel, Stevo Todorcevic
2011 J jnl
CoRR
Olivier Finkel
2011 J jnl
CoRR
Olivier Finkel
2011 J jnl
J. Cell. Autom.
Olivier Finkel
2011 J jnl
CoRR
Olivier Finkel
2011 J jnl
RAIRO Theor. Informatics Appl.
Olivier Finkel
2011 J jnl
CoRR
Olivier Finkel
2011 J jnl
CoRR
Olivier Finkel
2010 J jnl
CoRR
Olivier Finkel
2010 J jnl
CoRR
Olivier Finkel
2010 J jnl
CoRR
Olivier Finkel
2010 J jnl
Math. Log. Q.
Olivier Finkel
2010 J jnl
CoRR
Olivier Finkel, Stevo Todorcevic
2009 J jnl
Ann. Pure Appl. Log.
Olivier Finkel, Dominique Lecomte
2009 J jnl
CoRR
Olivier Finkel, Dominique Lecomte
2009 J jnl
Inf. Process. Lett.
Olivier Finkel, Dominique Lecomte
2009 J jnl
CoRR
Olivier Finkel
2009 J jnl
RAIRO Theor. Informatics Appl.
Olivier Finkel
2009 J jnl
Fundam. Informaticae
Olivier Finkel
2009 J jnl
CoRR
Olivier Finkel
2009 J jnl
CoRR
Olivier Finkel
2009 J jnl
CoRR
Olivier Finkel, Pierre Simonnet
2009 J jnl
Fundam. Informaticae
Olivier Finkel, Pierre Simonnet
2009 J jnl
CoRR
Olivier Finkel
2009 J jnl
Log. Methods Comput. Sci.
Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
CoRR
Jacques Duparc, Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
CoRR
Olivier Carton, Olivier Finkel, Pierre Simonnet
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
RAIRO Theor. Informatics Appl.
Olivier Carton, Olivier Finkel, Pierre Simonnet
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel, Dominique Lecomte
2008 conf
Topological and Game-Theoretic Aspects of Infinite Computations
Olivier Finkel, Dominique Lecomte
2008 J jnl
Arch. Math. Log.
Olivier Finkel
2008 J jnl
CoRR
Olivier Finkel, Pierre Simonnet
2008 J jnl
CoRR
Olivier Finkel
2008 J jnl
Math. Comput. Sci.
Olivier Finkel
2007 J jnl
CoRR
Olivier Finkel
2007 J jnl
Comput. Sci. J. Moldova
Olivier Finkel
2007 J jnl
CoRR
Olivier Finkel
2007 J jnl
CoRR
Olivier Finkel, Dominique Lecomte
2007 J jnl
Math. Log. Q.
Olivier Finkel, Stevo Todorcevic
2007 J jnl
CoRR
Olivier Finkel
2007 J jnl
CoRR
Olivier Finkel
2007 B conf
CSL
Olivier Finkel, Dominique Lecomte
2007 J jnl
CoRR
Dominique Lecomte, Olivier Finkel
2007 J jnl
CoRR
Olivier Finkel
2006 J jnl
Math. Struct. Comput. Sci.
Olivier Finkel
2006 J jnl
Theor. Comput. Sci.
Olivier Finkel
2006 A conf
STACS
Olivier Finkel
2006 J jnl
Bull. EATCS
Olivier Finkel
2006 conf
FORMATS
Olivier Finkel
2005 C conf
CiE
Olivier Finkel
2005 J jnl
Bull. EATCS
Olivier Finkel
2005 J jnl
Fundam. Informaticae
Olivier Finkel
2005 J jnl
J. Autom. Lang. Comb.
Olivier Finkel
2004 J jnl
Fundam. Informaticae
Olivier Finkel
2004 J jnl
Theor. Comput. Sci.
Olivier Finkel
2004 C conf
WoLLIC
Olivier Finkel
2004 J jnl
Int. J. Found. Comput. Sci.
Olivier Finkel
2003 J jnl
Theor. Comput. Sci.
Olivier Finkel
2003 J jnl
Theor. Comput. Sci.
Olivier Finkel
2003 conf
DMTCS
Olivier Finkel
2003 J jnl
Theor. Comput. Sci.
Olivier Finkel
2003 J jnl
RAIRO Theor. Informatics Appl.
Olivier Finkel
2003 J jnl
RAIRO Theor. Informatics Appl.
Olivier Finkel
2001 B conf
CSL
Olivier Finkel
2001 J jnl
Theor. Comput. Sci.
Jacques Duparc, Olivier Finkel, Jean-Pierre Ressayre
2001 J jnl
Theor. Comput. Sci.
Olivier Finkel
2001 J jnl
Theor. Comput. Sci.
Olivier Finkel
2001 J jnl
Theor. Comput. Sci.
Olivier Finkel
1996 J jnl
J. Symb. Log.
Olivier Finkel, Jean-Pierre Ressayre
redb/settings/clickhouse.py
← Index redb/settings/clickhouse.py python
import os
import clickhouse_connect
from dotenv import load_dotenv

load_dotenv()

# ClickHouse configuration
CLICKHOUSE_HOST = os.getenv("CLICKHOUSE_HOST")
CLICKHOUSE_PORT = os.getenv("CLICKHOUSE_PORT", "9000")
CLICKHOUSE_USER = os.getenv("CLICKHOUSE_USER")
CLICKHOUSE_PASSWORD = os.getenv("CLICKHOUSE_PASSWORD")
CLICKHOUSE_DATABASE = os.getenv("CLICKHOUSE_DATABASE", "default")
CLICKHOUSE_ENFORCE_SSL = os.getenv("CLICKHOUSE_ENFORCE_SSL", "False")

# Cached client instance
_clickhouse_client = None

def get_clickhouse_client():
    """Get ClickHouse client with lazy initialization and caching"""
    global _clickhouse_client
    
    if _clickhouse_client is None:
        _clickhouse_client = clickhouse_connect.get_client(
            host=CLICKHOUSE_HOST,
            port=CLICKHOUSE_PORT,
            user=CLICKHOUSE_USER,
            password=CLICKHOUSE_PASSWORD,
            database=CLICKHOUSE_DATABASE,
            verify=CLICKHOUSE_ENFORCE_SSL,
            settings={
                'max_execution_time': 3600,  # 1 hour timeout
                'connect_timeout': 30,
                'receive_timeout': 30,
                'send_timeout': 30
            }
        )
    
    return _clickhouse_client

def create_clickhouse_client():
    """Create a new ClickHouse client connection (legacy function)"""
    return get_clickhouse_client()

CLICKHOUSE_BINARIES_TABLE = os.getenv("CLICKHOUSE_BINARIES_TABLE", "binaries")