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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Laboratoire de l'Informatique du Parallélisme
labStructName_s : Iminds [Ghent]
Image document

How to Kill Epsilons with a Dagger

Filippo Bonchi , Stefan Milius , Alexandra Silva , Fabio Zanasi
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers hal-01408752v1
Image document

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus

Patrick Baillot , Erika de Benedetti , Simona Ronchi Della Rocca
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.151-163, ⟨10.1007/978-3-662-44602-7_13⟩
Conference papers hal-01015171v2
Image document

Efficient Management of Virtualized Information-Centric Networks

Maxim Claeys , Steven Latré , Filip De Turck
8th IFIP International Conference on Autonomous Infrastructure, Management and Security (AIMS), Jun 2014, Brno, Czech Republic. pp.42-46, ⟨10.1007/978-3-662-43862-6_4⟩
Conference papers hal-01401285v1
Image document

Encoding Synchronous Interactions Using Labelled Petri Nets

Paolo Baldan , Filippo Bonchi , Fabio Gadducci , Giacoma V. Monreale
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.1-16, ⟨10.1007/978-3-662-43376-8_1⟩
Conference papers hal-01290063v1
Image document

CASSIS: A Modeling Language for Customizable User Interface Designs

Jan van Den Bergh , Karin Coninx
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.243-250, ⟨10.1007/978-3-662-44811-3_15⟩
Conference papers hal-01405080v1