Paolo Bottoni

Orcid: 0000-0003-4662-2019

According to our database1, Paolo Bottoni authored at least 209 papers between 1989 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
HPC-T-Annotator: an HPC tool for de novo transcriptome assembly annotation.
BMC Bioinform., December, 2024

Strategies in Spatio-Temporal Logics for Multi-agent Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

2023
IGUANER - DIfferential Gene Expression and fUnctionAl aNalyzER.
Proceedings of the Big Data Analytics in Astronomy, Science, and Engineering, 2023

2022
Variants in managing supply chains on distributed ledgers.
CoRR, 2022

Modular language product lines: a graph transformation approach.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021
Transactions and contracts based on reaction systems.
Theor. Comput. Sci., 2021

A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting.
Theor. Comput. Sci., 2021

Tribute to Anna Labella.
J. Log. Algebraic Methods Program., 2021

A formal model for ledger management systems based on contracts and temporal logic.
CoRR, 2021

Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation.
Proceedings of the IEEE Symposium on Computers and Communications, 2021

2020
Networks of Reaction Systems.
Int. J. Found. Comput. Sci., 2020

Intelligent Smart Contracts for Innovative Supply Chain Management.
Frontiers Blockchain, 2020

2019
Reaction systems with influence on environment.
J. Membr. Comput., 2019

Capturing and using context in a mobile annotation application.
Proceedings of the 18th International Conference on Mobile and Ubiquitous Multimedia, 2019

Modal Epistemic Logic on Contracts: A Doctrinal Approach.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
Math. Struct. Comput. Sci., 2018

A dataflow platform for applications based on Linked Data.
Int. J. Comput. Sci. Eng., 2018

Report on IWRS 2018.
Bull. EATCS, 2018

BioWebEngine: A generation environment for bioinformatics research.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

A Novel Approach for Secure In-class Delivery of Educational Content via Mobile Routers with Functionally Enhanced Firmware.
Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018

BYOD Collaborative Storytelling in Tangible Technology-Enhanced Language Learning Settings.
Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018

2017
Resource-aware policies.
J. Vis. Lang. Comput., 2017

Supporting group collaboration in an annotation system.
J. Vis. Lang. Comput., 2017

Prefix-suffix square reduction.
Theor. Comput. Sci., 2017

Networks of picture processors as problem solvers.
Soft Comput., 2017

SparqlBlocks: Using Blocks to Design Structured Linked Data Queries.
J. Vis. Lang. Sentient Syst., 2017

Networks of polarized multiset processors.
J. Comput. Syst. Sci., 2017

2016
Pattern-based Rewriting through Abstraction.
Fundam. Informaticae, 2016

Type Annotation for Adaptive Systems.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

FedUp! Cloud Federation as a Service.
Proceedings of the Service-Oriented and Cloud Computing, 2016

Mobiles and Wearables: Owner Biometrics and Authentication.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2016

2015
Spider Graphs: a graph transformation system for spider diagrams.
Softw. Syst. Model., 2015

A Framework for Situated Interaction with Augmented Surfaces.
Int. J. Softw. Informatics, 2015

Conditions, constraints and contracts: On the use of annotations for policy modeling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

SPARQL Playground: A Block Programming Tool to Experiment with SPARQL.
Proceedings of the International Workshop on Visualizations and User Interfaces for Ontologies and Linked Data co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

Towards an Ontology-Based Generic Pipeline Editor.
Proceedings of the Databases in Networked Information Systems, 2015

Linked Data Queries as Jigsaw Puzzles: a Visual Interface for SPARQL Based on Blockly Library.
Proceedings of the 11th Biannual Conference on Italian SIGCHI Chapter, 2015

2014
SWOWS and dynamic queries to build browsing applications on linked data.
J. Vis. Lang. Comput., 2014

Relevance measures for the creation of groups in an annotation system.
J. Vis. Lang. Comput., 2014

Creation and use of service-based Distributed Interactive Workspaces.
J. Vis. Lang. Comput., 2014

Accepting Networks of Evolutionary Picture Processors.
Fundam. Informaticae, 2014

Annotating spiders with resource information.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Solving 2D-Pattern Matching with Networks of Picture Processors.
Proceedings of the Theory and Practice of Natural Computing, 2014

A Dataflow Platform for In-silico Experiments Based on Linked Data.
Proceedings of the Databases in Networked Information Systems - 9th International Workshop, 2014

Coloured Modelling Spider Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2014

Collaborative multimedia content creation and sharing by older adults.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2014

2013
Annotation processes for flexible management of contextual information.
J. Vis. Lang. Comput., 2013

Extending Spider Diagrams for policy definition.
J. Vis. Lang. Comput., 2013

