AffOrg.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la télématique - Exploration (Accueil)

Index « AffOrg.i » - entrée « Université de Bologne »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Université de Birmingham < Université de Bologne < Université de Bourgogne  Facettes :

List of bibliographic references indexed by Université de Bologne

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
001005 (2009) Simone Frau [Suisse] ; Roberto Gorrieri [Italie] ; Carlo Ferigato [Italie]Petri Net Security Checker: Structural Non-interference at Work
001736 (2008) Stefano Bistarelli [Italie] ; Maurizio Gabbrielli [Italie] ; Maria Chiara Meo [Italie] ; Francesco Santini [Italie]Timed Soft Concurrent Constraint Programs
001815 (2008) Melanie Fritz [Allemagne] ; Maurizio Canavari [Italie]Management of perceived e‐business risks in food‐supply networks: e‐trust as prerequisite for supply‐chain system innovation
001C93 (2007) Michael Fisher [Royaume-Uni] ; Rafael H. Bordini [Royaume-Uni] ; Benjamin Hirsch [Allemagne] ; Paolo Torroni [Italie]COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS
002692 (2005) Nicola De Luca [Italie] ; Raffaele Izzo [Italie] ; Guido Iaccarino [Italie] ; Pier Luigi Malini [Italie] ; Carminé Morisco [Italie] ; Francesco Rozza [Italie] ; Gianni Luigi Iovino [Italie] ; Maria Assunta Elena Rao [Italie] ; Clara Bodenizza [Italie] ; Francesca Lanni [Italie] ; Luigi Guerrera [Italie] ; Oreste Arcucci [Italie] ; Bruno Trimarco [Italie]The use of a telematic connection for the follow-up of hypertensive patients improves the cardiovascular prognosis
002854 (2004) Mario Bravetti [Italie] ; Pedro R. D Rgenio [Argentine]Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions
002B29 (2004) Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Classification of Security Properties
002E77 (2003) Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols
002F65 (2003) Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie] ; Marinella Petrocchi [Italie] ; Anna Vaccarelli [Italie]Formal Analysis of Some Timed Security Properties in Wireless Protocols
003048 (2003) Roberto Gorrieri [Italie] ; Enrico Locatelli [Italie] ; Fabio Martinelli [Italie]A Simple Language for Real-Time Cryptographic Protocol Analysis
003056 (2003) Luciano Bononi [Italie] ; Gabriele D Ngelo [Italie]A Novel Approach for Distributed Simulation of Wireless Mobile Systems
003273 (2002) Marco Bernardo [Italie] ; Lorenzo Donatiello [Italie] ; Paolo Ciancarini [Italie]Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
004023 (2000) Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Non Interference for the Analysis of Cryptographic Protocols
004033 (2000) Riccardo Focardi [Italie] ; Roberto Gorrieri [Italie] ; Fabio Martinelli [Italie]Message Authentication through Non Interference
006600 (1993) Oreste Andrisano [Italie] ; Marco Chiani [Italie] ; Velio Tralli [Italie] ; Mario Frullone [Italie] ; Colin R. Moss [Royaume-Uni]Millimetre Wave Short Range Communications for Advanced Transport Telematics

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i -k "Université de Bologne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Université de Bologne" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffOrg.i
   |clé=    Université de Bologne
}}
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024