IRIS Institutional Research Information System

4.1 Contributo in Atti di convegno: [7923] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.181 a 2.200 di 7.923
Titolo Data di pubblicazione Autore(i) File
Model Checking Well-Behaved Fragments of HS: the (Almost) Final Picture 1-gen-2016 Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic 1-gen-2016 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS 1-gen-2015 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Best Sources Forward: Domain Generalization through Source-Specific Nets 1-gen-2018 Mancini, Massimiliano; Bulo, Samuel Rota; Caputo, Barbara; Ricci, Elisa
Unsupervised Adversarial Depth Estimation Using Cycled Generative Networks 1-gen-2018 Pilzer, Andrea; Xu, Dan; Puscas, Mihai; Ricci, Elisa; Sebe, Nicu
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions 1-gen-2017 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments 1-gen-2016 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
3DNOW: Image-based 3D reconstruction and modeling via web 1-gen-2018 Tefera, Y.; Poiesi, F.; Morabito, D.; Remondino, F.; Nocerino, E.; Chippendale, P.
Distributed Data Exchange with Leap Motion 1-gen-2018 Pani, Mirko; Poiesi, Fabio
Modelling Prioritisation Decision-making in Software Evolution 1-gen-2017 Denisse, Munante; Kifetew, Fitsum Meshesha; Albrecht, Oliver
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete 1-gen-2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Woeginger, G.
Decidability and Complexity of Timeline-based Planning over Dense Temporal Domains 1-gen-2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Oracle problem in software testing 1-gen-2017 Jahangirova, Gunel
OASIs: oracle assessment and improvement tool 1-gen-2018 Jahangirova, Gunel; Clark, David; Harman, Mark; Tonella, Paolo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.181 a 2.200 di 7.923
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
  • 4 Contributo in Atti di Convegno ...7922
Autore
  • Cimatti, Alessandro261
  • Remondino, Fabio250
  • Margesin, Benno203
  • Negri, Matteo203
  • Serafini, Luciano202
  • Lorenzelli, Leandro191
  • Magnini, Bernardo176
  • Federico, Marcello172
  • Tonella, Paolo172
  • Strapparava, Carlo169
Data di pubblicazione
  • In corso di stampa5
  • 2020 - 20261543
  • 2010 - 20193439
  • 2000 - 20092320
  • 1990 - 1999567
  • 1980 - 198948
Editore
  • IEEE620
  • Springer357
  • ACM148
  • Association for Computational Lin...91
  • CEUR-WS.org72
  • IEEE Computer Society61
  • SPIE60
  • ACL38
  • AAAI Press37
  • ieee31
Rivista
  • INTERNATIONAL ARCHIVES OF THE PHO...92
  • LECTURE NOTES IN COMPUTER SCIENCE41
  • POS PROCEEDINGS OF SCIENCE22
  • JOURNAL OF PHYSICS. CONFERENCE SE...21
  • PROCEEDINGS OF SPIE, THE INTERNAT...17
  • PROCEEDINGS14
  • CEUR WORKSHOP PROCEEDINGS13
  • THE INTERNATIONAL ARCHIVES OF THE...12
  • EPJ WEB OF CONFERENCES10
  • LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE230
  • LECTURE NOTES IN ARTIFICIAL INTEL...48
  • CEUR WORKSHOP PROCEEDINGS38
  • PROCEEDINGS OF SPIE, THE INTERNAT...25
  • LECTURE NOTES IN COMPUTER SCIENCE22
  • LECTURE NOTES IN ELECTRICAL ENGIN...20
  • LECTURE NOTES IN ELECTRICAL ENGIN...17
  • LECTURE NOTES IN BUSINESS INFORMA...16
  • IEEE ENGINEERING IN MEDICINE AND ...11
  • PROCEEDINGS OF SPIE10
Keyword
  • NLP41
  • automatic speech recognition38
  • Content Processing33
  • MEMS31
  • RF-MEMS31
  • silicon radiation detectors28
  • SiPM26
  • RF MEMS25
  • machine translation23
  • Machine Translation22
Lingua
  • eng6418
  • ita159
  • ger15
  • spa6
  • fre5
  • enm4
  • cze1
  • lat1
  • rum1
Accesso al fulltext
  • no fulltext6828
  • open476
  • restricted450
  • reserved165
  • partially open2
  • mixed1