IL PORTALE per la RICERCA dei DIPARTIMENTI

VIGANO' Luca (2011) "A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures"

M. Merro (2011) "A Timed calculus of wireless systems"

Marzola P., Boschi F. (2011) "A new model of rectal cancer with regional lymph node metastasis allowing in vivo evaluation by imaging biomarkers."

G. Franco, V. Manca (2011) "Algorithmic Applications of XPCR"

I. Mastroeni, R. Giacobazzi (2011) "An Abstract Interpretation-based Model for Safety Semantics"

Squassina M. (2011) "An approach to minimization under a constraint: the added mass technique"

Rizzi Romeo (2011) "Approximation of RNA multiple structural alignment."

C. Combi (2011) "Artificial Intelligence in Medicine AIME 2009."

Angeleri Lidia (2011) "Auslander-Reiten-components over pure-semisimple hereditary rings"

N. Bombieri, F. Fummi, G. Pravadelli (2011) "Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions"

Farinelli A. (2011) "Bounded Approximate Decentralised Coordination via the Max-Sum Algorithm"

Boschi F. (2011) "Cherenkov radiation imaging of beta emitters: in vitro and in vivo results."

Mariotto G. (2011) "Chromiun doping of silicate glasses by field-assisted solid-state ion exchange"

Zampieri Gaetano (2011) "Completely Integrable Hamiltonian Systems with Weak Lyapunov Instability or Isochrony"

G. Mariotto (2011) "Composition and concentration dependence of spectroscopic properties of Nd3+-doped tellurite and metaborate glasses"

Masini A., Zorzi M. (2011) "Confluence results for a quantum lambda calculus with measurements"

Pesarin Anna, Cristani Marco, Murino Vittorio (2011) "Conversation analysis at work: detection of conflict in competitive discussions through semi-automaticturn-organization analysis"

N. Daldosso (2011) "Copropagating pump and probe experiments on Si-nc in SiO2 rib waveguides doped with Er: The optical role of non-emitting ions"

Fiorini S., Marzola P. (2011) "DCE-MRI using small-molecular and albumin-binding contrast agents in experimental carcinomas with different stromal content."

G. Franco (2011) "Data analysis pipeline from laboratory to MP models"

Mantese F. (2011) "Derived equivalence induced by infinitely generated n-tilting modules"

Castellani U., Bicego M., Murino V. (2011) "Dissimilarity-based detection of schizophrenia."

VIGANO' Luca (2011) "Distributed Temporal Logic for the Analysis of Security Protocol Models"

Fiorini S., Marzola P. (2011) "Early versus late GD-DTPA MRI enhancement in experimental glioblastomas."

N. Daldosso (2011) "Effect of the annealing treatments on the transport and electroluminescence properties of SiO2 layers doped with Er and Si nanoclusters"

Fummi Franco, Pravadelli Graziano (2011) "Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs"

N. Daldosso (2011) "Electroluminescence and charge storage characteristics of quantum confined germanium nanocrystals"

N. Daldosso (2011) "Erbium implanted silicon rich oxide thin films suitable for slot waveguides applications"

S. Residori (2011) "Experimental observation of speckle instability in Kerr random media"

Giarola M., Marzola P., Mariotto G. (2011) "Fast and minimally invasive determination of the unsaturation index of white fat depots by micro-Raman spectroscopy."

Luca Di Persio (2011) "Gaussian estimates on networks with applications to optimal control"

Cristani M, Pesarin A, Murino V (2011) "Generative Modeling and Classification of Dialogs by a Low-level Turn-taking Feature"

Bos L. (2011) "Geometric Weakly Admissible Meshes, Discrete Least Squares Approximations and Approximate Fekete Points"

S. Residori (2011) "Granularity and inhomogeneity are the joint generators of optical rogue waves"

S. Residori (2011) "Homoclinic snaking of localized patterns in a spatially forced system"

Boschi F. (2011) "In vivo (18)F-FDG tumour uptake measurements in small animals using Cerenkov radiation."

IANNIZZOTTO A (2011) "Infinitely many bounded solutions for the p-Laplacian with nonlinear boundary conditions"

