GC
Institutions
Projects
Categories
Galaxies
Programming
Projects
Central-Limit Approach to Risk-aware Markov Decision Processes
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Theory and Practice of CSP
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Multi-Step Discrete Time Process Algebra (MuPA)
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Fair workload distribution for multi-server systems with pulling strategies
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Algorithms for stationary analysis of stochastic Petri nets
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Social Dynamics on Online Social Media: A Data Science Approach
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Automated Vulnerability Analysis for Modern Application Software
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
CISPA – One of Europe’s leading research sites of IT security
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
CSP: Controlled relaxation of content security policies by runtime policy composition
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
A Novel Meta-Information Management System for SaaS
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Modelling of spatial stochastic systems and analysis of their spatio-temporal properties
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Enterprise Modelling and Requirements Analysis using the i* Framework
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Exploration and graph searching problems in networks
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Marie Sklodowska-Curie Actions: Individual Fellowships
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Efficient security analysis of Administrative Access Control Policies
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Speeding up your research with Microsoft Azure solutions
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Efficient factorization of composite integers
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
Vulnerability Analysis of Android Auto Infotainment Apps
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
M-String Segmentation: a Refined Abstract Domain for String Analysis in C programs
ACADIA Research Centre Research Centre
Università Ca' Foscari Venezia
InfQ 2017
Università Ca' Foscari Venezia
ACADIA Research Centre Research Centre
gabriella.traviglia@unive.it / info@venezia86.it