Search - IFIP Open Digital Library Access content directly

Filter your results

11 results
Structure: Internal structure identifier : 358631
Image document

Coalgebraic Multigames

Marina Lenisa
12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.33-49, ⟨10.1007/978-3-662-44124-4_3⟩
Conference papers hal-01408751v1
Image document

Designing and Implementing a Web Platform to Support SMEs in Collaborative Product Development

Marco Formentini , Michela Lolli , Alberto De Toni
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.112-119, ⟨10.1007/978-3-642-40361-3_15⟩
Conference papers hal-01470609v1
Image document

Visualization of User’s Behavior in Indoor Virtual Environments Through Interactive Heatmaps

Luca Chittaro , Marta Serafini
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.600-609, ⟨10.1007/978-3-030-85613-7_38⟩
Conference papers hal-04292345v1
Image document

Structural Operational Semantics for Continuous State Probabilistic Processes

Giorgio Bacci , Marino Miculan
11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.71-89, ⟨10.1007/978-3-642-32784-1_5⟩
Conference papers hal-01539880v1
Image document

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems

Alessio Mansutti , Marino Miculan , Marco Peressotti
4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.201-208, ⟨10.1007/978-3-662-43352-2_16⟩
Conference papers hal-01287744v1
Image document

Contemporary Art Digitalization: An Opportunity for Designing New Experiences

Barbara Rita Barricelli , Antonella Varesano , Giuliana Carbi , Torkil Clemmensen , Fabio Pittarello
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.382-385, ⟨10.1007/978-3-030-85607-6_42⟩
Conference papers hal-04291211v1
Image document

How Energy Recovery Can Reshape Storage Assignment in Automated Warehouses

Antonella Meneghetti , Luca Monti
19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.33-40, ⟨10.1007/978-3-642-40352-1_5⟩
Conference papers hal-01472280v1
Image document

Open Transactions on Shared Memory

Marino Miculan , Marco Peressotti , Andrea Toneguzzo
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.213-229, ⟨10.1007/978-3-319-19282-6_14⟩
Conference papers hal-01774945v1
Image document

Experiencing Contemporary Art at a Distance

Barbara Rita Barricelli , Antonella Varesano , Giuliana Carbi , Torkil Clemmensen , Gian Luca Foresti , et al.
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.344-347, ⟨10.1007/978-3-030-85607-6_34⟩
Conference papers hal-04291240v1
Image document

Endless Knob with Programmable Resistive Force Feedback

Yuri de Pra , Federico Fontana , Stefano Papetti
18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.580-589, ⟨10.1007/978-3-030-85610-6_32⟩
Conference papers hal-04215517v1
Image document

Wherefore art thou ... Semantics of Computation?

Furio Honsell
3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.3-23, ⟨10.1007/978-3-319-47286-7_1⟩
Conference papers hal-01615311v1