IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 121 a 140 di 3.238
Titolo Data di pubblicazione Autore(i) File
Model Checking Timeline-based Systems over Dense Temporal Domains? 1-gen-2019 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; Peron, Adriano; Molinari, Alberto; Montanari, Angelo
Complexity and Succinctness Issues for Linear-Time Hybrid Logics 1-gen-2008 Bozzelli, L; Ruggero, Lanotte
Parametric Interval Temporal Logic over Infinite Words 1-gen-2022 Bozzelli, L.; Peron, A.
Model checking for Process Rewrite Systems and a class of action-based regular properties 1-gen-2005 Bozzelli, L.
Pspace-completeness of the temporal logic of sub-intervals and suffixes 1-gen-2021 Bozzelli, L.; Montanari, A.; Peron, A.; Sala, P.
The Complexity of CaRet + Chop 1-gen-2008 Bozzelli, L
Unifying Asynchronous Logics for Hyperproperties 1-gen-2024 Bombardelli, Alberto; Bozzelli, Laura; Sánchez, César; Tonetta, Stefano
CaRet With Forgettable Past 1-gen-2009 Bozzelli, L
Controller Synthesis for MTL Specifications 1-gen-2006 Patricia, Bouyer; Bozzelli, L; Fabrice, Chevalier
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages 1-gen-2007 Bozzelli, L
Decidability and complexity of timeline-based planning over dense temporal domains 1-gen-2018 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Quantifying Over Trees in Monadic Second-Order Logic 1-gen-2023 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
Timed context-free temporal logics 1-gen-2018 Bozzelli, Laura; Murano, Aniello; Peron, Adriano
Pushdown Module Checking 1-gen-2005 Bozzelli, L; Aniello, Murano; Adriano, Peron
Timeline-based planning over dense temporal domains with trigger-less rules is NP-complete 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Woeginger, Gerhard
Verification of Well-Formed Communicating Recursive State Machines 1-gen-2006 Bozzelli, A.; La Torre S, S.; Adriano, Peron
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, P. I. E. T. R. O.
Automata-Theoretic Characterisations of Branching-Time Temporal Logics 1-gen-2024 Benerecetti, Massimo; Bozzelli, Laura; Mogavero, Fabio; Peron, Adriano
Complexity analysis of a unifying algorithm for model checking interval temporal logic 1-gen-2019 Bozzelli, L.; Montanari, A.; Peron, A.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 121 a 140 di 3.238
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 ...3238
Autore
  • De Pietro, Giuseppe181
  • Sorrentino, Nicola131
  • Mirone, Vincenzo102
  • Scotto di Santolo, Anna80
  • Fabbrocino, Francesco75
  • Gallo, Luigi67
  • Bozzelli, Laura61
  • Gambardella, Carmine60
  • Agrati, Laura Sara56
  • Dipace, Anna55
Data di pubblicazione
  • In corso di stampa6
  • 2020 - 20261348
  • 2010 - 20191389
  • 2000 - 2009448
  • 1990 - 199946
  • 1987 - 19891
Editore
  • IOS Press111
  • IEEE67
  • Institute of Electrical and Elect...61
  • Springer48
  • Pensa MultiMedia41
  • Springer Science and Business Med...38
  • IEEE Computer Society36
  • CEUR-WS28
  • EuroMed Press26
  • Elsevier B.V.22
Rivista
  • PROCEDIA STRUCTURAL INTEGRITY35
  • PROCEDIA COMPUTER SCIENCE19
  • CE/PAPERS10
  • ELECTRONIC PROCEEDINGS IN THEORET...10
  • ANALELE UNIVERSITATII "OVIDIUS" C...8
  • JOURNAL OF PHYSICS. CONFERENCE SE...7
  • ENERGY PROCEDIA5
  • JOURNAL OF PREVENTIVE MEDICINE AN...5
  • MEMORIE GEOGRAFICHE5
  • TRANSPORTATION RESEARCH PROCEDIA5
Serie
  • CEUR WORKSHOP PROCEEDINGS18
  • COMMUNICATIONS IN COMPUTER AND IN...17
  • LECTURE NOTES IN COMPUTER SCIENCE16
  • LECTURE NOTES IN CIVIL ENGINEERING9
  • LECTURE NOTES IN COMPUTER SCIENCE6
  • AIP CONFERENCE PROCEEDINGS5
  • EDULEARN PROCEEDINGS5
  • LECTURE NOTES IN COMPUTER SCIENCE5
  • PROCEEDINGS OF THE ... EUROPEAN C...5
  • ARTICOLO TRENTATRÉ4
Keyword
  • Digital Industry and Space18
  • Empirical Software Engineering18
  • Artificial Intelligence16
  • Cold spray14
  • Software14
  • Machine Learning13
  • sustainability11
  • Deep Learning10
  • E-learning10
  • machine learning10
Lingua
  • eng1818
  • ita803
  • und80
  • spa12
  • fre10
  • lat6
  • ger3
  • ara1
  • grc1
  • ind1
Accesso al fulltext
  • no fulltext3232
  • reserved6