Search    Browse

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 (22) 1987 (41) 1988 (36) 1989 (51) 1990 (40) 1991 (49) 1992 (55) 1993 (74) 1994 (90) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (93) 2002 (118) 2003 (169) 2004 (163) 2005 (167) 2006 (199) 2007 (211) 2008 (169) 2009 (138) 2010 (75) 2011 (72) 2012 (95) 2013 (83) 2014 (113) 2015 (80) 2016 (109) 2017 (110) 2018 (124) 2019 (160) 2020 (168) 2021 (166) 2022 (214) 2023 (219) 2024 (42)
Publication types (Num. hits)
article(1438) book(10) incollection(34) inproceedings(2774) phdthesis(47) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(480) TIME(110) CDC(87) CAV(83) ACC(64) Theor. Comput. Sci.(64) ICRA(63) CONCUR(55) HSCC(42) IROS(42) LICS(38) TACAS(38) ICTL(34) J. Log. Comput.(33) IEEE Trans. Software Eng.(30) AAMAS(29) More (+10 of total 1009)
Authors
Calin Belta(145) Ufuk Topcu(83) Dimos V. Dimarogonas(66) Angelo Montanari(52) Zhe Xu 0005(49) Moshe Y. Vardi(48) Michael Fisher 0001(47) Zhenhua Duan(46) Edmund M. Clarke(45) Amir Pnueli(43) Guido Sciavicco(35) George J. Pappas(34) Richard M. Murray(34) Lars Lindemann(33) Laura Bozzelli(30) Cristian Ioan Vasile(29) More (+10 of total 4575)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords
Results
Found 4306 publication records. Showing 0 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
Displaying result #1 - #0 of 0 (20 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license