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

Found 3993 publication records. Showing 3993 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
35Li Tan Model-based self-monitoring embedded programs with temporal logic specifications. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF embedded systems, temporal logic, run-time verification
35Prasad Naldurg, Koushik Sen, Prasanna Thati A Temporal Logic Based Framework for Intrusion Detection. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, Intrusion detection, temporal logic, runtime monitoring
35Regimantas Pliuskevicius Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fixpoint temporal logic, sequential calculi, infinitary rules of inference, completeness
35Amir Pnueli System Specification and Refinement in Temporal Logic. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
35Arie Gurfinkel, Benet Devereux, Marsha Chechik Model exploration with temporal logic query checking. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multi-valued model-checking, query-checking, CTL
35Sergey Babenyshev, Vladimir V. Rybakov Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
35Rana Barua Completeness of a combination of neighbourhood logic and temporal logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Neighbourhood logic, Completeness, Possible world semantics, Interval logic, First-order temporal logic
35Gideon Berger, Alexander Tuzhilin Discovering Unexpected Patterns in Temporal Data Using Temporal Logic. Search on Bibsonomy Temporal Databases, Dagstuhl The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Nicole Bidoit, Sandra de Amo Implicit Temporal Query Languages: Towards Completeness. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Temporal logic, Query languages, Communication protocol, Temporal database, Expressive power
33Tim French 0002 Quantified Propositional Temporal Logic with Repeating States. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Denis Thérien, Thomas Wilke Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy. Search on Bibsonomy FOCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semidirect products, until hierarchy, finite semigroups, algebraic characterization, nesting depth, finite semigroup theory, temporal logic, temporal logic
33Sergey Babenyshev, Vladimir V. Rybakov Temporal Logic for Modeling Discovery and Logical Uncertainty. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF decidability algorithms, Kripke/Hintikka models, temporal logic, uncertainty, chance discovery
33Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel Fluent temporal logic for discrete-time event-based models. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis
33Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled Parametric temporal logic for "model measuring". Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF model checking, temporal logic, quantitative analysis
33Jan Chomicki, David Toman 0001, Michael H. Böhlen Querying ATSQL databases with temporal logic. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ATSQL, temporal databases, query translation, first-order temporal logic
33Ekkart Kindler, Tobias Vesper ESTL: A Temporal Logic for Events and States. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF verification, Petri nets, specification, Temporal logic, events, system development, states
33Serenella Cerrito, Marta Cialdea Mayer Using Linear Temporal Logic to Model and Solve Planning Problems. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Planning, Temporal Reasoning, Linear Temporal Logic, Tableaux, Model Search
33Insu Song, Guido Governatori Hardware Implementation of Temporal Nonmonotonic Logics. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF agent, knowledge representation, temporal logic, nonmonotonic logic, chip design
33James Clifford, Albert Croker, Alexander Tuzhilin On Completeness of Historical Relational Query Languages. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF temporal grouping, temporal logic, query languages, completeness, temporal databases, relational model, historical databases
33Wojciech Jamroga A Temporal Logic for Stochastic Multi-Agent Systems. Search on Bibsonomy PRIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-agent system, Temporal logic, Markov decision process
Displaying result #61 - #80 of 3993 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
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