IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 69
Titolo Data di pubblicazione Autore(i) File
Model checking for combined logics with an application to mobile systems 1-gen-2004 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
Representing and reasoning about temporal granularities 1-gen-2004 C., Combi; Franceschet, Massimo; A., Peron
CTL Model Checking for Processing Simple XPath Queries 1-gen-2004 L., Afanasiev; Franceschet, Massimo; M., Marx; M., DE RIJKE
Temporalized Logics and Automata for Time Granularity 1-gen-2004 Franceschet, Massimo; Montanari, Angelo
Modal logic and navigational XPath: an experimental comparison 1-gen-2005 Franceschet, Massimo; Zimuel, E.
On the complexity of hybrid logics with binders 1-gen-2005 Franceschet, Massimo; TEN CATE, B.
XPathMark. An XPath benchmark for XMark generated data 1-gen-2005 Franceschet, Massimo
Guarded fragments with constants 1-gen-2005 Franceschet, Massimo; B., TEN CATE
XCheck: a platform for benchmarking XQuery engines 1-gen-2006 Afanasiev, L; Franceschet, Massimo; Marx, M; Zimuel, E.
Definability and decidability of binary predicates for time granularity 1-gen-2006 Franceschet, Massimo; Montanari, Angelo; Peron, G; Sciavicco, Guido
Model checking for hybrid logics (with an application to semistructured data) 1-gen-2006 Franceschet, Massimo; M., DE RIJKE
A logic-based approach to cache answerability for XPath queries 1-gen-2006 Franceschet, Massimo; Zimuel, E.
XPathMark: Functional and Performance Tests for XPath 1-gen-2007 Franceschet, Massimo
Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema 1-gen-2007 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo
A cluster analysis of scholar and journal bibliometric indicators 1-gen-2009 Franceschet, Massimo
From Entity Relationship to XML Schema: A Graph-Theoretic Approach 1-gen-2009 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract) 1-gen-2010 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
A comparison of bibliometric indicators for computer science scholars and journals on Web of Science and Google Scholar 1-gen-2010 Franceschet, Massimo
Ten good reasons to use the Eigenfactor metrics 1-gen-2010 Franceschet, Massimo
The role of conference publications in CS 1-gen-2010 Franceschet, Massimo
Mostrati risultati da 21 a 40 di 69
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