In questa pagina sono visibili i dati relativi alle pubblicazioni del personale afferente all'Università di Trento. I dati sono aggiornati una volta al giorno e provengono dall'Anagrafe della Ricerca "IRIS"

Produzione Scientifica Paola Quaglia


  • Quaglia, Paola, "Symbolic Lookaheads for Bottom-up Parsing" in Proc. 41st Int. Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Schloss Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, p. 1-13. - (LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS). - ISBN: 978-3-95977-016-3. Atti di: MFCS, Krakow, Poland, August 22-26, 2016. - URL: http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.79 . - DOI: 10.4230/LIPIcs.MFCS.2016.79
  • 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
  • I. Cappello; P. Quaglia, "Expressing global priorities by best-matching" in Proc. 27th ACM Symposium on Applied Computing, SAC 2012, New York, NY: ACM, 2012, p. 1544-1550. - ISBN: 9781450308571. Atti di: ACM Symposium on Applied Computing, SAC 2012, Riva del Garda, Italy, March 26-30, 2012. - URL: http://dl.acm.org/citation.cfm?doid=2245276.2232022 . - DOI: 10.1145/2245276.2232022
  • 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). - ISBN: 9781617790263. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-79958288494&partnerID=40&md5=0b1929d75415d4b989ec6b20bc307856 . - DOI: 10.1007/978-1-61779-027-0_20
  • I. Cappello; A. Clark; S. Gilmore; D. Latella; M. Loreti; P. Quaglia; S. Schivo, "Quantitative Analysis of Services" in M. Wirsing, M. Holzl (a cura di), Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Berlin: Springer, 2011, p. 522-540. - (Lecture Notes in Computer Science). - ISBN: 9783642204005. - URL: http://www.scopus.com/inward/record.url?eid=2-s2.0-80455158313&partnerID=40&md5=d5c98a4b0a2e7c24f69114072204424f . - DOI: 10.1007/978-3-642-20401-2_25
  • I. Cappello; P. Quaglia, "A Tool for Checking Probabilistic Properties of COWS Services" in Trustworthly Global Computing: 5th International Symposium: Revised Selected Papers, Berlin: Springer, 2010, p. 364-378. - (LNCS). - ISBN: 9783642156397. Atti di: TGC 2010, Munich, Germany, February 24th-26th, 2010. - URL: http://www.springerlink.com/home/main.mpx
  • P. Quaglia; S. Schivo, "Approximate Model Checking of Stochastic COWS" in Trustworthly Global Computing: 5th International Symposium: Revised Selected Papers, Berlin: Springer, 2010, p. 335-347. - (LNCS). - ISBN: 9783642156397. Atti di: TGC 2010, Munich, Germany, February 24th-26th, 2010. - URL: http://www.springerlink.com/home/main.mpx
  • P. Quaglia (a cura di), "Proceedings of the 8th International Conference on Computational Methods in Systems Biology: CMSB'10", New York, NY: ACM, 2010, 119 p. - ISBN: 9781450300681. - URL: http://portal.acm.org/citation.cfm?id=1839764
  • E. Merelli; P. Quaglia (a cura di), "Proceedings Third Workshop From Biology To Concurrency and back: FBTC 2010", Australia: Open Publishing Association, 2010, 133 p. - (Electronic Proceedings in Theoretical Computer Science, EPTCS). - URL: http://arxiv.org/abs/1002.4919v1 . - DOI: 10.4204/EPTCS.19
  • I. Cappello; P. Quaglia, "A translation of Beta-binders in a prioritized pi-calculus" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 229, n. 1 (2009), p. 109-125. - URL: http://www.sciencedirect.com/science/journal/15710661
  • I. Cappello; P. Quaglia, "A Translation of Beta-binders in a Prioritized Pi-calculus" in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 229, n. 1 (2009), p. 109-125. - URL: http://www.sciencedirect.com/science/article/pii/S1571066109000139 . - DOI: 10.1016/j.entcs.2009.02.008
  • 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). - ISBN: 9783642040801. Atti di: CONCUR 2009, Berlin, 1st-4th September 2009
  • 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). - ISBN: 9783642038440. Atti di: CMSB 2009, Bologna, 31st August-1st September 2009
  • 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
  • M.L. Guerriero; D. Prandi; C. Priami; P. Quaglia, "Process Calculi Abstractions for Biology" in A. Editors: 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
  • 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
  • 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
  • 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
  • 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
  • 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). 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
  • 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). - 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
  • 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). - ISBN: 9783540682646. Atti di: COORDINATION 2008, Oslo, 4th-6th June 2008
  • P. Quaglia, "On Beta-Binders Communications" in P. Degano, R. De Nicola, J. Meseguer (a cura di), Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, Berlin: Springer, 2008, p. 457-472. - (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues). - ISBN: 9783540686767
  • P. Quaglia, "On Beta-Binders Communications" in P. Degano, R. De Nicola, J. Meseguer (a cura di), Concurrency, Graphs and Models, Berlin: Springer, 2008, p. 457-472. - (Lecture Notes in Computer Science). - ISBN: 9783540686767. - URL: http://link.springer.com/chapter/10.1007%2F978-3-540-68679-8_28 . - DOI: 10.1007/978-3-540-68679-8_28
  • D. Prandi; P. Quaglia, "Stochastic COWS" in Proc. 5th International Conference on Service Oriented Computing, ICSOC 2007, Vienna,, Berlin: Springer, 2007, p. 245-256. - (Lecture Notes in Computer Science). - 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
  • 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). - 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
  • 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
  • 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
  • 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
  • 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
  • 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). - 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
  • 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). - 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
  • M. Curti; P. Degano; D. Prandi; C. Priami; P. Quaglia; L. Brodo, "Formal executable descriptions of biological systems" in Proocedings of the Second International Conference on the Quantitative Evaluation of SysTems:, Los Alamitos (CA): IEEE Computer Society, 2005, p. 2-11. - ISBN: 0769524273. Atti di: QEST 2005, Turin, 19th-22nd September 2005. - DOI: 10.1109/QEST.2005.13
  • 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). - ISBN: 9783540241010. - URL: http://www.springer.com/computer/swe/book/978-3-540-24101-0
  • 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
  • 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). - 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
  • F. Ciocchetta; C. Priami; P. Quaglia, "Modeling Kohn Interaction Maps with Beta-Binders: An Example" in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY, v. III, (2005), p. 33-48. - URL: http://link.springer.com/chapter/10.1007%2F11599128_3 . - DOI: 10.1007/11599128_3
  • C. Priami; P. Quaglia, "Operational Patterns in Beta-Binders" in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY, v. I, (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
  • 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. - (LECTURE NOTES IN COMPUTER SCIENCE). - ISBN: 9783540241010. Atti di: GC 2004, Rovereto (TN), 9th-12th March 2004. - DOI: 10.1007/b103251
  • 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
  • D. Prandi; C. Priami; P. Quaglia, "Shape spaces in formal interactions" in COMPLEXUS, v. 2, (2005), p. 128-139. - DOI: 10.1159/000093685
  • 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
  • P. Quaglia; D. Walker, "Types and full abstraction for polyadic pi-calculus" in INFORMATION AND COMPUTATION, v. 200, n. 2 (2005), p. 215-246. - URL: http://www.sciencedirect.com/science/article/pii/S0890540105000520 . - DOI: 10.1016/j.ic.2005.03.004
  • P. Quaglia; D. Walker, "Types and full abstraction for polyadic pi-calculus" in INFORMATION AND COMPUTATION, v. 200, n. 2 (2005), p. 215-246. - DOI: 10.1016/j.ic.2005.03.004
  • 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
  • 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
  • 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. 6 (2004), p. 273-288. - DOI: 10.1177/0037549704045800
  • 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
  • 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
  • P. Quaglia, "Explicit substitutions for pi-congruences" in THEORETICAL COMPUTER SCIENCE, v. 269, (2001), p. 83-134
  • P. Quaglia, "The Pi-Calculus: Notes on Labelled Semantics" in BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, v. 68, (1999), p. 104-115
  • P. Quaglia ; D. Walker, "On encoding pPi in mPi" in Proc. 18th Conference on Foundations of Software Technology and Theoretical Computer Science, Berlin: Springer, 1998. - (LNCS; 1530). Atti di: FST&TCS '98, Madras, 1998. - URL: http://www.bsz-bw.de/rekla/show.php?mode=source&eid=uni%5F0%5F07086263-1kap [ , Probekapitel ]
  • P. Quaglia, "Pi-Congruences as CCS Equivalences" in 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98, Berlin: Springer, 1998, p. 358-372. - (LNCS; 1548). Atti di: AMAST '98, Manaus, 1998
  • G. Ferrari ; U. Montanari ; P. Quaglia, "A pi-calculus with explicit Substitutions" in THEORETICAL COMPUTER SCIENCE, v. 168, n. 1 (1996), p. 53-103
  • G. FERRARI; U. MONTANARI; P. QUAGLIA, "A pi-calculus with explicit substitutions" in THEORETICAL COMPUTER SCIENCE, v. 168, n. 1 (1996), p. 53-103. - URL: http://www.sciencedirect.com/science/article/pii/S0304397596000631 . - DOI: 10.1016/S0304-3975(96)00063-1
  • FERRARI G.-L; MODONI G; P. QUAGLIA, "Towards a Semantic-Based Verification Environment for the pi-calculus" in Proc. 5th Italian Conference on Theoretical Computer Science, ICTCS 1996, 1996, p. 451-465. Atti di: ICTCS 1996
  • G. Ferrari ; U. Montanari ; P. Quaglia, "The Weak Late pi-calculus Semantics as Observation Equivalence" in CONCUR '95: Concurrency Theory: Springer, 1995, p. 57-71. - (LNCS; 962). Atti di: CONCUR '95, Philadelphia, 1995
  • G. Ferrari ; G. Modoni ; P. Quaglia, "Towards a Semantic-Based Verification Environment for the pi-calculus": World Scientific, 1995, p. 451-465. Atti di: Proc. 5th Italian Conference on Theoretical Computer Science, ICTCS '95, Ravello (SA), November 7-9, 1995, 1996
  • G. Ferrari ; U. Montanari ; P. Quaglia, "A pi-calculus with Explicit Substitutions: the Late Semantics" in Proc. 19th International Symp. on Mathematical Foundations of Computer Science, MFCS '94, 1994, p. 342-351. Atti di: MFCS 1994, Kosice, 1994
  • D. Latella ; P. Quaglia, "A Fully Parallel Calculus of Synchronizing Processes" in Proc. 3rd Int. Joint Conference on Theory and Practice of Software Development, TAPSOFT 1993, Berlin: Springer, 1993, p. 732-745. Atti di: TAPSOFT 1993, Paris, 1993