Model-Based Testing: From Theory to Practice and Back 1

Computing and Reasoning about Social Networks 2

Computing and Reasoning about Social Networks 4

Model-Based Testing: From Theory to Practice and Back 1

Model-Based Testing: From Theory to Practice and Back 2

Model-Based Testing: From Theory to Practice and Back 3

Model-Based Testing: From Theory to Practice and Back 4

Interaction by Composition 1

Interaction by Composition 2

Interaction by Composition 3

Interaction by Composition 4

Type-Based Synthesis and the Inhabitation Problem 1

Type-Based Synthesis and the Inhabitation Problem 2

Type-Based Synthesis and the Inhabitation Problem 3

Type-Based Synthesis and the Inhabitation Problem 4

Computing and Reasoning about Social Networks 1

Computing and Reasoning about Social Networks 3