Hankin, Chris; Malacaria, Pasquale Payoffs, intensionality and abstraction in games. (English) Zbl 1264.91034 Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 69-82 (2013). MSC: 91A80 68N30 91A26 91A40 PDFBibTeX XMLCite \textit{C. Hankin} and \textit{P. Malacaria}, Lect. Notes Comput. Sci. 7860, 69--82 (2013; Zbl 1264.91034) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert Probabilistic semantics and program analysis. (English) Zbl 1189.68030 Aldini, Alessandro (ed.) et al., Formal methods for quantitative aspects of programming languages. 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21–26, 2010. Advanced lectures. Berlin: Springer (ISBN 978-3-642-13677-1/pbk). Lecture Notes in Computer Science 6154, 1-42 (2010). MSC: 68N15 68N30 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Lect. Notes Comput. Sci. 6154, 1--42 (2010; Zbl 1189.68030) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert On probabilistic techniques for data flow analysis. (English) Zbl 1279.68034 Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 59-77 (2007). MSC: 68N15 68Q87 68Q55 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Electron. Notes Theor. Comput. Sci. 190, No. 3, 59--77 (2007; Zbl 1279.68034) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert A systematic approach to probabilistic pointer analysis. (English) Zbl 1137.68352 Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 335-350 (2007). MSC: 68N30 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Lect. Notes Comput. Sci. 4807, 335--350 (2007; Zbl 1137.68352) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Siveroni, Igor; Wiklicky, Herbert Tempus fugit: How to plug it. (English) Zbl 1119.68051 J. Log. Algebr. Program. 72, No. 2, 173-190 (2007). MSC: 68N99 68N17 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., J. Log. Algebr. Program. 72, No. 2, 173--190 (2007; Zbl 1119.68051) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert Measuring the confinement of probabilistic systems. (English) Zbl 1142.68444 Theor. Comput. Sci. 340, No. 1, 3-56 (2005). MSC: 68Q85 68Q10 68Q55 60C05 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Theor. Comput. Sci. 340, No. 1, 3--56 (2005; Zbl 1142.68444) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert Probabilistic confinement in a declarative framework. (English) Zbl 1263.68044 Dovier, Agostino (ed.) et al., Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4–6, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 48, 108-130 (2001). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Electron. Notes Theor. Comput. Sci. 48, 108--130 (2001; Zbl 1263.68044) Full Text: DOI