Stories and signs in an e-learning environment for deaf people.
Univers. Access Inf. Soc., 2013

Annotations on Complex Patterns.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Policy enforcement and verification with Timed Modeling Spider Diagrams.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Constructing collaborative services through augmented documents and objects.
Proceedings of the 6th International Symposium on Visual Information Communication and Interaction (VINCI), 2013

Euler diagram codes: interpretation and generation.
Proceedings of the 6th International Symposium on Visual Information Communication and Interaction (VINCI), 2013

Keeping "InTOUCH": An Ongoing Co-design Project to Share Memories, Skills and Demands through an Interactive Table.
Proceedings of the Human Factors in Computing and Informatics, 2013

A user interface to build interactive visualizations for the semantic web.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Enabling End Users to Create, Annotate and Share Personal Information Spaces.
Proceedings of the End-User Development - 4th International Symposium, 2013

Towards a flexible architecture for interaction with augmented surfaces.
Proceedings of the International Joint Conference on Awareness Science and Technology & Ubi-Media Computing, 2013

2<sup>nd</sup> Workshop on Graphical Modeling Language Development.
Proceedings of the Second Workshop on Graphical Modeling Language Development, 2013

From use cases to task trees through resources.
Proceedings of the 19th International Conference on Distributed Multimedia Systems, 2013

"<i>Do the gestures you think of</i>": creating affordances in codesign.
Proceedings of the Biannual conference of the Italian chapter of SIGCHI, 2013

2012
Spatial and temporal aspects in visual interaction.
J. Vis. Lang. Comput., 2012

Modeling context with graph annotations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Euler Diagram Encodings.
Proceedings of the Diagrammatic Representation and Inference, 2012

Experimenting dele: a deaf-centered e-learning visual environment.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

SWift: a SignWriting improved fast transcriber.
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

2011
Formalising Interaction Patterns.
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011

Complexity-preserving simulations among three variants of accepting networks of evolutionary processors.
Nat. Comput., 2011

Incremental update of constraint-compliant policy rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A visual language for temporal specifications based on Spider diagrams.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Policy specifications with Timed Spider Diagrams.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Personalised Resource Categorisation Using Euler Diagrams.
Proceedings of the End-User Development - Third International Symposium, 2011

Light-Weight Composition of Personal Documents from Distributed Information.
Proceedings of the End-User Development - Third International Symposium, 2011

A resource-based framework for interactive composition of multimedia documents.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Color-Based Recognition of Gesture-traced 2D Symbols.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

Context Insertions.
Proceedings of the Computation, 2011

2010
A language-independent and formal approach to pattern-based modelling with support for composition and analysis.
Inf. Softw. Technol., 2010

Facilitating interaction and retrieval for annotated documents.
Int. J. Comput. Sci. Eng., 2010

A Termination Criterion for Graph Transformations with Negative Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preserving constraints in horizontal model transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Algebraic Formalization of the GoF Design Patterns
CoRR, 2010

Towards a Formal Notion of Interaction Pattern.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Shape-based regular processor networks specification tools in the framework of movie-based programming.
Proceedings of the International Conference on Humans and Computers, 2010

A framework for hand-based interaction.
Proceedings of the International Conference on Humans and Computers, 2010

Annotation threads in <i>MADCOW 2.0</i>.
Proceedings of the International Conference on Humans and Computers, 2010

Formalising design and interaction patterns and their relationships.
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, 2010

Managing Groups and Group Annotations in madcow.
Proceedings of the Databases in Networked Information Systems, 6th International Workshop, 2010

Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Interacting annotations in <i>MADCOW 2.0</i>.
Proceedings of the International Conference on Advanced Visual Interfaces, 2010

2009
Special issue on selected papers from VL/HCC 2008: Guest Editors' introduction.
J. Vis. Lang. Comput., 2009

e-Document management in situated interactivity: the WIL approach.
Univers. Access Inf. Soc., 2009

Resource-based enactment and adaptation of workflows from activity diagrams.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Shape-based computations on regular processor networks.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Networks of Evolutionary Picture Processors with Filtered Connections.
Proceedings of the Unconventional Computation, 8th International Conference, 2009

A Dynamic Environment for Video Surveillance.
Proceedings of the Human-Computer Interaction, 2009

Formal Foundation for Pattern-Based Modelling.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof.
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009

2008
Enforced generative patterns for the specification of the syntax and semantics of visual languages.
J. Vis. Lang. Comput., 2008

Using Resources as Synchronizers to Manage Mobile Process Adaption.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Composing control flow and formula rules for computing on grids.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A General-Purpose Context Modeling Architecture for Adaptive Mobile Services.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

