|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Salvatore Spinella | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2014 | |
| Aldinucci, Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina | "On designing multicore-aware simulators for systems biology endowed with on-line statistics" Article. |
| 2013 | |
| Sciacca, Spinella, Calcagno, Damiani and Coppo | "Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations" Article. |
| 2012 | |
| Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina | "On Parallelizing On-Line Statistics for Stochastic Biological Simulations" In proceedings. |
| Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina | "Simulation techniques for the calculus of wrapped compartments" Article. |
| 2011 | |
| Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina | "On Parallelizing On-Line Statistics for Stochastic Biological Simulations" In proceedings. |
| Bioglio, Calcagno, Coppo, Damiani, Sciacca, Spinella and Troina | "A Spatial Calculus of Wrapped Compartments" In proceedings. |
| Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella and Troina | "Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments" In proceedings. |
| Sciacca, Spinella, Genre and Calcagno | "Analysis of Calcium Spiking in Plant Root Epidermis through CWC Modeling" In proceedings. |
| Sciacca, Spinella, Ienco and Giannini | "Annotated Stochastic Context Free Grammars for Analysis and Synthesis of Proteins" In proceedings. |
| 2010 | |
| Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina | "Hybrid Calculus of Wrapped Compartments" In proceedings. |
| Spinella, Sciacca and Giannini | "Sequence-Function Protein Analysis Using Annotated Context Free Grammars" In proceedings. |
| 2009 | |
| Sciacca and Spinella | "Fuzzy Optimization: Recent Developments and Applications" Book part. |
| 2008 | |
| Spinella, Ostoich and Anile | "River water quality assessment with fuzzy interpolation" Article. |
| 2007 | |
| Sciacca, Spinella and Anile | "Theoretical Advances and Applications of Fuzzy Logic and Soft Computing" Book part. |
| Spinella, Enea, Kroell, Messina and Ronsisvalle | "Optimal Design of Monolithic ESBT Device carried out by Multiobjective Optimization" Article. |
| 2006 | |
| Anile, Rinaudo, Ciccazzo, Martino, Milazzo and Spinella | "Comparison of Different Methodologies for Parameter Extraction in Circuit Design" Article. |
| Biondi, Ciccazzo, Cutello, D'Antona, Nicosia and Spinella | "Multi-objective evolutionary algorithms and pattern search methods for circuit design problems" Article. |
| Cutello, Nicosia, Rascuna and Spinella | "Optimising an inductor circuit and a two-stage operational transconductance amplifier using evolutionary and classical algorithms" Article. |
| Sciacca, Spinella and Drago | "Multiobjective optimization of circuit performances through solution ranking and evolutionary strategies" In proceedings. |
| 2005 | |
| Anile, Cutello, Nicosia, Rascuna and Spinella | "Comparison among evolutionary algorithms and classical optimization methods for circuit design problems" In proceedings. |
| Anile and Spinella | "Fuzzy modeling of sparse data" Article. |
| Spinella and Anile | "A Posteriori Multiobjective Optimization for Parameter Extraction of Microelectronic Devices" Article. |
| 2004 | |
| Anile and Spinella | "Modeling Uncertain Sparse Data with Fuzzy B-splines" Article. |
| 2003 | |
| Anile, Spinella and Rinaudo | "Stochastic response surface method and tolerance analysis in microelectronics" Article. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)