{"id":"https://openalex.org/W1578211237","doi":"https://doi.org/10.1007/978-3-540-75142-7_32","title":"Detecting Temporal Logic Predicates on Distributed Computations","display_name":"Detecting Temporal Logic Predicates on Distributed Computations","publication_year":2007,"publication_date":"2007-09-05","ids":{"openalex":"https://openalex.org/W1578211237","doi":"https://doi.org/10.1007/978-3-540-75142-7_32","mag":"1578211237"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-75142-7_32","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-75142-7_32","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017858276","display_name":"Vinit Ogale","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131745","display_name":"Parallel Consulting (United States)","ror":"https://ror.org/03cssbw37","country_code":"US","type":"company","lineage":["https://openalex.org/I4210131745"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vinit A. Ogale","raw_affiliation_strings":["Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin, \u00a0","Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin"],"affiliations":[{"raw_affiliation_string":"Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin, \u00a0","institution_ids":["https://openalex.org/I4210131745"]},{"raw_affiliation_string":"Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061474994","display_name":"Vijay K. Garg","orcid":"https://orcid.org/0000-0002-5797-4389"},"institutions":[{"id":"https://openalex.org/I4210131745","display_name":"Parallel Consulting (United States)","ror":"https://ror.org/03cssbw37","country_code":"US","type":"company","lineage":["https://openalex.org/I4210131745"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay K. Garg","raw_affiliation_strings":["Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin, \u00a0","Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin"],"affiliations":[{"raw_affiliation_string":"Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin, \u00a0","institution_ids":["https://openalex.org/I4210131745"]},{"raw_affiliation_string":"Parallel and Distributed Systems Laboratory, Dept. of Electrical and Computer Engineering, University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017858276"],"corresponding_institution_ids":["https://openalex.org/I4210131745","https://openalex.org/I86519309"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.8315,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.74184852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"420","last_page":"434"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9975000023841858,"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/computer-science","display_name":"Computer science","score":0.762792706489563},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6689696311950684},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5976255536079407},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5782346725463867},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5658477544784546},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5099221467971802},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.500817060470581},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4708295166492462},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4339074492454529},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3422883152961731},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19010141491889954}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.762792706489563},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6689696311950684},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5976255536079407},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5782346725463867},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5658477544784546},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5099221467971802},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.500817060470581},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4708295166492462},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4339074492454529},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3422883152961731},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19010141491889954},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-540-75142-7_32","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-75142-7_32","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W20649036","https://openalex.org/W1481985818","https://openalex.org/W1501731334","https://openalex.org/W1503170978","https://openalex.org/W1503478887","https://openalex.org/W1512223106","https://openalex.org/W1528441743","https://openalex.org/W1529733775","https://openalex.org/W1533109738","https://openalex.org/W1539432158","https://openalex.org/W1568729458","https://openalex.org/W1576238472","https://openalex.org/W1590315663","https://openalex.org/W1914135806","https://openalex.org/W1934074768","https://openalex.org/W2087409327","https://openalex.org/W2088655521","https://openalex.org/W2093397547","https://openalex.org/W2093709900","https://openalex.org/W2096225456","https://openalex.org/W2108837172","https://openalex.org/W2115309705","https://openalex.org/W2119965246","https://openalex.org/W2131053137","https://openalex.org/W2147066648","https://openalex.org/W2488032294","https://openalex.org/W2611515161","https://openalex.org/W2913003984","https://openalex.org/W2917234383","https://openalex.org/W3137220996","https://openalex.org/W4246017475","https://openalex.org/W4300021588","https://openalex.org/W4300885858"],"related_works":["https://openalex.org/W2061122711","https://openalex.org/W2273754158","https://openalex.org/W4247954915","https://openalex.org/W2131958170","https://openalex.org/W2336747664","https://openalex.org/W2357130048","https://openalex.org/W4206605161","https://openalex.org/W2092234295","https://openalex.org/W1971270045","https://openalex.org/W2087392923"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}