IL PORTALE per la RICERCA dei DIPARTIMENTI

A. Policriti (2013) "(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program"

A. Policriti, F. Nadalin (2013) "A Catalog of Molecular Diversity of Prunus Germplasm Gathered from Aligning NGS Reads to the Peach Reference Sequence: Bioinformatic Approaches and Challenges"

F. Campeotto, A. Dovier, F. Fioretto (2013) "A Constraint Solver for Flexible Protein Models"

Manuela Farinosi (2013) "A New Fashion: Dressing Up the Cities"

Dovier A (2013) "A Tabled Prolog Program for Solving Sokoban"

F. Zanolin (2013) "A crossing lemma for annular regions and invariant sets with an application to planar dynamical systems"

Franceschet M, Gubiani D, Montanari A, Piazza C (2013) "A graph-theoretic approach to map conceptual designs to XML schemas"

G.L. Foresti (2013) "A multimodal learning system for individuals with sensorial, neuropsychological and relational impairments"

BREDA D, VERMIGLIO R (2013) "A numerical approach to investigate the stability of equilibria for structured population models"

LANCIA G (2013) "Alberto Caprara (1968-2012): Scientific Contributions"

Corvaja P. (2013) "Algebraic hyperbolicity of ramified covers of G2m (and integral points on affine subsets of P2)."

Alfredo Soldati (2013) "Anisotropic particles in turbulence: status and outlook"

Hans Weber (2013) "Approximation of Finitely Additive Functions with Values in Topological Groups"

Riccardo Vicedomini (2013) "Assemblathon 2: evaluating de novo methods of genome assembly in three vertebrate species"

A. D. Angelis (2013) "Associating long-term ¿-ray variability with the superorbital period of LS i +61°303"

Dovier A (2013) "Autonomous agents coordination: Action languages meet CLP(FD) and Linda"

SERAFINI P (2013) "Combinatorial optimization problems with normal random costs"

Dikran Dikranjan, Anna Giordano Bruno (2013) "Compact groups with a dense free abelian subgroup"

F. Zanolin (2013) "Complex Dynamics in Pendulum-Type Equations with Variable Length"

Dikranjan Dikran, Giordano Bruno Anna (2013) "Discrete dynamical systems in group theory"

Dovier A (2013) "Editorial, December 2013"

Dovier A (2013) "Editorial, January 2013"

Dovier A (2013) "Editorial, June 2013"

Dovier A (2013) "Editorial, September 2013"

A. D. Angelis (2013) "Electroweak measurements in electron-positron collisions at W-boson-pair energies at LEP"

Dikran DIKRANJAN (2013) "Endomorphisms of abelian groups with small algebraic entropy"

Dikran Dikranjan, Anna Giordano Bruno (2013) "Entropy in a category"

A. D. Angelis (2013) "Erratum: Fermi large area telescope study of cosmic-rays and the interstellar medium in nearby molecular clouds (ApJ (2012) 755 (22))"

F. Buttussi, L. Chittaro (2013) "Evaluation of a 3D serious game for advanced life support retraining"

SERAFINI P (2013) "Exact Solution of the Robust Knapsack Problem"

SNIDARO L (2013) "Experiences and Challenges in Automated Support for Intelligence in Asymmetric Operations"

DATTOLO A (2013) "Exploiting tag similarities to discover synonyms and homonyms in folksonomies"

A. d. Angelis (2013) "FERMI LARGE AREA TELESCOPE STUDY OF COSMIC-RAYS AND THE INTERSTELLAR MEDIUM IN NEARBY MOLECULAR CLOUDS (vol 755, 22, 2012)"

F. Blanchini (2013) "Fair and optimal dynamic admission control of elastic flows"

PIGHIN M (2013) "Fault Persistency and Fault Prediction in Optimization of Software Release"

A. de Angelis, R. Desiante (2013) "Fermi-LAT Observations of the Gamma-Ray Burst GRB 130427A"

Corvaja P. (2013) "Finiteness of odd perfect powers with four nonzero binary digits"

Dikran Dikranjan, Anna Giordano Bruno (2013) "Fully inert subgroups of divisible Abelian groups"

Riccardo Vicedomini, Alberto Policriti (2013) "GAM-NGS: genomic assemblies merger for next generation sequencing"

Gorni G (2013) "Global isochronous potentials"

