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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : DAIS - Computer Science
labStructName_s : Laboratoire de l'Informatique du Parallélisme
Image document

Sensing as a Complexity Measure

Shaull Almagor , Denis Kuperberg , Orna Kupferman
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.3-15, ⟨10.1007/978-3-319-60252-3_1⟩
Conference papers hal-01657019v1
Image document

Bisimilarity of Open Terms in Stream GSOS

Filippo Bonchi , Matias David Lee , Jurriaan Rot
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.35-50, ⟨10.1007/978-3-319-68972-2_3⟩
Conference papers hal-01760851v1
Image document

Blockchain Transaction Analysis Using Dominant Sets

Malik Khurram Awan , Agostino Cortesi
16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.229-239, ⟨10.1007/978-3-319-59105-6_20⟩
Conference papers hal-01656260v1