2007
Pointed pictures.
J. Vis. Lang. Comput., 2007

Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Use of a Dual-Core DSP in a Low-Cost, Touch-Screen Based Musical Instrument.
Proceedings of the Seventh International Conference on New Interfaces for Musical Expression, 2007

A Cooperative-Relational Approach to Digital Libraries.
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007

Differences and Identities in Document Retrieval in an Annotation Environment.
Proceedings of the Databases in Networked Information Systems, 5th International Workshop, 2007

2006
Superposition Based on Watson-Crick-Like Complementarity.
Theory Comput. Syst., 2006

Applying algebraic approaches for modeling workflows and their transformations in mobile networks.
Mob. Inf. Syst., 2006

Storing and retrieving multimedia web notes.
Int. J. Comput. Sci. Eng., 2006

Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Termination of Algebraic Rewriting with Inhibitors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Visual interaction: models, systems, prototypes. The Pictorial Computing Laboratory at the University of Rome "La Sapienza".
Cogn. Process., 2006

Constraining Concrete Syntax via Metamodel Information.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Languages, tasks and roles: modeling interaction through resources.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

Mapping with planning agents in the Max/MSP environment: the GO/Max language.
Proceedings of the New Interfaces for Musical Expression, 2006

Multimedia Annotation of Geo-Referenced Information Sources.
Proceedings of the Multimedia Content Representation, 2006

Metamodel-based definition of interaction with visual environments.
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006

Interactive composition, performance and music generation through iterative structures.
Proceedings of the 14th ACM International Conference on Multimedia, 2006

An ontology for describing model mapping/transformation tools and methodologies: the MoMo ontology.
Proceedings of the EMOI, 2006

Towards a Unified View of Model Mapping and Transformation.
Proceedings of the EMOI, 2006

MADCOW: a visual interface for annotating web pages.
Proceedings of the working conference on Advanced visual interfaces, 2006

CHAMBRE: integrating multimedia and virtual tools.
Proceedings of the working conference on Advanced visual interfaces, 2006

2005
High-level replacement units and their termination properties.
J. Vis. Lang. Comput., 2005

Resource-Based Models of Visual Interaction: Understanding Errors.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

Storing and Retrieving Multimedia Web Notes.
Proceedings of the Databases in Networked Information Systems, 4th International Workshop, 2005

2004
Definition of visual processes in a language for expressing transitions.
J. Vis. Lang. Comput., 2004

Introductory paper.
Softw. Syst. Model., 2004

Generating Multimedia Content with Cellular Automata.
IEEE Multim., 2004

Termination of High-Level Replacement Units with Application to Model Transformation.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

A Suite of Metamodels as a Basis for a Classification of Visual Languages.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

MADCOW: a multimedia digital annotation system.
Proceedings of the working conference on Advanced visual interfaces, 2004

2003
Dynamic aspects of visual modelling languages.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Configurations and transitions in visual languages.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

An Analysis and Case Study of Digital Annotation.
Proceedings of the Databases in Networked Information Systems, 2003

Specifying Integrated Refactoring with Distributed Graph Transformations.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Modeling visual interactive systems through dynamic visual languages.
IEEE Trans. Syst. Man Cybern. Part A, 2002

Analyzing, modelling, and specifying visual interaction.
Soft Comput., 2002

Coordinated Distributed Diagram Transformation for Software Evolution.
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002

Preface.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Membrane systems with promoters/inhibitors.
Acta Informatica, 2002

Un linguaggio per esprimere transizioni.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Towards Formal Measures of Usability for Visual Interactive Systems.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Workshop on Graph Transformation and Visual Modeling Techniques.
Proceedings of the Graph Transformation, First International Conference, 2002

On the Definition of Visual Languages and Their Editors.
Proceedings of the Diagrammatic Representation and Inference, 2002

Rewriting P Systems with Conditional Communication.
Proceedings of the Formal and Natural Computing, 2002

2001
Computing with Shapes.
J. Vis. Lang. Comput., 2001

On a Uniform Logical Framework for Diagrammatic Reasoning.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Multilevel Modelling and Design of Visual Interactive Systems.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

A Visualization of OCL Using Collaborations.
Proceedings of the «UML» 2001, 2001

Deductive Parsing of Visual Languages.
Proceedings of the Logical Aspects of Computational Linguistics, 2001

From user notations to accessible interfaces through visual languages.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

Pictures, layers, double stranded molecules: on multi-dimenional sentences.
Proceedings of the Where Mathematics, 2001

2000
On the Power of Pictorial Languages.
Int. J. Pattern Recognit. Artif. Intell., 2000

Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning.
Proceedings of the Multiset Processing, 2000

Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Principled Design of Visual Languages for Interaction.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Consistency Checking and Visualization of OCL Constraints.
Proceedings of the «UML» 2000, 2000

Bidimensional Contextual Grammars.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000

