MANCA, Vincenzo
MANCA, Vincenzo
DIPARTIMENTO DI INFORMATICA
A deductive system extending Equational Logic with Type Assignment
1989-01-01 Manca, Vincenzo; Salibra, A.; Scollo, G.
A DNA Algorithm for 3-SAT (11,20)*
2001-01-01 Manca, Vincenzo; Simona Di, Gregorio; Daniela, Lizzari; Vallini, Giovanni; C., Zandron
A genetic approach for synthesizing metabolic models from time series
2012-01-01 Castellini, Alberto; Manca, Vincenzo; Zucchelli, Mauro; Busato, Mirko
A logical formalism for intergrammatical representations
1995-01-01 Manca, Vincenzo
A logical formalism for intergrammatical representations
1995-01-01 Manca, Vincenzo
A Membrane System for the Leukocyte Selective Recruitment
2004-01-01 Franco, Giuditta; Manca, Vincenzo
A metagrammatical logical formalism
1996-01-01 Manca, Vincenzo
A relational view of recurrence and attractors in state transition dynamics
2006-01-01 G., Scollo; Franco, Giuditta; Manca, Vincenzo
A word recurrence based algorithm to extract genomic dictionaries
2021-01-01 Bonnici, V; Franco, G; Manca, V
APPLICATION OF THE MP THEORY TO SYSTEMS BIOLOGY
2012-01-01 Manca, V.; Marchetti, L.
Arithmetical Metabolic P Systems
2011-01-01 Lombardo, Rosario; Manca, Vincenzo
Computation of biochemical dynamics using MP systems
2006-01-01 Bianco, L.; Fontana, F.; Manca, Vincenzo
Computing with Multi-membranes
2011-01-01 Manca, Vincenzo; Lombardo, Rosario
Discrete Simulations of Biochemical Dynamics
2007-01-01 Manca, Vincenzo
Discrete Solution of Differential Equations by P Metabolic Algorithm
2006-01-01 Fontana, Federico; Manca, Vincenzo
DNA Extraction by XPCR
2005-01-01 Franco, Giuditta; Giagulli, Cinzia; Laudanna, Carlo; Manca, Vincenzo
DNA Recombination by XPCR
2006-01-01 Franco, Giuditta; Manca, Vincenzo; C., Giagulli; Laudanna, Carlo
Dynamics of P systems and simulation laboratory
2004-01-01 Bianco, L.; Manca, Vincenzo
Equational Calculi for algebras with empty carrier sets
1990-01-01 Manca, Vincenzo; Salibra, A.
Evolution and Oscillation in P systems: Applications to biological phenomena
2004-01-01 Manca, Vincenzo; Bianco, Luca; Fontana, Federico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A deductive system extending Equational Logic with Type Assignment | 1-gen-1989 | Manca, Vincenzo; Salibra, A.; Scollo, G. | |
| A DNA Algorithm for 3-SAT (11,20)* | 1-gen-2001 | Manca, Vincenzo; Simona Di, Gregorio; Daniela, Lizzari; Vallini, Giovanni; C., Zandron | |
| A genetic approach for synthesizing metabolic models from time series | 1-gen-2012 | Castellini, Alberto; Manca, Vincenzo; Zucchelli, Mauro; Busato, Mirko | |
| A logical formalism for intergrammatical representations | 1-gen-1995 | Manca, Vincenzo | |
| A logical formalism for intergrammatical representations | 1-gen-1995 | Manca, Vincenzo | |
| A Membrane System for the Leukocyte Selective Recruitment | 1-gen-2004 | Franco, Giuditta; Manca, Vincenzo | |
| A metagrammatical logical formalism | 1-gen-1996 | Manca, Vincenzo | |
| A relational view of recurrence and attractors in state transition dynamics | 1-gen-2006 | G., Scollo; Franco, Giuditta; Manca, Vincenzo | |
| A word recurrence based algorithm to extract genomic dictionaries | 1-gen-2021 | Bonnici, V; Franco, G; Manca, V | |
| APPLICATION OF THE MP THEORY TO SYSTEMS BIOLOGY | 1-gen-2012 | Manca, V.; Marchetti, L. | |
| Arithmetical Metabolic P Systems | 1-gen-2011 | Lombardo, Rosario; Manca, Vincenzo | |
| Computation of biochemical dynamics using MP systems | 1-gen-2006 | Bianco, L.; Fontana, F.; Manca, Vincenzo | |
| Computing with Multi-membranes | 1-gen-2011 | Manca, Vincenzo; Lombardo, Rosario | |
| Discrete Simulations of Biochemical Dynamics | 1-gen-2007 | Manca, Vincenzo | |
| Discrete Solution of Differential Equations by P Metabolic Algorithm | 1-gen-2006 | Fontana, Federico; Manca, Vincenzo | |
| DNA Extraction by XPCR | 1-gen-2005 | Franco, Giuditta; Giagulli, Cinzia; Laudanna, Carlo; Manca, Vincenzo | |
| DNA Recombination by XPCR | 1-gen-2006 | Franco, Giuditta; Manca, Vincenzo; C., Giagulli; Laudanna, Carlo | |
| Dynamics of P systems and simulation laboratory | 1-gen-2004 | Bianco, L.; Manca, Vincenzo | |
| Equational Calculi for algebras with empty carrier sets | 1-gen-1990 | Manca, Vincenzo; Salibra, A. | |
| Evolution and Oscillation in P systems: Applications to biological phenomena | 1-gen-2004 | Manca, Vincenzo; Bianco, Luca; Fontana, Federico |