Codice:
E100305
Dati Generali
Pubblicazioni (36)
A Cloud Fuzzy Logic Framework for Oral Disease Risk Assessment
Contributo in Atti di convegnoAmbiguity in Requirements Engineering: Towards a Unifying Framework
Capitolo di libroAn XML-based approach to document flow verification
Contributo in Atti di convegnoAn automata-based monitoring technique for commitment-based multi-agent systems
Contributo in Atti di convegnoBinary Classification Using Pairs of Minimum Spanning Trees or N-Ary Trees
Contributo in Atti di convegnoCluster-Based Anonymization of Knowledge Graphs
Contributo in Atti di convegnoClustering Functional MRI Patterns with Fuzzy and Competitive Algorithms
Contributo in Atti di convegnoCommon mistakes of student analysts in requirements elicitation interviews
Contributo in Atti di convegnoComputing Bisimilarity Metrics for Probabilistic Timed Automata
Contributo in Atti di convegnoDealing with incompleteness in automata-based model checking
Contributo in Atti di convegnoEnGraf-Net: Multiple Granularity Branch Network with Fine-Coarse Graft Grained for Classification Task
Contributo in Atti di convegnoFrom model checking to a temporal proof for partial models
Contributo in Atti di convegnoFully Syntactic Uniform Continuity Formats for Bisimulation Metrics
Capitolo di libroHiding information in multi level security systems
Contributo in Atti di convegnoHow Adaptive and Reliable is Your Program?
Contributo in Atti di convegnoIntegrating goal model analysis with iterative design
Contributo in Atti di convegnoInteracting with More Than One Chart: What Is It All About?
Contributo in Atti di convegnoInterview review: An empirical study on detecting ambiguities in requirements elicitation interviews
Contributo in Atti di convegnoJustifiable Exceptions in General Contextual Hierarchies
Contributo in Atti di convegnoLearning to Navigate in the Gaussian Mixture Surface
Contributo in Atti di convegnoLiMNet: early-stage detection of IoT botnets with Lightweight Memory Networks
Contributo in Atti di convegnoMeasuring Adaptability and Reliability of Large Scale Systems
Contributo in Atti di convegnoPrivacy-preserving trust negotiations
Contributo in Atti di convegnoProbability Measures in Gödel_Δ Logic
Contributo in Atti di convegnoReasoning on DL-Lite_R with Defeasibility in ASP
Contributo in Atti di convegnoRepresenting Object Code
Contributo in Atti di convegnoSAT-based proof search in intermediate propositional logics
Contributo in Atti di convegnoSequences of Refinements of Rough Sets: Logical and Algebraic Aspects
Capitolo di libroStructural model checking for communicating hierarchical machines
Contributo in Atti di convegnoSupporting verification-driven incremental distributed design of components
Contributo in Atti di convegnoThe effectiveness of band-Toeplitz preconditioners: A survey
Contributo in Atti di convegnoTowards a formal notion of impact metric for cyber-physical attacks
Contributo in Atti di convegnoVirtual patients for knowledge sharing and clinical practice training: A gamified approach
Contributo in Atti di convegnoVisual Word Embedding for Text Classification
Contributo in Atti di convegnoWeak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
Contributo in Atti di convegnoNo Results Found