Codice:
E100308
ISSN:
0302-9743
Dati Generali
Pubblicazioni (504)
1st Workshop on Information Retrieval for Understudied Users (IR4U2)
Contributo in Atti di convegno2COMM: A Commitment-Based MAS Architecture
Capitolo di libroA Calculus for Boxes and Traits in a Java-Like Setting
Contributo in Atti di convegnoA Calculus of Self-stabilising Computational Fields
Contributo in Atti di convegnoA Completeness Result for E-unification Algorithms Based on Conditional Narrowing
Contributo in Atti di convegnoA Core Calculus of Classes and Mixins
Contributo in Atti di convegnoA Decentralized Recommendation System based on Self-Organizing Partnerships
Contributo in Atti di convegnoA Decidable Intersection Type System based on Relevance
Contributo in Atti di convegnoA Deep Learning Approach to Anomaly Detection in the Gaia Space Mission Data
Contributo in Atti di convegnoA Defeasible Description Logic for Abduction
Contributo in Atti di convegnoA Differentiable Entropy Model for Learned Image Compression
Contributo in Atti di convegnoA Filter Model for the Lambda-Mu Calculus
Contributo in Atti di convegnoA Formal Account of Contracts for Web Services
Capitolo di libroA Formal Model for Multi SPLs
Contributo in Atti di convegnoA Framework for the Development of Distributed, Context-aware Adaptive Hypermedia Applications
Contributo in Atti di convegnoA Game Interpretation of Retractable Contracts
Contributo in Atti di convegnoA General Approach to Represent and Query Now-Relative Medical Data in Relational Databases
Contributo in Atti di convegnoA High Parallel Procedure to initialize the Output Weights of a Radial Basis Function or BP Neural Network
Contributo in Atti di convegnoA Lambda Calculus of Incomplete Objects
Contributo in Atti di convegnoA Logic-Based Tool for Dynamic Generation and Classification of Musical Content
Contributo in Atti di convegnoA Logical Approach to Deal with Incomplete Causal Models in Diagnostic Problem Solving
Contributo in Atti di convegnoA Modal Framework for Structured Logic Programs
Contributo in Atti di convegnoA New Parallel Benchmark for Performance Evaluation and Energy Consumption
Contributo in Atti di convegnoA P2P Market Place Based on Aggregate Signatures
Contributo in Atti di convegnoA Personalised Interactive Mobile App for People with Autism Spectrum Disorder
Contributo in Atti di convegnoA Probabilistic Applied Pi-Calculus
Capitolo di libroA Process-Model for Linear Programs
Contributo in Atti di convegnoA Reputation System for Multirole Sessions
Contributo in Atti di convegnoA Semantics-based Dialogue for Interoperability of user-Adaptive Systems in a Ubiquitous Environment
Contributo in Atti di convegnoA Semi-supervised Approach to Measuring User Privacy in Online Social Networks
Contributo in Atti di convegnoA Soft Type Assignment System for Lambda-Calculus
Contributo in Atti di convegnoA Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
Contributo in Atti di convegnoA Two-Level Approach to Logic plus Functional Programming Integration
Contributo in Atti di convegnoA Type-Free Resource-Aware Lambda-Calculus
Contributo in Atti di convegnoA Virtual Interpreter for the Italian Sign Language
Contributo in Atti di convegnoA Visualization Model Supporting an Efficient Context Resumption in Collaboration Environments
Contributo in Atti di convegnoA calculus of bounded capacities
ArticoloA high level language for structural relations in Stochastic Well-formed Nets
Contributo in Atti di convegnoA local criterion for polynomial-time stratified computations
Contributo in Atti di convegnoA methodology for biologically relevant pattern discovery from gene expression data
Contributo in Atti di convegnoA multifactor RSA-like scheme with fast decryption based on R'edei rational functions over the Pell hyperbola
Contributo in Atti di convegnoA network aware resource discovery service (a performance evaluation study)
Contributo in Atti di convegnoA nonmonotonic extension of KLM Preferential Logic P
Contributo in Atti di convegnoA novel RSA-like cryptosystem based on a generalization of Redei rational functions
Contributo in Atti di convegnoA priori conformance verification for guaranteeing interoperability in open environments
Contributo in Atti di convegnoA safe implementation of dynamic overloading in Java-like languages
Contributo in Atti di convegnoA toolchain for delta-oriented modeling of software product lines
Contributo in Atti di convegnoA unified and formal programming model for deltas and traits
Contributo in Atti di convegnoASSIST demo: a high level, high performance, portable, structured parallel programming environment at work
Contributo in Atti di convegnoAbstraction refinement for the analysis of software product lines
Contributo in Atti di convegnoAccelerating code on multi-cores with FastFlow
Contributo in Atti di convegnoAdding Dependability Analysis capabilities to the MARTE profile
Contributo in Atti di convegnoAgent Cooperation for Monitoring and Diagnosing a MAP
Contributo in Atti di convegnoAlgorithms and Types
ArticoloAn Abductive Proof Procedure for Conditional Logic Programming
Contributo in Atti di convegnoAn Abstract Annotation Model for Skeletons
Capitolo di libroAn Algebraic Theory for Web Service Contracts
Contributo in Atti di convegnoAn Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks
Contributo in Atti di convegnoAn Effective Translation of Fickle into Java
Contributo in Atti di convegnoAn Efficient Unbounded Lock-Free Queue for Multi-core Systems
Contributo in Atti di convegnoAn Event-based Model for the Management of Choreographed Services
Contributo in Atti di convegnoAn Evidence-based Approach to Handle Semantic Heterogeneity in Interoperable Distributed User Models
Contributo in Atti di convegnoAn Imperative First-Order Calculus with Object Extension
Contributo in Atti di convegnoAn architecture for normative reactive agents
Contributo in Atti di convegnoAn automatized method based on LaTeX for the realization of accessible PDF documents containing formulae
Contributo in Atti di convegnoAn immersive history class
Contributo in Atti di convegnoAn inference algorithm for strictness
Contributo in Atti di convegnoAnalysis of Large Systems with Mean Field and Markovian Agents
Contributo in Atti di convegnoAnalysis of timed properties using the jump-diffusion approximation
Contributo in Atti di convegnoAnd Now What We Do with Our Schoolchildren?
Contributo in Atti di convegnoApplicative Information Systems
ArticoloApproaches and Tools for Implementing Type Systems in Xtext
Contributo in Atti di convegnoArtificial neural networks and fuzzy logic for recognizing alphabet characters and mathematical symbols
Contributo in Atti di convegnoAutomatic Abstraction of Time-Varying System Models for Model Based Diagnosis
Contributo in Atti di convegnoAutomatic Annotation of Characters' Emotions in Stories
Contributo in Atti di convegnoAutomatic Covert Channel Analysis of a Multilevel Secure Component
Capitolo di libroAutomatic Selection of GA Parameters for Fragile Watermarking
Contributo in Atti di convegnoAutomatically Computing Connotative Shifts of Lexical Items
Contributo in Atti di convegnoBasic Human Values and Moral Foundations Theory in ValueNet Ontology
Contributo in Atti di convegnoBisimulation Congruences in the Calculus of Looping Sequences
Capitolo di libroBoosting as a Monte Carlo Algorithm
Contributo in Atti di convegnoBringing Aggregate Programming Towards the Cloud
Contributo in Atti di convegnoBringing Authoritative Models to Computational Drama (Encoding Knebel’s Action Analysis)
Contributo in Atti di convegnoBuilding Narrative Connections among Media Objects in Cultural Heritage Repositories
Contributo in Atti di convegnoBuilding a wide coverage dynamic grammar
Contributo in Atti di convegnoCall-by-Value Separability and Computability
Contributo in Atti di convegnoCategorical semantics of the call-by-value lambda calculus
Contributo in Atti di convegnoCertifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean
Contributo in Atti di convegnoChained Stream Authentication
Contributo in Atti di convegnoChanging InstitutionalGoals and Beliefs of Autonomous Agents.
Contributo in Atti di convegnoCharacterizing convergent terms in object calculi via intersection types
Contributo in Atti di convegnoCombining Coherence and Adaptation in Discourse-oriented Hypermedia Generation
Contributo in Atti di convegnoCommon-Sense Rule Inference
Contributo in Atti di convegnoComparing Cubes
ArticoloCompilation of Generic Regular Path Expressions Using C++ Class Templates
Contributo in Atti di convegnoCompleteness Results for a Polymorphic Type System
Contributo in Atti di convegnoComputation Asset Allocation Using One-Sided and Two-Sided Variability Measures
Contributo in Atti di convegnoComputational Experience with Pseudoinversion-Based Training of Neural Networks Using Random Projection Matrices
Contributo in Atti di convegnoComputational Methods for the Evaluation of Neuron’s Firing Densities
Capitolo di libroComputer-aided simulations of Gaussian processes and related asymptotic properties.
Contributo in Atti di convegnoComputing Structural Properties of Symmetric Nets
Contributo in Atti di convegnoConditioned Variational Autoencoder for Top-N Item Recommendation
Contributo in Atti di convegnoConformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
Contributo in Atti di convegnoConstraint-based mining of fault-tolerant patterns from Boolean data
Capitolo di libroConstraints for Service Contracts
Contributo in Atti di convegnoContext-Based Distance Learning for Categorical Data Clustering
Contributo in Atti di convegnoContext-Free Session Type Inference
Contributo in Atti di convegnoContext-aware workflow management
Contributo in Atti di convegnoContract-based Discovery and Adaptation of Web Services
Capitolo di libroContract-directed Synthesis of Simple Orchestrators
Contributo in Atti di convegnoContracts for Mobile Processes
Contributo in Atti di convegnoCurriculum Model Checking: Declarative Representation and Verification of Properties
Contributo in Atti di convegnoDALLMi: Domain Adaption for LLM-Based Multi-label Classifier
Contributo in Atti di convegnoDeep Learning for Haemodialysis Time Series Classification
Contributo in Atti di convegnoDelta-Oriented Programming of Software Product Lines
Contributo in Atti di convegnoDelta-Trait Programming of Software Product Lines
Contributo in Atti di convegnoDesign Gamification Strategies in a Digital Learning Environment: The Impact on Students
Contributo in Atti di convegnoDesigning an Online Dungeons & Dragons Experience for Primary School Children
Contributo in Atti di convegnoDetecting and Removing Dead-Code using Rank 2 Intersection
Contributo in Atti di convegnoDetection of Privacy-Harming Social Media Posts in Italian
Contributo in Atti di convegnoDouble-Sided Recommendations: A Novel Framework for Recommender Systems
Contributo in Atti di convegnoDynamic Interface Reconfiguration Based on Different Ontological Relations
Contributo in Atti di convegnoDynamic Programming Schemata
Contributo in Atti di convegnoDynamic generation of adaptive Web catalogs
Contributo in Atti di convegnoDynamic in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extensions
Contributo in Atti di convegnoDynamic reconfiguration of grid-aware applications in ASSIST
Contributo in Atti di convegnoDynamic simulations of kidney exchanges
Contributo in Atti di convegnoE-Inclusion as the Next Challenge for Sustainable Consumption
Contributo in Atti di convegnoEfficiently Distributed Federated Learning
Contributo in Atti di convegnoElementary Affine Logic and the Call by Value Lambda Calculus
Contributo in Atti di convegnoEmotional Appraisal of Moral Dilemma in Characters
Contributo in Atti di convegnoEnFilter: a Password Enforcement and Filter
Contributo in Atti di convegnoEncoding CDuce in the Cpi-calculus
ArticoloEnhancing Prolog to support Prolog programming environments
Contributo in Atti di convegnoEnterprise Cluster Dynamics and Innovation Diffusion: a New Scientific Approach
Contributo in Atti di convegnoEquilibrium Analysis of Markov Regenerative Processes
Contributo in Atti di convegnoEvaluating a Temporal Relational Algebra Supporting Preferences in Temporal Relational Databases
Contributo in Atti di convegnoEvaluating the Dispatching Policies for a Regional Network of Emergency Departments Exploiting Health Care Big Data
Contributo in Atti di convegnoEvaluation of Distraction in a Driver-Vehicle-Environment Framework: an application of different Data-mining techniques
Contributo in Atti di convegnoEvolving User Interfaces: A Neuroevolution Approach for Natural Human-Machine Interaction
Contributo in Atti di convegnoExploiting Textual Similarity Techniques in Harmonization of Laws
Contributo in Atti di convegnoExploiting VM Migration for the Automated Power and Performance Management of Green Cloud Computing Systems
Contributo in Atti di convegnoExtensible 3D Simulation of Aggregated Systems with FCPP
Contributo in Atti di convegnoExtracting Graph Topological Information and Users’ Opinion
Contributo in Atti di convegnoFJMIP: A calculus for a modular object initialization
Capitolo di libroFScaFi : A Core Calculus for Collective Adaptive Systems Programming
Contributo in Atti di convegnoFair Subtyping for Multi-Party Session Types
Contributo in Atti di convegnoFair Subtyping for Open Session Types
Contributo in Atti di convegnoFamily-based Analysis of Type Safety for Delta-Oriented Software Product Lines
Contributo in Atti di convegnoFault Tolerant Web Service Orchestration by Means of Diagnosis
Contributo in Atti di convegnoFickle: Dynamic object re-classification.
Contributo in Atti di convegnoFilter models and easy terms
ArticoloFormal Encoding of Drama Ontology.
Contributo in Atti di convegnoFormal Methods for Web Services
CuratelaFrom Featured Transition Systems to Modal Transition Systems with Variability Constraints
Contributo in Atti di convegnoFrom Interoperable User Model to Interoperable User Modeling
Contributo in Atti di convegnoFrom Time Petri Nets to Timed Automata: an Untimed Approach
Capitolo di libroFrom field-based coordination to aggregate computing
Contributo in Atti di convegnoFrom local pattern mining to relevant bi-cluster characterization
Contributo in Atti di convegnoGaussian processes and neuronal modeling
Contributo in Atti di convegnoGenetic Programming
CuratelaGeoDrinking: how to extract value from an extended social wine drinking experience
Contributo in Atti di convegnoGeographic Summaries from Crowdsourced Data
Contributo in Atti di convegnoGlobal Progress in Dynamically Interleaved Multiparty Sessions
Contributo in Atti di convegnoGoal Preservation by Choreography-Driven Matchmaking
Capitolo di libroGranular Semantic User Similarity in the Presence of Sparse Data
Contributo in Atti di convegnoGrasping metaphors: Lexical semantics in metaphor analysis
Contributo in Atti di convegnoGreatSPN Enhanced with Decision Diagram Data Structures
Contributo in Atti di convegnoHELM and the Semantic Math-Web
Capitolo di libroHercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications
Contributo in Atti di convegnoHiger-Order Linear Ramified Recurrence
Contributo in Atti di convegnoHigh-Performance Haplotype Assembly
Contributo in Atti di convegnoI-Java: an extension of Java with incomplete objects and object composition
Contributo in Atti di convegnoICALP
CuratelaITPN-PerfBound: A performance bound tool for Interval Time Petri Nets
Contributo in Atti di convegnoImplementing Session Centered Calculi
Contributo in Atti di convegnoImproving DRS-to-Text Generation Through Delexicalization and Data Augmentation
Contributo in Atti di convegnoImproving and Assessing the Efficiency of the MC4CSLTA Model Checker
Contributo in Atti di convegnoInference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
Contributo in Atti di convegnoInformation diffusion in complex networks: a model based on hypergraphs and its analysis
Contributo in Atti di convegnoInnovative TV: From an Old Standard to a New Concept of Interactive TV - An Italian Job
Contributo in Atti di convegnoInteraction with Web Services in the Adaptive Web
Contributo in Atti di convegnoInteractive chart of story characters’ intentions
Contributo in Atti di convegnoInterconnection of large scale unstructured P2P networks: modeling and analysis
Contributo in Atti di convegnoInternal Normalization, Compilation and Decompilation for System F
Contributo in Atti di convegnoInterpretations of Extensible Objects and Types
Contributo in Atti di convegnoIntersection Logic
Contributo in Atti di convegnoIntersection Types for the Resource Control Lambda Calculi
Contributo in Atti di convegnoIntersection and Union Types
ArticoloIntersection, Universally Quantified and Reference Types
Contributo in Atti di convegnoIntroduction to the track on variability modeling for scalable software evolution
Contributo in Atti di convegnoIntrusion Detection through Behavioral Data
Contributo in Atti di convegnoIs a Greedy Covering Strategy an Extreme Boosting?
Contributo in Atti di convegnoIssues in Multicast Security
Capitolo di libroJob Shop Scheduling via Deep Reinforcement Learning: A Sequence to Sequence Approach
Contributo in Atti di convegnoKey-Policy Multi-authority Attribute-Based Encryption
Contributo in Atti di convegnoKeystroke Analysis of Different Languages: a Case Study
Contributo in Atti di convegnoLabelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together
Contributo in Atti di convegnoLarge Language Models and Recommendation Systems: A Proof-of-Concept Study on Public Procurements
Contributo in Atti di convegnoLattices of Intermediate Theories via Ruitenburg’s Theorem
Capitolo di libroLearning Simple Recursive Theories
Contributo in Atti di convegnoLinking Ontological Classes and Archaeological Forms
Contributo in Atti di convegnoLudics is a Model for the Finitary Linear Pi-Calculus
Contributo in Atti di convegnoMAIA S2 Versus Sentinel 2: Spectral Issues and Their Effects in the Precision Farming Context
Contributo in Atti di convegnoManagement in distributed systems: a semi-formal approach
Contributo in Atti di convegnoManaging Adaptivity in Parallel Systems
Capitolo di libroMatching Constraints for the Lambda Calculus of Objects
Contributo in Atti di convegnoMathmelodies: inclusive design of a didactic game to practice mathematics
Contributo in Atti di convegnoMatrix pseudoinversion for image neural processing
Contributo in Atti di convegnoMeasuring the Inspiration Rate of Topics in Bibliographic Networks
Contributo in Atti di convegnoMeasuring the Performance of iCloud Private Relay
Contributo in Atti di convegnoMerging Archaeological Site Recreation and Museum Exhibition
Contributo in Atti di convegnoMetaData Retrieval: A Software Prototype for the Annotation of Maps with Social Metadata
Contributo in Atti di convegnoMethods of increasing modelling power for safety analysis, applied to a turbine digital control system
Contributo in Atti di convegnoMobile Computing and Artificial Intelligence for Diet Management
Contributo in Atti di convegnoModel Checking Probabilistic Timed Automata with One or Two Clocks
Capitolo di libroModel-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
Contributo in Atti di convegnoModeling clinical guidelines through Petri Nets
Contributo in Atti di convegnoModeling symmetric computer architectures by SWNs
Contributo in Atti di convegnoModelling the Interaction between Objects: Roles as Affordances
Contributo in Atti di convegnoModular Design of Media Retrieval Workflows with ARIA
Contributo in Atti di convegnoMoments Characterization of Order 3 Matrix Exponential Distributions
Contributo in Atti di convegnoMoral Values in Narrative Characters: An Experiment in the Generation of Moral Emotions
Contributo in Atti di convegnoMulti-level dependability modeling of interdependencies between the Electricity and Information Infrastructures
Contributo in Atti di convegnoMultiAligNet: Cross-lingual Knowledge Bridges Between Words and Senses
Contributo in Atti di convegnoMultiple Sequence Alignment with Genetic Algorithms
Contributo in Atti di convegnoNarrative Annotation and Editing of Video
Contributo in Atti di convegnoNarrative Scenarios as a Testbed for Moral AgentsIntelligent Virtual Agents
Contributo in Atti di convegnoNarrowing and Resolution in Logic-Functional Programming Languages
Contributo in Atti di convegnoNegation as Failure and Constraints through Abduction and Defaults
Contributo in Atti di convegnoNon-Equity Joints among Small and Medium Enterprises and Innovation Management: an Empirical Analysis Based on Simulation
Contributo in Atti di convegnoNotes on the Elimination of Conditions
Contributo in Atti di convegnoNuChart-II: a graph-based approach for the analysis and interpretation of Hi-C data
Contributo in Atti di convegnoNumeric Kernel for Reasoning about Plans Involving Numeric Fluents
Contributo in Atti di convegnoObject Incompleteness and Dynamic Composition in Java-Like Languages
Contributo in Atti di convegnoObligations as social constructs
ArticoloOn Dark Knowledge for Distilling Generators
Contributo in Atti di convegnoOn Finding the Optimal Access Path to Resolve a Relational Data Base Query
Contributo in Atti di convegnoOn Global Types and Multi-Party Sessions
Contributo in Atti di convegnoOn Isomorphisms of Intersection Types
Contributo in Atti di convegnoOn Polymorphic Recursion, Type Systems, and Abstract Interpretation
Contributo in Atti di convegnoOn Progress for Structured Communications
Contributo in Atti di convegnoOn Strictness and Totality
ArticoloOn evaluating graph partitioning algorithms for distributed agent based models on networks
Contributo in Atti di convegnoOn the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
Contributo in Atti di convegnoOn the ontological status of norms
ArticoloOn the semantics of logic programming languages
Contributo in Atti di convegnoOn the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process
Contributo in Atti di convegnoOntology–Based Visualization of Characters’ Intentions
Contributo in Atti di convegnoOpen Issues in Persuasive Technologies: Six HCI Challenges for the Design of Behavior Change Systems
Contributo in Atti di convegnoOptimally-Self-Healing Distributed Gradient Structures through Bounded Information Speed
Contributo in Atti di convegnoOrigami and the Emergence of Hybrid Diagrams
Capitolo di libroParameter-Free Hierarchical Co-clustering by n-Ary Splits
Contributo in Atti di convegnoParsing Dependency Grammar
Contributo in Atti di convegnoPartitioned Least Squares
Contributo in Atti di convegnoPattern Matching and Call by Pattern
Contributo in Atti di convegnoPerformability Measure Specification: Combining CSRL and MSL
Contributo in Atti di convegnoPerformance Analysis of Data Services over GPRS
Contributo in Atti di convegnoPerformance Issues in Parallel Programming
Contributo in Atti di convegnoPersonal and shared perspectives on knowledge maps in learning environments
Contributo in Atti di convegnoPersonalization for the Semantic Web
Capitolo di libroPersonalization in E-Commerce Applications
Capitolo di libroPersonas Layering: a cost effective model for service design in medium-long term Telco research projects
Contributo in Atti di convegnoPiCo: a Novel Approach to Stream Data Analytics
Contributo in Atti di convegnoPlan Databases: Model and Algebra
Contributo in Atti di convegnoPolymorphic Types for Leak Detection in a Session-Oriented Functional Language
Contributo in Atti di convegnoPorting decision tree algorithms to multicore using fastflow
Contributo in Atti di convegnoPreciseness of Subtyping on Intersection and Union Types
Contributo in Atti di convegnoPreface
Capitolo di libroPreface
Contributo in Atti di convegnoProbabilistic Timed Automata with Clock-Dependent Probabilities
Contributo in Atti di convegnoProbabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Contributo in Atti di convegnoProgramming Robots in Primary Schools Deserves a Renewed Attention
Contributo in Atti di convegnoPropagating user interests in ontology-based user model
Contributo in Atti di convegnoProperty-Based Interest Propagation in Ontology-Based User Model
Contributo in Atti di convegnoPrototyping and preliminary evaluation of sign language translation system in the railway domain
Contributo in Atti di convegnoProving Program Properties, Symbolic Evaluation and Logical Procedural Semantics
Contributo in Atti di convegnoQualitative analysis of VASS-induced MDPs
Contributo in Atti di convegnoQuery Rewriting in Itemset Mining
Contributo in Atti di convegnoRISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
Contributo in Atti di convegnoRamsey Theorem as an Intuitionistic Property of Well Founded Relations
Contributo in Atti di convegnoRank-2 Intersection and Polymorphic Recursion
Contributo in Atti di convegnoReasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
Contributo in Atti di convegnoReasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.
Contributo in Atti di convegnoReasoning about Multiple Aspects in Rational Closure for DLs.
Contributo in Atti di convegnoReasoning about communicating agents in the semantic web
Contributo in Atti di convegnoReasoning about self and others: communicating agents in a modal action logic
Contributo in Atti di convegnoReasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture
Contributo in Atti di convegnoRecommending Multimedia Objects in Cultural Heritage Applications
Contributo in Atti di convegnoRefactoring delta-oriented product lines to enforce guidelines for efficient type-checking
Contributo in Atti di convegnoRefined Effects for Unanticipated Object Re-classification: Fickle3
Contributo in Atti di convegnoRefined Strategies for Semantic Unification
Contributo in Atti di convegnoRefinement Types for Program Analysis
Contributo in Atti di convegnoRelationships Meet their Roles in Object Oriented Programming
Contributo in Atti di convegnoRepresenting Excuses in Social Dependence Networks
Contributo in Atti di convegnoResilient distributed collection through information speed thresholds
Contributo in Atti di convegnoResources for Comparative Analysis of IDN Authoring Tools
Contributo in Atti di convegnoSNexpression: A Symbolic Calculator for Symmetric Net Expressions
Contributo in Atti di convegnoSTKM on SCA: A unified framework with components, workflows and algorithmic skeletons
Contributo in Atti di convegnoSWN Analysis and Simulation of Large Knockout ATM Switches
Contributo in Atti di convegnoSWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation
Contributo in Atti di convegnoSecurity Types for Dynamic Web Data
ArticoloSelection and ranking of activities in the social web
Contributo in Atti di convegnoSelf-monitoring and Technology: Challenges and Open Issues in Personal Informatics
Contributo in Atti di convegnoService-Oriented Justification of Recommender System Suggestions
Contributo in Atti di convegnoSession Types for Access and Information Flow Control
Contributo in Atti di convegnoSession and Union Types for Object Oriented Programming
Capitolo di libroSessions and Session Types: an Overview
Contributo in Atti di convegnoSimpleHypergraphs.jl—novel software framework for modelling and analysis of hypergraphs
Contributo in Atti di convegnoSimulation and Bisimulation for Probabilistic Timed Automata
Contributo in Atti di convegnoSimulation of Gaussian Processes and First Passage Time Densities Evaluation
Contributo in Atti di convegnoSkipping and Fetching: Insights on Non-conventional Product-Form Solutions
Contributo in Atti di convegnoSmooth Orchestrators
Capitolo di libroSoNARS: a Social Networks-based Algorithm for Social Recommender Systems
Contributo in Atti di convegnoSocial Viewpoints for Arguing about Coalitions
Contributo in Atti di convegnoSolving Chance-Constrained Programs combining Tabu Search and Simulation
Contributo in Atti di convegnoSolving Parity Games on Integer Vectors
Contributo in Atti di convegnoSome Thoughts about Commitment Protocols (Position Paper)
Capitolo di libroSoundness Conditions for Big-Step Semantics
Contributo in Atti di convegnoSpace-time universality of field calculus
Contributo in Atti di convegnoSplitting Recursion Schemes into Reversible and Classical Interacting Threads
Contributo in Atti di convegnoStatic Type Checking for Languages with Parametric Types and Polymorphic Procedures
Contributo in Atti di convegnoStochKit-FF: Efficient systems biology on multicore architectures
Capitolo di libroStochastic modelling of Poll based multimedia production
Contributo in Atti di convegnoStorygraphia: The Constrained Tool for IDN Authoring Education
Contributo in Atti di convegnoStrict Divergence for Probabilistic Timed Automata
Contributo in Atti di convegnoStrong Normalization of the Dual Classical Sequent Calculus
Contributo in Atti di convegnoStructural characterization and qualitative properties of Product Form Stochastic Petri Nets
Contributo in Atti di convegnoStructured Communications with Concurrent Constraints
Contributo in Atti di convegnoStructured Data Access Annotations for Massively Parallel Computations
Capitolo di libroSubtyping Constraints for Incomplete Objects
Contributo in Atti di convegnoSupporting Product Configuration in a Virtual Store
Contributo in Atti di convegnoSwap strategies for graph matching
ArticoloSynthesis of collective tag-based opinions in the social web
Contributo in Atti di convegnoTLCA
CuratelaTagged Generalized Stochastic Petri Nets
Contributo in Atti di convegnoTailoring filter models
ArticoloTailoring the recommendation of tourist information to heterogeneous user groups
Contributo in Atti di convegnoTaming Modal Impredicativity: Superlazy Reduction
Contributo in Atti di convegnoTargeting Distributed Systems in FastFlow
Contributo in Atti di convegnoTargeting heterogeneous architectures in ASSIST: Experimental results
Contributo in Atti di convegnoTeaching the Specialized Language of Mathematics with a Data-Driven Approach: What Data Do We Use?
Contributo in Atti di convegnoTelleat: Sharing experiences on the move
Contributo in Atti di convegnoTemporal Decision Trees for Diagnosis:An Extension
Contributo in Atti di convegnoThe Calculus of Looping Sequences for Modeling Biological Membranes
Capitolo di libroThe Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures
Contributo in Atti di convegnoThe Implementation of ASSIST, an Environment for Parallel and Distributed Programming
Contributo in Atti di convegnoThe Pairing of Contracts and Session Types
Contributo in Atti di convegnoThe Role of Metaphor in Serious Games Design: the BubbleMumble Case Study
Contributo in Atti di convegnoThreading Facts into a Collective Narrative World
Contributo in Atti di convegnoTimed Games with Bounded Window Parity Objectives
Contributo in Atti di convegnoTotal functionals and well-founded strategies
Contributo in Atti di convegnoTowards Automatic Construction of Conceptual Taxonomies
Contributo in Atti di convegnoTowards Data- and Norm-Aware Multiagent Systems
Capitolo di libroTowards Exception Handling in the SARL Agent Platform
Contributo in Atti di convegnoTowards It-CMC: A Fine-Grained POS Tagset for Italian Linguistic Analysis
Contributo in Atti di convegnoTowards a Formal Treatment of Secrecy against Computational Adversaries
Capitolo di libroTowards a Modular and Variability-Aware Aerodynamic Simulator
Capitolo di libroTowards constrained co-clustering in ordered 0/1 data sets
Contributo in Atti di convegnoTowards fault-tolerant formal concept analysis
Contributo in Atti di convegnoTrAnET: Tracking and Analyzing the Evolution of Topics in Information Networks
Contributo in Atti di convegnoTwo behavioural lambda models
ArticoloTwo is Better than One: Achieving High-Quality 3D Scene Modeling with a NeRF Ensemble
Contributo in Atti di convegnoType Based Useless-Code Elimination for Functional Programs
Contributo in Atti di convegnoType Inference for a polynomial Lambda-Calculus
Contributo in Atti di convegnoType Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi
Contributo in Atti di convegnoType Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Contributo in Atti di convegnoType-based useless-code elimination for functional programs - Position paper
Contributo in Atti di convegnoTypes for Deadlock-Free Higher-Order Programs
Contributo in Atti di convegnoTypes for Role-Based Access Control of Dynamic Web Data
Contributo in Atti di convegnoTyping Copyless Message Passing
Contributo in Atti di convegnoTyping Liveness in Multiparty Communicating Systems
Contributo in Atti di convegnoTyping Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)
Contributo in Atti di convegnoUbiquito-S: a Preliminary Step toward Semantic Adaptive Web Services
Contributo in Atti di convegnoUbiquitous user assistance in a tourist information server
Contributo in Atti di convegnoUseless-Code Detection and Elimination for PCF with Algebraic Data Types
Contributo in Atti di convegnoUsing Mobile Phone Cameras to Interact with Ontological Data
Contributo in Atti di convegnoValue-Driven Characters for Storytelling and Drama
Contributo in Atti di convegnoVectorized simulations of normal processes for first crossing-time problems.
Contributo in Atti di convegnoVerification and Control of Probabilistic Rectangular Hybrid Automata
Contributo in Atti di convegnoVerifying the conformance of web services to global interaction protocols: a first step
Contributo in Atti di convegnoWeighted-Sum Fragile Watermarking in the Karhunen-Loève Domain
Contributo in Atti di convegnoWhen Sarcasm Hurts: Irony-Aware Models for Abusive Language Detection
Contributo in Atti di convegnoWhere Have You Ended Up Today? Dynamic TV and the Inter-tainment Paradigm
Contributo in Atti di convegnoWide coverage incremental parsing by learning attachment preferences
Contributo in Atti di convegnoWide-Coverage Lexicalized Grammars
Contributo in Atti di convegnoXFF: a simple method to eXtract Fractal Features for 2D object recognition
Contributo in Atti di convegnoYACC: Yet Another Church Calculus
Capitolo di libroYour Privacy, My Privacy? On Leakage Risk Assessment in Online Social Networks
Contributo in Atti di convegnoqPCF: A language for quantum circuit computations
Contributo in Atti di convegnoNo Results Found