Fiorini S., Marzola P. (2011) "Investigation of adipose tissues in Zucker rats using in vivo and ex vivo magnetic resonance spectroscopy."

Ali Ghafarinazari (2011) "Ion exchange behaviour of silver-doped apatite micro- and nanoparticles as antibacterial biomaterial"

Menegaz G. (2011) "Is the "azul" class unique in the Spanish language?"

Lipták Zsuzsanna (2011) "KABOOM! A new suffix array based algorithm for clustering expression data"

V. Manca, L. Marchetti (2011) "LOG-GAIN STOICHIOMETRIC STEPWISE REGRESSIONFOR MP SYSTEMS"

MASINI ANDREA, VIGANO' LUCA, VOLPE MARCO (2011) "Labelled natural deduction for a bundled branching temporal logic"

Giarola M., Mariotto G. (2011) "Lanthanide doped upconverting colloidal CaF2 nanoparticles prepared by a single-step hydrothermal method: toward efficient materials with near infrared-to-near infrared upconversion emission"

N. Daldosso (2011) "Light emission and floating gate memory characteristics of germanium nanocrystals"

IANNIZZOTTO A (2011) "Low-dimensional compact embeddings of symmetric Sobolev spaces with applications"

Boschi F. (2011) "Luminescence and fluorescence of essential oils. Fluorescence imaging in vivo of wild chamomile oil."

Manca V., Marchetti L. (2011) "MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test"

Marzola P (2011) "Magnetic nanoparticles--templated assembly of protein subunits: a new platform for carbohydrate-based MRI nanoprobes. "

Carlo Combi (2011) "Mario Stefanelli, 1945–2010"

Antonio Marigonda (2011) "Metric formulae for nonconvex Hamilton-Jacobi equations and applications"

A. Calanca (2011) "Mimo closed loop identification of an industrial robot"

MASINI A., VIGANO' L., ZORZI M. (2011) "Modal Deduction Systems for Quantum State Transformations"

I. Mastroeni (2011) "Modeling Declassification Policies using Abstract Domain Completeness"

Squassina M. (2011) "Mountain pass solutions for quasi-linear equations via a monotonicity trick"

P. Marzola, F. Boschi (2011) "Multispectral Cerenkov luminescence tomography for small animal optical imaging."

C. Daffara (2011) "Multispectral Infrared Reflectography to Differentiate Features in Paintings"

G. Franco (2011) "On Aggregation in Multiset-Based Self-Assembly of Graphs"

Squassina Marco (2011) "On Ekeland's variational principle"

Squassina Marco (2011) "On Palais' principle for non-smooth functionals"

L. Bos (2011) "On Whittaker-Shannon sampling by means of Berrut's rational interpolant and its extension by Floater and Hormann"

Squassina M. (2011) "On a result by Boccardo-Ferone-Fusco-Orsina"

Maria Paola Bonacina (2011) "On deciding satisfiability by theorem proving with speculative inferences"

FRANCO G., MANCA V. (2011) "On synthesizing a replicating metabolic system by membrane systems"

Bos L. (2011) "On the Lebesgue constant of Berrut's rational interpolant at equidistant nodes"

Carra Damiano (2011) "On the Robustness of BitTorrent Swarms to Greedy Peers"

RIZZI R. (2011) "On the approximability of the minimum strictly fundamental cycle basis problem."

g. orlandi (2011) "On the gradient flow of a one-homogeneous functional"

Squassina M. (2011) "On the symmetry of minimizers in constrained quasi-linear problems"

Squassina M. (2011) "On the well-posedness of a class of nonlinear Schrodinger systems"

Boschi F. (2011) "Optical imaging of Tc-99m-based tracers: in vitro and in vivo results."

Boschi F. (2011) "Optical imaging of alpha emitters: simulations, phantom, and in vivo results."

S. Residori (2011) "Optical vortex interaction and generation via nonlinear wave mixing"

F. Monti (2011) "Overexpression of PhEXPA1 increases cell size, modifies cell wall polymer composition and affects the timing of axillary meristem development in Petunia hybrida."

