| 2009 |
|---|
| 94 | EE | Paolo Bottoni,
Esther Guerra,
Juan de Lara:
Formal Foundation for Pattern-Based Modelling.
FASE 2009: 278-293 |
| 2008 |
|---|
| 93 | EE | Thomas Pederson,
Carmelo Ardito,
Paolo Bottoni,
Maria Francesca Costabile:
A General-Purpose Context Modeling Architecture for Adaptive Mobile Services.
ER Workshops 2008: 208-217 |
| 92 | EE | Paolo Bottoni,
Nikolay N. Mirenkov,
Yutaka Watanobe,
Rentaro Yoshioka:
Composing control flow and formula rules for computing on grids.
ECEASST 10: (2008) |
| 91 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Simone Pulcini,
Gabriele Taentzer:
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
Electr. Notes Theor. Comput. Sci. 211: 87-98 (2008) |
| 90 | EE | Paolo Bottoni,
Esther Guerra,
Juan de Lara:
Enforced generative patterns for the specification of the syntax and semantics of visual languages.
J. Vis. Lang. Comput. 19(4): 429-455 (2008) |
| 2007 |
|---|
| 89 | EE | Paolo Bottoni,
Michele Cuomo,
Stefano Levialdi,
Emanuele Panizzi,
Marco Passavanti,
Rosa Trinchese:
Differences and Identities in Document Retrieval in an Annotation Environment.
DNIS 2007: 139-153 |
| 88 | EE | Alessio Malizia,
Paolo Bottoni,
Stefano Levialdi,
Francisco Astorga-Paliza:
A Cooperative-Relational Approach to Digital Libraries.
ECDL 2007: 75-86 |
| 87 | EE | Paolo Bottoni,
Juan de Lara,
Esther Guerra:
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.
VL/HCC 2007: 163-170 |
| 86 | EE | Juan de Lara,
Esther Guerra,
Paolo Bottoni:
Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.
ECEASST 6: (2007) |
| 85 | EE | Paolo Bottoni,
Anna Labella:
Pointed pictures.
J. Vis. Lang. Comput. 18(5): 523-536 (2007) |
| 2006 |
|---|
| 84 | EE | Paolo Bottoni,
Anna Labella,
Stefano Faralli,
Mario Pierro,
Claudio Scozzafava:
Interactive composition, performance and music generation through iterative structures.
ACM Multimedia 2006: 189-192 |
| 83 | EE | Paolo Bottoni,
Stefano Faralli,
Anna Labella,
Alessio Malizia,
Claudio Scozzafava:
CHAMBRE: integrating multimedia and virtual tools.
AVI 2006: 285-292 |
| 82 | EE | Paolo Bottoni,
Stefano Levialdi,
Anna Labella,
Emanuele Panizzi,
Rosa Trinchese,
Laura Gigli:
MADCOW: a visual interface for annotating web pages.
AVI 2006: 314-317 |
| 81 | EE | Fulvio D'Antonio,
Michele Missikoff,
Paolo Bottoni,
Axel Hahn,
Kevin Hausmann:
An ontology for describing model mapping/transformation tools and methodologies: the MoMo ontology.
EMOI-INTEROP 2006 |
| 80 | EE | Fulvio D'Antonio,
Paolo Bottoni,
Michele Missikoff:
Towards a Unified View of Model Mapping and Transformation.
EMOI-INTEROP 2006 |
| 79 | EE | Paolo Bottoni,
Alessandro Cinnirella,
Stefano Faralli,
Patrick Maurelli,
Emanuele Panizzi,
Rosa Trinchese:
Multimedia Annotation of Geo-Referenced Information Sources.
MRCS 2006: 675-682 |
| 78 | EE | Paolo Bottoni,
Stefano Faralli,
Anna Labella,
Mario Pierro:
Mapping with planning agents in the Max/MSP environment: the GO/Max language.
NIME 2006: 322-325 |
| 77 | EE | Paolo Bottoni,
Stefano Levialdi:
Languages, tasks and roles: modeling interaction through resources.
VL/HCC 2006: 121-126 |
| 76 | EE | Paolo Bottoni,
Paolo Quattrocchi,
Domenico Ventriglia:
Constraining Concrete Syntax via Metamodel Information.
VL/HCC 2006: 85-88 |
| 75 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce:
Termination of Algebraic Rewriting with Inhibitors.
ECEASST 4: (2006) |
| 74 | EE | Paolo Bottoni,
Fabio De Rosa,
Kathrin Hoffmann,
Massimo Mecella:
Applying algebraic approaches for modeling workflows and their transformations in mobile networks.
Mobile Information Systems 2(1): 51-76 (2006) |
| 73 | EE | Paolo Bottoni,
Anna Labella,
Vincenzo Manca,
Victor Mitrana:
Superposition Based on Watson-Crick-Like Complementarity.
Theory Comput. Syst. 39(4): 503-524 (2006) |
| 2005 |
|---|
| 72 | EE | Paolo Bottoni,
Roberta Civica,
Stefano Levialdi,
Laura Orso,
Emanuele Panizzi,
Rosa Trinchese:
Storing and Retrieving Multimedia Web Notes.
DNIS 2005: 119-137 |
| 71 | EE | Paolo Bottoni,
Stefano Levialdi:
Resource-Based Models of Visual Interaction: Understanding Errors.
VL/HCC 2005: 137-144 |
| 70 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation.
Electr. Notes Theor. Comput. Sci. 127(4): 71-86 (2005) |
| 69 | EE | Paolo Bottoni,
Kathrin Hoffmann,
Francesco Parisi-Presicce,
Gabriele Taentzer:
High-level replacement units and their termination properties.
J. Vis. Lang. Comput. 16(6): 485-507 (2005) |
| 2004 |
|---|
| 68 | EE | Paolo Bottoni,
Roberta Civica,
Stefano Levialdi,
Laura Orso,
Emanuele Panizzi,
Rosa Trinchese:
MADCOW: a multimedia digital annotation system.
AVI 2004: 55-62 |
| 67 | EE | Paolo Bottoni,
Antonio Grau:
A Suite of Metamodels as a Basis for a Classification of Visual Languages.
VL/HCC 2004: 83-90 |
| 66 | EE | Paolo Bottoni,
Marina Cammilli,
Stefano Faralli:
Generating Multimedia Content with Cellular Automata.
IEEE MultiMedia 11(4): 78-83 (2004) |
| 65 | EE | Paolo Bottoni,
Maria De Marsico,
Paolo Di Tommaso,
Stefano Levialdi,
Domenico Ventriglia:
Definition of visual processes in a language for expressing transitions.
J. Vis. Lang. Comput. 15(3-4): 211-242 (2004) |
| 64 | EE | Paolo Bottoni,
Mark Minas:
Introductory paper.
Software and System Modeling 3(2): 83-84 (2004) |
| 2003 |
|---|
| 63 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Specifying Integrated Refactoring with Distributed Graph Transformations.
AGTIVE 2003: 220-235 |
| 62 | EE | Paolo Bottoni,
Stefano Levialdi,
Paola Rizzo:
An Analysis and Case Study of Digital Annotation.
DNIS 2003: 216-230 |
| 61 | | Paolo Bottoni,
Maria De Marsico,
Stefano Levialdi,
Domenico Ventriglia:
Configurations and transitions in visual languages.
HCC 2003: 117-119 |
| 60 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Coordinated Distributed Diagram Transformation for Software Evolution.
Electr. Notes Theor. Comput. Sci. 72(4): (2003) |
| 59 | EE | Paolo Bottoni:
Dynamic aspects of visual modelling languages.
Electr. Notes Theor. Comput. Sci. 82(7): (2003) |
| 2002 |
|---|
| 58 | EE | Paolo Bottoni,
Gennaro Costagliola:
On the Definition of Visual Languages and Their Editors.
Diagrams 2002: 305-319 |
| 57 | EE | Paolo Bottoni,
Anna Labella,
Carlos Martín-Vide,
Gheorghe Paun:
Rewriting P Systems with Conditional Communication.
Formal and Natural Computing 2002: 325-353 |
| 56 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Antonio Piccinno:
Towards Formal Measures of Usability for Visual Interactive Systems.
HCC 2002: 188-197 |
| 55 | EE | Paolo Bottoni,
Mark Minas:
Workshop on Graph Transformation and Visual Modeling Techniques.
ICGT 2002: 445-449 |
| 54 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Antonio Piccinno:
Towards Formal Measures of Usability for Visual Interactive Systems.
IEEE Symposia on Human Centric Computing Languages and Environments 2002: 188-197 |
| 53 | | Paolo Bottoni,
Maria De Marsico,
Paolo Di Tommaso,
Stefano Levialdi,
Domenico Ventriglia:
Un linguaggio per esprimere transizioni.
WOA 2002: 78-85 |
| 52 | EE | Paolo Bottoni,
Carlos Martín-Vide,
Gheorghe Paun,
Grzegorz Rozenberg:
Membrane systems with promoters/inhibitors.
Acta Inf. 38(10): 695-720 (2002) |
| 51 | | Paolo Bottoni,
Shi-Kuo Chang,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
Modeling visual interactive systems through dynamic visual languages.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 32(6): 654-669 (2002) |
| 50 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi:
Analyzing, modelling, and specifying visual interaction.
Soft Comput. 7(1): 9-19 (2002) |
| 2001 |
|---|
| 49 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Daniela Fogli,
Stefano Levialdi,
Piero Mussio:
Multilevel Modelling and Design of Visual Interactive Systems.
HCC 2001: 256-263 |
| 48 | EE | Paolo Bottoni,
Bernd Meyer,
Francesco Parisi-Presicce:
On a Uniform Logical Framework for Diagrammatic Reasoning.
HCC 2001: 64-71 |
| 47 | | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
From user notations to accessible interfaces through visual languages.
HCI 2001: 252-256 |
| 46 | EE | Paolo Bottoni,
Bernd Meyer,
Kim Marriott,
Francesco Parisi-Presicce:
Deductive Parsing of Visual Languages.
LACL 2001: 79-94 |
| 45 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
A Visualization of OCL Using Collaborations.
UML 2001: 257-271 |
| 44 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio,
Gheorghe Paun:
Computing with Shapes.
J. Vis. Lang. Comput. 12(6): 601-626 (2001) |
| 2000 |
|---|
| 43 | | Paolo Bottoni,
Nadia Bianchi-Berthouze,
Toshikazu Kato:
Towards Mutual Comprehension through Interaction.
Advanced Visual Interfaces 2000: 266-269 |
| 42 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio:
Bidimensional Contextual Grammars.
Recent Topics in Mathematical and Computational Linguistics 2000: 25-45 |
| 41 | EE | Paolo Bottoni,
Manuel Koch,
Francesco Parisi-Presicce,
Gabriele Taentzer:
Consistency Checking and Visualization of OCL Constraints.
UML 2000: 294-308 |
| 40 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Maristella Matera,
Piero Mussio:
Principled Design of Visual Languages for Interaction.
VL 2000: 145-155 |
| 39 | EE | Paolo Bottoni,
Gabriele Taentzer,
Andy Schürr:
Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation.
VL 2000: 59-60 |
| 38 | EE | Paolo Bottoni,
Bernd Meyer,
Francesco Parisi-Presicce:
Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.
WMP 2000: 45-68 |
| 37 | EE | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio,
Gheorghe Paun:
On the Power of Pictorial Languages.
IJPRAI 14(6): 839-858 (2000) |
| 1999 |
|---|
| 36 | EE | Paolo Bottoni,
Francesco Parisi-Presicce,
Marta Simeoni:
On a Uniform Representation of Transformation Systems.
AGTIVE 1999: 63-78 |
| 35 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio:
Coordination through Group Rewriting.
Grammatical Models of Multi-Agent Systems 1999: 226-246 |
| 34 | EE | A. Bianchi,
Paolo Bottoni,
Piero Mussio:
Issues in Design and Implementation of Multimedia Software Systems.
ICMCS, Vol. 1 1999: 91-96 |
| 33 | EE | Paolo Bottoni,
Shi-Kuo Chang,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
Dimensions of Visual Interaction Design.
VL 1999: 48- |
| 32 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Piero Mussio:
Specification and dialogue control of visual interaction through visual rewriting systems.
ACM Trans. Program. Lang. Syst. 21(6): 1077-1136 (1999) |
| 31 | | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
On Orders in Visual Interaction.
J. Vis. Lang. Comput. 10(4): 343-380 (1999) |
| 1998 |
|---|
| 30 | EE | Paolo Bottoni,
Piero Mussio,
B. Olivieri,
Marco Protti:
A completely visual environment for agent-based computing.
AVI 1998: 261-263 |
| 29 | | Paolo Bottoni,
Maria Francesca Costabile,
Ferruccio Mandorli,
Piero Mussio,
F. Parteno',
R. Pizzicannella,
Giuseppe Santucci:
Methodologies and tools for Co-operative Interaction in the Design Process.
PROLAMAT 1998: 451-462 |
| 28 | | Paolo Bottoni,
Francesco Parisi-Presicce,
Marta Simeoni:
From Formulae to Rewriting Systems.
TAGT 1998: 267-280 |
| 27 | | Paolo Bottoni,
Shi-Kuo Chang,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
On the Specification of Dynamic Visual Languages.
VL 1998: 14-21 |
| 26 | EE | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio,
Gheorghe Paun:
Grammars Working on Layered Strings.
Acta Cybern. 13(4): 339-358 (1998) |
| 25 | | Nadia Bianchi,
Paolo Bottoni,
Piero Mussio,
Corneliu Spinu,
Catherine Garbay:
Situated Image Understanding in a Multiagent Framework.
IJPRAI 12(4): 595-624 (1998) |
| 24 | EE | Paolo Bottoni,
Stefano Levialdi,
Gheorghe Paun:
Successful Visual Human-Computer Interaction is Undecidable.
Inf. Process. Lett. 67(1): 13-19 (1998) |
| 23 | | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
Specifying Dialog Control in Visual Interactive Systems.
J. Vis. Lang. Comput. 9(5): 535-564 (1998) |
| 22 | | Paolo Bottoni,
Anna Labella,
Piero Mussio,
Gheorghe Paun:
Pattern Control on Derivations in Context-Free Rewriting.
Journal of Automata, Languages and Combinatorics 3(1): 3-28 (1998) |
| 21 | EE | Paolo Bottoni,
Luigi Cinque,
Stefano Levialdi,
Piero Mussio:
Matching the resolution level to salient image features.
Pattern Recognition 31(1): 89-104 (1998) |
| 1997 |
|---|
| 20 | | Nadia Bianchi,
Paolo Bottoni,
Catherine Garbay,
Piero Mussio,
Corneliu Spinu:
Distributed Plan Construction and Execution for Medical Image Interpretation.
AIME 1997: 405-416 |
| 19 | | Nadia Bianchi,
Paolo Bottoni,
Piero Mussio,
G. Rezzonico,
M. G. Strepparava:
Participatory Interface Design: From Naive Models to Systems.
HCI (2) 1997: 573-576 |
| 18 | | Paolo Bottoni,
Luigi Cinque,
Stefano Levialdi,
Piero Mussio,
B. Nebbia:
Structural Characterization of Image Processing Operators.
ICIAP (1) 1997: 430-437 |
| 17 | | Paolo Bottoni,
Giancarlo Mauri,
Piero Mussio:
On Controlling Rewriting by Properties of Strings and Symbols.
New Trends in Formal Languages 1997: 71-94 |
| 16 | | Paolo Bottoni,
Stefano Levialdi,
Maria Francesca Costabile,
Piero Mussio:
From Visual Language Specification to Legal Visual Interaction.
VL 1997: 238-245 |
| 15 | EE | Silvano Di Zenzo,
Paolo Bottoni,
Piero Mussio:
A Notion of Information Related to Computation.
Inf. Process. Lett. 64(4): 207-215 (1997) |
| 1996 |
|---|
| 14 | | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
Visual Conditional Attributed Rewriting Systems in Visual Language Specification.
VL 1996: 156-163 |
| 1995 |
|---|
| 13 | | Paolo Bottoni,
Luigi Cinque,
Stefano Levialdi,
Luca Lombardi,
Piero Mussio:
Combining Resolution and Granularity for Pattern Recognition.
ICIAP 1995: 503-508 |
| 12 | EE | Paolo Bottoni,
Marzia Mariotto,
Piero Mussio,
Gabriele Biella:
The Design of Anthropocentric Cooperative Visual Environments.
VL 1995: 334-341 |
| 11 | EE | Paolo Bottoni,
Maria Francesca Costabile,
Stefano Levialdi,
Piero Mussio:
Formalising Visual Languages.
VL 1995: 45- |
| 1994 |
|---|
| 10 | EE | Paolo Bottoni,
Marzia Mariotto,
Piero Mussio:
LiSEB: A Language for Modeling Living Systems with APL2.
APL 1994: 7-16 |
| 9 | EE | Paolo Bottoni,
Piero Mussio,
Marco Protti:
Metareasoning in the determination of image interpretation strategies.
Pattern Recognition Letters 15(2): 177-190 (1994) |
| 1993 |
|---|
| 8 | | Nadia Bianchi,
Paolo Bottoni,
Piero Mussio,
Marco Protti:
Cooperative Visual Environments for the Design of Effective Visual Systems.
J. Vis. Lang. Comput. 4(4): 357-381 (1993) |
| 1992 |
|---|
| 7 | | Nadia Bianchi,
Paolo Bottoni,
Piero Mussio:
Visual Interface Design based on User's Models.
Advanced Visual Interfaces 1992: 273-286 |
| 6 | | Nadia Bianchi,
Paolo Bottoni,
Piero Mussio,
Marco Protti:
Plastic Visual Tools.
VL 1992: 252-254 |
| 1991 |
|---|
| 5 | EE | Paolo Bottoni,
Marco Protti,
Piero Mussio:
An APL Rule-Based System Architecture for Image Interpretation Strategies.
APL 1991: 51-61 |
| 4 | | Piero Mussio,
Paolo Bottoni,
Marco Protti,
Maria Finadri,
Pietro Gentini:
Multi-iconic Multi-interpretation computation: a medical case.
VL 1991: 47-53 |
| 1990 |
|---|
| 3 | EE | Paolo Bottoni,
Piero Mussio,
Marco Protti:
Definition of Image Interpretation Strategies in APL.
APL 1990: 50-60 |
| 2 | | Paolo Bottoni,
Luca Mari,
Piero Mussio:
Empirical Plausible Reasoning by Multiple-Valued Logic.
IPMU 1990: 279-285 |
| 1989 |
|---|
| 1 | EE | Paolo Bottoni,
Piero Mussio,
Marco Protti,
Raimondo Schettini:
Knowledge-based contextual recognition and sieving of digital images.
Pattern Recognition Letters 10(2): 101-110 (1989) |
