Prodotto trovati:
Titolo | Data di pubblicazione | Autore(i) | |
---|---|---|---|
1 | An extension of the ABS toolchain with a mechanism for type checking SPLs | 2017 | Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina |
2 | Investigating Populational Evolutionary Algorithms to add Vertical Meaning in Phylogenetic Trees | 2010 | Cerutti, Francesco; Bertolotti, Luigi; Goldberg, T. L.; Giacobini, Mario Dante Lucio |
3 | A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini |
4 | Analysis of timed properties using the jump-diffusion approximation | 2017 | Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy |
5 | Scale-Free Automata Networks Are Not Robust in a Collective Computational Task | 2006 | Darabos, Ch; Giacobini, Mario Dante Lucio; Tomassini, M. |
6 | From field-based coordination to aggregate computing | 2018 | Viroli, Mirko*; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo |
7 | Space-time universality of field calculus | 2018 | Audrito, Giorgio; Beal, Jacob; Damiani, Ferruccio; Viroli, Mirko |
8 | Selection Intensity in Asynchronous Cellular Evolutionary Algorithms | 2003 | Giacobini, Mario Dante Lucio; Alba, E.; Tomassini, M. |
9 | A local criterion for polynomial-time stratified computations | 2010 | Luca Roversi ; Luca Vercelli |
10 | Delta-Trait Programming of Software Product Lines | 2014 | Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann |
Scopri
Per tipologia
Data di pubblicazione
Serie
Keywords
Per lingua
- 86 eng
Accesso al fulltext
- 32 no fulltext
- 16 open
- 16 reserved
- 9 partially open
- 8 restricted
- 5 mixed