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.901 a 9.920 di 19.341
Titolo Data di pubblicazione Autore(i) File
Il trattamento chirurgico del prolasso del retto nel paziente anziano: studio retrospettivo 1-gen-1998 F., Selvaggi; E., Scotto di Carlo; A., Rispo; F., dè Longis; G., Riegler; Giuliani, Antonio
The importance of preoperative staging in the surgical treatment of rectal cancer 1-gen-2003 F., Selvaggi; Giuliani, Antonio; G., Sciaudone; L., Brusciano
Cycloxygenase-2 and vascular endothelial growth factor are over-expressed in ileal pouch-anal anastomo 1-gen-2004 A., Cuomo; A., Rocco; C., Tuccillo; C., Di Stazio; G., Sciaudone; Giuliani, Antonio; C., Mucherino; G., Piccolo; S., Staibano; G., Tardone; G., Riegler; M., Romano; F., Selvaggi
La TC nella diagnosi precoce di recidiva delle neoplasie del retto 1-gen-1998 A., Rispo; E., Scotto di Carlo; F., dè Longis; Giuliani, Antonio; M., Rispo; F., Selvaggi
CD-Form: A Clone Detector based on Formal Methods 1-gen-2014 Cuomo, A; Santone, Antonella; Villano, U.
Heuristic Search for Equivalence Checking 1-gen-2016 De Francesco, N; Lettieri, G; Santone, Antonella; Vaglini, G.
Model checking properties on reduced trace systems 1-gen-2014 Santone, Antonella; Vaglini, G.
De novo Reconstruction of Gene Regulatory Networks from Time Series, an approach based on Formal Methods 1-gen-2014 Ceccarelli, M; Cerulo, C; Santone, Antonella
GreASE: a tool for efficient “non-equivalence” checking 1-gen-2014 De Francesco, N; Lettieri, G; Santone, Antonella; Vaglini, G.
Incremental construction of systems: an efficient characterization of the lacking sub-system 1-gen-2013 Santone, Antonella; Vaglini, G; Villani, Ml
Abstract Reduction in Directed Model Checking CCS Processes 1-gen-2012 Santone, Antonella; Vaglini, G.
Modular Formal Verification of Specifications of Concurrent Systems 1-gen-2008 S., Gradara; Santone, Antonella; G., Vaglini; M. L., Villani
Formal Verification of Concurrent Systems via Directed Model Checking 1-gen-2007 Gradara, S; Santone, Antonella; Villani, Ml
A User-Friendly Interface to Specify Temporal Properties of Concurrent Systems 1-gen-2007 N., DE FRANCESCO; Santone, Antonella; G., Vaglini
DELFIN+: An Efficient Deadlock Detection Tool for CCS Processes 1-gen-2006 S., Gradara; Santone, Antonella; M. L., Villani
Reduced Models for Efficient CCS Verification 1-gen-2005 R., Barbuti; N., DE FRANCESCO; Santone, Antonella; G., Vaglini
Using Heuristic Search for Finding Deadlocks in Concurrent Systems 1-gen-2005 S., Gradara; Santone, Antonella; M. L., Villani
A Local Approach for Temporal Model Checking of Java Bytecode 1-gen-2005 Santone, Antonella; G., Vaglini
Compositionality and Locality for Improving Model Checking in the Selective Mu-Calculus 1-gen-2004 Santone, Antonella; G., Vaglini
Formula-based Abstractions and Symbolic Execution for Model Checking Programs 1-gen-2004 Santone, Antonella; Vaglini, G.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 9.901 a 9.920 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