Corvaja P. (2013) "Greatest common divisors of u-1, v-1 in positive characteristic and rational points on curves over finite fields"

Weber H (2013) "Hausdorff measures of subgroups of $\mathbb R/\mathbb Z$ and $\mathbb{R}$"

F. Zanolin (2013) "Homoclinic and heteroclinic solutions for a class of second-order non-autonomous ordinary differential equations: Multiplicity results for stepwise potentials"

FRENI D (2013) "Hypergroups with a strongly unilateral identity"

Christian Micheloni, Gian Luca Foresti (2013) "Incorporating linear discriminant analysis in neural tree for multidimensional splitting"

A. De Angelis (2013) "Introducing the CTA concept"

A. MARCONE (2013) "Invariantly universal analytic quasi-orders"

Piciarelli C, Micheloni C, Foresti G L (2013) "Kernel-Based Clustering"

Alfredo Soldati (2013) "Large eddy simulation of the differentially heated cubic cavity flow by the spectral element method"

BARBIERI G (2013) "Lineability and spaceability on vector-measure spaces "

S. Ansoldi, A. De Angelis, M. Palatiello (2013) "MAGIC upper limits on the GRB 090102 afterglow"

A. d. Angelis (2013) "MULTIWAVELENGTH OBSERVATIONS OF GRB 110731A: GeV EMISSION FROM ONSET TO AFTERGLOW"

Policriti A. (2013) "Markov chain algorithms for generating sets uniformly at random"

PANTI G (2013) "Measures induced by units"

MONTANARI A (2013) "Metric propositional neighborhood logics on natural numbers"

Dikran DIKRANJAN, Daniele IMPIERI (2013) "Metrizability of some hereditarily normal compact like groups"

Dikran DIKRANJAN (2013) "Metrization criteria for compact groups in terms of their dense subgroups"

Alfredo Soldati (2013) "Minimal perfusion flow for osteogenic growth of mesenchymal stem cells on lattice scaffolds"

Alfredo Soldati (2013) "Mixing and entrainment in the near field of turbulent round jets"

L. Chittaro (2013) "Navigation and exploration of an urban virtual environment by children with autism spectrum disorder compared to children with typical development"

Freddi L (2013) "No-tension bodies: A reinforcement problem"

Freddi L (2013) "Nonlinear Thin-Walled Beams with a Rectangular Cross-section - Part II"

A. De Angelis, M. Palatiello (2013) "Observations of the magnetars 4U¿0142+61 and 1E¿2259+586 with the MAGIC telescopes"

D'AGOSTINO G (2013) "On Modal mu--Calculus in S5 and Applications"

D'AGOSTINO G (2013) "On modal µ-calculus over reflexive symmetric graphs"

Freni D (2013) "On strongly conjugable extensions of hypergroups of type U with scalar identity"

De Poi P, Zucconi F (2013) "On subcanonical Gorenstein varieties and apolarity"

BURIGAT Stefano, CHITTARO Luca (2013) "On the Effectiveness of Overview+Detail Visualization on Mobile Devices"

De Poi P (2013) "On varieties with higher osculating defect"

BARBIERI G, WEBER H (2013) "Openness of measures and closedness of their range"

Montanari A. (2013) "Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers"

ZANOLIN F (2013) "Pairs of nodal solutions for a class of nonlinear problems with one-sided growth conditions"

Alfredo Soldati (2013) "Particle and droplet deposition in turbulent swirled pipe flow"

Federico Fontana (2013) "Pavarotti Sings Again: A Multidisciplinary Approach to the Active Preservation of the Audio Collection at theArena di Verona"

Dattolo Antonina (2013) "Perspectives in semantic adaptive social Web"

Alfredo Soldati (2013) "Phase discrimination and object fitting to measure fibers distribution and orientation in turbulent pipe flows"

Della Mea V (2013) "Preliminary slide scanner throughput evaluation in a intensive digitization facility setting"

Dikran DIKRANJAN (2013) "Productivity of the Zariski topology on groups"

BARBIERI G (2013) "Pseudo-D-lattices and Lyapunov measures"

Freddi L (2013) "Quasistatic delamination of sandwich-like Kirchhoff-Love plates"

Musina R (2013) "Radially symmetric solutions to the Hénon-Lane-Emden system on the critical hyperbola"

C. Piazza, A. Policriti (2013) "Rank and simulation: the well-founded case"

