IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

1.1 Articolo in rivista: [19341] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 9.921 a 9.940 di 19.341
Titolo Data di pubblicazione Autore(i) File
Model Checking Multithreaded Programs by means of reduced models 1-gen-2004 S., Gradara; Santone, Antonella; G., Vaglini; M. L., Villani
Modifying LOTOS specifications by means of automatable formula-based integrations 1-gen-2003 Santone, Antonella; G., Vaglini
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 1-gen-2003 N., DE FRANCESCO; Santone, Antonella; L., Tesei
Heuristic Search + Local Model Checking in Selective mu-Calculus 1-gen-2003 Santone, Antonella
A formula-driven modular attack on state explosion 1-gen-2002 N., DE FRANCESCO; Santone, Antonella
A Notion of Non-Interference for Timed Automata 1-gen-2002 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; L., Tesei
Syntactic Reductions for Efficient Deadlock Analysis 1-gen-2002 DE FRANCESCO, N; Santone, Antonella
Automatic Verification of Concurrent Systems using a Formula-Based Compositional Approach 1-gen-2002 Santone, Antonella
A Tool Supporting Efficient Model Checking of Concurrent Specifications 1-gen-2002 DE FRANCESCO, N; Santone, Antonella
Efficient Model Checking of Properties of a Distributed Application: a Multimedia Case Study 1-gen-2002 N., Mazzocca; Santone, Antonella; G., Vaglini; V., Vittorini
Reusing LOTOS Specifications 1-gen-2001 Santone, Antonella; G., Vaglini
Logic Based Abstractions of Real-time Systems 1-gen-2000 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Efficient Verification of a Multicast Protocol for Mobile Computing 1-gen-2001 G., Anastasi; A., Bartoli; N., DE FRANCESCO; Santone, Antonella
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 1-gen-1999 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Abstract Interpretation of Trace Semantics for Concurrent Calculi 1-gen-1999 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems 1-gen-1999 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
State Space Reduction by Non-Standard Semantics for Deadlock Analysis 1-gen-1998 N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Towards a Logical Semantics for Pure Prolog 1-gen-1998 R., Barbuti; N., DE FRANCESCO; P., Mancarella; Santone, Antonella
A Transformation System for Concurrent Processes 1-gen-1998 N., DE FRANCESCO; Santone, Antonella
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 1-gen-1997 R., Barbuti; N., DE FRANCESCO; Santone, Antonella
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 9.921 a 9.940 di 19.341
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
  • 1 Contributo su Rivista19340
  • 2 Contributo in Volume1
Autore
  • PIACENTINO, Giovanni Maria653
  • PATRUNO, Cataldo494
  • COSTAGLIOLA, Ciro354
  • MARCHETTI, Marco335
  • CITRO, Rodolfo327
  • TREMATERRA, Pasquale316
  • LUBRANO DI SCORPANIELLO, Ennio276
  • TOGNETTI, Roberto263
  • RINALDI, Luca259
  • AVINO, Pasquale253
Data di pubblicazione
  • In corso di stampa35
  • 2020 - 20275513
  • 2010 - 20196919
  • 2000 - 20094268
  • 1990 - 19992080
  • 1980 - 1989501
  • 1973 - 197925
Editore
  • IOBC/OILB2
  • Accademia Nazonalke Italiana di Entomologia1
  • Associazione Italiana di Telerilevamento1
  • BHCICOP1
  • Edizioni Scientifiche Italiane1
  • Edizioni Università degli Studi di Cassino1
  • Iovene1
  • Istituto Superiore di Sanità1
  • J. Martin-Gil1
  • M & B Publishing1
Rivista
  • PHYSICAL REVIEW LETTERS351
  • PHYSICAL REVIEW D, PARTICLES, FIELDS, GRAVITATION, AND COSMOLOGY204
  • IL FALLIMENTO E LE ALTRE PROCEDURE CONCORSUALI96
  • SUSTAINABILITY90
  • INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES89
  • PLOS ONE82
  • LA RADIOLOGIA MEDICA81
  • SCIENTIFIC REPORTS77
  • PLANT BIOSYSTEMS74
  • IL FORO ITALIANO73
Keyword
  • Humans444
  • Female218
  • Male212
  • Italy179
  • COVID-19131
  • Medicine (all)112
  • Aged105
  • Middle Aged102
  • Animals98
  • Adult95
Lingua
  • eng11553
  • ita4941
  • fre84
  • spa58
  • por39
  • und27
  • ger20
  • lat11
  • grc6
  • hrv2
Accesso al fulltext
  • no fulltext19320
  • open15
  • reserved4
  • restricted2
Appartenenza
  • DIPARTIMENTO AGRICOLTURA, AMBIENTE E ALIMENTI3451
  • DIPARTIMENTO DI BIOSCIENZE E TERRITORIO4156
  • DIPARTIMENTO DI ECONOMIA1631
  • DIPARTIMENTO DI MEDICINA E DI SCIENZE DELLA SALUTE7044
  • DIPARTIMENTO DI SCIENZE UMANISTICHE, SOCIALI E DELLA FORMAZIONE1997
  • DIPARTIMENTO GIURIDICO1471