Produzione Scientifica Corrado Priami


  • Đ. Nikolić, C. Priami, R. Zunino, "A Rule-Based and Imperative Language for Biochemical Modeling and SimulationSoftware Engineering and Formal Methods" in Lecture Notes in Computer ScienceSoftware Engineering and Formal Methods, Berlin: Springer Berlin, 2012, p. 16-32. - ISBN: 9783642338250. Atti di: SEFM, Thessaloniki, Greece, October 1-5, 2012. - DOI: 10.1007/978-3-642-33826-7_2 - vedi dettaglio
  • C. Priami, P. Quaglia, R. Zunino, "An imperative language of self-modifying graphs for biological systems" in Proc. 27th ACM Symposium on Applied Computing, New York: ACM, 2012, p. 1903-1909. - ISBN: 9781450308571. Atti di: ACM Symposium on Applied Computing (SAC), Riva del Garda (TN), March 26-30, 2012. - URL: http://dl.acm.org/citation.cfm?doid=2245276.2232089 . - DOI: 10.1145/2245276.2232089 - vedi dettaglio
  • O. Kahramanogullari, F. Jordan, C. Priami, "Composability: Perspectives in Ecological Modeling" in Algebraic and Numeric Biology 2010, Heidelberg, Germany: Springer, 2012. - ISBN: 9783642280665 - vedi dettaglio
  • P. Lecca, D. Morpurgo, G. Fantaccini, A. Casagrande, C. Priami, "Inferring biochemical reaction pathways: the case of the gemcitabine pharmacokinetics." in BMC SYSTEMS BIOLOGY, v. 2012:6, (2012), p. 6-51. - URL: http://www.biomedcentral.com/1752-0509/6/51/abstract . - DOI: 10.1186/1752-0509-6-51 - vedi dettaglio
  • P. Nguyen, A. Ihekwaba, C. Priami, "Detecting Crosstalk Modules of Combined Networks: the Case for the NF-кB and p53" in 2011 International Conference on Bioscience, Biochemistry and Bioinformatics, Singapore: IACSIT Press, 2011, p. 266-270. Atti di: 2011 International Conference On Bioscience, Biochemistry And Bioinformatics, Sentaosa, Singapore, Feb 26, 2011 - Feb 28, 2011 - vedi dettaglio
  • P. Nguyen, A. Ihekwaba, C. Priami, "EM clustering based approach to decipher functional modules in crosstalk of signalling systems" in INTERNATIONAL JOURNAL OF BIOSCIENCE, BIOCHEMISTRY AND BIOINFORMATICS, v. 2011, n. Vol 1, No.1 (2011), p. 1-9. - DOI: 10.7763/IJBBB.2011.V1.1 - vedi dettaglio
  • T.P. Nguyen, M. Scotti, M.J. Morine, C. Priami, "Model-based clustering reveals vitamin D dependent multi-centrality hubs in a network of vitamin-related proteins." in BMC SYSTEMS BIOLOGY, v. 2011, n. 5 (2011), p. 195. - URL: www.biomedcentral.com/1752-0509/5/195 . - DOI: 10.1186/1752-0509-5-195 - vedi dettaglio
  • P. Lecca, O. Kahramanogullari, D. Morpurgo, C. Priami, R. Soo, "Modelling and Estimating Dynamics of Tumor Shrinkage with BlenX and Kinfer" in UKSim 2011 : UkSim 13th International Conference on Computer Modelling and Simulation, and Art Exhibition, United Kingdom: IEEE, 2011, p. 75-80. - ISBN: 9781612847054. Atti di: UKSim 2011 : UkSim 13th International Conference on Computer Modelling and Simulation, and Art Exhibition, Cambridge, United Kingdom, Mar 30, 2011 - Apr 1, 2011. - DOI: 10.1109/UKSIM.2011.24 - vedi dettaglio
  • P. Lecca, O. Kahramanogullari, D. Morpurgo, C. Priami, R. Soo, "Modelling the tumor shrinkage pharmacodynamics with BlenX" in 1st International Conference on Computational Advances in Bio and Medical Sciences (ICCABS 2011) , USA: IEEE, 2011, p. n.d-n.d. - ISBN: 9781612848518. Atti di: 1st IEEE International Conference on Computational Advances in Bio and medical Sciences (ICCABS), Orlando, U.S.A., Feb 3, 2011 - Feb 5, 2011 - vedi dettaglio
  • P. Lecca, T. Nguyen, C. Priami, P. Quaglia, "Network Inference from Time-Dependent Omics Data" in B. Mayer (a cura di), Bioinformatics for Omics Data: Methods and Protocols , New York; Heidelberg: Humana Press (subsidiary of Springer Science+Business Media Deutschland GmbH since 2006), 2011, p. 435-455. - (Methods in Molecular Biology; 719). - ISBN: 9781617790263. - URL: http://www.springer.com/life+sciences/bioinformatics/book/978-1-61779-026-3 . - DOI: 10.1007/978-1-61779-027-0_20 - vedi dettaglio
  • P. Lecca, T. Nguyen, C. Priami, P. Quaglia, "Network Inference from Time-Dependent Omics Data" in B. Mayer (a cura di), Bioinformatics for Omics Data: Methods and Protocols, New York: Humana Press (subsidiary of Springer), 2011, p. 435-455. - ( Methods in Molecular Biology; 719). - ISBN: 9781617790263. - URL: http://link.springer.com/protocol/10.1007/978-1-61779-027-0_20 . - DOI: 10.1007/978-1-61779-027-0_20 - vedi dettaglio
  • F. Jordan, M. Scotti, C. Priami, "Process algebra-based computational tools in ecological modelling" in ECOLOGICAL COMPLEXITY, v. 8, n. 4 (2011), p. 357-363. - DOI: 10.1016/j.ecocom.2011.07.006 - vedi dettaglio
  • C. Priami, "Algorithmic Systems Biology" in G. Rozenberg, T. Back, J. Kok (a cura di), Handbook of Natural Computing, Germany: -Heidelberg : Springer-Verlag, 2010. - ISBN: 9783540929093 - vedi dettaglio
  • P. Lecca, A. Palmisano, A. Ihekwaba, C. Priami, "Calibration of dynamic models of biological systems with KInfer" in EUROPEAN BIOPHYSICS JOURNAL WITH BIOPHYSICS LETTERS, v. Vol. 39, n. 6 (2010), p. 1019-1039. - DOI: 10.1007/s00249-009-0520-3 - vedi dettaglio
  • L. Dematté, R. Larcher, A. Palmisano, C. Priami, A. Romanel, "Programming Biology in BlenX" in S. Choi (a cura di), Systems Biology for Signaling Networks, Berlin: Springer, 2010, p. 777-820. - (Systems Biology; 1). - ISBN: 9781441957962. - DOI: 10.1007/978-1-4419-5797-9 - vedi dettaglio
  • P. Lecca, L. Demattè, A. Ihekwaba, C. Priami, "Redi: a simulator of stochastic biochemical reaction-diffusion systems" in 2010 Second International Conference on Advances in System Simulation, U.S.A.: IEEE Computer Society CPS, 2010, p. 82-87. - ISBN: 9781424477838. Atti di: The Second International Conference on Advances in System Simulation (SIMUL 2010), Nice, Francia, 22.08.2010-27.08.2010 - vedi dettaglio
  • T. Mazza, G. Iaccarino, C. Priami, "Snazer: the simulations and networks analyzer" in BMC SYSTEMS BIOLOGY, v. vol. 4, n. 1 (2010), p. 2-17. - DOI: 10.1186/1752-0509-4-1 - vedi dettaglio
  • P. Lecca, A. Ihekwaba, L. Demattè, C. Priami, "Stochastic simulation of the spatio-temporal dynamics of reaction-diffusion systems: the case for the bicoid gradient" in JOURNAL OF INTEGRATIVE BIOINFORMATICS, v. vol. 7, n. 1 (2010), p. 1-32. - DOI: 10.2390/biecoll-jib-2010 - vedi dettaglio
  • P. Lecca, A. Palmisano, C. Priami, G. Sanguinetti, "A new probabilistic generative model of parameter inference in biochemical networks" in Proceedings of the 2009 ACM Symposium on Applied Computing, New York: ACM, 2009, p. 758-765. - ISBN: 9781605581668. Atti di: SAC' 09, Honolulu, Hawaii, 8th-12th March 2009 - vedi dettaglio
  • C. Priami, "Algorithmic Systems Biology" in COMMUNICATIONS OF THE ACM, v. 52, n. 5 (2009), p. 80-88. - DOI: 10.1145/1506409.1506427 - vedi dettaglio
  • C. Priami, P. Quaglia, A. Romanel, "BlenX Static and Dynamic Semantics" in CONCUR 2009: Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009: Proceedings, Berlin: Springer, 2009, p. 37-52 -(Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; 5710). - ISBN: 9783642040801. Atti di: CONCUR 2009, Berlin, 1st-4th September 2009 - vedi dettaglio
  • C. Priami, P. Ballarini, P. Quaglia, "BlenX4Bio – BlenX for Biologists" in Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009: Proceedings, Berlin: Springer, 2009, p. 26-51 -(Lecture Notes in Computer Science. Lecture Notes in Computer in Bioinformatics; 5688). - ISBN: 9783642038440. Atti di: CMSB 2009, Bologna, 31st August-1st September 2009 - vedi dettaglio
  • C. Priami, "Computer Science and Systems Biology: A Cross Road" in 2nd AFI Symposium, Innsbruck: Innsbruck University Press, 2009. Atti di: 2nd AFI Symposium, October 2008, Innsbruck, Claudiasaal, 17 -18 ott. 2008 - vedi dettaglio
  • P. Lecca, A. Palmisano, C. Priami, "Deducing Chemical Reaction Rate Constants and Their Regions of Confidence from Noisy Measurements of Time Series of Concentration" in IEEE Proceedings of the 11th International Conference on Computer Modelling and Simulation, Piscataway (NJ): IEEE Computer Society, 2009, p. 200-205. - ISBN: 9780769535937. Atti di: UKSim 2009, Cambridge, 25th-27th March 2009. - URL: http://doi.ieeecomputersociety.org/10.1109/UKSIM.2009.18 - vedi dettaglio
  • A. Ihekwaba, P. Nguyen, C. Priami, "Elucidation of Functional Consequences of Signalling Pathway Interactions" in BMC BIOINFORMATICS, v. Vol. 10, n. (2009), p. 370. - DOI: 10.1186/1471-2105-10-370 - vedi dettaglio
  • I. Mura, D. Prandi, C. Priami, A. Romanel, "Exploiting non-Markovian Bio-Processes" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 253, n. 3 (2009), p. 83-98. - DOI: 10.1016/j.entcs.2009.10.007 - vedi dettaglio
  • I. Mura, A. Palmisano, C. Priami, "From ODEs to language-based, executable models of biological systems" in Proceedings of the Pacific Symposium on Biocomputing, Singapore: World Scientific, 2009, p. 239-250. Atti di: Pacific Symposium on BIOCOMPUTING, Kona, Hawaii, 5th-9th January 2009. - URL: http://eproceedings.worldscinet.com/9789812836939/9789812836939_0023.html - vedi dettaglio
  • M. Guerriero, A. Dudka, N. Underhill-day, J. Heath, C. Priami, "Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway" in BMC SYSTEMS BIOLOGY, v. vol. 3, (2009). - URL: www.biomedcentral.com/1752-0509/3/40 . - DOI: 10.1186/1752-0509-3-40 - vedi dettaglio
  • M.L. Guerriero, D. Prandi, C. Priami, P. Quaglia, "Process Calculi Abstractions for Biology" in Algorithmic Bioprocesses, Dordrecht: Springer, 2009, p. 463-486. - (Natural Computing Series). - ISBN: 9783540888680. - DOI: 10.1007/978-3-540-88869-7 - vedi dettaglio
  • M.L. Guerriero, D. Prandi, C. Priami, P. Quaglia, "Process Calculi Abstractions for Biology" in Editors: Anne Condon, D. Harel, J.N. Kok, A. Salomaa, E. Winfree (a cura di), Algorithmic Bioprocesses, Berlin: Springer, 2009, p. 463-486. - (Natural Computing Series). - ISBN: 9783540888680. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-88869-7_23 . - DOI: 10.1007/978-3-540-88869-7_23 - vedi dettaglio
  • P. Lecca, L. Demattè, M. Lecca, C. Priami, "Stochastic modelling of diffusion systems. Video image simulation of tubulin diffusion in cytoplasm: a case study" in João Tavares,II ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing, Porto, Portugal: Taylor & Francis, 2009. - ISBN: 9780415570411. Atti di: II ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing, Porto, Portugal, 14 Oct 2009 - 16 Oct 2009 - vedi dettaglio
  • L. Cardelli, C. Priami, "Visualization in process algebra models of biological systems" in Tony Hey, Stewart Tansley, (a cura di), The Fourth Paradigm: Data-Intensive Scientific Discovery, REDMOND, WASHINGTON: Microsoft Research, 2009, p. 99-105. - ISBN: 9780982544204 - vedi dettaglio
  • S. Leye, A.M. Uhrmacher, C. Priami, "A Bounded-Optimistic, Parallel Beta-Binders Simulator" in Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, Washington DC: IEEE Computer Society, 2008, p. 139-148. - ISBN: 9780769534251. Atti di: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, Vancouver, BC , 27th-29th October 2008. - URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4700114 - vedi dettaglio
  • F. Ciocchetta, C. Priami, P. Quaglia, "An Automatic Translation of SBML into Beta-Binders" in IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, v. 5, n. 1 (2008), p. 80-90. - DOI: 10.1109/TCBB.2007.70219 - vedi dettaglio
  • F. Ciocchetta, C. Priami, P. Quaglia, "An Automatic Translation of SBML into Beta-Binders" in IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, v. 5, n. 1 (2008), p. 80-90. - URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4359877 . - DOI: 10.1109/tcbb.2007.70219 - vedi dettaglio
  • D. Prandi, C. Priami, P. Quaglia, "Communicating by Compatibility" in JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, v. 75, (2008), p. 167-181. - DOI: 10.1016/j.jlap.2007.09.001 - vedi dettaglio
  • D. Prandi, C. Priami, P. Quaglia, "Communicating by compatibility" in JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, v. 75, n. 2 (2008), p. 167-181. - URL: http://www.sciencedirect.com/science/article/pii/S1567832607000720 . - DOI: 10.1016/j.jlap.2007.09.001 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, O. Soyer, "Evolving BlenX programs to simulate the evolution of biological networks" in THEORETICAL COMPUTER SCIENCE, v. 408, n. 1 (2008), p. 83-96. - DOI: 10.1016/j.tcs.2008.07.013 - vedi dettaglio
  • P. Lecca, L. Demattè, C. Priami, "Modeling and simulating reaction-diffusion systems with state-dependent diffusion coefficients" in [Proceedings of World Academy of Science, Engineering and Technology], [S.l.]: WASET, 2008, p. 361-381 -(World Academy of Science, Engineering and Technology; 44). Atti di: International Conference on Bioinformatics and Biomedicine, Philadelphia (PA), 3rd-5th November 2008. - URL: http://www.waset.org/journals/waset/v44/v44-63.pdf - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "Modelling and simulation of biological processes in BlenX" in PERFORMANCE EVALUATION REVIEW, v. 35, n. 4 (2008), p. 32-39. - DOI: 10.1145/1364644.1364653 - vedi dettaglio
  • A. Romanel, C. Priami, "On the Decidability and Complexity of the Structural Congruence for Beta-binders" in THEORETICAL COMPUTER SCIENCE, v. 404, n. 1-2 (2008), p. 156-169. - DOI: 10.1016/j.tcs.2008.04.007 - vedi dettaglio
  • C. Priami, "Preface" in THEORETICAL COMPUTER SCIENCE, v. 391, n. 3 (2008), p. 189-189. - DOI: 10.1016/j.tcs.2007.11.005 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "The Beta Workbench: a computational tool to study the dynamics of biological systems" in BRIEFINGS IN BIOINFORMATICS, v. 9, n. 5 (2008), p. 437-449. - DOI: 10.1093/bib/bbn023 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "The BlenX Language: A Tutorial" in M. Bernardo, P. Degano, G. Zavattaro (a cura di), Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, Berlin/Heidelberg: Springer , 2008, p. 313-365. - (Lecture Notes in Computer Science. Programming and Software Engineering; 5016). - ISBN: 9783540688921 - vedi dettaglio
  • C. Priami (a cura di), "Theoretical Computer Science, Converging Sciences: Informatics and Biology", di C. Priami, Amsterdam: Elsevier, 2008, 2 p. - DOI: 10.1016/j.tcs.2007.11.005 - vedi dettaglio
  • N. Segata, E. Blanzieri, C. Priami, "Towards the integration of computational systems biology and high-throughput data: supporting differential analysis of microarray gene expression data" in JOURNAL OF INTEGRATIVE BIOINFORMATICS, v. 5, n. 1 (2008), p. 87-103. - URL: http://journal.imbio.de/article.php?aid=87 . - DOI: 10.2390/biecoll-jib-2008-87 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, O. Soyer, "A Formal and Integrated Framework to Simulate Evolution of Biological Pathways" in Computational Methods in Systems Biology: International Conference CMSB 2007: Proceedings, Berlin: Springer, 2007, p. 106-120 -(Lecture Notes in Computer Science. Lecture Notes in Bioinformatics; 4695). - ISBN: 9783540751397. Atti di: CMSB 2007, Edinburgh, 20th-21st September 2007. - URL: http://www.springerlink.com/content/07j045r162r355h5/fulltext.pdf - vedi dettaglio
  • L. Brodo, P. Degano, C. Priami, "A Stochastic Semantics for BioAmbients" in Parallel Computing Technologies: 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007: Proceedings, Berlin: Springer, 2007, p. 22-34 -(Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; 4671). - ISBN: 9783540739395. Atti di: PaCT 2007, Pereslavl-Zalessky, 3rd-7th September 2007 - vedi dettaglio
  • M.L. Guerriero, J.K. Heat, C. Priami, "An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra" in Computational Methods in Systems Biology: International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007: Proceedings, Berlin: Springer, 2007, p. 136-151 -(Lecture Notes in Computer Science. Lecture Notes in Bioinformatics; 4695). - ISBN: 9783540751397. Atti di: CMSB 2007, Edinburgh, 20th-21st September 2007 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "BetaSIM: a stochastic simulator for biological processes" in ACM Proceedings of Summer Computer Simulation Conference 2007, 2007, p. 777-784 - vedi dettaglio
  • L. Demattè, C. Priami, A. Romanel, "BetaWB: modelling and simulating biological processes" in Proceedings of the Summer Computer Simulation Conference, SCSC '07 : the Mission Valley Marriott, San Diego, California, July 15 - 18, 2007, San Diego (CA): Society for Computer Simulation International, 2007, p. 777-784 -(Simulation series; 39 (4)). Atti di: SCSC 2007, San Diego (CA), 15th-18th July 2007 - vedi dettaglio
  • F. Ciocchetta, C. Priami, "Biological Transactions for Quantitative Models" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 171, n. 2 (2007), p. 55-67. - DOI: 10.1016/j.entcs.2007.05.007 - vedi dettaglio
  • P. Lecca, C. Priami, "Cell cycle control in Eukaryotes: a BioSpi model" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 180, n. 3 (2007), p. 51-63. - DOI: 10.1016/j.entcs.2004.08.07 - vedi dettaglio
  • F. Nielson, H. Riis Nielson, C. Priami, D. Schuch Da Rosa, "Control Flow Analysis for BioAmbients" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 180, n. 3 (2007), p. 65-79. - DOI: 10.1016/j.entcs.2004.01.041 - vedi dettaglio
  • L. Demattè, D. Prandi, C. Priami, A. Romanel, "Effective Index: A formal measure of drug effects" in Proceedings: 2nd Conference Foundations of Systems Biology in Engineering: Plenary and contributed papers; September 9 - 12, 2007, University of Stuttgart, Germany, Stuttgart: Fraunhofer IRB Verlag, 2007, p. 485-490. - ISBN: 9783816774365. Atti di: FOSBE 2007, Stuttgart, 9th-12th September 2007 - vedi dettaglio
  • M. L. Guerriero, C. Priami, A. Romanel, "Modeling Static Biological Compartments with Beta-binders" in Algebraic Biology: Second International Conference: Proceedings, Berlin: Springer, 2007, p. 247-261 -(Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; 4545). - ISBN: 9783540734321. Atti di: AB 2007, Castle of Hagenberg (Austria), 2nd-4th July 2007. - URL: http://www.springerlink.com/content/1h34662w403u2764/ - vedi dettaglio
  • C. Priami, A. Romanel, "The Decidability of the Structural Congruence for Beta-binders" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 171, n. 2 (2007), p. 155-170. - URL: http://scienceserver.cilea.it.ezp.biblio.unitn.it/pdflinks/10072616443817168.pdf . - DOI: 10.1016/j.entcs.2007.05.014 - vedi dettaglio
  • P. Degano, D. Prandi, C. Priami, P. Quaglia, "Beta-binders for biological quantitative experiments" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 164, n. 3 (2006), p. 101-117. - DOI: 10.1016/j.entcs.2006.07.014 - vedi dettaglio
  • P. Degano, D. Prandi, C. Priami, P. Quaglia, "Beta-binders for Biological Quantitative Experiments" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 164, n. 3 (2006), p. 101-117. - URL: http://www.sciencedirect.com/science/article/pii/S1571066106004932 . - DOI: 10.1016/j.entcs.2006.07.014 - vedi dettaglio
  • C. Priami (a cura di), "Computational Methods in Systems Biology: International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006: Proceedings", Berlin: Springer, 2006, 323 p. - (Lecture Notes in Computer Science. Lecture Notes in Bioinformatics; 4210). - ISBN: 9783540461661. - DOI: 10.1007/11885191 - vedi dettaglio
  • I.R. Mardare, C. Priami, "Decidable extensions of Hennessy-Milner Logic" in Formal Techniques for Networked and Distributed Systems: FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006: Proceedings, Berlin: Springer, 2006, p. 196-211 -(Lecture notes in Computer Science. Programming and Software Engineering; 4229). Atti di: FORTE 2006, Paris, 26th-29th September 2006. - DOI: 10.1007/11888116 - vedi dettaglio
  • C. Eccher, C. Priami, "Design and implementation of a tool for translating SBML into the biochemical stochastic pi-calculus" in BIOINFORMATICS, v. 22, n. 24 (2006), p. 3075-3081. - DOI: 10.1093/bioinformatics/btl516 - vedi dettaglio
  • J. Himmelspach, P. Lecca, D. Prandi, C. Priami, P. Quaglia, A. Uhrmacher, "Developing An Hierarchical Simulator for Beta-binders" in 20th Workshop on Principles of Advanced and Distributed Simulation (PADS 2006): [proceedings], Los Alamitos (CA): IEEE Computer Society, 2006, p. 92-102. - ISBN: 9780769525877. Atti di: PADS 2006, Singapore, 24th-26th May 2006. - URL: http://doi.ieeecomputersociety.org/10.1109/PADS.2006.14 - vedi dettaglio
  • J. Himmelspach, P. Lecca, D. Prandi, C. Priami, P. Quaglia, A. Uhrmacher, "Developing An Hierarchical Simulator for Beta-binders" in Proc. 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 24-26, 2006, Los Alamitos: IEEE Computer Society, 2006, p. 92-102. - ISBN: 0769525873. Atti di: PADS 2006, Singapore, May 24-26, 2006. - URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1630713 . - DOI: 10.1109/PADS.2006.14 - vedi dettaglio
  • C. Priami, "Process Calculi and Life Sciences" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 162, (2006), p. 301-304. - DOI: 10.1016/j.entcs.2005.12.097 - vedi dettaglio
  • C. Bodei, M. Curti, P. Degano, C. Priami, "A Quantitative Study of Two Attacks" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 121, (2005), p. 65-85. - DOI: 10.1016/j.entcs.2004.10.008 - vedi dettaglio
  • C. Bodei, P. Degano, R. Focardi, C. Priami, "Authentication primitives for secure protocol specification" in FUTURE GENERATION COMPUTER SYSTEMS, v. 21, n. 5 (2005), p. 645-653. - DOI: 10.1016/j.future.2004.05.004 - vedi dettaglio
  • C. Priami, P. Quaglia, "Beta binders for biological interactions" in Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, Berlin: Springer, 2005, p. 21-34 -(Lecture Notes in Computer Science. Lecture Notes in Bioinformatics; 3082). - ISBN: 3540253750. Atti di: Computational Methods in Systems Biology, Paris, 26th-28th May 2004. - URL: http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-25375-4 . - DOI: 10.1007/b107287 - vedi dettaglio
  • C. Priami, P. Quaglia, "Beta Binders for Biological Interactions" in V. Danos, V. Schachter (a cura di), Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, Berlin: Springer, 2005, p. 20-33. - (Lecture Notes in Computer Science; 3082). - ISBN: 9783540253754. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-25974-9_3 . - DOI: 10.1007/978-3-540-25974-9_3 - vedi dettaglio
  • C. Bodei, P. Degano, C. Priami, "Checking security policies through an enhanced control flow analysis" in JOURNAL OF COMPUTER SECURITY, v. 13, n. 1 (2005), p. 49-85 - vedi dettaglio
  • A. Uhrmacher, C. Priami, "Discrete Envent Systems Specification in Systems Biology: A discussion of stochastic pi-calculus and DEVS" in Proceedings of the 37th conference on Winter simulation, Los Alamitos (CA): IEEE, 2005, p. 317-326. Atti di: 37th conference on Winter simulation, Orlando (FL), 4th-7th December 2005. - URL: http://portal.acm.org/citation.cfm?id=1162767 - vedi dettaglio
  • M. Curti, P. Degano, D. Prandi, C. Priami, P. Quaglia, L. Brodo, "Formal executable descriptions of biological systems" in Second International Conference on the Quantitative Evaluation of SysTems: proceedings, 19-22 September 2005, Torino, Italy, Los Alamitos (CA): IEEE Computer Society, 2005, p. 2-11. Atti di: QEST 2005, Turin, 19th-22nd September 2005. - DOI: 10.1109/QEST.2005.13 - vedi dettaglio
  • C. Priami, P. Quaglia (a cura di), "Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers", Berlin/Heidelberg: Springer, 2005, 369 p. - (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues; 3267). - ISBN: 9783540241010. - URL: http://www.springer.com/computer/swe/book/978-3-540-24101-0 - vedi dettaglio
  • R. Mardare, C. Priami, "Logical analisys of biological systems" in FUNDAMENTA INFORMATICAE, v. 64, (2005), p. 271-285 - vedi dettaglio
  • R. Mardare, C. Priami, P. Quaglia, O. Vagin, "Model Checking Biological Systems Described Using Ambient Calculus" in Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, Berlin: Springer, 2005, p. 85-103. - (Lecture Notes in Computer Science. Lecture Notes in Bioinformatics; 3082). - URL: http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-25375-4 . - DOI: 10.1007/b107287 - vedi dettaglio
  • R. Mardare, C. Priami, P. Quaglia, O. Vagin, "Model Checking Biological Systems Described Using Ambient Calculus" in V. Danos, V. Schachter (a cura di), Computational Methods in Systems Biology: International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, Berlin: Springer, 2005, p. 85-103. - (Lecture Notes in Computer Science; 3082). - ISBN: 9783540253754. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-25974-9_8 . - DOI: 10.1007/978-3-540-25974-9_8 - vedi dettaglio
  • F. Ciocchetta, C. Priami, P. Quaglia, "Modeling Kohn Interaction Maps with Beta-binders: An example" in LECTURE NOTES IN COMPUTER SCIENCE, v. 3737, (2005), p. 33-48. - URL: http://www.springerlink.com/content/978-3-540-30883-6/#section=581363&page=3&locus=0 . - DOI: 10.1007/11599128 - vedi dettaglio
  • F. Ciocchetta, C. Priami, P. Quaglia, "Modeling Kohn Interaction Maps with Beta-Binders: An Example" in LECTURE NOTES IN COMPUTER SCIENCE, v. 3737, (2005), p. 33-48. - URL: http://link.springer.com/chapter/10.1007%2F11599128_3 . - DOI: 10.1007/11599128_3 - vedi dettaglio
  • C. Bodei, M. Buchholtz, M. Curti, P. Degano, F. Nielson, H. Riis Nielson, C. Priami, "On Evaluating the Performance of Security Protocols" in Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, Berlin: Springer, 2005, p. 1-15 -(Lecture Notes in Computer Science; 3606). Atti di: PaCT'05, Krasnoyarsk, Russia, 5th-9th September 2005. - DOI: 10.1007/11535294 - vedi dettaglio
  • C. Priami, P. Quaglia, "Operational Patterns in Beta-binders" in LECTURE NOTES IN COMPUTER SCIENCE, v. 3380, (2005), p. 50-65. - URL: http://www.springerlink.com/content/xttk9wl7g4an06r4/ . - DOI: 10.1007/978-3-540-32126-2-5 - vedi dettaglio
  • C. Priami, P. Quaglia, "Operational Patterns in Beta-Binders" in LECTURE NOTES IN COMPUTER SCIENCE, v. 3380, (2005), p. 50-65. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-32126-2_5 . - DOI: 10.1007/978-3-540-32126-2_5 - vedi dettaglio
  • K. Pokozy-koremblat, C. Priami, P. Quaglia, "Performance Analysis of a UML Micro Business Case Study" in Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, Berlin: Springer, 2005, p. 107-126. Atti di: GC 2004, Rovereto (TN), 9th-12th March 2004. - DOI: 10.1007/b103251 - vedi dettaglio
  • C. Bodei, M. Curti, P. Degano, M. Buchholtz, F. Nielson, H.R. Nielson, C. Priami, "Performance Evaluation of Security Protocols Specified in LySa" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 112, (2005), p. 167-189. - DOI: 10.1016/j.entcs.2004.01.017 - vedi dettaglio
  • D. Prandi, C. Priami, P. Quaglia, "Process Calculi in a Biological Context" in BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, v. 85, (2005), p. 53-69 - vedi dettaglio
  • D. Prandi, C. Priami, P. Quaglia, "Shape spaces in formal interactions" in COMPLEXUS, v. 2, (2005), p. 128-139. - DOI: 10.1159/000093685 - vedi dettaglio
  • D. Prandi, C. Priami, P. Quaglia, "Shape Spaces in Formal Interactions" in COMPLEXUS, v. 2, n. 3-4 (2005), p. 128-139. - URL: http://content.karger.com/ProdukteDB/produkte.asp?doi=10.1159/000093685 . - DOI: 10.1159/000093685 - vedi dettaglio
  • C. Priami (a cura di), ""Computational Methods in Systems Biology" for BioSystems", Shannon, Co. Clare: Elsevier Ireland, 2004 - vedi dettaglio
  • C. Priami (a cura di), ""Computational Methods in Systems Biology" for Theoretical Computer Science", Amsterdam: Elsevier, 2004. - DOI: 10.1016/j.tcs.2004.03.060 - vedi dettaglio
  • C. Priami (a cura di), ""Security in Global computing" for the International Journal of Information Security", Berlin: Springer, 2004. - DOI: 10.1007/s10207-004-0034-z - vedi dettaglio
  • P. Lecca, C. Priami, C. Laudanna, G. Constantin, "A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules" in PSB 2004 Online Proceedings, Hackensack (NJ): World Scientific Publishing, 2004, p. 521-532. Atti di: Pacific Symposium on Biocomputing, Hawaii, 4th-8th January 2004. - URL: http://helix-web.stanford.edu/psb04/ - vedi dettaglio
  • D. Errampalli, C. Priami, P. Quaglia, "A Formal Language for Computational Systems Biology" in OMICS, v. 8, n. 4 (2004), p. 370-380. - DOI: 10.1089/omi.2004.8.370 - vedi dettaglio
  • D. Errampalli, C. Priami, P. Quaglia, "A Formal Language for Computational Systems Biology" in OMICS, v. 8, n. 4 (2004), p. 370-380. - URL: http://online.liebertpub.com/doi/abs/10.1089/omi.2004.8.370?journalCode=omi . - DOI: 10.1089/omi.2004.8.370 - vedi dettaglio
  • R. Mardare, C. Priami, "A logical approach to security in the context of ambient calculus" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 99, (2004), p. 3-29. - DOI: 10.1016/j.entcs.2004.02.001 - vedi dettaglio
  • P. Lecca, C. Priami, P. Quaglia, B. Rossi, C. Laudanna, G. Costantin, "A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment" in SIMULATION, v. 80, n. 4 (2004), p. 273-288. - DOI: 10.1177/0037549704045800 - vedi dettaglio
  • P. Lecca, C. Priami, P. Quaglia, B. Rossi, C. Laudanna, G. Constantin, "A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment" in SIMULATION, v. 80, n. 6 (2004), p. 273-288. - URL: http://sim.sagepub.com/content/80/6/273.abstract . - DOI: 10.1177/0037549704045800 - vedi dettaglio
  • C. Bodei, P. Degano, C. Priami, N. Zannone, "An enhanced CFA for security policies" in Proceedings of the Workshop on Issues on the Theory of Security (WITS'03), , Warszawa: IOS Press, 2004, p. 131-145. Atti di: WITS'03, Warsaw, 5th-6th April 2003 - vedi dettaglio
  • P. Lecca, C. Priami, C. Laudanna, G. Constantin, "Computer modelling of lymphocyte behaviour in inflammed brain venules by using stochastic pi-calculus" in JOURNAL OF NEUROIMMUNOLOGY, v. 154, n. 1-2 (2004), p. 230-230. - DOI: 10.1016/S0165-5728(04)00240-1 - vedi dettaglio
  • D. D'Ambrosio, P. Lecca, G. Constantin, C. Priami, C. Laudanna, "Concurrency in leukocyte vascular recognition: developing the tools for a predictive computer model" in TRENDS IN IMMUNOLOGY, v. 25, n. 8 (2004), p. 411-416. - DOI: 10.1016/j.it.2004.05.010 - vedi dettaglio
  • C. Priami, "Informatica e biologia dei sistemi" in MONDO DIGITALE, v. 1, (2004), p. 3-14. - URL: http://www.mondodigitale.net/Rivista/04_numero_due/Priami_p._3-14.pdf - vedi dettaglio
  • M. Curti, P. Degano, C. Priami, C. Baldari, "Modelling biochemical pathways through enhanced pi-calculus" in THEORETICAL COMPUTER SCIENCE, v. 325, n. 1 (2004), p. 111-140. - DOI: 10.1016/j.tcs.2004.03.066 - vedi dettaglio
  • C. Priami, P. Quaglia, "Modelling the dynamics of biosystems" in BRIEFINGS IN BIOINFORMATICS, v. 5, n. 3 (2004), p. 259-269. - DOI: 10.1093/bib/5.3.259 - vedi dettaglio
  • C. Priami, P. Quaglia, "Modelling the dynamics of biosystems" in BRIEFINGS IN BIOINFORMATICS, v. 5, n. 3 (2004), p. 259-269. - URL: http://bib.oxfordjournals.org/content/5/3/259 . - DOI: 10.1093/bib/5.3.259 - vedi dettaglio
  • P. Lecca, C. Priami, C. Laudanna, G. Constantin, "Predicting cell adhesion probability via the biochemical stochastic pi-calculus" in Proceedings of the 2004 ACM symposium on Applied computing, New York: ACM, 2004, p. 211-212. - ISBN: 1581138121. Atti di: SAC'04, Nicosia, Cyprus, 14th-17th March 2004. - URL: http://doi.acm.org/10.1145/967900.967944 - vedi dettaglio
  • C. Priami, "Preface" in BIOSYSTEMS, v. 75, n. 1-3 (2004), p. 1-1. - DOI: 10.1016/j.biosystems.2004.03.002 - vedi dettaglio
  • C. Priami, "Preface" in INTERNATIONAL JOURNAL OF INFORMATION SECURITY, v. Vol 2, Numbers 3-4, (2004). - DOI: 10.1007/s10207-004-0034-z - vedi dettaglio
  • C. Priami, "Preface of the special issue on CMSB" in THEORETICAL COMPUTER SCIENCE, v. 325, (2004), p. 1-2 - vedi dettaglio
  • F. Nielson, H. Nielson, C. Priami, D. Schuch Da Rosa, "Static analysis for system biology" in Proceedings of the winter international synposium on Information and communication technologies, New York, N.Y.: ACM press, 2004 -(ACM International Conference Proceeding Series). Atti di: Proceedings of the winter international synposium on Information and communication technologies (WISICT '04), Cancun (Mexico), 5th-8th January 2004 - vedi dettaglio
  • K. Pokozy-koremblat, C. Priami, "Toward extracting pi-calculus from UML sequence and state diagrams" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 101 (C), (2004), p. 51-72. - DOI: 10.1016/j.entcs.2004.09.007 - vedi dettaglio
  • P. Degano, C. Priami, F. Gadducci, "Causality and replication in concurrent processes" in Perspectives of systems informatics : 5th international Andrei Ershov Memorial Conference, PSI 2003, Berlin: Springer, 2003, p. 307-318. - ISBN: 9783540208136. Atti di: 5th international Andrei Ershov memorial conference PSI 2003, Novosibirsk, 9-12 July 2003 - vedi dettaglio
  • C. Priami (a cura di), "Computational methods in systems biology: 1st international workshop, CMSB 2003, Rovereto, Italy, February 24-26, 2003: proceedings", Berlin: Springer, 2003, 214 p. - (Lecture notes in computer science; 2602). - ISBN: 3-540-00605-2 - vedi dettaglio
  • C. Priami, "Design environments for complex systems": IEEE, 2003. Atti di: IEEE Winter simulation conference, IEEE, 2003 - vedi dettaglio
  • P. Degano, C. Priami, "Enhanced operational semantics in systems biology" in Computational Methods in Systems Biology, Berlin: Springer, 2003, p. 178-181. - ISBN: 9783540006053. - DOI: 10.1007/3-540-36481-1 - vedi dettaglio
  • C. Priami (a cura di), "Global computing: IST/FET international workshop, GC 2003, Rovereto (TN), February 9-14 , 2003", Berlin: Springer, 2003, 253 p. - (Lecture notes in computer science; 2874). - ISBN: 3-540-20583-7 - vedi dettaglio
  • L. Brodo, P. Degano, S. Gilmore, J. Hillston, C. Priami, "Performance evaluation for global computation" in Global Computing. Programming Environments, Languages, Security, And Analysis Of Systems, Berlin: Springer, 2003, p. 229-253. - ISBN: 9783540205838. Atti di: IST/FET international workshop, global computing 2003, Rovereto (TN), 9-14 February 2003 - vedi dettaglio
  • L. Brodo, P. Degano, C. Priami, "Reflecting mobile ambients into the pi-calculus" in Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, Berlin: Springer, 2003, p. 25-56. - ISBN: 9783540205838. Atti di: IST/FET international workshop, global computing 2003, Rovereto (TN), 9-14 February 2003 - vedi dettaglio
  • P. Degano, F. Gadducci, C. Priami, "A causal semantics for CCS via rewriting logics" in THEORETICAL COMPUTER SCIENCE, v. 275, n. 1-2 (2002), p. 259-282. - DOI: 10.1016/S0304-3975(01)00165-7 - vedi dettaglio
  • C. Bodei, P. Degano, R. Focardi, C. Priami, "Authentication primitives for protocol specification" in Proceedings of International Conference of Parallel Computing Technologies (PaCT'03), Berlin: -Heidelberg : Springer-Verlag, 2002. Atti di: PaCT03, Nizhny Novgorod, Russia, 15-19 settembre - vedi dettaglio
  • C. Bodei, P. Degano, R. Focardi, C. Priami, "Authentication primitives for refining protocol specifications" in Workshop on Issues on the Theory of Security (WITS'02, Portland Oregon, USA: Amsterdam : IOS Press, 2002. Atti di: WITS 02, New Orleans, La., 14-15 gennaio 2002 - vedi dettaglio
  • M. Curti, P. Degano, C. Priami, C. Baldari, "Causal pi-calculus for biochemical modelling", 2002. Atti di: AI-IA bioinformatics workshop, Siena, 2002 - vedi dettaglio
  • C. Priami, "Language-based performance prediction of ditributed and mobile systems" in INFORMATION AND COMPUTATION, v. 175, (2002), p. 119-145. - DOI: 10.1006/inco.2000.3058 - vedi dettaglio
  • C. Bodei, P. Degano, R. Focardi, C. Priami, "Primitives for authentication in process algebras" in THEORETICAL COMPUTER SCIENCE, v. 283, n. 2 (2002), p. 271-304. - DOI: 10.1016/S0304-3975(01)00136-0 - vedi dettaglio
  • C. Priami, A. Regev, E. Shapiro, W. Silvermann, "Application of a stochastic name-passing calculus to representation and simulation of molecular processes" in INFORMATION PROCESSING LETTERS, v. 80, (2001), p. 25-31. - DOI: 10.1016/S0020-0190(01)00214-9 - vedi dettaglio
  • P. Degano, C. Priami, "Enhanced Operational Semantics: A Tool for Describing and Analysing Concurrent Systems" in ACM COMPUTING SURVEYS, v. 33, n. 2 (2001), p. 135-176. - DOI: 10.1145/384192.384194 - vedi dettaglio
  • C. Bodei, P. Degano, C. Priami, "Names of the pi-calculus agents handled locally" in THEORETICAL COMPUTER SCIENCE, v. 253, n. 2 (2001), p. 155-184 - vedi dettaglio
  • L. Brodo, C. Priami, "Performance consideration on the WAP secure transport layer", 2001. Atti di: Workshop on automated verification of critical systems (AVoCS'01), Oxford, 19-20 April 2001 - vedi dettaglio
  • C. Nottegar, C. Priami, P. Degano, "Performance Evaluation of Mobile Processes via Abstract Machines" in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v. 27, n. 10 (2001), p. 867-889. - DOI: 10.1109/32.962559 - vedi dettaglio
  • L. Brodo, P. Degano, C. Priami, "Semantic-driven aspect oriented programming of distributed applications", 2001. Atti di: 10th colloquium on numerical analysis and computer science applications, Plovdiv, 12-17 August 2001 - vedi dettaglio
  • L. Brodo, P. Degano, C. Priami, "A tool for quantitative analysis of pi-calculus processes", 2000. Atti di: International workshop on process algebra and performance modelling (PAPM'00), Geneva, 2000 - vedi dettaglio
  • C. Polloni, C. Priami, "Discretionary acces control with code migration", 2000, p. 61-66. Atti di: Workshop on issues in theory of security (WITS'00), Geneva, 7-8 July 2000 - vedi dettaglio
  • C. Priami, U. Solitro, "Functional features of a calculus for logic and concurrency", 2000. Atti di: 9th workshop on functional and logic programming (WFLP), Benicassim, 2000 - vedi dettaglio
  • C. Bodei, P. Degano, C. Priami, "Names of the π-calculus agents handled locally " in THEORETICAL COMPUTER SCIENCE, v. 253, (2000), p. 155-184. - DOI: 10.1016/S0304-3975(00)00093-1 - vedi dettaglio
  • C. Bodei, P. Degano, R. Focardi, C. Priami, "Authentication via localized names": IEEE, 1999. Atti di: 12th IEEE computer security foundations workshop (CSFW12), IEEE, 1999 - vedi dettaglio
  • P. Degano, C. Priami, L. Leth, B. Thomsen, "Causality for debugging mobile agents" in ACTA INFORMATICA, v. 36, (1999), p. 335-374. - DOI: 10.1007/s002360050164 - vedi dettaglio
  • P. Degano, C. Priami, "Non-interleaving semantics of mobile processes" in THEORETICAL COMPUTER SCIENCE, v. 216, (1999), p. 237-270. - DOI: 10.1016/S0304-3975(99)80003-6 - vedi dettaglio
  • C. Priami, "Operational Methods in Theoretical Computer Science" in ACM COMPUTING SURVEYS, v. 31, n. 3 (1999), p. 1-1. - DOI: 10.1145/333580.333592 - vedi dettaglio
  • C. Priami, M. Lonardi, S. Martini, "Searching the Web via mobile agents", 1999. Atti di: 1999 AAAI Spring symposium on intelligent agents in cyberspace, Stanford, Calif., 22-24 March 1999 - vedi dettaglio
  • I. Mastroeni, C. Priami, Semantica Operazionale: Strumenti e Applicazioni - Linguaggi Imperativi e Funzionali, PADOVA: CEDAM, 1999. - ISBN: 9788813221386 - vedi dettaglio
  • C. Nottegar, C. Priami, P. Degano, "Semantic-driven performance evaluation" in Fundamental Approaches to Software Engineering: Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999: Proceedings, Berlin; Heidelberg: Springer, 1999, p. 204-218 -(Lecture notes in Computer Science; 1577). - ISBN: 9783540657187. Atti di: FASE'99, Amsterdam, 22nd-28th March 1999 - vedi dettaglio
  • C. Priami, "A mathematical theory of programming languages and their implementations", 1998 - vedi dettaglio
  • D. Marchignoli, C. Priami, "A stochastic cost model for the pi-calculus", 1998. Atti di: 3rd workshop on distributed systems: algorithms, architectures and languages, Portignano, 1998 - vedi dettaglio
  • C. Bodei, P. Degano, C. Priami, "Constructing specific SOS semantics for concurrency via abstract interpretation" in Static Analysis, Berlin: Springer, 1998, p. 168-183. - ISBN: 9783540650140. Atti di: 5th international symposium, SAS'98, Pisa, September 1998 - vedi dettaglio
  • C. Priami, "Enabling and general distributions in stochastic process algebras": World-Scientific, 1998, p. 192-203. Atti di: ICTCS'98, Prato, 1998 - vedi dettaglio
  • P. Degano, C. Priami, "LR Techniques for Handling Syntax Errors" in COMPUTER LANGUAGES, v. 24, (1998), p. 73-98. - DOI: 10.1016/S0096-0551(97)00016-7 - vedi dettaglio
  • C. Priami, "Performance evaluation via abstract machines", 1998. Atti di: 1st workshop del progetto cofinanziato 'Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software', Roma, 1998 - vedi dettaglio
  • C. Priami (a cura di), "Proceedings of the 6th international workshop on process algebras and performance modeling", Berlin: Springer, 1998 - vedi dettaglio
  • C. Priami, "Introducting to functional programming", 1997 - vedi dettaglio
  • P. Degano, J. Loddo, C. Priami, "Mobile processes with local clocks" in Analysis and Verification of Multiple-Agent Languages, Berlin: Springer, 1997, p. 296-319. - ISBN: 9783540625032. - DOI: 10.1007/3-540-62503-8 - vedi dettaglio
  • C. Priami, "Stochastic analysis of mobile telephony networks", 1997, p. 145-171. Atti di: 5th PAPM, University of Twente, June 1997 - vedi dettaglio
  • C. Bodei, C. Priami, "True concurrency via abstract interpretation" in Static Analysis, Berlin: Springer, 1997, p. 202-216. - ISBN: 9783540634683. Atti di: SAS'97, Paris, September 8–10, 1997 - vedi dettaglio
  • P. Degano, C. Priami, L. Leth, B. Thomsen, "Analysis of facile programs: a case study" in Analysis and Verification of Multiple-Agent Languages, Berlin: Springer, 1996, p. 345-369. - ISBN: 9783540625032. Atti di: Workshop on analysis and verification of multiple-agent languages, Stockholm, June 1996. - DOI: 10.1007/3-540-62503-8 - vedi dettaglio
  • P. Inverardi, C. Priami, "Automatic verification of distributed concurrent systems: the process algebra approach" in FORMAL METHODS IN SYSTEM DESIGN, v. 8, (1996), p. 7-38. - DOI: 10.1007/BF00121261 - vedi dettaglio
  • P. Degano, C. Priami, "Compact transition systems", 1996, promosso da: Universita' di Pisa. Dipartimento di Informatica - vedi dettaglio
  • P. Degano, C. Priami, "Enhanced oparational semantics for mobility", 1996. Atti di: 1st workshop on distributed systems: algorithms, architectures and languages, Levico Terme (Tn), June 1996 - vedi dettaglio
  • P. Degano, C. Priami, "Enhanced operational semantics" in ACM COMPUTING SURVEYS, v. 28, (1996), p. 352-354. - DOI: 10.1145/234528.234748 - vedi dettaglio
  • C. Priami, "Enhanced operational semantics for concurrency, PhD thesis", 1996 - vedi dettaglio
  • C. Priami, "Integrating behavioural and quantitative analysis with topology information": IEEE, 1996, p. 508-516. Atti di: 29th HICSS Hawaii international conference on system sciences, Maui, January 1996 - vedi dettaglio
  • C. Priami, "Interleaving based partial ordering semantics": World-Scientific, 1996, p. 212-226. Atti di: 5th Italian conference on theoretical computer science - ICTCS96, Ravello, November 1995 - vedi dettaglio
  • C. Bodei, P. Degano, C. Priami, "Mobile processes with a distributed environment" in Automata, Languages and Programming, Berlin: Springer, 1996, p. 490-501. - ISBN: 9783540614401. Atti di: 23rd international colloquium automata, languages and programming - ICALP96, Paterborn, 8-12 July 1996 - vedi dettaglio
  • C. Priami, "Stochastic pi-calculus with general distributions": CLUT, 1996, p. 41-57. Atti di: 4th workshop on process algebra and performance modelling, Torino, 1996 - vedi dettaglio
  • C. Priami, "Tools at CONCUR96", 1996, promosso da: Universita' di Pisa. Dipartimento di Informatica - vedi dettaglio
  • R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen, "Understanding mobile agents via a non interleaving semantics for facile", 1996 - vedi dettaglio
  • R. Borgia, P. Degano, C. Priami, L. Leth, B. Thomsen, "Understanding mobile agents via a non interleaving sematics for facile" in Static Analysis, Berlin: Springer, 1996, p. 98-112. - ISBN: 9783540617396. Atti di: SAS'96, Aachen, 1996 - vedi dettaglio
  • P. Degano, C. Priami, "A transitional semantics for full prolog", 1995, p. 511-520. Atti di: Joint conference on declarative programming (GULP-PRODE95), Marina di Vietri (Sa), 11-14 September 1995 - vedi dettaglio
  • A. Bianchi, S. Coluccini, P. Degano, C. Priami, "An efficient verifier of truly concurrent properties" in Parallel Computing Technologies, Berlin: Springer, 1995, p. 36-50. - ISBN: 9783540602224. Atti di: 3rd international conference parallel computing technologies - PaCT-95, St. Petersburg, 12-25 September 1995 - vedi dettaglio
  • P. Degano, C. Priami, "Causality for mobile processes" in Automata, Languages and Programming, Berlin: Springer, 1995, p. 660-671. - ISBN: 9783540600848. Atti di: 22nd international colloquium automata, languages and programming - ICALP95, Szeged, 10-14 July 1995 - vedi dettaglio
  • P. Degano, C. Priami, "Comparison of Syntactic error handling in LR parsers" in SOFTWARE, PRACTICE AND EXPERIENCE, v. 25(6), (1995), p. 657-679. - DOI: 10.1002/spe.4380250606 - vedi dettaglio
  • A. Mycroft, P. Degano, C. Priami, "Complexity as a basis for comparing semantic models of concurrency" in Algorithms, Concurrency and Knowledge, Berlin: Springer, 1995, p. 141-155. - ISBN: 9783540606888. Atti di: 1995 Asian computing science conference - ACSC '95, Pathumthani, 11-13 December 1995. - DOI: 10.1007/3-540-60688-2 - vedi dettaglio
  • C. Priami, "Stochastic pi-calculus" in THE COMPUTER JOURNAL, v. 38, (1995), p. 578-589. - DOI: 10.1093/comjnl/38.7.578 - vedi dettaglio
  • P. Degano, C. Priami, "Syntactic error handling in LR parsers" in SOFTWARE-PRACTICE & EXPERIENCE, v. 25, n. 6 (1995), p. 657-679. - DOI: 10.1002/spe.4380250606 - vedi dettaglio
  • P. Degano, C. Priami, "A compact representation of finite state processes", 1994. Atti di: Workshop on describing and prescripting program behaviour, Paris, December 1994 - vedi dettaglio
  • P. Inverardi, C. Priami, D. Yankelevich, "Automatizing parametric reasoning on distributed concurrent systems" in FORMAL ASPECTS OF COMPUTING, v. 6, (1994), p. 676-695 - vedi dettaglio
  • C. Priami, D. Yankelevich, "Read-write causality" in Mathematical Foundations of Computer Science, Berlin: Springer, 1994, p. 567-576. - ISBN: 9783540583387. Atti di: 19th international symposium on mathematical foundations of computer science (MFCS), Kosice, August 1994. - DOI: 10.1007/3-540-58338-6 - vedi dettaglio
  • C. Priami, D. Yankelevich, "A formal paradigm for multiview distributed debugging environments": Springer, 1993, p. 136-150. Atti di: 1st international workshop AADEBUG '93, Linköping, 3-5 May 1993 - vedi dettaglio
  • P. Inverardi, C. Priami, D. Yankelevich, "Extended transition systems for parametric bisimulation" in Automata, Languages and Programming, Berlin: Springer, 1993, p. 558-569. - ISBN: 9783540569398 - vedi dettaglio
  • U. Bianchi, P. Degano, S. Mannucci, S. Martini, B. Mojana, C. Priami, E. Salvatori, "Generating the analytic component parts of syntax directed editors with efficient error recovery" in THE JOURNAL OF SYSTEMS AND SOFTWARE, v. 23, (1993), p. 65-79. - DOI: 10.1016/0164-1212(93)90061-2 - vedi dettaglio
  • P. Inverardi, C. Priami, D. Yankelevich, "A parametric verification tool for distributed concurrent systems", 1992, p. 31-44. Atti di: ERCIM workshop on theory and practice in verification, Pisa, December 1992 - vedi dettaglio
  • P. Degano, C. Priami, "Observing Concurrency via Proved Trees", 1992, promosso da: Univerista' di Pisa. Dipartimento di Informatica - vedi dettaglio
  • P. Degano, C. Priami, "Proved trees" in Automata, Languages and Programming, Berlin: Springer, 1992, p. 629-640. - ISBN: 9783540557197. Atti di: 19th international colloquium automata, languages and programming - ICALP92, Wien, 13-17 July 1992 - vedi dettaglio
  • P. Inverardi, C. Priami, D. Yankelevich, "Verification of concurrent systems in SML", 1992, p. 169-174. Atti di: ACM SIGPLAN workshop on ML and its applications, San Francisco, Calif., 1992 - vedi dettaglio
  • P. Inverardi, C. Priami, "Evaluation of tool for the analysis of communicating systems" in BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, v. 1991, n. 45 (1991), p. 158-185 - vedi dettaglio
  • C. Priami, "Gestione degli errori nei Parsers LR: tesi di Laurea", 1990 - vedi dettaglio