Filter your results
- 4
- 4
- 4
- 4
- 4
- 5
- 14
- 2
- 3
- 6
- 5
- 2
- 7
- 12
- 2
- 4
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Computations in Graph Rewriting: Inductive Types and Pullbacks in DPO Approach4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.150-163, ⟨10.1007/978-3-642-28038-2_12⟩
Conference papers
hal-01527378v1
|
||
|
A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.53-71, ⟨10.1007/978-3-642-34347-6_4⟩
Conference papers
hal-01556811v1
|
||
|
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Conference papers
hal-01556835v1
|
||
|
Permutations in Coinductive Graph Representation11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩
Conference papers
hal-01539884v1
|