Selected Publications - Chronological Order

(papers are ordered with the most recent papers appearing first. If you want to receive copy of one paper contact fabio.paterno at isti.cnr.it)

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

  • Formal Reasoning about Dialogue Properties with Automatic Support
    F.Paternò, Interacting with Computers, August 1997
  • Reusable Structures in Task Models
    I.Breedvelt, F.Paternò, C.Severiins, Proceedings Design, Specification, Verification of Interactive Systems '97, Granada, June 97, Springer Verlag, pp.251-265.
  • ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
    F.Paterno', C.Mancini, S.Meniconi, Proceedings Interact'97, Chapman&Hall, July'97. pp.362-369.
  • Task-oriented design for interactive user interfaces of museum systems
    F.Paterno', F.Bucca, Proceedings ICHIM 97 Conference, Fourth International Conference on Hypermedia and Interactivity in Museum, Paris, September 97.Archives & Museum Informatics, pp.271-279.
  • Formal Specification as a Tool for Objective Assessment of Safety Critical Systems
    P.Palanque, R.Bastide, F.Paterno', Proceedings Interact'97, Chapman&Hall, July'97. pp.323-330.
  • Engineering Task Models
    F.Paternò, C.Mancini, S.Meniconi, Proceedings Third IEEE International Conference on Engineering of Complex Computer Systems, Como, September 97, pp.69-76, IEEE Computer Society Press.
  • Using Tasks for Improving the Design of Presentations for Database Query Results
    N.Aloia, M.Matera, F.Paternò, Proceedings IEEE Symposium on Visual Languages, Capri, September'97, pp.121-124, IEEE Computer Society Press.
  • Patterns for Dialogue Representations
    F.Paternò, S.Meniconi, Proceedings International Workshop on Representations in Interactive Software Development, pp.73-81, London, July'97

1996

  • Including Time in the Notion of Interactor
    M.Mezzanotte, F.Paterno', ACM SIGCHI, April, 1996.
  • Moving Task at the Center of the Design and Development Process
    F.Paterno', ACM SIGCHI, July, 1996, pp.77-82.
  • An Approach to Designing User-oriented Presentations for Multimedia Database Query Results
    N.Aloia, M.Matera, F.Paterno', in Proceedings di Advanced Visual Interface Workshop, Gubbio, June 1996, ACM Press.
  • Use of Task, User and Formal Models to Support Development of Multimedia Interactive Systems
    M.Mezzanotte, F.Paterno', in Proceedings of IFIP Working Conference Domain Knowledge for Interactive System Design, Geneve, May 1996, Chapman & Hall, pp.213-226.
  • Multidisciplinary Modelling for User-Centred System Design: An Air-Traffic Control Case Study
    S.Buckingham, A.Blandford, D.Duke, J.Good, J.May, F.Paterno', R.Young, in Proceedings HCI'96, London, August 1996, Springer Verlag
  • Towards an integrated proposal for Interactive Systems design based on LOTOS and Objects Petri Nets
    P.Palanque, F.Paterno', R.Bastide, M.Mezzanotte, in Proceedings DSV-IS96, Namur, June 1996, Springer Verlag.
  • Verification of Properties of Human-Computer Dialogues with an Infinite Number of States
    M.Mezzanotte, F.Paterno' in Proceedings of Formal Aspects of the Human-Computer Interface, Sheffield, September 1996.

1995

  • Automatic Generation of Task-oriented Help
    S.Pangoli, F.Paterno', in Proceedings of UIST'95, ACM Symposium on User Interfaces Software and Technology, ACM Press, pp.181-187, Pittsburgh, November 1995
  • Reasoning about MultiModal Interactive Systems
    F.Paterno', M.Mezzanotte , 1st International Workshop on Intelligent Multimodal Interfaces, Edinburgh, July 1995.
  • Design, Specification, Verification of Interactive Systems
    F.Paterno' (editor), Springer Verlag, Focus on Computer Graphics Series, ISBN 3-540-59480-9
  • Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems
    C.Bernardeschi, A.Fantechi, F.Paterno', in Proceedings of Seventh International Conference on Software Engineering and Knowledge Engineering, pp.234-243, June 22-24, 1995, Rockville, Maryland, USA
  • Formal Analysis of User and System Interactions in the CERD Case Study
    F.Paterno', M.Mezzanotte, in Proceedings of EHCI'95, IFIP Working Conference on Engineering for Human-Computer Interaction, Chapman&Hall Publisher, pp.213-226, August 14-18, 1995, Grand Targhee Resort, Wyoming, USA
  • User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications
    F.Paterno', M.S.Sciacchitano, J.Lowgren, in Proceedings of 2nd Eurographics Workshop on Design, Specification, Verification of Interactive Systems, Tolouse, June '95.

