Produzione Scientifica Davide Prandi


  • 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
  • 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
  • D. Prandi, P. Quaglia, N. Zannone, "Formal Analysis of BPMN Via a Translation into COWS" in Coordination Models and Languages: 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008: Proceedings, Berlin: Springer, 2008, p. 249-263 -(Lecture Notes in Computer Science. Programming and Software Engineering; 5052). - ISBN: 9783540682646. Atti di: COORDINATION 2008, Oslo, 4th-6th June 2008 - vedi dettaglio
  • D. Prandi, P. Quaglia, N. Zannone, "Formal Analysis of BPMN Via a Translation into COWS" in Proc. 10th International Conference on Coordination Models and Languages, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Berlin: Springer, 2008, p. 249-263 -(Lecture Notes in Computer Science; 5052). Atti di: COORDINATION 2008, Oslo, Norway, June 4-6, 2008. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-68265-3_16 . - DOI: 10.1007/978-3-540-68265-3_16 - vedi dettaglio
  • D. Prandi, P. Quaglia, N. Zannone, "Formal Analysis of BPMN Via a Translation into COWS" in Proc. 10th International Conference on Coordination Models and Languages, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Berlin: Springer, 2008, p. 249-263 -(Lecture Notes in Computer Science; 5052). - ISBN: 9783540682646. Atti di: COORDINATION 2008, Oslo, Norway, June 4-6, 2008. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-68265-3_16 . - DOI: 10.1007/978-3-540-68265-3_16 - 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
  • D. Prandi, P. Quaglia, "Stochastic COWS" in Service-Oriented Computing: ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007: Proceedings, Berlin: Springer, 2007, p. 245-256 -(Lecture Notes in Computer Science. Programming and Software Engineering; 4749). - ISBN: 9783540749738. Atti di: ICSOC 2007, Vienna, 17th-20th September 2007. - URL: http://icsoc07.icsoc.org/ . - DOI: 10.1007/978-3-540-74974-5_20 - vedi dettaglio
  • D. Prandi, P. Quaglia, "Stochastic COWS" in Proc. 5th International Conference on Service Oriented Computing, ICSOC 2007, Vienna, Austria, September 17-20, 2007, Berlin: Springer, 2007, p. 245-256 -(Lecture Notes in Computer Science; 4749). - ISBN: 9783540749738. Atti di: ICSOC 2007, Vienna, Austria, September 17-20, 2007. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-74974-5_20 . - DOI: 10.1007/978-3-540-74974-5_20 - 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
  • 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
  • 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
  • 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