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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Centrum voor Wiskunde en Informatica
labStructName_s : Laboratoire d'Informatique Fondamentale de Lille
Image document

Connecting your Mobile Shopping Cart to the Internet-of-Things

Nicolas Petitprez , Romain Rouvoy , Laurence Duchien
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.236-243, ⟨10.1007/978-3-642-30823-9_21⟩
Conference papers hal-00684780v1
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

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