1994

  • A Semantics-based Approach to the Design and Implementation of Interaction Objects
    F.Paterno', A.Leonardi, Computer Graphics Forum, Blackwell Publisher, Vol.13, N.3, pp.195-204, 1994.
  • A Theory of User-Interaction Objects
    F.Paterno', in Journal of Visual Languages and Computing, Academic Press, Vol.5, N.3., pp.227-249.
  • The Design and Specification of a Visual Language: an Example for Customising Geographic Information Systems Functionalities
    F.Paterno', I.Campari, R.Scopigno, in Computer Graphics Forum, Blackwell Publisher, Vol.13, N.4, pp.199-210, 1994.
  • How to Use Software Engineering Automatic Tools for Formal Notations in the Development of Interactive Systems
    F.Paterno', Proceedings of the Workshop on Software Engineering and Human-Computer Interaction, pp.193-200, Sorrento May '94.
  • A Tool Supported Approach to the Refinement of Interactive Systems
    F.Paterno', A.Leonardi, S.Pangoli, Proceedings of the 1st Eurographics Workshop on Design, Specification, Verification of Interactive Systems, pp.85-96, Bocca di Magra, June '94.
  • Unifying Views of Interactors
    D.Duke, G.Faconti, M.Harrison, F.Paterno', Proceedings of the Workshop on Advanced Visual Interfaces '94, Bari, June'94, pp.143-152, ACM Press, ACM ISBN 0-89791-733-2.

1993

  • A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model
    D.Duce, F.Paterno', Computer Graphics Forum. Vol12, N.1, pp.3-20, 1993.
  • A Formal Specification of Appearance and Behaviour of Visual Environments
    F.Paterno' Software Engineering Journal, pp.154-164, May 1993.
  • The Design and Implementation of a Visual Language: an Example for Geographic Information Systems Applications
    F.Paterno', I.Campari, R.Scopigno, Proceedings Eurographics UK 1993 Conference, York, March 1993, pp.87-102, ISBN 0-9521097-0-0.
  • Definition of User Interface Properties Using Action-Based Temporal Logic
    F.Paterno', Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering, pp.314-319, ISBN 0-9641699-0-8, S.Francisco, June 1993.
  • A Formal Evaluation of Interactive Systems
    F.Paterno', Workshop on Formal Methods in HCI, York, July '93, pp.56-72.
  • A Comparison of Approaches to the Specification of MultiModal Interactive Systems
    J.Coutaz, F.Paterno', G.Faconti, L.Nigay, ERCIM Workshop on MultiModal User Interfaces, Nancy, 1-4 November '93, pp.95-102.
  • 1992

    • A Visual Environment to Specify the Composition of Interacting Objects
      G.Faconti, F.Paterno', 1992 Springer Verlag, Vol.9, N.2/3, pp.73-83, 1992.
    • On the Use of LOTOS to Describe Graphical Interaction
      F.Paterno', G.Faconti, in Monk, Diaper & Harrison eds. People and Computers VII: Proceedings of the HCI'92 Conference, Cambridge University Press, pp.155-173, September, 1992.
    • An Object-Oriented Approach to the Design of User Interface Systems
      F.Paterno', International Computer Science Institute Internal Report TR-046, Berkeley, August 1992 and in revised form in Proceedings of Third Eurographics Workshop on Object-Oriented Graphics, October '92, pp.399-403.

    1991

    • LOTOS Specification of GKS-R Functionality
      D.Duce, F.Paterno' Proceedings of Eurographics Workshop on Formal Methods in Computer Graphics. June 1991.
    • An Interactive Approach to Distributed Graphics Systems
      in Distributed Window Systems Theory and Practice. Arnold et al. (eds). EUROGRAPHICS Technical Report Series. EG 91 AR ISSN 1017-4656. Dicembre 1991.

    1990

    • A Model of Interaction
      R.Bettarini, G.Faconti, F.Paterno' Springer Verlag LNCS N.429 pp.255-263, 1990.
    • An Approach to the Formal Specification of the Components of an Interaction.
      G.Faconti, F.Paterno', in Ed. C.E.Vandoni, D.A.Duce, Eurographics '90, Elsevier, September, 1990.
    • A Graphical Syntax of ECSP Constructs to Describe Human-Computer Interaction
      G.Faconti, F.Paterno' Automatika YU ISSN 005-1443 pp.256-267, 1990.

    1989

    • Providing an Initial Geometry for a Graphics Workstation in a Windowing Environment
      G.Faconti, F.Paterno', June, 1989 International Workshop on Window Management Stystems. Amsterdam. ISO/IEC JTC1/SC24/WG1 N.81.

    1988

    • Sviluppo di un Ambiente Grafico per una Rete Metropolitana
      G.Faconti, F.Paterno', Settembre, 1988 Atti del Congresso AICA '88, Vol.1, pp.527-535.
    • L'Integrazione tra i Sistemi Grafici ed i Gestori di Finestre
      F.Paterno', 1988 Pixel, N.10, 1988, pp.49-54.

    1987

    • GKS in a Distributed Environment
      R.D.Bettarini, G.Faconti, F.Paterno', September, 1987 Manchester. Workshop "The GKS Review".

    This page was last updated on: February 11, 2009