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
26John Derrick, Graeme Smith 0001 Linear Temporal Logic and Z Refinement. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman 0001 Querying TSQL2 Databases with Temporal Logic. Search on Bibsonomy EDBT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
26Kiyoharu Hamaguchi, Hiromi Hiraishi, Shuzo Yajima Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
26Howard Barringer, Michael Fisher 0001, Dov M. Gabbay, Graham Gough, Richard Owens METATEM: A Framework for Programming in Temporal Logic. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Non-procedural Languages, Verification, Specification, Logic Programming, Prototyping, Synthesis, Reactive Systems, Rule-based Systems, Mechanical Verification, Modal and Temporal Logics
26Howard Barringer, Ruurd Kuiper Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
25Adrianna Alexander, Wolfgang Reisig Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Gergely Pintér, István Majzik Runtime Verification of Statechart Implementations. Search on Bibsonomy WADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF temporal logic, Runtime verification, UML statecharts
25Edmund M. Clarke, Orna Grumberg, David E. Long Verification Tools for Finite-State Concurrent Systems. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF model checking, temporal logic, binary decision diagrams, automatic verification
25Stéphane Demri, Alexander Rabinovich The Complexity of Temporal Logic with Until and Since over Ordinals. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Yoram Hirshfeld, Alexander Moshe Rabinovich An Expressive Temporal Logic for Real Time. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Jan M. Broersen Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Orieta Celiku Quantitative Temporal Logic Mechanized in HOL. Search on Bibsonomy ICTAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar Decision Procedure for Temporal Logic of Concurrent Objects. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Corradini 0001 Integrating the Specification Techniques of Graph Transformation and Temporal Logic. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25D. Lippert Interval Temporal Logic and Star-Free Expressions. Search on Bibsonomy CSL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25Marko Samer, Helmut Veith Deterministic CTL Query Solving. Search on Bibsonomy TIME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Wiebe van der Hoek, Michael J. Wooldridge Model Checking Knowledge and Time. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens The Regular Real-Time Languages. Search on Bibsonomy ICALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Antonio Morales, Isabel Navarrete, Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #181 - #200 of 3993 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
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