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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Laboratoire Lorrain de Recherche en Informatique et ses Applications
labStructName_s : Inria Sophia Antipolis - Méditerranée
Image document

Explainable AI: the new 42?

Randy Goebel , Ajay Chander , Katharina Holzinger , Freddy Lecue , Zeynep Akata , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers hal-01934928v1
Image document

Applied Choreographies

Saverio Giallorenzo , Fabrizio Montesi , Maurizio Gabbrielli
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers hal-01824812v1
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
Image document

Foundations of Coordination and Contracts and Their Contribution to Session Type Theory

Mario Bravetti , Gianluigi Zavattaro
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.21-50, ⟨10.1007/978-3-319-92408-3_2⟩
Conference papers hal-01821498v1
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