Filter your results
- 5
- 5
- 5
- 5
- 1
- 2
- 3
- 5
- 3
- 7
- 1
- 4
- 2
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Internal Models for Coalgebraic Modal Logics11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩
Conference papers
hal-01539883v1
|
||
|
|
Using Emulators to Estimate Uncertainty in Complex Models10th Working Conference on Uncertainty Quantification in Scientific Computing (WoCoUQ), Aug 2011, Boulder, CO, United States. pp.151-164, ⟨10.1007/978-3-642-32677-6_10⟩
Conference papers
hal-01518680v1
|
||
|
|
Building Computational Grids Using Ubiquitous Web Technologies13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.254-261, ⟨10.1007/978-3-642-32775-9_26⟩
Conference papers
hal-01520439v1
|
||
|
|
Relational Presheaves as Labelled Transition Systems11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.40-50, ⟨10.1007/978-3-642-32784-1_3⟩
Conference papers
hal-01539889v1
|
||
|
|
Human Factors Engineering as the Methodological Babel Fish: Translating User Needs into Software Design4th International Conference on Human-Centered Software Engineering (HCSE), Oct 2012, Toulouse, France. pp.1-17, ⟨10.1007/978-3-642-34347-6_1⟩
Conference papers
hal-01556825v1
|