SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

04.2 Contributi in atti di convegno (in Volume): [10385] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 di 10.385
Titolo Data di pubblicazione Autore(i) File
Assessment of the seismic retrofitting for two precast RC buildings using nonlinear time-history analyses 2015 Minghini, Fabio; Piccoli, F.; Rizzato, N.; Tullini, Nerio file con accesso da definire
The Distribution Semantics is Well-Defined for All Normal Programs 2015 Riguzzi, Fabrizio
Does country image affect consumers’ willingness to patronize ethnic restaurants? 2015 Martinelli, Elisa; DE CANIO, Francesca
Key points of human awareness and emergency planning. School as a case study 2015 Coccagna, Maddalena
Tipologie di edifici e azioni di rimedio/prevenzione 2015 Zannoni, Giovanni file con accesso da definire
Expressiveness of the interval logics of allen's relations on the class of all linear orders: Complete classification 2011 Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
An Integrated first-order theory of points and intervals: Expressive power in the class of all linear orders 2012 Conradie, Willem; Durhan, Salih; Sciavicco, Guido file con accesso da definire
The Dark Side of Interval Temporal Logics: Sharpening the Undecidability Border 2011 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
A Decidable Spatial Generalization of Metric Interval Temporal Logic 2010 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Decidability of the Interval Temporal Logic ABB over the Natural Numbers 2010 Montanari, Angelo; Puppis, Gabriele; Sala, Pietro; Sciavicco, Guido file con accesso da definire
What’s Decidable about Halpern and Shoham’s Interval Logic? The Maximal Fragment ABBL 2011 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido file con accesso da definire
Definability and Decidability of Binary Predicates for Time Granularity 2003 Montanari, Angelo; Franceschet, Massimo; Peron, Adriano; Sciavicco, Guido file con accesso da definire
Interval Temporal Logics over Finite Linear Orders: the Complete Picture 2012 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A Tableau-Based System for Spatial Reasoning about Directional Relations 2009 Bresolin, Davide; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
The Light Side of Interval Temporal Logics: the Bernays-Schoenfinkel's Fragment of CDT 2011 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability 2010 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido file con accesso da definire
Consistency Checking of Basic Cardinal Constraint over Connected Regions 2007 Navarrete, Isabel; Morales, Antonio; Sciavicco, Guido file con accesso da definire
On The Expressive Power of First Order Logic Extended with Allen’s Relations in the Strict Case 2011 Conradie, Willem; Sciavicco, Guido
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 2008 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Undecidability of interval temporal logics with the overlap modality 2009 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 di 10.385
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Scopri
Tipologia
  • 04 Atto di Convegno (Proceedings)10385
Autore
  • MAZZINI, Gianluca251
  • PINELLI, Michele199
  • VANNINI, Giorgio189
  • SIMANI, Silvio188
  • SETTI, Gianluca151
  • SPINA, Pier Ruggero148
  • VENTURINI, Mauro141
  • CONTI, Andrea140
  • POMPOLI, Francesco134
  • BERTOZZI, Davide130
Data di pubblicazione
  • In corso di stampa26
  • 2020 - 20261532
  • 2010 - 20193412
  • 2000 - 20093915
  • 1990 - 19991215
  • 1980 - 1989268
  • 1970 - 197916
  • 1966 - 19691
Editore
  • IEEE711
  • Institute of Electrical and Elect...352
  • Springer190
  • Associazione Italiana di Acustica117
  • American Society of Mechanical En...100
  • ASME93
  • ---81
  • Giappichelli61
  • IEEE Computer Society56
  • Springer Verlag51
Rivista
  • PROCEEDINGS OF SPIE, THE INTERNAT...11
  • IFAC PROCEEDINGS VOLUMES8
  • LECTURE NOTES IN COMPUTER SCIENCE8
  • RENDICONTI ONLINE DELLA SOCIETÀ G...8
  • PROCEEDINGS EURONOISE6
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...5
  • PLINIUS5
  • AIP CONFERENCE PROCEEDINGS4
  • IAHS PUBLICATION4
  • JOURNAL OF PHYSICS. CONFERENCE SE...4
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE87
  • CEUR WORKSHOP PROCEEDINGS69
  • PROCEEDINGS OF SPIE, THE INTERNAT...41
  • DISÉGNO - OPEN ACCESS29
  • ADVANCES IN INTELLIGENT SYSTEMS A...26
  • LECTURE NOTES IN NETWORKS AND SYS...22
  • AIP CONFERENCE PROCEEDINGS21
  • IFAC-PAPERSONLINE18
  • IEEE NUCLEAR SCIENCE SYMPOSIUM CO...16
  • IEEE INTERNATIONAL CONFERENCE ON ...13
Keyword
  • Ferrara57
  • Electrical and Electronic Enginee...43
  • Rinascimento37
  • acne36
  • Cultural Heritage35
  • Probabilistic Logic Programming26
  • Computer Networks and Communications25
  • Fault diagnosis25
  • fault diagnosis23
  • iconografia23
Lingua
  • eng6704
  • ita3601
  • fre121
  • spa48
  • ger32
  • por17
  • enm3
  • rus3
  • tur3
  • chi2
Accesso al fulltext
  • no fulltext8482
  • reserved1101
  • open701
  • partially open100
  • mixed1