Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Department of mathematics [Bloomington]
labStructName_s : Inria Nancy - Grand Est
Image document

Blockchain-Based Auditing of Transparent Log Servers

Hoang-Long Nguyen , Jean-Philippe Eisenbarth , Claudia-Lavinia Ignat , Olivier Perrin
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.21-37, ⟨10.1007/978-3-319-95729-6_2⟩
Conference papers hal-01917636v1
Image document

Long-Term Values in Markov Decision Processes, (Co)Algebraically

Frank Feys , Helle Hvid Hansen , Lawrence S. Moss
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.78-99, ⟨10.1007/978-3-030-00389-0_6⟩
Conference papers hal-02044650v1
Image document

Construction of Some Nonautomatic Sequences by Cellular Automata

Irène Marcovici , Thomas Stoll , Pierre-Adrien Tahay
AUTOMATA 2018 - 24th International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.113-126, ⟨10.1007/978-3-319-92675-9_9⟩
Conference papers hal-01824876v1