Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Programming languages
• Scripting languages
• PHP
• Array data type
• Foreach loop
• Iterator

Towards a Program Logic for JavaScript Philippa Gardner Sergio Maffeis Gareth Smith

Source URL: www.doc.ic.ac.uk

Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• Computer programming
• Software engineering
• Functional languages
• High-level programming languages
• Computer access control
• Object-capability model
• JavaScript
• Heap
• Topological space
• Monad
• Caja project

An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

Source URL: www.doc.ic.ac.uk

• Mathematical logic
• Mathematics
• Theoretical computer science
• Lambda calculus
• Deductive reasoning
• Natural deduction
• Proof theory
• Symbol
• System F
• -calculus
• Holomorphic functional calculus
• Security type system

A class of control certificates to ensure Reach-While-Stay for Switched Systems Hadi Ravanbakhsh and Sriram Sankaranarayanan Presented by Sergio Mover University of Colorado Boulder

Source URL: www.react.uni-saarland.de

• Control engineering
• Systems theory
• Systems science
• Control theory
• Cybernetics
• Computational mathematics
• Sliding mode control

PIIK, A COLLABORATIVE NEWS FILTERING SYSTEM FOR AN ELEARNING COMMUNITY IN HIGHER EDUCATION Platteaux Hervé, Hoein Sergio, Monnard Jacques, Jimenez François and Collaud Gérald Centre NTE - University of Fribourg, Switz

Source URL: www3.unifr.ch

Human Pose Recovery and Behavior Analysis Group ChaLearn Looking at People 2015 new competitions: Age Estimation and Cultural Event Recognition Sergio Escalera, UB & CVC & ChaLearn

Source URL: sergioescalera.com

Sergio Trippini Studio Bibliografico - Stampe Antiche CATALOGO SERIE DI COSTUMI ITALIANI

Source URL: www.trippini.it