CATALOGO DEI PRODOTTI DELLA RICERCA

04.01 Contributo in atti di convegno: [14131] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.001 a 4.020 di 14.131
Titolo Data di pubblicazione Autore(i) File
Decidability of the Interval Temporal Logic $mathsfAarABarB$ over the Rationals 1-gen-2014 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
Approximate Interval-Based Temporal Dependencies: The Complexity Landscape 1-gen-2014 Sala, Pietro
Metric Propositional Neighborhood Logic with an Equivalence Relation 1-gen-2014 Montanari, Angelo; Pazzaglia, Marco; Sala, Pietro
Interval-based Synthesis 1-gen-2014 Montanari, Angelo; Sala, Pietro
Interval Logics and ωB-Regular Languages 1-gen-2013 Montanari, Angelo; Sala, Pietro
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness 1-gen-2013 Montanari, Angelo; Sala, Pietro
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic 1-gen-2012 Della Monica, Dario; Montanari, Angelo; Sala, Pietro
An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals 1-gen-2012 Montanari, Angelo; Sala, Pietro
A Uniform Framework for Temporal Functional Dependencies with Multiple Granularities 1-gen-2011 Combi, Carlo; Montanari, Angelo; Sala, Pietro
Temporal Functional Dependencies Based on Interval Relations 1-gen-2011 Combi, Carlo; Sala, Pietro
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals 1-gen-2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 1-gen-2010 Montanari, Angelo; Puppis, Gabriele; Sciavicco, Guido; Sala, Pietro
Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders 1-gen-2010 Montanari, Angelo; Pratt Hartmann, Ian; Sala, Pietro
Neurorehabilitation and pharmacological treatment: chronic pain 1-gen-2012 Tamburin, Stefano; Magrinelli, Francesca
Abstract Interpretation-Based Protection 1-gen-2010 Giacobazzi, Roberto
Software Security by Obscurity - A Programming Language Perspective. 1-gen-2012 Giacobazzi, Roberto
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 1-gen-2013 Giacobazzi, Roberto; Cousot, R.
Small animal optical multispectral Cerenkov tomography 1-gen-2011 Spinelli, A. E.; Kuo, C.; Rice, B. W.; Calandrino, R.; Marzola, Pasquina; Sbarbati, Andrea; Boschi, Federico
Toward lambda-calculi for linear logic 1-gen-1989 Solitro, Ugo; Valentini, Silvio
Functional Features of a Calculus for Logic and Concurrency 1-gen-2000 Priami, Corrado; Solitro, Ugo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.001 a 4.020 di 14.131
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
Tipologia
  • 04 Contributo in atti di convegno14131
Autore
  • FUMMI, Franco330
  • ARMATO, Ubaldo247
  • MURINO, Vittorio220
  • FRANCHI, Massimo Piergiuseppe203
  • FATTOVICH, Giovanna180
  • CORROCHER, Roberto179
  • CRISTANI, Marco177
  • BERTAZZONI MINELLI, Elisa172
  • FARINELLI, Alessandro152
  • CEVESE, Antonio145
Data di pubblicazione
  • In corso di stampa42
  • 2020 - 20261620
  • 2010 - 20194108
  • 2000 - 20095808
  • 1990 - 19991752
  • 1980 - 1989654
  • 1970 - 1979142
  • 1967 - 19695
Editore
  • Springer266
  • IEEE220
  • Springer-Verlag68
  • ACM56
  • SPRINGER INTERNATIONAL PUBLISHING AG48
  • Springer Verlag45
  • IEEE Computer Society41
  • Monduzzi Editore37
  • ESGAR - European Society Gastoint...28
  • IEEE COMPUTER SOC28
Rivista
  • HAEMATOLOGICA64
  • JOURNAL OF HEPATOLOGY52
  • BLOOD49
  • EUROPEAN RESPIRATORY JOURNAL48
  • PATHOLOGICA44
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • JOURNAL OF CRANIO-MAXILLOFACIAL S...38
  • MINERVA CARDIOANGIOLOGICA37
  • ITALIAN JOURNAL OF GASTROENTEROLOGY35
  • BOLLETTINO DI OCULISTICA33
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE256
  • LECTURE NOTES IN ARTIFICIAL INTEL...64
  • CEUR WORKSHOP PROCEEDINGS61
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...29
  • PROCEEDINGS OF SPIE, THE INTERNAT...22
  • LECTURE NOTES IN COMPUTER SCIENCE15
  • PROCEEDINGS - INTERNATIONAL WORKS...13
  • MECHANISMS AND MACHINE SCIENCE12
  • COMMUNICATIONS IN COMPUTER AND IN...10
  • EDULEARN PROCEEDINGS10
Keyword
  • pattern recognition63
  • Verona63
  • CdTe51
  • abstract interpretation50
  • Italia49
  • asthma44
  • children44
  • diagnosi41
  • treatment41
  • trattamento40
Lingua
  • eng8668
  • ita4548
  • fre163
  • ger112
  • spa87
  • rus38
  • und7
  • por5
  • cat3
  • enm3
Accesso al fulltext
  • no fulltext12317
  • open907
  • restricted609
  • reserved294
  • embargoed2
  • mixed1
  • partially open1