07.2 Altre pubblicazioni (Other types of publications)

07.2 Altre pubblicazioni (Other types of publications): [4087] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.241 a 1.260 di 4.087

Load Time Code Validation for Mobile Phone Java Cards

2012-01-01 Nguyen, Quang-Huy; Chetali, Boutheina; Massacci, Fabio; Gadyatskaya, Olga

Predicting cell adhesion probability via the biochemical stochastic pi-calculus

2003-01-01 Laudanna, Carlo; Lecca, Paola; Constantin, Gabriela; Priami, Corrado

Computing the accessibility relation for the Ambient Calculus

2003-01-01 Mardare, Radu; Priami, Corrado

A Propositional Branching Temporal Logic for the Ambient Calculus

2003-01-01 Priami, Corrado; Mardare, Radu

Looking for the Stokes Theorem in an elementary trapezoid

2012-01-01 Goldoni, Luca

Editorial: Nature and Determinants of Socio-Moral Development: Theories, Methods and Applications

2023-01-01 Geraci, Alessandra; Franchin, Laura; Govrin, Aner; Rigo, Paola

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems

2003-01-01 Franconi, Enrico; Kuper, Gabriel; Serafini, Luciano; Lopatenko, Andrei

Traffic Engineering in G-MPLS networks with QoS guarantees

2003-01-01 Battiti, Roberto; Salvadori, Elio

Protocol Independent Multicasting in Wireless Mesh Networks

2012-01-01 Russo, Alessandro; Lo Cigno, Renato; Rubin, Izhak

Planning and monitoring the execution of web service requests

2003-01-01 Aiello, Marco; Papazoglou, Mike; Lazovik, Alexander

Social Innovation: a Novel Policy Stream or a Policy Compromise? An EU Perspective

2012-01-01 Bonifacio, Matteo

Design Environments for Complex Systems

2003-01-01 Priami, Corrado

Static Analysis for Systems Biology

2003-01-01 Nielson, Flemming; Schuch da Rosa, Debora; Nielson, Hanne Riis; Priami, Corrado

Enhanced Operational Semantics in Systems Biology

2003-01-01 Degano, Pierpaolo; Priami, Corrado

Cell Cycle Control in Eukaryotes: a BioSpi model

2003-01-01 Priami, Corrado; Lecca, Paola

Detection, Location and Imaging of Multiple Scatterers by means of the Iterative Multiscaling Method

2003-01-01 Caorsi, Salvatore; Massa, Andrea; Donelli, Massimo

Synthesis of sum and difference patterns for monopulse antennas by an hybrid real/integer-coded differential evolution method

2003-01-01 Caorsi, Salvatore; Massa, Andrea; Pastorino, Matteo; Randazzo, Andrea

A Delayed-ACK Scheme for Performance Enhancement of Wireless LANs

2003-01-01 Kliazovich, Dzmitry; Granelli, Fabrizio

Improved Microwave Imaging Procedure for Non-Destructive Evaluations of Two-Dimensional Structures

2003-01-01 Caorsi, Salvatore; Massa, Andrea; Pastorino, Matteo; Donelli, Massimo

An Operational Contract Framework for Heterogeneous Systems

2012-01-01 Fahrenberg, Uli; Legay, Axel; Passerone, Roberto; Le, Thi Thieu Hoa

Titolo	Anno di pubblicazione	Autori Unitn
Load Time Code Validation for Mobile Phone Java Cards	1-gen-2012	Nguyen, Quang-HuyChetali, BoutheinaMassacci, FabioGadyatskaya, Olga + -
Predicting cell adhesion probability via the biochemical stochastic pi-calculus	1-gen-2003	Laudanna, CarloLecca, PaolaConstantin, GabrielaPriami, Corrado + -
Computing the accessibility relation for the Ambient Calculus	1-gen-2003	Mardare, RaduPriami, Corrado
A Propositional Branching Temporal Logic for the Ambient Calculus	1-gen-2003	Priami, CorradoMardare, Radu
Looking for the Stokes Theorem in an elementary trapezoid	1-gen-2012	Goldoni, Luca
Editorial: Nature and Determinants of Socio-Moral Development: Theories, Methods and Applications	1-gen-2023	Geraci, AlessandraFranchin, LauraGovrin, AnerRigo, Paola + -
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems	1-gen-2003	Franconi, EnricoKuper, GabrielSerafini, LucianoLopatenko, Andrei + -
Traffic Engineering in G-MPLS networks with QoS guarantees	1-gen-2003	Battiti, RobertoSalvadori, Elio
Protocol Independent Multicasting in Wireless Mesh Networks	1-gen-2012	Russo, AlessandroLo Cigno, RenatoRubin, Izhak + -
Planning and monitoring the execution of web service requests	1-gen-2003	Aiello, MarcoPapazoglou, MikeLazovik, Alexander + -
Social Innovation: a Novel Policy Stream or a Policy Compromise? An EU Perspective	1-gen-2012	Bonifacio, Matteo
Design Environments for Complex Systems	1-gen-2003	Priami, Corrado
Static Analysis for Systems Biology	1-gen-2003	Nielson, FlemmingSchuch da Rosa, DeboraNielson, Hanne RiisPriami, Corrado + -
Enhanced Operational Semantics in Systems Biology	1-gen-2003	Degano, PierpaoloPriami, Corrado + -
Cell Cycle Control in Eukaryotes: a BioSpi model	1-gen-2003	Priami, CorradoLecca, Paola
Detection, Location and Imaging of Multiple Scatterers by means of the Iterative Multiscaling Method	1-gen-2003	Caorsi, SalvatoreMassa, AndreaDonelli, Massimo + -
Synthesis of sum and difference patterns for monopulse antennas by an hybrid real/integer-coded differential evolution method	1-gen-2003	Caorsi, SalvatoreMassa, AndreaPastorino, MatteoRandazzo, Andrea + -
A Delayed-ACK Scheme for Performance Enhancement of Wireless LANs	1-gen-2003	Kliazovich, DzmitryGranelli, Fabrizio
Improved Microwave Imaging Procedure for Non-Destructive Evaluations of Two-Dimensional Structures	1-gen-2003	Caorsi, SalvatoreMassa, AndreaPastorino, MatteoDonelli, Massimo + -
An Operational Contract Framework for Heterogeneous Systems	1-gen-2012	Fahrenberg, UliLegay, AxelPasserone, RobertoLe, Thi Thieu Hoa + -

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.241 a 1.260 di 4.087

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

Scopri

Accesso al fulltext

no fulltext2297
open1646
reserved134
partially open10