| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Massimo Franceschet |
The large-scale structure of journal citation networks.  |
JASIST  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Antonio Costantini |
The first Italian research assessment exercise: A bibliometric perspective. |
J. Informetrics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
The skewness of computer science. |
Inf. Process. Manage. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
PageRank: standing on the shoulders of giants. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
Collaboration in computer science: A network science approach. |
JASIST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
Collaboration in computer science: a network science approach. Part II |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet |
The large-scale structure of journal citation networks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Antonio Costantini |
The effect of scholar collaboration on impact and quality of academic papers. |
J. Informetrics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
The difference between popularity and prestige in the sciences and in the social sciences: A bibliometric analysis. |
J. Informetrics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
Journal influence factors. |
J. Informetrics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
Ten good reasons to use the EigenfactorTM metrics. |
Inf. Process. Manage. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
A comparison of bibliometric indicators for computer science scholars and journals on Web of Science and Google Scholar. |
Scientometrics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
The role of conference publications in CS. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
A logic for networks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet |
The small world of computer science |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet |
PageRank: Stand on the shoulders of giants |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza |
From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract). |
SEBD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet |
A cluster analysis of scholar and journal bibliometric indicators. |
JASIST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
The skewness of computer science |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Antonio Costantini |
The first Italian research assessment exercise: a bibliometric perspective |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Donatella Gubiani, Angelo Montanari, Carla Piazza |
From Entity Relationship to XML Schema: A Graph-Theoretic Approach. |
XSym |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
Bibliometrics in a nutshell |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari, Donatella Gubiani |
Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Maarten de Rijke |
Model checking hybrid logics (with an application to semistructured data). |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
Definability and decidability of binary predicates for time granularity. |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet |
XPathMark: Functional and Performance Tests for XPath. |
XQuery Implementation Paradigms |
2006 |
DBLP BibTeX RDF |
|
| 1 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel |
XCheck: A Platform for Benchmarking XQuery Engines. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Enrico Zimuel |
A Logic-Based Approach to Cache Answerability for XPath Queries. |
XSym |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Massimo Franceschet |
Guarded Fragments with Constants. |
Journal of Logic, Language and Information |
2005 |
DBLP DOI BibTeX RDF |
complexity, hybrid logic, guarded fragment |
| 1 | Massimo Franceschet |
XPathMark: An XPath Benchmark for the XMark Generated Data. |
XSym |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Massimo Franceschet |
On the Complexity of Hybrid Logics with Binders. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari, Maarten de Rijke |
Model Checking for Combined Logics with an Application to Mobile Systems. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, mobile systems, combined logics |
| 1 | Carlo Combi, Massimo Franceschet, Adriano Peron |
Representing and Reasoning about Temporal Granularities. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari |
Temporalized logics and automata for time granularity. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke |
CTL Model Checking for Processing Simple XPath Queries. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari |
Temporalized logics and automata for time granularity |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
Definability and decidability of binary predicates for time granularity. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff |
Hybrid Logics on Linear Structures: Expressivity and Complexity. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Combi, Massimo Franceschet, Adriano Peron |
A Logical Approach to Represent and Reason about Calendars. (PDF / PS) |
TIME |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
A Guided Tour through Some Extensions of the Event Calculus. |
Computational Intelligence |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari |
A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus. |
Ann. Math. Artif. Intell. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari |
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. (PDF / PS) |
TIME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Franceschet, Angelo Montanari |
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Combi, Gian Luca Foresti, Massimo Franceschet, Angelo Montanari |
Indexing by Shape of Image Databases Based on Extended Grid Files. (PDF / PS) |
ICMCS, Vol. 2 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. |
Electron. Trans. Artif. Intell. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
Event Calculus with Explicit Quantifiers. (PDF / PS) |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
Modal Event Calculi with Preconditions. (PDF / PS) |
TIME |
1997 |
DBLP DOI BibTeX RDF |
modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus |
| 1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
The Complexity of Model Checking in Modal Event Calculi. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")