Sfoglia per Autore
The Complexity of Model Checking in Modal Event Calculi
1997-01-01 I., Cervesato; Franceschet, Massimo; Montanari, Angelo
Modal Event Calculi with Preconditions
1997-01-01 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
1998-01-01 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Event Calculi with Explicit Quantifiers
1998-01-01 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Indexing by Shape of Image Databases Based on Extended Grid Files
1999-01-01 Combi, Carlo; Foresti, Gian Luca; Franceschet, Massimo; Montanari, Angelo
A graph-theoretic approach to efficiently reasoning about partially ordered events in the Event Calculus
1999-01-01 Franceschet, Massimo; Montanari, Angelo
Model Checking for Combined Logics
2000-01-01 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity
2000-01-01 I., Cervesato; Franceschet, Massimo; Montanari, Angelo
Pairing transitive closure and reduction to efficiently reason about partially ordered events
2000-01-01 Franceschet, M.; Montanari, A.
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
2000-01-01 Franceschet, Massimo; Montanari, Angelo
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus
2000-01-01 Franceschet, Massimo; Montanari, Angelo
A Guided Tour Through some Extensions of the Event Calculus
2000-01-01 Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
A combined approach to temporal logics for time granularity
2001-01-01 Franceschet, Massimo; Montanari, Angelo
Towards an automata-theoretic counterpart of combined temporal logics
2001-01-01 Franceschet, Massimo; Montanari, Angelo
Time Granularities in Databases, Data Mining, and Temporal Reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review)
2002-01-01 Franceschet, Massimo; Montanari, Angelo
A logical approach to represent and reason about calendars
2002-01-01 C., Combi; Franceschet, Massimo; A., Peron
Model checking for hybrid logics
2003-01-01 Franceschet, Massimo; M., DE RIJKE
Branching within Time: an Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity
2003-01-01 Franceschet, Massimo; Montanari, Angelo
Definability and Decidability of Binary Predicates for Time Granularity
2003-01-01 Franceschet, Massimo; Montanari, Angelo; Peron, A; Sciavicco, G.
Hybrid Logics on Linear Structures: Expressivity and Complexity
2003-01-01 Franceschet, Massimo; M., DE RIJKE; Holger, Schlingloff
Temporalized Logics and Automata for Time Granularity
2004-01-01 Franceschet, Massimo; Montanari, Angelo
Model checking for combined logics with an application to mobile systems
2004-01-01 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
CTL Model Checking for Processing Simple XPath Queries
2004-01-01 L., Afanasiev; Franceschet, Massimo; M., Marx; M., DE RIJKE
Representing and reasoning about temporal granularities
2004-01-01 C., Combi; Franceschet, Massimo; A., Peron
Modal logic and navigational XPath: an experimental comparison
2005-01-01 Franceschet, Massimo; Zimuel, E.
Guarded fragments with constants
2005-01-01 Franceschet, Massimo; B., TEN CATE
On the complexity of hybrid logics with binders
2005-01-01 Franceschet, Massimo; TEN CATE, B.
XPathMark. An XPath benchmark for XMark generated data
2005-01-01 Franceschet, Massimo
XCheck: a platform for benchmarking XQuery engines
2006-01-01 Afanasiev, L; Franceschet, Massimo; Marx, M; Zimuel, E.
Model checking for hybrid logics (with an application to semistructured data)
2006-01-01 Franceschet, Massimo; M., DE RIJKE
A logic-based approach to cache answerability for XPath queries
2006-01-01 Franceschet, Massimo; Zimuel, E.
Definability and decidability of binary predicates for time granularity
2006-01-01 Franceschet, Massimo; Montanari, Angelo; Peron, G; Sciavicco, Guido
XPathMark: Functional and Performance Tests for XPath
2007-01-01 Franceschet, Massimo
Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema
2007-01-01 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo
From Entity Relationship to XML Schema: A Graph-Theoretic Approach
2009-01-01 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
A cluster analysis of scholar and journal bibliometric indicators
2009-01-01 Franceschet, Massimo
From entity relationship to XML Schema: A graph-theoretic approach (extended abstract)
2010-01-01 Franceschet, Massimo; Gubiani, Donatella; Montanari, Angelo; Piazza, Carla
The effect of scholar collaboration on impact and quality of academic papers
2010-01-01 Franceschet, Massimo; Costantini, Antonio
A comparison of bibliometric indicators for computer science scholars and journals on Web of Science and Google Scholar
2010-01-01 Franceschet, Massimo
Ten good reasons to use the Eigenfactor metrics
2010-01-01 Franceschet, Massimo
Journal influence factors
2010-01-01 Franceschet, Massimo
The difference between popularity and prestige in the sciences and in the social sciences: a bibliometric analysis
2010-01-01 Franceschet, Massimo
The role of conference publications in CS
2010-01-01 Franceschet, Massimo
Bibliometrics: lessons learned
2011-01-01 Costantini, Antonio; Franceschet, Massimo
The skewness of computer science.
2011-01-01 Franceschet, Massimo
Collaboration in computer science: a network science approach
2011-01-01 Franceschet, Massimo
The first Italian research assessment exercise: a bibliometric perspective
2011-01-01 Franceschet, Massimo; Costantini, Antonio
PageRank: standing on the shoulders of giants
2011-01-01 Franceschet, Massimo
Approximations of the generalized inverse of the graph Laplacian matrix
2012-01-01 Bozzo, Enrico; Franceschet, Massimo
The large-scale structure of journal citation networks
2012-01-01 Franceschet, Massimo
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