G. Pacini
University of Pisa(IT)Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(IT)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Natural Language Processing Techniques, Semantic Web and Ontologies
Most-Cited Works
- → Symbol–Relation Grammars: A Formalism for Graphical Languages(1996)51 cited
- → Automating visual language generation(1990)40 cited
- → Relation grammars and their application to multi-dimensional languages(1991)34 cited
- → Efficient parsing of multidimensional structures(2002)28 cited
- → Visual-language system for user interfaces(1995)22 cited
- → RSF: a formalism for executable requirement specifications(1990)19 cited
- → Relation grammars for modelling multi-dimensional structures(2002)19 cited