All Stories

  1. Strategies in Spatio-Temporal Logics for Multi-agent Systems
  2. Modular language product lines: concept, tool and analysis
  3. IGUANER - DIfferential Gene Expression and fUnctionAl aNalyzER
  4. Molecular Dynamics Investigations of Human DNA-Topoisomerase I Interacting with Novel Dewar Valence Photo-Adducts: Insights into Inhibitory Activity
  5. MD–Ligand–Receptor: A High-Performance Computing Tool for Characterizing Ligand–Receptor Binding Interactions in Molecular Dynamics Trajectories
  6. Blockchain-as-a-Service and Blockchain-as-a-Partner: Implementation options for supply chain optimization
  7. Molecular Docking and Dynamics Simulation Revealed the Potential Inhibitory Activity of New Drugs against Human Topoisomerase I Receptor
  8. Modular language product lines
  9. A formal model for ledger management systems based on contracts and temporal logic
  10. Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation
  11. Transactions and contracts based on reaction systems
  12. Tribute to Anna Labella
  13. A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
  14. Intelligent Smart Contracts for Innovative Supply Chain Management
  15. Networks of Reaction Systems
  16. Capturing and using context in a mobile annotation application
  17. Reaction systems with influence on environment
  18. A Novel Approach for Secure In-class Delivery of Educational Content via Mobile Routers with Functionally Enhanced Firmware
  19. BYOD Collaborative Storytelling in Tangible Technology-Enhanced Language Learning Settings
  20. Modal Epistemic Logic on Contracts: A Doctrinal Approach
  21. BioWebEngine: A generation environment for bioinformatics research
  22. A dataflow platform for applications based on Linked Data
  23. A dataflow platform for applications based on Linked Data
  24. PeachVar-DB: A Curated Collection of Genetic Variations for the Interactive Analysis of Peach Genome Data
  25. Tangible Technology-Enhanced Learning for Improvement of Student Collaboration
  26. Firmware Enhancements for BYOD-Aware Network Security
  27. Supporting group collaboration in an annotation system
  28. Prefix–suffix square reduction
  29. Networks of polarized multiset processors
  30. A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
  31. Resource-aware policies
  32. Type Annotation for Adaptive Systems
  33. Mobiles and Wearables
  34. Networks of picture processors as problem solvers
  35. Rewriting of models according to patterns and rewriting of patterns according to basic operators
  36. A human computer interactions framework for biometric user identification
  37. An interactive tool for sketch-based annotation
  38. FedUp! Cloud Federation as a Service
  39. Using blocks to get more blocks: Exploring linked data through integration of queries and result sets in block programming
  40. Linked Data Queries as Jigsaw Puzzles
  41. Creation and use of service-based Distributed Interactive Workspaces
  42. Relevance measures for the creation of groups in an annotation system
  43. SWOWS and dynamic queries to build browsing applications on linked data
  44. What do I need? A resource-based perspective on visual communication and interaction
  45. Annotating spiders with resource information
  46. Collaborative multimedia content creation and sharing by older adults
  47. Users-groups matching in an annotation system: Ontological and URL relevance measures
  48. A Dataflow Platform for In-silico Experiments Based on Linked Data
  49. Accepting Networks of Evolutionary Picture Processors
  50. Coloured Modelling Spider Diagrams
  51. Theory and Practice of Natural Computing
  52. Annotation processes for flexible management of contextual information
  53. Towards a flexible architecture for interaction with augmented surfaces
  54. Spider Graphs: a graph transformation system for spider diagrams
  55. " Do the gestures you think of "
  56. Policy enforcement and verification with Timed Modeling Spider Diagrams
  57. Constructing collaborative services through augmented documents and objects
  58. Euler diagram codes
  59. 2 nd Workshop on Graphical Modeling Language Development
  60. Extending Spider Diagrams for policy definition
  61. Using ontologies for users-groups matching in an annotation system
  62. Enabling End Users to Create, Annotate and Share Personal Information Spaces
  63. Keeping “InTOUCH”: An Ongoing Co-design Project to Share Memories, Skills and Demands through an Interactive Table
  64. Stories and signs in an e-learning environment for deaf people
  65. Annotating Significant Relations on Multimedia Web Documents
  66. Experimenting dele
  67. SWift
  68. Spatial and temporal aspects in visual interaction
  69. Euler Diagram Encodings
  70. Policy specifications with Timed Spider Diagrams
  71. Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
  72. Light-Weight Composition of Personal Documents from Distributed Information
  73. A resource-based framework for interactive composition of multimedia documents
  74. Context Insertions
  75. Formalising Interaction Patterns
  76. Personalised Resource Categorisation Using Euler Diagrams
  77. Towards a Formal Notion of Interaction Pattern
  78. A language-independent and formal approach to pattern-based modelling with support for composition and analysis
  79. Formalising design and interaction patterns and their relationships
  80. Interacting annotations in MADCOW 2.0
  81. Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information
  82. Facilitating interaction and retrieval for annotated documents
  83. Managing Groups and Group Annotations in madcow
  84. Shape-based computations on regular processor networks
  85. Special issue on selected papers from VL/HCC 2008: Guest Editors’ introduction
  86. e-Document management in situated interactivity: the WIL approach
  87. A Dynamic Environment for Video Surveillance
  88. Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof
  89. Formal Foundation for Pattern-Based Modelling
  90. Networks of Evolutionary Picture Processors with Filtered Connections
  91. Enforced generative patterns for the specification of the syntax and semantics of visual languages
  92. Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
  93. Transdisciplinary Digital Art. Sound, Vision and the New Screen
  94. A General-Purpose Context Modeling Architecture for Adaptive Mobile Services
  95. Foreword
  96. Pointed pictures
  97. Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
  98. Antecedents to End Users' Success in Learning to Program in an Introductory Programming Course
  99. Use of a dual-core DSP in a low-cost, touch-screen based musical instrument
  100. Interactive composition, performance and music generation through iterative structures
  101. Visual interaction: models, systems, prototypes. The Pictorial Computing Laboratory at the University of Rome “La Sapienza”
  102. CHAMBRE
  103. Constraining Concrete Syntax via Metamodel Information
  104. Languages, tasks and roles: modeling interaction through resources.
  105. MADCOW
  106. Multimedia Content Representation, Classification and Security
  107. Storing and retrieving multimedia web notes
  108. High-level replacement units and their termination properties
  109. Termination of High-Level Replacement Units with Application to Model Transformation
  110. Superposition Based on Watson–Crick-Like Complementarity
  111. Generating multimedia content with cellular automata
  112. Definition of visual processes in a language for expressing transitions
  113. MADCOW
  114. Specifying Integrated Refactoring with Distributed Graph Transformations
  115. Dynamic aspects of visual modelling languages
  116. Coordinated Distributed Diagram Transformation for Software Evolution1 1Partially supported by the EC under Research and Training Network SeGraVis.
  117. Databases in Networked Information Systems
  118. Analyzing, modelling, and specifying visual interaction
  119. Modeling visual interactive systems through dynamic visual languages
  120. Membrane systems with promoters/inhibitors
  121. Rewriting P Systems with Conditional Communication
  122. On the Definition of Visual Languages and Their Editors
  123. Computing with Shapes
  124. ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools
  125. Deductive Parsing of Visual Languages
  126. Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
  127. ON THE POWER OF PICTORIAL LANGUAGES
  128. On a Uniform Representation of Transformation Systems
  129. Consistency Checking and Visualization of OCL Constraints
  130. From Formulae to Rewriting Systems
  131. Specification and dialogue control of visual interaction through visual rewriting systems
  132. On Orders in Visual Interaction
  133. Specifying Dialog Control in Visual Interactive Systems
  134. Situated Image Understanding in a Multiagent Framework
  135. Successful visual human-computer interaction is undecidable
  136. A completely visual environment for agent-based computing
  137. Matching the resolution level to salient image features
  138. A notion of information related to computation
  139. On controlling rewriting by properties of strings and symbols
  140. Defining visual languages for interactive computing
  141. Distributed plan construction and execution for medical image interpretation
  142. Structural characterisation of image processing operators
  143. A dynamical organisation for situated image interpretation
  144. A system for form-feature-based interpretation of technical drawings
  145. LiSEB
  146. Metareasoning in the determination of image interpretation strategies
  147. Cooperative Visual Environments for the Design of Effective Visual Systems
  148. Catalyzed Carbon Gasification Studied by Scanning Tunneling Microscopy and Atomic Force Microscopy
  149. An APL rule-based system architecture for image interpretation strategies
  150. Modeling of biological and medical systems: a systemic strategy
  151. Definition of image interpretation strategies in APL
  152. Knowledge-based contextual recognition and sieving of digital images
  153. Plastic visual tools
  154. Formalising visual languages
  155. CoPuppet : Collaborative Interaction in Virtual Puppetry
  156. A Cooperative-Relational Approach to Digital Libraries
  157. A Transformation-Based Metamodel Approach to the Definition of Syntax and Semantics of Diagrammatic Languages
  158. Differences and Identities in Document Retrieval in an Annotation Environment
  159. The Theory of Visual Sentences to Formalize Interactive Visual Languages
  160. Visual And Diagrammatic Languages
  161. Resource-Based Models of Visual Interaction: Understanding Errors
  162. Specifying Coherent Refactoring Software Artefacts with Distributed Graph Transformations
  163. A Suite of Metamodels as a Basis for a Classification of Visual Languages
  164. Configurations and transitions in visual languages
  165. Towards formal measures of usability for visual interactive systems
  166. On a uniform logical framework for diagrammatic reasoning
  167. Multilevel modelling and design of visual interactive systems
  168. Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation
  169. Principled design of visual languages for interaction
  170. On the specification of dynamic visual languages
  171. Metareasoning as a tool for pattern recognition
  172. Empirical plausible reasoning by multiple-valued logic