Informatica II - Corso di Laurea in Ottica e Optometria, Facoltà di S.M.F.N., Università di Torino.
Progettazione e Data Base - Master in Progettazione e Management del Multimediale per la comunicazione, COREP, Torino.
2007/2008:
Informatica II - Corso di Laurea in Ottica e Optometria, Facoltà di S.M.F.N., Università di Torino.
List of Publications
Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher.
While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.
L. Bioglio, M. Dezani-Ciancaglini, P. Giannini, A. Troina Type Stochastic Semantics for the Calculus of Looping Sequences
Theoretical Computer Science, to appear.
M. Coppo, F. Damiani, M. Drocco, E. Grassi, E. Sciacca, S. Spinella, A. Troina Simulation Techniques for the Calculus of Wrapped Compartments
Theoretical Computer Science, to appear.
M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, E. Sciacca, S. Spinella, M. Torquati, A. Troina On Parallelizing On-Line Statistics for Stochastic Biological Simulations
2nd International Workshop on High Performance Bioinformatics and Biomedicine (HiBB'11), Springer LNCS (to appear), Bordeaux, France, August 2011.
L. Bioglio, C. Calcagno, M. Coppo, F. Damiani, E. Sciacca, S. Spinella, A. Troina A Spatial Calculus of Wrapped Compartments
5th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11), arXiv.org, arXiv:1108.3558v2, pp. 25-39, Paris (Fontainebleau), France, August 2011.
L. Bioglio, M. Dezani-Ciancaglini, P. Giannini, A. Troina A Calculus of Looping Sequences with Local Rules
7th Workshop on Developments in Computational Models (DCM'11), EPTCS (to appear), Zurich, Switzerland, July 2011.
M. Aldinucci, M. Coppo, F. Damiani, M. Drocco, M. Torquati, A. Troina On Designing Multicore-aware Simulators for Biological Systems
19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP'11), IEEE Computer Society Press, pp. 318-325, Ayia Napa, Cyprus, February 2011.
J. Sproston, A. Troina Simulation and Bisimulation for Probabilistic Timed Automata
8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'10), Springer LNCS 6246, pp. 213-227, Klosterneuburg, Austria, September 2010.
M. Coppo, F. Damiani, M. Drocco, E. Grassi, E. Sciacca, S. Spinella, A. Troina Hybrid Calculus of Wrapped Compartments
4th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'10), EPTCS 40, pp. 102-120, Jena, Germany, August 2010.
M. Coppo, F. Damiani, M. Drocco, E. Grassi, A. Troina Stochastic Calculus of Wrapped Compartments
8th Workshop on Quantitative Aspects of Programming Languages (QAPL'10), EPTCS 28, pp. 82-98, Paphos, Cyprus, March 2010.
S. Capecchi, A. Troina Types for BioAmbients
3rd Workshop "From Biology To Concurrency and back" (FBTC'10), EPTCS 19, pp. 103-115, Paphos, Cyprus, March 2010.
M. Coppo, F. Damiani, E. Grassi, M. Guether, A. Troina Modelling an Ammonium Transporter with SCLS
2nd International Workshop on Computational Models for Cell Processes (CompMod'09), EPTCS 6, pp. 77-92, Eindhoven, the Netherlands, November 2009.
M. Dezani-Ciancaglini, P. Giannini, A. Troina A Type System for a Stochastic CLS
3rd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), EPTCS 11, pp. 91-106, Bologna, Italy, September 2009.
M. Dezani-Ciancaglini, P. Giannini, A. Troina A Type System for Required/Excluded Elements in CLS
5th Workshop on Developments in Computational Models (DCM'09), EPTCS 9, pp. 38-48, Rhodes, Greece, July 2009.
B. Aman, M. Dezani-Ciancaglini, A. Troina Type Disciplines for Analysing Biologically Relevant Properties
2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08), Elsevier ENTCS 227, pp. 97-111, Iasi, Romania, September 2008.
J. Krivine, R. Milner, A. Troina Stochastic Bigraphs
24th Conference on the Mathematical Foundations of Programming Semantics (MFPS'08), invited paper, Elsevier ENTCS 218, pp. 73-96, Philadelphia (PA), USA, May 2008.
J. Goubault-Larrecq, C. Palamidessi, A. Troina A Probabilistic Applied Pi-Calculus
5th Asian Symposium on Programming Languages and Systems (APLAS'07), Springer LNCS 4807, pp. 175-190, Singapore, November 2007.
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, A. Troina Bisimulation Congruences in the Calculus of Looping Sequences
3rd Int. Colloquium on Theoretical Aspects of Computing (ICTAC'06), Springer LNCS 4281, pp. 93-107,
Tunis, Tunisia, November 2006.
R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, A. Troina A Calculus of Looping Sequences for Modelling Microbiological Systems
14th Int. Workshop on Concurrency Specification and Programming (CS&P'05),
Warsaw University 511/2005, pp. 29-40, Ruciane-Nida, Poland, September 2005.
R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina, E. Tronci Automatic Covert Channel Analysis of a Multilevel Secure Component
6th Int. Conference on Information and Communications Security (ICICS'04), Springer LNCS 3269, pp. 249-261, Malaga, Spain, October 2004.
R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo, A. Troina A Probabilistic Calculus for Molecular Systems
13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Humboldt-Univeristaet, Informatik-Berichte 170, pp. 202-216,
Caputh, Germany, September 2004.
R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina Verification of Hybrid Automata by Synthesis and Refinement
13th Int. Workshop on Concurrency Specification and Programming (CS&P'04), Humboldt-Univeristaet, Informatik-Berichte 170, pp. 69-80, Caputh, Germany, September 2004.
R. Lanotte, A. Maggiolo-Schettini, A. Troina Information Flow Analysis for Probabilistic Timed Automata
2nd Int. Workshop on Formal Aspects in Security and Trust (FAST'04), Springer IFIP 173, pp. 13-26, Toulouse, France, August 2004.
R. Lanotte, A. Maggiolo-Schettini, A. Troina Automatic Analysis of a Non-Repudiation Protocol
2nd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL'04), Elsevier ENTCS 112, pp. 113-129, Barcelona, Spain, March 2004.
R. Lanotte, A. Maggiolo-Schettini, S. Tini, A. Troina, E. Tronci Automatic Analysis of the NRL Pump
MEFISTO Project 2003 (Formal Methods for Security and Time), Elsevier ENTCS 99, pp. 245-266, November 2003.
A. Troina, A. Aldini, R. Gorrieri A Probabilistic Formulation of Imperfect Cryptography
1st IFIP WG 1.7 Int. Workshop on Issues in Security and Petri Nets (WISP'03), Eindhoven University of Technology, pp. 41-55,
Eindhoven, the Netherlands, June 2003.
BioBits - Developing white and green biotechnologies by converging platforms from biology and information technology towards metagenomics: Regione Piemonte (2009-2011).
E-mail:
