Sezione D - Produzione scientifica
-
- Contributo in rivista
- [114]
-
- Contributo in volume
- [5]
-
- Libro
- [2]
-
- Contributo in atti di convegno
- [109]
-
- Altra tipologia
- [5]
-
- Brevetto
- [1]
-
- Curatela
- [1]
Contributo in rivista
Le pubblicazioni visualizzate in questo quadro sono ordinate per Classificazione, Titolo. Vengono visualizzati gli autori appartenenti al Dipartimento. Per consultare la lista completa delle informazioni relative alle pubblicazioni cliccare sul nome autori. Il campo "Provenienza del dato", se presente, indica il CRIS di Ateneo di provenienza del dato.
N. | Classificazione | Pubblicazione |
---|---|---|
1. | Articolo in rivista |
VIGANO' Luca (2011) "A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
2. | Articolo in rivista |
M. Merro (2011) "A Timed calculus of wireless systems" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
3. | Articolo in rivista |
Marzola P., Boschi F. (2011) "A new model of rectal cancer with regional lymph node metastasis allowing in vivo evaluation by imaging biomarkers." Scopus: 2-s2.0-80052658209 Web of Science: WOS:000296961900003 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/01, FIS/07 Provenienza del dato: UGOV VERONA |
4. | Articolo in rivista |
G. Franco, V. Manca (2011) "Algorithmic Applications of XPCR" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
5. | Articolo in rivista |
I. Mastroeni, R. Giacobazzi (2011) "An Abstract Interpretation-based Model for Safety Semantics" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
6. | Articolo in rivista |
Squassina M. (2011) "An approach to minimization under a constraint: the added mass technique" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
7. | Articolo in rivista |
Rizzi Romeo (2011) "Approximation of RNA multiple structural alignment." Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/09 Provenienza del dato: UGOV VERONA |
8. | Articolo in rivista |
C. Combi (2011) "Artificial Intelligence in Medicine AIME 2009." Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
9. | Articolo in rivista |
Angeleri Lidia (2011) "Auslander-Reiten-components over pure-semisimple hereditary rings" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA |
10. | Articolo in rivista |
N. Bombieri, F. Fummi, G. Pravadelli (2011) "Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions" Scopus: 2-s2.0-84865223038 Web of Science: WOS:000296235300006 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
11. | Articolo in rivista |
Farinelli A. (2011) "Bounded Approximate Decentralised Coordination via the Max-Sum Algorithm" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
12. | Articolo in rivista |
Boschi F. (2011) "Cherenkov radiation imaging of beta emitters: in vitro and in vivo results." Scopus: 2-s2.0-79960842476 Web of Science: WOS:000305376900076 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
13. | Articolo in rivista |
Mariotto G. (2011) "Chromiun doping of silicate glasses by field-assisted solid-state ion exchange" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
14. | Articolo in rivista |
Zampieri Gaetano (2011) "Completely Integrable Hamiltonian Systems with Weak Lyapunov Instability or Isochrony" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
15. | Articolo in rivista |
G. Mariotto (2011) "Composition and concentration dependence of spectroscopic properties of Nd3+-doped tellurite and metaborate glasses" Scopus: 2-s2.0-79952535598 Web of Science: WOS:000289390000035 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
16. | Articolo in rivista |
Masini A., Zorzi M. (2011) "Confluence results for a quantum lambda calculus with measurements" Scopus: 2-s2.0-79751487364 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
17. | Articolo in rivista |
Pesarin Anna, Cristani Marco, Murino Vittorio (2011) "Conversation analysis at work: detection of conflict in competitive discussions through semi-automaticturn-organization analysis" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA |
18. | Articolo in rivista |
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" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
19. | Articolo in rivista |
Fiorini S., Marzola P. (2011) "DCE-MRI using small-molecular and albumin-binding contrast agents in experimental carcinomas with different stromal content." Scopus: 2-s2.0-79954875973 Web of Science: WOS:000289558000007 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
20. | Articolo in rivista |
G. Franco (2011) "Data analysis pipeline from laboratory to MP models" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
21. | Articolo in rivista |
Mantese F. (2011) "Derived equivalence induced by infinitely generated n-tilting modules" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA |
22. | Articolo in rivista |
Castellani U., Bicego M., Murino V. (2011) "Dissimilarity-based detection of schizophrenia." Scopus: 2-s2.0-79955927394 Web of Science: WOS:000291155100009 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01, ING-INF/05 Provenienza del dato: UGOV VERONA |
23. | Articolo in rivista |
VIGANO' Luca (2011) "Distributed Temporal Logic for the Analysis of Security Protocol Models" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
24. | Articolo in rivista |
Fiorini S., Marzola P. (2011) "Early versus late GD-DTPA MRI enhancement in experimental glioblastomas." Scopus: 2-s2.0-79952270378 Web of Science: WOS:000287951100005 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
25. | Articolo in rivista |
N. Daldosso (2011) "Effect of the annealing treatments on the transport and electroluminescence properties of SiO2 layers doped with Er and Si nanoclusters" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
26. | Articolo in rivista |
Fummi Franco, Pravadelli Graziano (2011) "Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
27. | Articolo in rivista |
N. Daldosso (2011) "Electroluminescence and charge storage characteristics of quantum confined germanium nanocrystals" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
28. | Articolo in rivista |
N. Daldosso (2011) "Erbium implanted silicon rich oxide thin films suitable for slot waveguides applications" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
29. | Articolo in rivista |
S. Residori (2011) "Experimental observation of speckle instability in Kerr random media" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
30. | Articolo in rivista |
Giarola M., Marzola P., Mariotto G. (2011) "Fast and minimally invasive determination of the unsaturation index of white fat depots by micro-Raman spectroscopy." Scopus: 2-s2.0-79959863426 Web of Science: WOS:000291226700010 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
31. | Articolo in rivista |
Luca Di Persio (2011) "Gaussian estimates on networks with applications to optimal control" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/06 Provenienza del dato: UGOV VERONA |
32. | Articolo in rivista |
Cristani M, Pesarin A, Murino V (2011) "Generative Modeling and Classification of Dialogs by a Low-level Turn-taking Feature" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01, ING-INF/05 Provenienza del dato: UGOV VERONA |
33. | Articolo in rivista |
Bos L. (2011) "Geometric Weakly Admissible Meshes, Discrete Least Squares Approximations and Approximate Fekete Points" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA |
34. | Articolo in rivista |
S. Residori (2011) "Granularity and inhomogeneity are the joint generators of optical rogue waves" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
35. | Articolo in rivista |
S. Residori (2011) "Homoclinic snaking of localized patterns in a spatially forced system" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
36. | Articolo in rivista |
Boschi F. (2011) "In vivo (18)F-FDG tumour uptake measurements in small animals using Cerenkov radiation." Scopus: 2-s2.0-79551551801 Web of Science: WOS:000285927700017 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
37. | Articolo in rivista |
IANNIZZOTTO A (2011) "Infinitely many bounded solutions for the p-Laplacian with nonlinear boundary conditions" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 |
38. | Articolo in rivista |
Fiorini S., Marzola P. (2011) "Investigation of adipose tissues in Zucker rats using in vivo and ex vivo magnetic resonance spectroscopy." Scopus: s2.0-78751563412 Web of Science: WOS:000286181400015 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
39. | Articolo in rivista |
Ali Ghafarinazari (2011) "Ion exchange behaviour of silver-doped apatite micro- and nanoparticles as antibacterial biomaterial" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
40. | Articolo in rivista |
Menegaz G. (2011) "Is the "azul" class unique in the Spanish language?" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
41. | Articolo in rivista |
Liptįk Zsuzsanna (2011) "KABOOM! A new suffix array based algorithm for clustering expression data" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
42. | Articolo in rivista |
V. Manca, L. Marchetti (2011) "LOG-GAIN STOICHIOMETRIC STEPWISE REGRESSIONFOR MP SYSTEMS" Lingua: ITA Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
43. | Articolo in rivista |
MASINI ANDREA, VIGANO' LUCA, VOLPE MARCO (2011) "Labelled natural deduction for a bundled branching temporal logic" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
44. | Articolo in rivista |
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" Scopus: 2-s2.0-79953748709 Web of Science: WOS:000289306900013 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
45. | Articolo in rivista |
N. Daldosso (2011) "Light emission and floating gate memory characteristics of germanium nanocrystals" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
46. | Articolo in rivista |
IANNIZZOTTO A (2011) "Low-dimensional compact embeddings of symmetric Sobolev spaces with applications" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 |
47. | Articolo in rivista |
Boschi F. (2011) "Luminescence and fluorescence of essential oils. Fluorescence imaging in vivo of wild chamomile oil." Scopus: 2-s2.0-84858317182 Web of Science: WOS:000293660500008 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
48. | Articolo in rivista |
Manca V., Marchetti L. (2011) "MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
49. | Articolo in rivista |
Marzola P (2011) "Magnetic nanoparticles--templated assembly of protein subunits: a new platform for carbohydrate-based MRI nanoprobes. " Scopus: s2.0-79953879335 Web of Science: WOS:000289492700046 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
50. | Articolo in rivista |
Carlo Combi (2011) "Mario Stefanelli, 19452010" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
51. | Articolo in rivista |
Antonio Marigonda (2011) "Metric formulae for nonconvex Hamilton-Jacobi equations and applications" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
52. | Articolo in rivista |
A. Calanca (2011) "Mimo closed loop identification of an industrial robot" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
53. | Articolo in rivista |
MASINI A., VIGANO' L., ZORZI M. (2011) "Modal Deduction Systems for Quantum State Transformations" Scopus: 2-s2.0-79955924938 Web of Science: WOS:000291082900004 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
54. | Articolo in rivista |
I. Mastroeni (2011) "Modeling Declassification Policies using Abstract Domain Completeness" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
55. | Articolo in rivista |
Squassina M. (2011) "Mountain pass solutions for quasi-linear equations via a monotonicity trick" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
56. | Articolo in rivista |
P. Marzola, F. Boschi (2011) "Multispectral Cerenkov luminescence tomography for small animal optical imaging." Scopus: 2-s2.0-79959476904 Web of Science: WOS:000292867600076 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01, FIS/07 Provenienza del dato: UGOV VERONA |
57. | Articolo in rivista |
C. Daffara (2011) "Multispectral Infrared Reflectography to Differentiate Features in Paintings" Scopus: 2-s2.0-80054895540 Web of Science: WOS:000295609100007 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
58. | Articolo in rivista |
G. Franco (2011) "On Aggregation in Multiset-Based Self-Assembly of Graphs" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
59. | Articolo in rivista |
Squassina Marco (2011) "On Ekeland's variational principle" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
60. | Articolo in rivista |
Squassina Marco (2011) "On Palais' principle for non-smooth functionals" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
61. | Articolo in rivista |
L. Bos (2011) "On Whittaker-Shannon sampling by means of Berrut's rational interpolant and its extension by Floater and Hormann" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA |
62. | Articolo in rivista |
Squassina M. (2011) "On a result by Boccardo-Ferone-Fusco-Orsina" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
63. | Articolo in rivista |
Maria Paola Bonacina (2011) "On deciding satisfiability by theorem proving with speculative inferences" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
64. | Articolo in rivista |
FRANCO G., MANCA V. (2011) "On synthesizing a replicating metabolic system by membrane systems" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
65. | Articolo in rivista |
Bos L. (2011) "On the Lebesgue constant of Berrut's rational interpolant at equidistant nodes" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA |
66. | Articolo in rivista |
Carra Damiano (2011) "On the Robustness of BitTorrent Swarms to Greedy Peers" Scopus: 2-s2.0-80055055189 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
67. | Articolo in rivista |
RIZZI R. (2011) "On the approximability of the minimum strictly fundamental cycle basis problem." Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/09 |
68. | Articolo in rivista |
g. orlandi (2011) "On the gradient flow of a one-homogeneous functional" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
69. | Articolo in rivista |
Squassina M. (2011) "On the symmetry of minimizers in constrained quasi-linear problems" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
70. | Articolo in rivista |
Squassina M. (2011) "On the well-posedness of a class of nonlinear Schrodinger systems" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
71. | Articolo in rivista |
Boschi F. (2011) "Optical imaging of Tc-99m-based tracers: in vitro and in vivo results." Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
72. | Articolo in rivista |
Boschi F. (2011) "Optical imaging of alpha emitters: simulations, phantom, and in vivo results." Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
73. | Articolo in rivista |
S. Residori (2011) "Optical vortex interaction and generation via nonlinear wave mixing" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
74. | Articolo in rivista |
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." Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
75. | Articolo in rivista |
CALIARI M. (2011) "Padua2DM: fast interpolation and cubature at the Padua points inMatlab/Octave" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA |
76. | Articolo in rivista |
IANNIZZOTTO A (2011) "Positive solutions for generalized nonlinear logistic equations of superdiffusive type" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 |
77. | Articolo in rivista |
F. Spoto (2011) "Precise Null-Pointer Analysis" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
78. | Articolo in rivista |
Vigano' Luca (2011) "Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
79. | Articolo in rivista |
Bicego M., Cristani M., Murino V. (2011) "Principal Component Analysis In Dynamic Force Spectroscopy" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA |
80. | Articolo in rivista |
Segala R. (2011) "Probabilistic Logical Characterization" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
81. | Articolo in rivista |
Di Pierro A. (2011) "Probabilistic Timing Covert Channels: To Close or not to Close?" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
82. | Articolo in rivista |
L. Bos (2011) "Proof of Validity of First-Order Seismic Traveltime Estimates" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA |
83. | Articolo in rivista |
Squassina M. (2011) "Radial symmetry of minimax critical points for nonsmooth functionals" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
84. | Articolo in rivista |
Menegaz G. (2011) "Re-locating colors in the OSA space" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
85. | Articolo in rivista |
Giachetti A (2011) "Real-Time Artifact-Free Image Upscaling" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
86. | Articolo in rivista |
ANGELERI LIDIA (2011) "Recollements and tilting objects" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA |
87. | Articolo in rivista |
R. Giacobazzi (2011) "Relock-based vulnerability in Windows 7" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
88. | Articolo in rivista |
A. Romeo (2011) "Review: The second-generation of CdTe and CuInGaSe2 thin filmPV modules" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
89. | Articolo in rivista |
Muradore R., Bresolin D., Fiorini P., Villa T. (2011) "Robotic surgery: formal verification of plans" Scopus: 2-s2.0-80052894233 Web of Science: WOS:000294893000008 Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05 |
90. | Articolo in rivista |
Pozzani G., Combi C. (2011) "ST4SQL: a spatio-temporal query language dealing with granularities" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
91. | Articolo in rivista |
S. Residori (2011) "Sagnac interferometer with adaptive nonlinear detection" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
92. | Articolo in rivista |
N. Daldosso (2011) "Si nanoclusters coupled to Er(3+) ions in a SiO(2) matrix for optical amplifiers" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
93. | Articolo in rivista |
Ali Ghafarinazari (2011) "Simulation and determination of optimum conditions of pervaporative dehydration of isopropanol process using synthesized PVAAPTEOS/TEOS nanocomposite membranes by means of expert systems" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
94. | Articolo in rivista |
G. Orlandi (2011) "Slow motion for gradient systems with equal depth multiple-well potentials" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
95. | Articolo in rivista |
Luca Di Persio (2011) "Small noise asymptotic expansions for stochastic PDE's, I. The case of a dissipative polynomially bounded non linearity" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/06 Provenienza del dato: UGOV VERONA |
96. | Articolo in rivista |
Luca Di Persio (2011) "Some stochastic dynamical models in neurobiology: recent developments" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/06 Provenienza del dato: UGOV VERONA |
97. | Articolo in rivista |
Castellani Umberto, Cristani Marco, Vittorio Murino (2011) "Statistical 3D shape analysis by local generative descriptors" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
98. | Articolo in rivista |
ANGELERI LIDIA (2011) "Stratifying derived module categories" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA |
99. | Articolo in rivista |
M. Giarola, G. Mariotto (2011) "Synthesis, characterization and optical spectroscopy of Eu3+ doped titanate nanotubes" Scopus: 2-s2.0-79959938479 Web of Science: WOS:000294877500007 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
100. | Articolo in rivista |
Ali Ghafarinazari (2011) "Taguchi optimization approach for Pb(II) and Hg(II) removal from aqueous solutions using modified mesoporous carbon" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
101. | Articolo in rivista |
IANNIZZOTTO A (2011) "Three periodic solutions for an ordinary differential inclusion with two parameters" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 |
102. | Articolo in rivista |
IANNIZZOTTO A (2011) "Three solutions for a partial differential inclusion via nonsmooth critical point theory" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 |
103. | Articolo in rivista |
ANGELERI L. (2011) "Tilting modules arising from ring epimorphisms" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA |
104. | Articolo in rivista |
Roberto Giacobazzi (2011) "Toward Digital Asset Protection" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
105. | Articolo in rivista |
Boschi F. (2011) "Unsupervised analysis of small animal dynamic Cerenkov luminescence imaging." Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
106. | Articolo in rivista |
Zampieri Gaetano (2011) "Variational aspects of analytical mechanics" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
107. | Articolo in rivista |
M. Pascucci (2011) "Veritą e Giustificazione degli Asserti Temporali" Lingua: ITA Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
108. | Articolo in rivista |
Giarola M., G. Mariotto (2011) "Vibrational dynamics of YPO4 and ScPO4 single crystals: an integrated study by polarized Raman spectroscopy and first principles calculations" Scopus: 2-s2.0-79961139240 Web of Science: WOS:000291797600003 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
109. | Articolo in rivista |
S. Residori (2011) "Vortex emission accompanies the advection of optical localized structures" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/01 Provenienza del dato: UGOV VERONA |
110. | Articolo in rivista |
BOS L. (2011) "Weakly Admissible Meshes and Discrete Extremal Sets" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV VERONA |
111. | Articolo in rivista |
Paolo Fiorini (2011) "What information do Kįrmįn streets offer to flow sensing?" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
112. | Articolo in rivista |
Mantese F (2011) "When the heart of a fatithful torsion pair is a module category" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/02 Provenienza del dato: UGOV VERONA |
113. | Articolo in rivista |
CALVI Alberto, VIGANO' Luca (2011) "Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
114. | Abstract in rivista |
Andrea Giachetti (2011) "Photonic scanning for anthropometry" Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
Sezione E - Internazionalizzazione
-
- Contributo in rivista
- [56]
-
- Contributo in volume
- [2]
-
- Libro
- [0]
-
- Contributo in atti di convegno
- [44]
-
- Altra tipologia
- [0]
-
- Brevetto
- [0]
-
- Curatela
- [1]
Contributo in atti di convegno
Le pubblicazioni visualizzate in questo quadro sono ordinate per Classificazione, Titolo. Vengono visualizzati gli autori appartenenti al Dipartimento. Per consultare la lista completa delle informazioni relative alle pubblicazioni cliccare sul nome autori. Il campo "Provenienza del dato", se presente, indica il CRIS di Ateneo di provenienza del dato.
N. | Classificazione | Pubblicazione |
---|---|---|
1. | Contributo in Atti di convegno |
RIZZI R. (2011) "A Polynomial-Time Algorithm for Finding a Minimal Conflicting Set Containing a Given Row" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/09 |
2. | Contributo in Atti di convegno |
Castellani Umberto, Murino Vittorio (2011) "A multiple kernel learning algorithm for cell nucleus classification of renal cell carcinoma" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
3. | Contributo in Atti di convegno |
Castellani Umberto, Murino Vittorio (2011) "A new shape diffusion descriptor for brain classification" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
4. | Contributo in Atti di convegno |
Carra Damiano (2011) "Adaptive Load Balancing in KAD" Scopus: 2-s2.0-80054969283 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
5. | Contributo in Atti di convegno |
D. Bresolin (2011) "An Optimal Decision Procedure for MPNL over the Integers" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 |
6. | Contributo in Atti di convegno |
Menegaz G. (2011) "Analysis of Superior and Inferior Parietal Lobe Function duringDepth Perception and Spatial Manipulation in Surgical Robotics" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
7. | Contributo in Atti di convegno |
S. Baldo, G. Orlandi (2011) "Asymptotics for Ginzburg-Landau energies in 3-D condensed matter physics" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 Provenienza del dato: UGOV VERONA |
8. | Contributo in Atti di convegno |
Bicego M., Cristani M, Murino V. (2011) "CLOOSTING: CLustering Data with bOOSTING" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA |
9. | Contributo in Atti di convegno |
Castellani Umberto, Murino Vittorio (2011) "Combining Data Sources Nonlinearly for Cell Nucleus Classification of Renal Cell Carcinoma" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
10. | Contributo in Atti di convegno |
Cristani Marco, Murino Vittorio (2011) "Custom Pictorial Structures for Re-identification" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
11. | Contributo in Atti di convegno |
Francesco Olivieri, Simone Scannapieco, Matteo Cristani (2011) "Designing for Compliance: Norms and Goals" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
12. | Contributo in Atti di convegno |
FUMMI FRANCO, PRAVADELLI GRAZIANO (2011) "EFSM-based model-driven approach to concolic testing of system-level design" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
13. | Contributo in Atti di convegno |
I. Rimmaudo, A. Salavei, V. Allodi, A. Romeo (2011) "ELECTRICAL CHARACTERIZATION OF CdTe SOLAR CELLS MADE BY A LOW TEMPERATURE FABRICATION PROCESS" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/07, FIS/01 Provenienza del dato: UGOV VERONA |
14. | Contributo in Atti di convegno |
Zsuzsanna Liptįk (2011) "Efficient Reconstruction of RC-Equivalent Strings" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
15. | Contributo in Atti di convegno |
IANNIZZOTTO A (2011) "Existence of solutions of discrete equations via critical point theory" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/05 |
16. | Contributo in Atti di convegno |
M. DALLA PREDA (2011) "Hunting Distributed Malware with the k-Calculus" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 |
17. | Contributo in Atti di convegno |
M. Bicego, U. Castellani, V. Murino (2011) "Hybrid Generative-Discriminative Nucleus Classification of Renal Cell Carcinoma" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA |
18. | Contributo in Atti di convegno |
A. Salavei, I. Rimmaudo, V. Allodi, A. Romeo (2011) "INVESTIGATION OF A SUITABLE BACK CONTACT FOR CdTe/CdS SOLAR CELLS PREPARED IN THE SUBSTRATE CONFIGURATION" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/07, FIS/01 Provenienza del dato: UGOV VERONA |
19. | Contributo in Atti di convegno |
Spoto F. (2011) "Inference of Field Initialization" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
20. | Contributo in Atti di convegno |
Murino V. (2011) "Learning attentional policies for object tracking and recognition in video with deep networks" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
21. | Contributo in Atti di convegno |
M.Cristani, A. Pesarin, V. Murino (2011) "Look at Who's Talking: Voice Activity Detection by Automated Gesture Analysis" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01, ING-INF/05 Provenienza del dato: UGOV VERONA |
22. | Contributo in Atti di convegno |
Fummi F., Pravadelli G. (2011) "Model-Driven Design and Validation of Embedded Software" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
23. | Contributo in Atti di convegno |
Andrea Giachetti (2011) "Multiresolution Localization and Segmentation of the Optical Disc in Fundus Images Using Inpainted Background and Vessel Information" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
24. | Contributo in Atti di convegno |
V. Guarnieri, N. Bombieri, G. Pravadelli, F. Fummi (2011) "Mutation Analysis for SystemC Designs at TLM" Scopus: 2-s2.0-80052620551 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
25. | Contributo in Atti di convegno |
Maria Paola Bonacina (2011) "On interpolation in decision procedures" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
26. | Contributo in Atti di convegno |
Zsuzsanna Liptįk (2011) "On prefix normal words" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
27. | Contributo in Atti di convegno |
Bresolin D, Sala P (2011) "Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 |
28. | Contributo in Atti di convegno |
Pravadelli G., Fummi F. (2011) "Optimization of assertion placement in time-constrained embedded systems" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV VERONA |
29. | Contributo in Atti di convegno |
M. Cristani, V. Murino (2011) "Optimizing Interaction Force for Global Anomaly Detection in Crowded Scenes" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
30. | Contributo in Atti di convegno |
R. RIZZI (2011) "Output-Sensitive Listing of Bounded-Size Trees in Undirected Graphs" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: MAT/09 |
31. | Contributo in Atti di convegno |
M. Bicego, U. Castellani, V. Murino (2011) "Renal Cancer Cell Classification Using Generative Embeddings and Information Theoretic Kernels" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 Provenienza del dato: UGOV VERONA |
32. | Contributo in Atti di convegno |
Farinelli A. (2011) "Resource-aware junction trees for efficient multi-agent coordination" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
33. | Contributo in Atti di convegno |
Oliboni B. (2011) "Schema versioning in tXSchema-based multitemporal XML repositories" Scopus: 80055034426 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
34. | Contributo in Atti di convegno |
Federico Boschi (2011) "Small animal optical multispectral Cerenkov tomography2011 IEEE Nuclear Science Symposium Conference Record" Scopus: 2-s2.0-84858743707 Web of Science: WOS:000304755604147 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: FIS/07 Provenienza del dato: UGOV VERONA |
35. | Contributo in Atti di convegno |
CRISTANI MARCO, MENEGAZ GLORIA, MURINO VITTORIO (2011) "Social interaction discovery by statistical analysis of F-formations" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
36. | Contributo in Atti di convegno |
Spoto F. (2011) "Static Analysis of Android Programs" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
37. | Contributo in Atti di convegno |
D. Bresolin (2011) "The dark side of Interval Temporal Logic: sharpening the undecidability border" Scopus: 2-s2.0-81455139881 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 |
38. | Contributo in Atti di convegno |
D. Bresolin (2011) "The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT" Scopus: 2-s2.0-81455143880 Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05 |
39. | Contributo in Atti di convegno |
Olivieri Francesco, Scannapieco Simone (2011) "Three concepts of defeasible permission" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
40. | Contributo in Atti di convegno |
MARCO CRISTANI, GLORIA MENEGAZ, VITTORIO MURINO (2011) "Towards Computational Proxemics: Inferring Social Relations from Interpersonal Distances" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
41. | Contributo in Atti di convegno |
Menegaz G. (2011) "Towards a Diffusion Image Processing Validation and Accuracy Prediction Framework" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
42. | Contributo in Atti di convegno |
Maria Paola Bonacina (2011) "Towards interpolation in an SMT solver with integrated superposition" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
43. | Contributo in Atti di convegno |
Giachetti A. (2011) "VAMPIRE: Vessel Assessment and Measurement Platform for Images of the REtina" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV VERONA |
44. | Contributo in Atti di convegno |
D. Bresolin, P. Sala (2011) "What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL" Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: ING-INF/05, INF/01 |
In uscita:
No record found
In entrata:
No record found
Sezione F - Docenti senza produzione scientifica
Informazioni non pubbliche
Sezione G - Bandi competitivi
Informazioni non pubbliche
Sezione H - Responsabilitą e riconoscimenti scientifici
No record found
No record found
Informazioni non pubbliche
No record found
La colonna "Periodo (mesi) attività svolta" calcola il numero di mesi che intercorrono tra la Data di Conferimento e Chiusura Incarico.
No record found