Skip to Main Content (Press Enter)

Logo UNISS
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze

Logo UNISS

|

UNIFIND

uniss.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Competenze
  1. Pubblicazioni

THEORETICAL COMPUTER SCIENCE

Rivista
Codice:
E167142
ISSN:
0304-3975
  • Dati Generali

Dati Generali

Pubblicazioni (13)

  • ascendente
  • decrescente
A formal approach to open multiparty interactions
Articolo
A logical and graphical framework for reaction systems
Articolo
A process algebraic approach to reaction systems
Articolo
A static analysis for Brane Calculi providing global occurrence counting information
Articolo
Discovery of network properties with all-shortest-paths queries
Articolo
Dynamic mechanism design
Articolo
Exact and approximate algorithms for movement problems on (special classes of) graphs
Articolo
Improved approximability and non-approximability results for graph diameter decreasing problems
Articolo
On the complexity of minimizing interference in ad-hoc and sensor networks
Articolo
Reconstructing visibility graphs with simple robots
Articolo
Specializations and generalizations of the Stackelberg minimum spanning tree game
Articolo
The max-distance network creation game on general host graphs
Articolo
Tracking routes in communication networks
Articolo
No Results Found
  • «
  • ‹
  • {pageNumber}
  • ›
  • »
{startItem} - {endItem} di {itemsNumber}
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.1.0