乐胖代购免代理版

{"id":"https://openalex.org/W2028104952","doi":"https://doi.org/10.1145/1459352.1459358","title":"Comments on temporal logics for real-time system specification","display_name":"Comments on temporal logics for real-time system specification","publication_year":2009,"publication_date":"2009-02-01","ids":{"openalex":"https://openalex.org/W2028104952","doi":"https://doi.org/10.1145/1459352.1459358","mag":"2028104952"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1459352.1459358","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"review","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://se.inf.ethz.ch/people/furia/pubs/csur09-comments.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031470846","display_name":"Carlo A. Furia","orcid":"https://orcid.org/0000-0003-1040-3201"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo A. Furia","raw_affiliation_strings":["Politecnico di Milano, Milan (Italy)#TAB#"],"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Milan (Italy)#TAB#","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006061936","display_name":"Matteo Pradella","orcid":"https://orcid.org/0000-0003-3039-1084"},"institutions":[{"id":"https://openalex.org/I4210144062","display_name":"Consorzio Roma Ricerche","ror":"https://ror.org/03jvpn714","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210144062"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Pradella","raw_affiliation_strings":["Consiglio Nazionale delle Ricerche, Milan, Italy"],"affiliations":[{"raw_affiliation_string":"Consiglio Nazionale delle Ricerche, Milan, Italy","institution_ids":["https://openalex.org/I4210144062","https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088212295","display_name":"Matteo Rossi","orcid":"https://orcid.org/0000-0002-9193-9560"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Rossi","raw_affiliation_strings":["Politecnico di Milano, Milan (Italy)#TAB#"],"affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Milan (Italy)#TAB#","institution_ids":["https://openalex.org/I93860229"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.101,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.212903,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":74,"max":77},"biblio":{"volume":"41","issue":"2","first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9964,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/legibility","display_name":"Legibility","score":0.81873876},{"id":"https://openalex.org/keywords/exposition","display_name":"Exposition (narrative)","score":0.7339376},{"id":"https://openalex.org/keywords/confusion","display_name":"Confusion","score":0.54894197}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84825194},{"id":"https://openalex.org/C2779332521","wikidata":"https://www.wikidata.org/wiki/Q1820694","display_name":"Legibility","level":2,"score":0.81873876},{"id":"https://openalex.org/C2776285698","wikidata":"https://www.wikidata.org/wiki/Q2642214","display_name":"Exposition (narrative)","level":2,"score":0.7339376},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.54894197},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.45707306},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30900866},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1459352.1459358","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.198","pdf_url":"http://se.inf.ethz.ch/people/furia/pubs/csur09-comments.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.198","pdf_url":"http://se.inf.ethz.ch/people/furia/pubs/csur09-comments.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1490848900","https://openalex.org/W1497559908","https://openalex.org/W1521742002","https://openalex.org/W1549122259","https://openalex.org/W1988422114","https://openalex.org/W1999194742","https://openalex.org/W2026629052","https://openalex.org/W2029818286","https://openalex.org/W2038272221","https://openalex.org/W2051068608","https://openalex.org/W2084797476","https://openalex.org/W2088994048","https://openalex.org/W2098171268","https://openalex.org/W2102222848","https://openalex.org/W2103146530","https://openalex.org/W2109023875","https://openalex.org/W2113316597","https://openalex.org/W2139891885","https://openalex.org/W2157319504","https://openalex.org/W2161166453","https://openalex.org/W2396555304","https://openalex.org/W2561675875","https://openalex.org/W2748837517","https://openalex.org/W2806619258","https://openalex.org/W2913409823","https://openalex.org/W4285719527","https://openalex.org/W4388294888"],"related_works":["https://openalex.org/W565076200","https://openalex.org/W4386523255","https://openalex.org/W2759286286","https://openalex.org/W2473574490","https://openalex.org/W2406065423","https://openalex.org/W2356114564","https://openalex.org/W2340198091","https://openalex.org/W2088472827","https://openalex.org/W1498732016","https://openalex.org/W1480515846"],"abstract_inverted_index":{"The":[0],"article":[1],"\u201cTemporal":[2],"Logics":[3],"for":[4,21,84],"Real-Time":[5],"System":[6],"Specification\u201d":[7],"surveys":[8],"some":[9,30,35,65],"of":[10,18,24,44,60,66,81],"the":[11,16,22,38,58,61,79,82,85],"relevant":[12],"literature":[13],"dealing":[14],"with":[15],"use":[17],"temporal":[19],"logics":[20],"specification":[23],"real-time":[25],"systems.":[26],"Unfortunately,":[27],"it":[28],"introduces":[29],"imprecisions":[31,54],"that":[32],"might":[33],"create":[34],"confusion":[36],"in":[37,73],"reader.":[39,86],"While":[40],"a":[41,51,70],"certain":[42],"degree":[43],"informality":[45],"is":[46],"certainly":[47],"useful":[48],"when":[49],"addressing":[50],"broad":[52],"audience,":[53],"can":[55],"negatively":[56],"impact":[57],"legibility":[59],"exposition.":[62],"We":[63],"clarify":[64],"its":[67],"remarks":[68],"on":[69],"few":[71],"topics,":[72],"an":[74],"effort":[75],"to":[76,78],"contribute":[77],"usefulness":[80],"survey":[83]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2028104952","counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2024-12-13T00:28:46.330762","created_date":"2016-06-24"}