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
31Alexander Tuzhilin Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic. Search on Bibsonomy ACM Trans. Inf. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal logic, time, specification languages, events, rule-based systems, activities
31Rajeev Alur, Thomas A. Henzinger A Really Temporal Logic. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF EXPSPACE-completeness, linear-time temporal logic, model checking, discrete time, real-time requirements, dense time
31Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli A Decision Algorithm for Full Propositional Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF satisfiability checking, validity checking, past and future operators, incremental tableau, model checking, temporal logic, automatic verification
31Anatoli Degtyarev, Michael Fisher 0001, Boris Konev Monodic temporal resolution. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Temporal logic, resolution, automated theorem proving
30Marc Geilen, Dennis Dams An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Antonio Cau Composing and Refining Dense Temporal Logic Specifications. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Temporal logic, Refinement, Compositionality
30Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bi-infinite time, satisfiability checking, temporal logic, bounded model checking
30Donghuo Chen, Jinzhao Wu Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. Search on Bibsonomy SOFSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Riccardo Pucella The finite and the infinite in temporal logic. Search on Bibsonomy SIGACT News The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Marc Geilen An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Paul Cotofrei, Kilian Stoffel Stochastic processes and temporal data mining. Search on Bibsonomy KDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining
29Till Mossakowski, Michael Drouineaud, Karsten Sohr A temporal-logic extension of role-based access control covering dynamic separation of duties. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray Receding horizon control for temporal logic specifications. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF embedded control software, receding horizon control, linear temporal logic
29Andrzej Indrzejczak A Labelled Natural Deduction System for Linear Temporal Logic. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Temporal Logic, Linear Time, Natural Deduction
29Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau Verifying linear time temporal logic properties of concurrent Ada programs with quasar. Search on Bibsonomy SIGAda The full citation details ... 2003 DBLP  DOI  BibTeX  RDF petri nets, concurrency, temporal logic, software verification
29Alexander Tuzhilin Extending Temporal Logic to Support High-Level Simulations. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF knowledge-based simulations, rule-processing, temporal logic, time, discrete event simulations
29Ron van der Meyden, Yoram Moses On Refinement and Temporal Annotations. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal refinement calculi, temporal logic, Refinement calculus
29Denis Thérien, Thomas Wilke Nesting Until and Since in Linear Temporal Logic. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
29Denis Thérien, Thomas Wilke Nesting Until and Since in Linear Temporal Logic. Search on Bibsonomy STACS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Partha S. Roop, Arcot Sowmya Hidden time model for specification and verification of embedded systems. Search on Bibsonomy ECRTS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #120 of 3993 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]
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