Sfoglia per Serie
A Virtual Interpreter for the Italian Sign Language
2010-01-01 Vincenzo Lombardo; Fabrizio Nunnari; Rossana Damiano
An Abstract Annotation Model for Skeletons
2013-01-01 Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
2011-01-01 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Abstraction refinement for the analysis of software product lines
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Accelerating code on multi-cores with FastFlow
2011-01-01 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimiliano Meneghin; Massimo Torquati
Adding Dependability Analysis capabilities to the MARTE profile
2008-01-01 Simona Bernardi; José Merseguer; Dorina C. Petriu
Agent Cooperation for Monitoring and Diagnosing a MAP
2009-01-01 Roberto Micalizio; Pietro Torasso
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
2010-01-01 M. Baldoni; A. Omicini; C. Baroglio; V. Mascardi; P. Torroni
An Algebraic Theory for Web Service Contracts
2013-01-01 Cosimo, Laneve; Padovani, Luca
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks
2008-01-01 Daniele Manini; Marco Gribaudo
Analysis of timed properties using the jump-diffusion approximation
2017-01-01 Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
And Now What We Do with Our Schoolchildren?
2016-01-01 Giuseppina Barbara, Demo
Approaches and Tools for Implementing Type Systems in Xtext
2013-01-01 L. Bettini;D. Stoll;M. Völter;S. Colameo
Artificial neural networks and fuzzy logic for recognizing alphabet characters and mathematical symbols
2016-01-01 Airò Farulla, Giuseppe; Armano, Tiziana; Capietto, Anna; Murru, Nadir; Rossini, Rosaria
ASSIST demo: a high level, high performance, portable, structured parallel programming environment at work
2004-01-01 Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Marco Danelutto; Paolo Pesciullesi; Roberto Ravazzolo; Massimo Torquati and Marco Vanneschi; Corrado Zoccolo
Automatic Annotation of Characters' Emotions in Stories
2015-01-01 Lombardo, Vincenzo; Damiano, Rossana; Battaglino, Cristina; Pizzo, Antonio
Automatic Covert Channel Analysis of a Multilevel Secure Component
2004-01-01 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI
Automatic Selection of GA Parameters for Fragile Watermarking
2014-01-01 Marco Botta; Davide Cavagnino; Victor Pomponiu
Automatically Computing Connotative Shifts of Lexical Items
2022-01-01 Basile V.; Caselli T.; Koufakou A.; Patti V.
An automatized method based on LaTeX for the realization of accessible PDF documents containing formulae
2018-01-01 Armano Tiziana; Capietto Anna; Coriasco Sandro; Murru Nadir; Ruighi Alice; Taranto Eugenia
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Virtual Interpreter for the Italian Sign Language | 2010 | Vincenzo Lombardo; Fabrizio Nunnari; Rossana Damiano | |
An Abstract Annotation Model for Skeletons | 2013 | Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati | |
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? | 2011 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani | |
Abstraction refinement for the analysis of software product lines | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael | |
Accelerating code on multi-cores with FastFlow | 2011 | Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimiliano Meneghin; Massimo Torquati | |
Adding Dependability Analysis capabilities to the MARTE profile | 2008 | Simona Bernardi; José Merseguer; Dorina C. Petriu | |
Agent Cooperation for Monitoring and Diagnosing a MAP | 2009 | Roberto Micalizio; Pietro Torasso | |
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? | 2010 | M. Baldoni; A. Omicini; C. Baroglio; V. Mascardi; P. Torroni | |
An Algebraic Theory for Web Service Contracts | 2013 | Cosimo, Laneve; Padovani, Luca | |
An Analytical Study of the Resource Diffusion in Non-homogeneous P2P Networks | 2008 | Daniele Manini; Marco Gribaudo | |
Analysis of timed properties using the jump-diffusion approximation | 2017 | Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy | |
And Now What We Do with Our Schoolchildren? | 2016 | Giuseppina Barbara, Demo | |
Approaches and Tools for Implementing Type Systems in Xtext | 2013 | L. Bettini;D. Stoll;M. Völter;S. Colameo | |
Artificial neural networks and fuzzy logic for recognizing alphabet characters and mathematical symbols | 2016 | Airò Farulla, Giuseppe; Armano, Tiziana; Capietto, Anna; Murru, Nadir; Rossini, Rosaria | |
ASSIST demo: a high level, high performance, portable, structured parallel programming environment at work | 2004 | Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Marco Danelutto; Paolo Pesciullesi; Roberto Ravazzolo; Massimo Torquati and Marco Vanneschi; Corrado Zoccolo | |
Automatic Annotation of Characters' Emotions in Stories | 2015 | Lombardo, Vincenzo; Damiano, Rossana; Battaglino, Cristina; Pizzo, Antonio | |
Automatic Covert Channel Analysis of a Multilevel Secure Component | 2004 | R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI | |
Automatic Selection of GA Parameters for Fragile Watermarking | 2014 | Marco Botta; Davide Cavagnino; Victor Pomponiu | |
Automatically Computing Connotative Shifts of Lexical Items | 2022 | Basile V.; Caselli T.; Koufakou A.; Patti V. | |
An automatized method based on LaTeX for the realization of accessible PDF documents containing formulae | 2018 | Armano Tiziana; Capietto Anna; Coriasco Sandro; Murru Nadir; Ruighi Alice; Taranto Eugenia |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile