Cortesi, Agostino, 1963-....
Cortesi, Agostino.
Agostino Cortesi Italian computer scientist (1963-)
VIAF ID: 20533239 (Personal)
Permalink: http://viaf.org/viaf/20533239
Preferred Forms
- 100 0 _ ‡a Agostino Cortesi ‡c Italian computer scientist (1963-)
- 200 _ 1 ‡a Cortesi ‡b , Agostino
-
-
-
- 100 1 _ ‡a Cortesi, Agostino (sparse)
-
- 100 1 _ ‡a Cortesi, Agostino ‡d 1963-
- 100 1 _ ‡a Cortesi, Agostino ‡d 1963-
- 100 1 _ ‡a Cortesi, Agostino ‡d 1963-
- 100 1 _ ‡a Cortesi, Agostino, ‡d 1963-
-
-
-
- 100 1 _ ‡a Cortesi, Agostino, ‡d 1963-....
-
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
ACM-IFIP : Informatics education Europe 3. : proceedings : 4-5 december, 2008. Venice, Italy / Agostino Cortesi and Flaminia Luccio (editors) | |
ACSS 2022 | |
Advanced computing and systems for security. | |
A calculus of challenges and responses | |
Challenges of software verification | |
CISIM 2012 | |
Computer information systems and industrial management : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013 : proceedings | |
Directionally continuous selections in Banach spaces | |
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging | |
Hyper-lattice Algebraic Model for Data Warehousing | |
Information flow analysis by abstract interpretation | |
Institutional change for gender equality in research : lesson learned from the field / edited by Maria Sangiuliano, Agostino Cortesi | |
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability | |
Modeling demand forecast variance in a distributed supply chain network using generalized stochastic petri nets | |
Nesting analysis of mobile ambients | |
Proceedings of international conference on computational intelligence and data engineering : ICCIDE 2022 | |
Programmare in Modula-3 : introduzione alla programmazione imperativa e a oggetti / Renzo Orsini, Agostino Cortesi | |
SAS'99 | |
Security boundaries in mobile ambients | |
Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings | |
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers | |
VMCAI 2002 |