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

Filter your results

5 results
labStructName_s : Centrum voor Wiskunde en Informatica
labStructName_s : Institute of Computer Science [Warsaw]
labStructName_s : Computer science departement [Bremen]
Deposit type : Fulltext
Page :
sorted by
Image document

Bounded Model Checking of Recursive Programs with Pointers in K

 Irina Măriuca Asăvoae , Frank De Boer , Marcello M. Bonsangue , Dorel Lucanu , Jurriaan Rot
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.59-76, ⟨10.1007/978-3-642-37635-1_4⟩
Conference papers hal-01485978v1
Image document

Spectral Clustering Based on k-Nearest Neighbor Graph

 Małgorzata Lucińska , Sławomir T. Wierzchoń
11th International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2012, Venice, Italy. pp.254-265, ⟨10.1007/978-3-642-33260-9_22⟩
Conference papers hal-01551732v1
Image document

Flow-Based Identification of Failures Caused by IPv6 Transition Mechanisms

 Vaibhav Bajpai , Nikolay Melnikov , Anuj Sehgal , Jürgen Schönwälder
6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.139-150, ⟨10.1007/978-3-642-30633-4_19⟩
Conference papers hal-01529788v1
Image document

Defining Context-Free Power Series Coalgebraically

 Marcello M. Bonsangue , Jan Rutten , Joost Winter
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers hal-01539885v1
Image document

A Study of the RPL Repair Process Using ContikiRPL

 Kevin Dominik Korte , Anuj Sehgal , Jürgen Schönwälder
6th International Conference on Autonomous Infrastructure (AIMS), Jun 2012, Luxembourg, Luxembourg. pp.50-61, ⟨10.1007/978-3-642-30633-4_8⟩
Conference papers hal-01529800v1
Page :