Towards Mutual Comprehension through Interaction.
Proceedings of the working conference on Advanced visual interfaces, 2000

1999
On Orders in Visual Interaction.
J. Vis. Lang. Comput., 1999

Specification and dialogue control of visual interaction through visual rewriting systems.
ACM Trans. Program. Lang. Syst., 1999

Dimensions of Visual Interaction Design.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Issues in Design and Implementation of Multimedia Software Systems.
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

Coordination through Group Rewriting.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

On a Uniform Representation of Transformation Systems.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Specifying Dialog Control in Visual Interactive Systems.
J. Vis. Lang. Comput., 1998

Matching the resolution level to salient image features.
Pattern Recognit., 1998

Pattern Control on Derivations in Context-Free Rewriting.
J. Autom. Lang. Comb., 1998

Successful Visual Human-Computer Interaction is Undecidable.
Inf. Process. Lett., 1998

Situated Image Understanding in a Multiagent Framework.
Int. J. Pattern Recognit. Artif. Intell., 1998

Grammars Working on Layered Strings.
Acta Cybern., 1998

On the Specification of Dynamic Visual Languages.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

From Formulae to Rewriting Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

Methodologies and tools for Co-operative Interaction in the Design Process.
Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21<sup>st</sup> Century: Innovation, 1998

A completely visual environment for agent-based computing.
Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24, 1998

1997
Defining visual languages for interactive computing.
IEEE Trans. Syst. Man Cybern. Part A, 1997

A Notion of Information Related to Computation.
Inf. Process. Lett., 1997

From Visual Language Specification to Legal Visual Interaction.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Structural Characterization of Image Processing Operators.
Proceedings of the Image Analysis and Processing, 9th International Conference, 1997

Participatory Interface Design: From Naive Models to Systems.
Proceedings of the Design of Computing Systems: Social and Ergonomic Considerations, 1997

On Controlling Rewriting by Properties of Strings and Symbols.
Proceedings of the New Trends in Formal Languages, 1997

Distributed Plan Construction and Execution for Medical Image Interpretation.
Proceedings of the Artificial Intelligence Medicine, 1997

1996
A visual approach to HCI.
ACM SIGCHI Bull., 1996

Visual Conditional Attributed Rewriting Systems in Visual Language Specification.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Reflective agents for adaptive workflows.
Proceedings of the First International Conference on Practical Aspects of Knowledge Management, 1996

A dynamical organisation for situated image interpretation.
Proceedings of the 13th International Conference on Pattern Recognition, 1996

A Systemic Metaphor of Multi-Agent Coordination in Living Systems.
Proceedings of the Modelling and Simulation, 1996

1995
A system for form-feature-based interpretation of technical drawings.
Mach. Vis. Appl., 1995

The Design of Anthropocentric Cooperative Visual Environments.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Formalising Visual Languages.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Combining Resolution and Granularity for Pattern Recognition.
Proceedings of the Image Analysis and Processing, 8th International Conference, 1995

Multi-Agent Coordination in Living Systems.
Proceedings of the 1995 International Workshop on Biologically Inspired Evolutionary Systems, 1995

1994
Metareasoning in the determination of image interpretation strategies.
Pattern Recognit. Lett., 1994

LiSEB: A Language for Modeling Living Systems with APL2.
Proceedings of the International Conference on APL 1994: The Language and Its Applications, 1994

1993
Cooperative Visual Environments for the Design of Effective Visual Systems.
J. Vis. Lang. Comput., 1993

1992
Plastic Visual Tools.
Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992

Metareasoning as a tool for pattern recognition.
Proceedings of the 11th IAPR International Conference on Pattern Recognition, 1992

Visual Interface Design based on User's Models.
Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1991
Multi-iconic Multi-interpretation computation: a medical case.
Proceedings of the 1991 IEEE Workshop on Visual Languages, Kobe, Japan, October 8-11, 1991, 1991

Automatic cell count in digital images of liver tissue sections.
Proceedings of the Fourth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'91), 1991

An APL Rule-Based System Architecture for Image Interpretation Strategies.
Proceedings of the International Conference on APL 1991, 1991

1990
Empirical Plausible Reasoning by Multiple-Valued Logic.
Proceedings of the Uncertainty in Knowledge Bases, 1990

Feature-based description and representation of structures in an ECG.
Proceedings of the Third Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'90), 1990

Definition of Image Interpretation Strategies in APL.
Proceedings of the Conference Proceedings on APL 90: For the Future, 1990

1989
Knowledge-based contextual recognition and sieving of digital images.
Pattern Recognit. Lett., 1989

Attributed Conditional Rewriting Systems as a Tool for ECG Description and Interpretation.
Proceedings of the AIME 89, 1989


  Loading...