CALIARI M. (2011) "Padua2DM: fast interpolation and cubature at the Padua points inMatlab/Octave"

IANNIZZOTTO A (2011) "Positive solutions for generalized nonlinear logistic equations of superdiffusive type"

F. Spoto (2011) "Precise Null-Pointer Analysis"

Vigano' Luca (2011) "Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning""

Bicego M., Cristani M., Murino V. (2011) "Principal Component Analysis In Dynamic Force Spectroscopy"

Segala R. (2011) "Probabilistic Logical Characterization"

Di Pierro A. (2011) "Probabilistic Timing Covert Channels: To Close or not to Close?"

L. Bos (2011) "Proof of Validity of First-Order Seismic Traveltime Estimates"

Squassina M. (2011) "Radial symmetry of minimax critical points for nonsmooth functionals"

Menegaz G. (2011) "Re-locating colors in the OSA space"

Giachetti A (2011) "Real-Time Artifact-Free Image Upscaling"

ANGELERI LIDIA (2011) "Recollements and tilting objects"

R. Giacobazzi (2011) "Relock-based vulnerability in Windows 7"

A. Romeo (2011) "Review: The second-generation of CdTe and CuInGaSe2 thin filmPV modules"

Muradore R., Bresolin D., Fiorini P., Villa T. (2011) "Robotic surgery: formal verification of plans"

Pozzani G., Combi C. (2011) "ST4SQL: a spatio-temporal query language dealing with granularities"

S. Residori (2011) "Sagnac interferometer with adaptive nonlinear detection"

N. Daldosso (2011) "Si nanoclusters coupled to Er(3+) ions in a SiO(2) matrix for optical amplifiers"

Ali Ghafarinazari (2011) "Simulation and determination of optimum conditions of pervaporative dehydration of isopropanol process using synthesized PVA–APTEOS/TEOS nanocomposite membranes by means of expert systems"

G. Orlandi (2011) "Slow motion for gradient systems with equal depth multiple-well potentials"

Luca Di Persio (2011) "Small noise asymptotic expansions for stochastic PDE's, I. The case of a dissipative polynomially bounded non linearity"

Luca Di Persio (2011) "Some stochastic dynamical models in neurobiology: recent developments"

Castellani Umberto, Cristani Marco, Vittorio Murino (2011) "Statistical 3D shape analysis by local generative descriptors"

ANGELERI LIDIA (2011) "Stratifying derived module categories"

M. Giarola, G. Mariotto (2011) "Synthesis, characterization and optical spectroscopy of Eu3+ doped titanate nanotubes"

Ali Ghafarinazari (2011) "Taguchi optimization approach for Pb(II) and Hg(II) removal from aqueous solutions using modified mesoporous carbon"

IANNIZZOTTO A (2011) "Three periodic solutions for an ordinary differential inclusion with two parameters"

IANNIZZOTTO A (2011) "Three solutions for a partial differential inclusion via nonsmooth critical point theory"

ANGELERI L. (2011) "Tilting modules arising from ring epimorphisms"

Roberto Giacobazzi (2011) "Toward Digital Asset Protection"

Boschi F. (2011) "Unsupervised analysis of small animal dynamic Cerenkov luminescence imaging."

Zampieri Gaetano (2011) "Variational aspects of analytical mechanics"

M. Pascucci (2011) "Verità e Giustificazione degli Asserti Temporali"

Giarola M., G. Mariotto (2011) "Vibrational dynamics of YPO4 and ScPO4 single crystals: an integrated study by polarized Raman spectroscopy and first principles calculations"

S. Residori (2011) "Vortex emission accompanies the advection of optical localized structures"

BOS L. (2011) "Weakly Admissible Meshes and Discrete Extremal Sets"

Paolo Fiorini (2011) "What information do Kármán streets offer to flow sensing?"

Mantese F (2011) "When the heart of a fatithful torsion pair is a module category"

CALVI Alberto, VIGANO' Luca (2011) "Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services"

Andrea Giachetti (2011) "Photonic scanning for anthropometry"