BARBUTI, ROBERTO Statistiche

BARBUTI, ROBERTO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 137 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autore(i) File
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 1-gen-1992 Barbuti, Roberto; Giacobazzi, Roberto
A Calculus of Looping Sequences for Modelling Microbiological Systems 1-gen-2006 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Compositional Semantics of Reaction Systems with Restriction 1-gen-2013 Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
A Constructive Approach to Static Verification of Program Properties 1-gen-1983 Barbuti, Roberto; Martelli, A.
A decidable notion of timed non-interference 1-gen-2003 Barbuti, Roberto; Tesei, L.
A Formalism for the Description of Protein Interaction 1-gen-2010 Barbuti, Roberto; DEZANI CIANCAGLINI, M; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 1-gen-1993 Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Multiple-Valued Logical Semantics for Prolog 1-gen-1996 Barbuti, Roberto; Mancarella, PAOLO MARIA
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 1-gen-2010 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Gruska, D. P.
A Notion of Non-Interference for Timed Automata 1-gen-2002 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Tesei, L.
A Notion of Non-Interference for Timed Automata 1-gen-2001 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Santone, Antonella; Luca, Tesei
A P Systems Flat Form Preserving Step-by-step Behaviour 1-gen-2008 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
A Probabilistic Calculus for Molecular Systems 1-gen-2005 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A probabilistic model for molecular systems 1-gen-2005 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Process Calculus for Molecular Interaction Maps 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Rama, Aureliano
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 1-gen-1983 Barbuti, Roberto; Martelli, A.
A Systematic Methodology to Construct Computational Models for Sympatric Speciation by Sexual Selection 1-gen-2009 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Testing Framework for P Systems 1-gen-2011 Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L.