IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 96
Titolo Data di pubblicazione Autore(i) File
Equivalences for Statecharts 1-gen-1996 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Two Semantics for Timed Concurrent Constraint Programming 1-gen-1998 MAGGIOLO SCHETTINI, A.; Tini, Simone
Projectable Semantics for Statecharts 1-gen-1998 MAGGIOLO SCHETTINI, A.; Tini, Simone
On the Espressivenes of Timed Concurrent Constraint Programming 1-gen-1999 Tini, Simone
Applying Techniques of Asynchronous Concurrency to Synchronous Languages 1-gen-1999 MAGGIOLO SCHETTINI, A.; Tini, Simone
A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming 1-gen-1999 MAGGIOLO SCHETTINI, A.; Tini, Simone
Transformations of Timed Cooparating Automata 1-gen-2000 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
A Causal Semantics for Timed Concurrent Constraint Programming 1-gen-2000 MAGGIOLO SCHETTINI, A.; Tini, Simone
Concurrency in Timed Automata 1-gen-2001 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
An Axiomatic Semantics for the Synchronous Language Gentzen 1-gen-2001 Tini, Simone
An Axiomatic Semantics for Esterel 1-gen-2001 Tini, Simone
Transformations of timed cooperating automata 1-gen-2001 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone; Peron, A.
Formal Models of Timing Attacks on Web Privacy 1-gen-2002 Focardi, R.; Gorrieri, R.; Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Martinelli, F.; Tini, Simone; Tronci, E.
Privacy in Real Time Systems 1-gen-2002 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
On Disjunction of Literals in Triggers of Statecharts Transitions 1-gen-2002 MAGGIOLO SCHETTINI, A.; Tini, Simone
Dynamic Hierarchical Machines 1-gen-2002 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Concurrency in timed automata 1-gen-2003 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Tini, Simone
A Comparison of Statecharts Step Semantics 1-gen-2003 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
An Axiomatic Semantics for the Synchronous Language Gentzen 1-gen-2003 Tini, Simone
Dynamic Hierarchical Machines 1-gen-2003 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A; Peron, A; Tini, Simone
Mostrati risultati da 1 a 20 di 96
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile