Ghilezan, Silvia

Network Lab View Statistics Email Alert

Loading... 3 0 20 0 false

Full Name

Ghilezan, Silvia

ORCID

0000-0003-2253-8285

Scopus Author ID

6603280186

Country

Serbia

Loading... 2 0 20 0 false

Refined By:

Author: Vieira, Hugo Torres

Results 1-4 of 4 (Search time: 0.002 seconds).

	Author(s)	Title	Issue Date	Appears in	Rank
1	Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres	A typed model for dynamic authorizations	10-Feb-2016	Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 73-84
2	Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres	Dynamic role authorization in multiparty conversations	1-Jan-2016	Formal Aspects of Computing; 28(4); 643-667	M23
3	Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres	Combining behavioural types with security analysis	1-Nov-2015	Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780	M21
4	Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres	Dynamic role authorization in multiparty conversations	1-Jan-2014	Electronic Proceedings in Theoretical Computer Science, EPTCS; 3rd Workshop on Behavioural Types, BEAT 2014; Rome; Italy; 1 September 2014; 162; 1-8

Results 1-2 of 2 (Search time: 0.0 seconds).

Acronym	Title	Start date	Completion	P-Investigator
PROJECT 144029	Models, Languages, Types, and Processes in Computing	01-01-2006	31-12-2010	Ghilezan, Silvia
PROJECT 174026	Representations of logical structures and formal languages and their application in computing	01-01-2011	31-12-2019	Ghilezan, Silvia