{"id":"https://openalex.org/W2033144652","doi":"https://doi.org/10.1007/s00236-010-0118-3","title":"On regular temporal logics with past","display_name":"On regular temporal logics with past","publication_year":2010,"publication_date":"2010-05-13","ids":{"openalex":"https://openalex.org/W2033144652","doi":"https://doi.org/10.1007/s00236-010-0118-3","mag":"2033144652"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-010-0118-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-010-0118-3","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","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/A5035345743","display_name":"Christian Dax","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Christian Dax","raw_affiliation_strings":["Computer Science Department, ETH Zurich, CAB F 58.2, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland","ETH Zurich, Computer Science Department, CAB F 58.2, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, ETH Zurich, CAB F 58.2, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"ETH Zurich, Computer Science Department, CAB F 58.2, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland#TAB#","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016636619","display_name":"Felix Klaedtke","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Felix Klaedtke","raw_affiliation_strings":["Computer Science Department, ETH Zurich, CNB F 107.1, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland","ETH Zurich, Computer Science Department, CNB F 107.1, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, ETH Zurich, CNB F 107.1, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]},{"raw_affiliation_string":"ETH Zurich, Computer Science Department, CNB F 107.1, Universit\u00e4tstr. 6, 8092, Zurich, Switzerland#TAB#","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087768042","display_name":"Martin Lange","orcid":"https://orcid.org/0000-0002-1621-0972"},"institutions":[{"id":"https://openalex.org/I106157433","display_name":"University of Kassel","ror":"https://ror.org/04zc7p361","country_code":"DE","type":"education","lineage":["https://openalex.org/I106157433"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martin Lange","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Kassel, Wilhelmsh\u00f6her Allee 73, 34121, Kassel, Germany","University of Kassel, Department of Electrical Engineering and Computer Science, Wilhelmsh\u00f6her Allee 73, 34121, Kassel, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Kassel, Wilhelmsh\u00f6her Allee 73, 34121, Kassel, Germany","institution_ids":["https://openalex.org/I106157433"]},{"raw_affiliation_string":"University of Kassel, Department of Electrical Engineering and Computer Science, Wilhelmsh\u00f6her Allee 73, 34121, Kassel, Germany#TAB#","institution_ids":["https://openalex.org/I106157433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5035345743"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.0331,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.77071988,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"47","issue":"4","first_page":"251","last_page":"277"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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.993399977684021,"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"}},{"id":"https://openalex.org/T11549","display_name":"Synthetic Organic Chemistry Methods","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1605","display_name":"Organic Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8379241228103638},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.625021755695343},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5696401596069336},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5255500078201294},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5174561142921448},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.45384448766708374},{"id":"https://openalex.org/keywords/psl","display_name":"PSL","score":0.44913309812545776},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.42543038725852966},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.41024187207221985},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39392954111099243},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3477955758571625},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34270191192626953},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.20364287495613098}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8379241228103638},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.625021755695343},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5696401596069336},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5255500078201294},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5174561142921448},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45384448766708374},{"id":"https://openalex.org/C10464949","wikidata":"https://www.wikidata.org/wiki/Q1914781","display_name":"PSL","level":2,"score":0.44913309812545776},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.42543038725852966},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.41024187207221985},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39392954111099243},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3477955758571625},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34270191192626953},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.20364287495613098},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-010-0118-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00236-010-0118-3","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W42364276","https://openalex.org/W1489391022","https://openalex.org/W1491593738","https://openalex.org/W1492291048","https://openalex.org/W1498781683","https://openalex.org/W1502364670","https://openalex.org/W1503627878","https://openalex.org/W1512310098","https://openalex.org/W1526456721","https://openalex.org/W1545924555","https://openalex.org/W1546022948","https://openalex.org/W1566206239","https://openalex.org/W1573354578","https://openalex.org/W1977193848","https://openalex.org/W1982129592","https://openalex.org/W2001959058","https://openalex.org/W2002089154","https://openalex.org/W2019881090","https://openalex.org/W2023808162","https://openalex.org/W2026379532","https://openalex.org/W2031592188","https://openalex.org/W2050073538","https://openalex.org/W2103146530","https://openalex.org/W2103931510","https://openalex.org/W2106878575","https://openalex.org/W2107078774","https://openalex.org/W2115965729","https://openalex.org/W2145394419","https://openalex.org/W2168579189","https://openalex.org/W2336123333","https://openalex.org/W2612211757","https://openalex.org/W2806619258","https://openalex.org/W4230220072","https://openalex.org/W4239007999","https://openalex.org/W4285719527","https://openalex.org/W4300704029","https://openalex.org/W4302339081","https://openalex.org/W6675662528"],"related_works":["https://openalex.org/W3004330880","https://openalex.org/W2906414647","https://openalex.org/W2996101188","https://openalex.org/W2312247860","https://openalex.org/W4312840159","https://openalex.org/W3093874938","https://openalex.org/W2517964802","https://openalex.org/W2320630492","https://openalex.org/W1970248180","https://openalex.org/W2060032524"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}