Naviga IRIS

Sfoglia per Rivista ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 1 a 10 di 10

2005-01-01 Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E

2018-01-01 Gribaudo, M.; Pinciroli, R.; Trivedi, K.

2006-01-01 Broersen, J; Herzig, A; Troquard, N

2009-01-01 Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio

2016-01-01 Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel

2006-01-01 Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E

2006-01-01 Tuosto, E; Vieira, Torres

2016-01-01 D'Angelo, G; Lorenzo, Severini; Yllka, Velaj

2001-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E

2005-01-01 Tuosto, E

Titolo	Data di pubblicazione	Autore(i)
A Coordination-based Methodology for Security Protocol Verification	1-gen-2005	Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E
Epistemic Uncertainty Propagation in Power Models	1-gen-2018	Gribaudo, M.; Pinciroli, R.; Trivedi, K.
From Coalition Logic to STIT	1-gen-2006	Broersen, J; Herzig, A; Troquard, N
Interaction and Concurrency Experiences	1-gen-2009	Bonchi, Filippo; Grohmann, Davide; Spoletini, Paola; Troina, Angelo; Tuosto, Emilio
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems	1-gen-2016	Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel
A Logic for Application Level QoS	1-gen-2006	Hirsch, Dan; Lluch-Lafuente, Alberto; Tuosto, E
An Observational Model for Spatial Logics	1-gen-2006	Tuosto, E; Vieira, Torres
On the Maximum Betweenness Improvement Problem	1-gen-2016	D'Angelo, G; Lorenzo, Severini; Yllka, Velaj
Security Issues in Component-based Design	1-gen-2001	Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
Tarzan	1-gen-2005	Tuosto, E

Mostrati risultati da 1 a 10 di 10