Codice:
E100308
ISSN:
0302-9743
Dati Generali
Pubblicazioni (98)
A Causal Semantics for Timed Concurrent Constraint Programming
Contributo in Atti di convegnoA Compositional Semantics of Reaction Systems with Restriction
Contributo in Atti di convegnoA FUZZY KNOWLEDGE-BASED SYSTEM FOR BIOMEDICAL IMAGE INTERPRETATION
Capitolo di libroA Fractional Graph La+Ψ Approach to Image Reconstruction
Capitolo di libroA Gödel Modal Logic over Witnessed Crisp Models
Contributo in Atti di convegnoA Multi-dimensional and Event-based Model for Trust Computation in the Social Web
Contributo in Atti di convegnoA Proposal for Simplified Model-Based Cost Estimation Models
Contributo in Atti di convegnoA Terminating Evaluation-Driven Variant of G3i
Contributo in Atti di convegnoA Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property
Contributo in Atti di convegnoA Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming
Contributo in Atti di convegnoA fuzzy extension for the XPath query language
Contributo in Atti di convegnoA guided tour through SAVVY-WS: a methodology for specifying and validating web services compositions
Contributo in Atti di convegnoA modest security analysis of cyber-physical systems: A case study
Contributo in Atti di convegnoA multidistortion database for image quality
Contributo in Atti di convegnoA second-order Perceptron algorithm
Contributo in Atti di convegnoAlgorithms and their explanations
Contributo in Atti di convegnoAn Axiomatic Semantics for the Synchronous Language Gentzen
Contributo in Atti di convegnoAn Empirical Examination of Behavioral Factors in Creative Development of Game Prototypes
Contributo in Atti di convegnoAn experience in the evaluation of fault prediction
Contributo in Atti di convegnoAnalysis and synthesis of glottalization phenomena in German-accented English
Contributo in Atti di convegnoAutomatic Covert Channel Analysis of a Multilevel Secure Component
Contributo in Atti di convegnoAutomatic Prediction of Future Business Conditions
Contributo in Atti di convegnoBio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
Contributo in Atti di convegnoCalculating colimits compositionally
ArticoloCommitment monitoring in a multiagent system
Contributo in Atti di convegnoComplexity perception of texture images
Contributo in Atti di convegnoCompositional Metric Reasoning with Probabilistic Process Calculi
Contributo in Atti di convegnoComputing the counting function of context-free languages
Contributo in Atti di convegnoConcept Combination in Weighted DL
Contributo in Atti di convegnoConcurrency in Timed Automata
Contributo in Atti di convegnoContent-based Filtering in On-line Social Networks
Contributo in Atti di convegnoDefeasible Reasoning in Description Logics with Prototype Descriptions
Contributo in Atti di convegnoDiscovering non-constant Conditional Functional Dependencies with Built-in Predicates
Contributo in Atti di convegnoEquivalences for Statecharts
Contributo in Atti di convegnoEvaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
Contributo in Atti di convegnoEvolutionary inference of attribute-based access control policies
Contributo in Atti di convegnoExpTime Tableaux Algorithm for Contextualized ALC
Contributo in Atti di convegnoExploiting MAS-based simulation to improve the Indian railways' efficiency
Contributo in Atti di convegnoFM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
Contributo in Atti di convegnoFormal analysis of Publish-Subscribe systems by probabilistic timed automata
Contributo in Atti di convegnoHole-free Partially Directed Animals
Contributo in Atti di convegnoHuman Digital Twins: Efficient Privacy-Preserving Access Control Through Views Pre-materialisation
Contributo in Atti di convegnoKeep it small, keep it real: efficient run-time verification of Web service compositions
Contributo in Atti di convegnoKnowledge Propagation in Contextualized Knowledge Repositories: An Experimental Evaluation
Contributo in Atti di convegnoLOVER: Light-weight Formal Verification of adaptivE systems at Run time
Contributo in Atti di convegnoMembrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
Contributo in Atti di convegnoModel checking temporal metric specifications with Trio2Promela
Contributo in Atti di convegnoModel-Checking TRIO specifications in SPIN
Contributo in Atti di convegnoModeling and Monitoring Business Constraints of Non-conformant Choreographed Business Processes
Contributo in Atti di convegnoModeling and analyzing context-aware composition of services
Contributo in Atti di convegnoNon Expansive epsilon-Bisimulations.
Contributo in Atti di convegnoNotes from the logbook of a proof checker's project
Capitolo di libroOn the conjecture LDFCM ⊊ RCM
Contributo in Atti di convegnoOn the expressiveness of attribute global types: the formalization of a real multiagent system protocol
Contributo in Atti di convegnoOn the generation of 2-polyominoes
Contributo in Atti di convegnoOn the use of Alloy to analyze graph transformation systems
Contributo in Atti di convegnoPartially directed animals with a bounded number of holes
Contributo in Atti di convegnoPolicies for Composed Emergencies in Support of Disaster Management
Contributo in Atti di convegnoPractical efficient modular verification and analysis
Contributo in Atti di convegnoPriApp-Install: Learning User Privacy Preferences on Mobile Apps' Installation
Contributo in Atti di convegnoPrivacy-aware Collaborative Access Control in Web-based Social Networks
Contributo in Atti di convegnoProbabilistic Congruence for Generative Semistochastic Processes
Contributo in Atti di convegnoProcessing private queries over an obfuscated database using hidden vector encryption
Contributo in Atti di convegnoProgram Abstraction in a Higher-Order Logic Framework
Contributo in Atti di convegnoProof-Search in Natural Deduction Calculus for Classical Propositional Logic
Contributo in Atti di convegnoQuantifying the discord: order discrepancies in message sequence charts
Contributo in Atti di convegnoRefinements of Orthopairs and IUML-algebras
Capitolo di libroRequirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games
Contributo in Atti di convegnoRetrieving Sensors Data in Smart Buildings Through Services: A Similarity Algorithm
Contributo in Atti di convegnoRule Formats for Non Interference
Contributo in Atti di convegnoSchur complement matrix and its (elementwise) approximation: a spectral analysis based on GLT sequences
Contributo in Atti di convegnoSemantic Analysis of Gossip Protocols for Wireless Sensor Networks
Contributo in Atti di convegnoSequences of orthopairs given by refinements of coverings
Contributo in Atti di convegnoSome applications and techniques for generating functions
Contributo in Atti di convegnoSpecifying Access Control Policies on Data Streams
Contributo in Atti di convegnoStark: A Software Tool for the Analysis of Robustness in the unKnown Environment
Contributo in Atti di convegnoState-based firewall for industrial protocols with critical-state prediction monitor
Contributo in Atti di convegnoStrongly First Order Disjunctive Embedded Dependencies in Team Semantics
Contributo in Atti di convegnoTaylor Approximation for Hybrid Systems
Contributo in Atti di convegnoTomorrow and all our yesterdays: MTL satisfiability over the integers
Contributo in Atti di convegnoTowards an Ontology-Based Decision Support System to Support Car-Reconfiguration for Novice Wheelchair Users
Contributo in Atti di convegnoTrust-X: An XML framework for trust negotiations
Contributo in Atti di convegnoVIrtuose, a VIRTual CommUnity Open Source Engine for Integrating Civic Networks and Digital Cities
Contributo in Atti di convegnoWeak simulation quasimetric in a gossip scenario
Contributo in Atti di convegnoWhat is Blockchain and How Can it Help My Business? (Extended Tutorial Summary)
Contributo in Atti di convegnoNo Results Found