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 (89) 1995 (68) 1996 (87) 1997 (83) 1998 (84) 1999 (88) 2000 (92) 2001 (92) 2002 (118) 2003 (169) 2004 (159) 2005 (168) 2006 (200) 2007 (210) 2008 (168) 2009 (138) 2010 (75) 2011 (71) 2012 (96) 2013 (83) 2014 (113) 2015 (78) 2016 (110) 2017 (110) 2018 (124) 2019 (159) 2020 (169) 2021 (163) 2022 (119)
Publication types (Num. hits)
article(1243) book(9) incollection(34) inproceedings(2607) phdthesis(40) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(375) TIME(104) CAV(83) CDC(62) Theor. Comput. Sci.(62) ACC(57) 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 957)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2557 occurrences of 933 keywords

Results
Found 3936 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
16P. David Stotts, Jaime Navon Model checking cobweb protocols for verification of HTML frames behavior. Search on Bibsonomy WWW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF literary hypertext, model checking, verification, temporal logic, HTML, formal semantics, frames, browsing semantics
9Chuming Chen, Manton M. Matthews Extending Description Logic for Reasoning about Ontology Evolution. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
7Monika Solanki, Antonio Cau, Hussein Zedan ASDL: a wide spectrum language for designing web services. Search on Bibsonomy WWW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ASDL, wide spectrum, web services, computational model
7Monika Solanki, Antonio Cau, Hussein Zedan Augmenting semantic web service descriptions with compositional specification. Search on Bibsonomy WWW The full citation details ... 2004 DBLP  DOI  BibTeX  RDF owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl
6Sudhir Agarwal 0001 A Goal Specification Language for Automated Discovery and Composition of Web Services. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
5Hongbing Wang, Hui Liu, Chen Wang, Patrick C. K. Hung A New Approach to Describe Web Services. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
5Alessandro Campi, Paola Spoletini A framework for XML data streams history checking and monitoring. Search on Bibsonomy WWW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, verification, semi-structured data
5Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. Search on Bibsonomy EKAW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (20 per page; Change: )
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