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
26Sara Kalvala, Richard Warburton, David Lacey Program transformations using temporal logic side conditions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF temporal logic, program transformation, rewriting, Optimizing compilers
26Cong Tian, Zhenhua Duan Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions. Search on Bibsonomy TAMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness
26Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni Linear temporal logic as an executable semantics for planning languages. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Applied temporal logic, Knowledge representation, Artificial intelligence planning
26Cong Tian, Zhenhua Duan Model Checking Propositional Projection Temporal Logic Based on SPIN. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton
26Zhenhua Duan, Cong Tian Decidability of Propositional Projection Temporal Logic with Infinite Models. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF infinite model, model checking, satisfiability, decidability, interval temporal logic
26David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen Compiler Optimization Correctness by Temporal Logic. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF model checking, temporal logic, optimizing compilers, compiler verification
26Jei-Wen Teng, Yih-Kuen Tsay Composing Temporal-Logic Specifications with Machine Assistance. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Assumption-Guarantee, Compositional Specification, Formal Correctness, Temporal Logic, Theorem Proving, Concurrent Systems, PVS, Compositional Verification, Component-Based Software
26Munindar P. Singh Distributed enactment of multiagent workflows: temporal logic for web service composition. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF temporal logic, service composition
26Juan Carlos Augusto, Rodolfo Gómez 0001 A temporal logic view of paradigm models. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF verification, temporal logic, paradigm
26Ben C. Moszkowski A Complete Axiomatization of Interval Temporal Logic with Infinite Time. Search on Bibsonomy LICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
26Zhenhua Duan, Maciej Koutny, Chris Holt Projection in Temporal Logic Programming. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Temporal logic, programming, projection
26Jeannette M. Wing, Mark R. Nixon Extending Ina Jo with Temporal Logic. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions
26Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko Modular Verification of Petri Nets: The Temporal Logic Approach. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF modular system design, verification, Petri nets, specification, temporal logic, computer architecture
26Wolfgang Reisig Towards a temporal logic of causality and choice in distributed systems. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Concurrent System Properties, Petri Nets, Temporal Logic
26Jair Minoro Abe, Seiki Akama Annotated Temporal Logics Delta*tau. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
26GuoJun Wang, QiaoLin Duan Theory of (n) truth degrees of formulas in modal logic and a consistency theorem. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF (n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
26Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Model-Checking Algorithms for Continuous-Time Markov Chains. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping
26Mehmet A. Orgun, Chuchang Liu, Abhaya C. Nayak Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Search on Bibsonomy Math. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 68T30, 68T27
26Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001 Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Grigore Rosu, Saddek Bensalem Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #161 - #180 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][>>]
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