Author: Francesco Viganò

Publications

Publication period start: 2007
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Marco Colombetti
1

Productive Colleagues

Most productive colleagues in number of publications
Marco Colombetti
3

Publications

Viganò, Francesco, Colombetti, Marco (2007): Symbolic model checking of institutions. In: Gini, Maria L., Kauffman, Robert J., Sarppo, Donna, Dellarocas, Chrysanthos, Dignum, Frank (eds.) Proceedings of the 9th International Conference on Electronic Commerce - ICEC 2007 August 19-22, 2007, Minneapolis, MN, USA. pp. 35-44. https://doi.acm.org/10.1145/1282100.1282109

New to UX Design? We’re giving you a free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,140 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We’re Giving You a Free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,140 designers enjoy our newsletter—sure you don’t want to receive it?