Skip to Main Content (Press Enter)

×
Home
Persone
Pubblicazioni
Strutture
Competenze

UNI-FIND

|

UNI-FIND

cnr.it

×
Home
Persone
Pubblicazioni
Strutture
Competenze

Pubblicazioni

FUNDAMENTA INFORMATICAE

Rivista

Codice:

E068482

ISSN:

0169-2968

Dati Generali

Dati Generali

Pubblicazioni (35)

Ordina Pubblicazioni:

ascendente
decrescente

A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs

Articolo

A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms

Articolo

A Rule-based Verification Strategy for Array Manipulating Programs

Articolo

A Survey on Nature-Inspired Medical Image Analysis: A Step Further in Biomedical Data Integration

Articolo

A decomposition framework for computing and querying multidimensional OLAP data cubes over probabilistic relational data

Articolo

A regularized, pyramidal multi-grid approach to global 3D-volume digital image correlation based on X-ray micro-tomography

Articolo

Abduction for Accessing Information Sources

Articolo

An Abstract Strategy for Transforming Logic Programs

Articolo

Analyzing Heuristic-based Randomized Search Strategies for the Quantum Circuit Compilation Problem

Articolo

Associativity of Infinite Synchronized Shuffles and Team Automata

Articolo

Coalitions of Arguments: An Approach with Constraint Programming

Articolo

Controlling Polyvariance for Specialization-Based Verification

Contributo in Atti di convegno

Controlling Polyvariance for Specialization-based Verification

Articolo

Controlling polyvariance for specialization-based verification

Articolo

Efficient Approaches for Solving a Multiobjective Energy-aware Job Shop Scheduling Problem

Articolo

Elementary complexity and geometry of interaction

Articolo

Flexible Plan Verification: Feasibility Results

Articolo

Improving Reachability Analysis of Infinite State Systems by Specialization

Articolo

Learning in description logics with fuzzy concrete domains

Articolo

Logics for Modelling Collective Attitudes

Articolo

On Conditions for Modular Verification in Systems of Synchronising Components

Contributo in Atti di convegno

Preface

Articolo

Preface to Special issue dedicated to Jetty Kleijn on the occasion of her 65th birthday

Articolo

Preface to the Special Issue on the Italian Conference on Computational Logic: CILC 2009

Articolo

Preface. Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017

Articolo

Program Transformation: Theoretical Foundations and Basic Techniques (Part 1)

Articolo

Program Transformation: Theoretical Foundations and Basic Techniques (Part 2)

Articolo

Program Verification using Constraint Handling Rules and Array Constraint Generalizations

Articolo

Proving Theorems by Program Transformation

Articolo

Representing uncertainty in ruleML

Articolo

Representing, Computing and Querying Multidimensional Data Cubes over Probabilistic Relational Data

Abstract

Semantics and Controllability of Time-Aware Business Processes

Articolo

Spaced seed design using perfect rulers

Articolo

Synthesizing Concurrent Programs Using Answer Set Programming

Articolo

The influence of nutrients diffusion on a metabolism-driven model of a multicellular system

Articolo

No Results Found

«
‹

{pageNumber}

›
»

{startItem} - {endItem} di {itemsNumber}

Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.2.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)