The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase temporal logic (changed automatically)

Publication years (Num. hits)
1977-1982 (29) 1983 (21) 1984 (22) 1985 (17) 1986 (21) 1987 (41) 1988 (36) 1989 (51) 1990 (40) 1991 (47) 1992 (54) 1993 (74) 1994 (90) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (93) 2002 (118) 2003 (169) 2004 (160) 2005 (168) 2006 (200) 2007 (210) 2008 (169) 2009 (138) 2010 (75) 2011 (71) 2012 (95) 2013 (83) 2014 (113) 2015 (79) 2016 (109) 2017 (110) 2018 (124) 2019 (159) 2020 (168) 2021 (165) 2022 (172)
Publication types (Num. hits)
article(1275) book(9) incollection(34) inproceedings(2631) phdthesis(41) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(396) TIME(107) CAV(83) CDC(63) Theor. Comput. Sci.(62) ACC(58) CONCUR(55) ICRA(53) HSCC(39) LICS(38) TACAS(38) ICTL(34) J. Log. Comput.(32) IEEE Trans. Software Eng.(30) IROS(30) AAMAS(28) More (+10 of total 966)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords

Results
Found 3993 publication records. Showing 3993 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
28Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal Strongly Equivalent Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
28Orna Kupferman, Nir Piterman, Moshe Y. Vardi Extended Temporal Logic Revisited. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Kousha Etessami Stutter-Invariant Languages, omega-Automata, and Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
28Anatol Ursu, Gabriela Gruita, Sergiu Zaporojan Design and verification of the sequential systems automata using temporal logic specifications. Search on Bibsonomy ED&TC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28William G. Wood Temporal Logic Case Study. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
28Françoise Debart, Patrice Enjalbert, Madeleine Lescot Multi-Modal Logic Programming using Equational and Order-Sorted Logic. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
28Naijun Zhan Completeness of Higher-Order Duration Calculus. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF duration calculus higher-order logic interval temporal logic completeness
27Antonio Morales, Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. Search on Bibsonomy TIME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Paul Gastin, Madhavan Mukund An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF concurrency, Temporal logics, Mazurkiewicz traces
27Patrick Blackburn, Valentin Goranko Hybrid Ockhamist Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Martín Abadi An Axiomatization of Lamport's Temporal Logic of Actions. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
27Alexander Rabinovich Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27David Toman 0001 On Incompleteness of Multi-dimensional First-order Temporal Logics. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Du Zhang On Temporal Properties of Knowledge Base Inconsistency. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF knowledge inconsistency, temporal inconsistency, interval relations, conflicting intervals, Interval temporal logic
27Tobias Schüle, Klaus Schneider 0001 Bounded model checking of infinite state systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
27Matthias Baaz, Alexander Leitsch, Richard Zach Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, many-valued logic, intermediate logic
27Liguo Deng, Yunpeng Cai, Chen Wang, Yan Jiang Fuzzy Temporal Logic on Fuzzy Temporal Constraint Networks. Search on Bibsonomy FSKD (6) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fuzzy temporal knowledge, fuzzy temporal constraints, fuzzy temporal logic, fuzzy sets, temporal reasoning
27Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka Implementation of Temporal Logic Programming Language Tokio. Search on Bibsonomy LP The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
27Rajeev Alur Temporal Reasoning about Program Executions. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #141 - #160 of 3993 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license