A. D. Angelis (2013) "Relevance of axionlike particles for very-high-energy astrophysics (vol 84, 105030, 2011)"

Freddi L (2013) "Residually stressed beams"

Bozzo E, Franceschet M (2013) "Resistance distance, closeness, and betweenness"

D. Ballis (2013) "Rewriting-based Repairing Strategies for XML Repositories"

N. Martinel, C. Micheloni, G.L. Foresti (2013) "Robust Painting Recognition and Registration for Mobile Augmented Reality"

Alfredo Soldati (2013) "Rotation statistics of fibers in wall shear turbulence"

Dikranjan D, Giordano Bruno A (2013) "Scale function vs Topological entropy"

A. D. Angelis (2013) "Search for gamma-ray spectral lines with the Fermi Large Area Telescope and dark matter implications"

F. Zanolin (2013) "Second-order ordinary differential equations with indefinite weight: the Neumann boundary value problem"

Della Mea V (2013) "Sharing Ontology between ICD 11 and SNOMED CT will enable Seamless Re-use and Semantic Interoperability"

Corvaja P. (2013) "Sharpening `Manin-Mumford' for certain algebraic groups of dimension 2"

TOADER R (2013) "Some remarks on the viscous approximation of crack growth"

A. D. Angelis (2013) "Status of MAGIC and recent results"

F. Blanchini (2013) "Structural properties of the MAPK pathway topologies in PC12 cells"

ZANOLIN F (2013) "Subharmonic solutions for nonlinear second order equations in presence of lower and upper solutions"

Musina R (2013) "Symmetry breaking of extremals for the Caffarelli-Kohn-Nirenberg inequalities in a non-Hilbertian setting"

ZUDDAS F (2013) "Szegö kernel, regular quantizations and spherical CR-structures"

A. de Angelis, R. Desiante (2013) "THE FIRSTFERMI-LAT CATALOG OF SOURCES ABOVE 10 GeV"

A. de Angelis, R. Desiante (2013) "THE FIRSTFERMI-LAT GAMMA-RAY BURST CATALOG"

A. D. Angelis (2013) "The Fermi all-sky variability analysis: A list of flaring gamma-ray sources and the search for transients in our galaxy"

A. de Angelis, R. Desiante (2013) "The First Pulse of the Extremely Bright GRB 130427A: A Test Lab for Synchrotron Shocks"

Bozzo E (2013) "The Moore-Penrose inverse of the normalized graph Laplacian"

Vicedomini Riccardo (2013) "The Norway spruce genome sequence and conifer genome evolution"

Federico Fontana (2013) "The Safeguard of Audio Collections: A Computer Science Based Approach to Quality Control—The Case of the Sound Archive of the Arena di Verona"

A. D. Angelis (2013) "The Second Fermi Large Area Telescope Catalog of Gamma-ray Pulsars"

Policriti A (2013) "The high-quality draft genome of peach (Prunus persica) identifies unique patterns of genetic diversity, domestication and genome evolution"

F. Blanchini (2013) "The linear saturated decentralized strategy for constrained flow control is asymptotically optimal"

A. De Angelis, M. Palatiello (2013) "The simultaneous low state spectral energy distribution of 1ES¿2344+514 from radio to very high energies"

Alfredo Soldati (2013) "Time persistence of floating-particle clusters in free-surface turbulence"

L. Chittaro, A. Vianello (2013) "Time perspective as a predictor of problematic Internet use: A study of Facebook users"

A. D. Angelis (2013) "Transparency of the Universe to gamma-rays"

Alfredo Soldati (2013) "Turbulence modulation across the interface of a large deformable drop"

ANSOLDI S (2013) "Unified Dark Energy-Dark Matter model with Inverse Quintessence"

Alfredo Soldati (2013) "Unified framework for a side-by-side comparison of different multicomponent algorithms: Lattice Boltzmann vs. phase field model"

A. De Angelis, M. Palatiello (2013) "Very high energy gamma-ray observation of the peculiar transient event Swift J1644+57 with the MAGIC telescopes and AGILE"

MUSINA R (2013) "Weighted Sobolev spaces of radially symmetric functions"

Alberto Policriti (2013) "Well-quasi-ordering hereditarily finite sets"

Della Mea V, Vuattolo O (2013) "Social Network Integration of the ICD11 Revision Platform"