{"doi":"10.1016/0304-3975(94)90010-8","title":"A theory of timed automata","abstract":null,"journal":"Theoretical Computer Science","year":1994,"id":9095,"datarank":27.072439127581227,"base_score":8.771215062375383,"endowment":8.771215062375383,"self_citation_contribution":1.3156822593563076,"citation_network_contribution":25.75675686822492,"self_endowment_contribution":1.3156822593563076,"citer_contribution":25.75675686822492,"corpus_percentile":96.7,"corpus_rank":2234,"citation_count":6445,"citer_count":186,"citers_with_citation_signal":186,"citers_with_endowment":186,"datacite_reuse_total":0,"is_dataset":false,"is_oa":false,"file_count":0,"downloads":0,"has_version_chain":false,"published_date":"1994-04-01","authors":[{"id":78010,"name":"David L. Dill","orcid":null,"position":1,"is_corresponding":false},{"id":78009,"name":"Rajeev Alur","orcid":"0000-0003-1733-7083","position":0,"is_corresponding":true}],"reference_count":48,"raw_metadata":{"citation_network_status":"fetched"},"created_at":"2026-03-01T18:20:47.508186Z","pmid":null,"pmcid":null,"fwci":null,"citation_percentile":null,"influential_citations":0,"oa_status":null,"license":null,"views":0,"total_file_size_bytes":0,"version_count":0,"clinical_trials":[],"software_tools":[],"db_accessions":[],"linked_datasets":[],"topics":[]}