Compact and tractable automaton-based representations of time granularities

descriptionPublicationkeyboard_double_arrow_right Article 01 Mar 2007 United Kingdom, Italy English Publisher:Elsevier BVJournal:Theoretical Computer Science, volume 373, pages 115-141 (issn: 0304-3975,

Copyright policy )

Authors: DAL LAGO U; MONTANARI, Angelo; PUPPIS, Gabriele;

doi: 10.1016/j.tcs.2006.12.014

handle: 11390/710668 , 11585/43251

Compact and tractable automaton-based representations of time granularities

- Summary
- Subjects
- Metrics

Abstract

zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Countries

United Kingdom, Italy

Related Organizations

Alma Mater Studiorum University of Bologna
Italy
University of Oxford
United Kingdom
University of Udine
Italy

Keywords

Specification and verification (program logics, model checking, etc.), automata, Database theory, time granularity; automata theory, Formal languages and automata, temporal databases, Automata, Temporal databases, Theoretical Computer Science, GRANULARITÀ TEMPORALI; AUTOMI; BASI DI DATI TEMPORALI, time granularities, Time granularities, Computer Science(all)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	7
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average