Filter your results
- 4
- 4
- 4
- 4
- 1
- 3
- 3
- 1
- 4
- 8
- 3
- 6
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Dynamic Soundness in Resource-Constrained Workflow Nets13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.259-273, ⟨10.1007/978-3-642-21461-5_17⟩
Conference papers
hal-01583317v1
|
||
|
How to Make Numerical Information Accessible: Experimental Identification of Simplification Strategies13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.57-64, ⟨10.1007/978-3-642-23774-4_7⟩
Conference papers
hal-01590553v1
|
||
|
Thermal Modeling and Management of Liquid-Cooled 3D Stacked Architectures17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.34-55, ⟨10.1007/978-3-642-23120-9_3⟩
Conference papers
hal-01569359v1
|
||
|
Formal Testing of Timed and Probabilistic Systems23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩
Conference papers
hal-01583920v1
|