The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for all

Publication years (Num. hits)
1953-1960 (28) 1961-1962 (26) 1963-1964 (27) 1965-1966 (25) 1967 (25) 1968 (23) 1969 (23) 1970-1972 (20) 1973 (28) 1974 (65) 1975 (46) 1976 (66) 1977 (49) 1978 (69) 1979 (61) 1980 (82) 1981 (62) 1982 (86) 1983 (98) 1984 (120) 1985 (190) 1986 (167) 1987 (299) 1988 (430) 1989 (457) 1990 (582) 1991 (413) 1992 (511) 1993 (563) 1994 (739) 1995 (991) 1996 (1007) 1997 (1276) 1998 (1394) 1999 (2138) 2000 (2675) 2001 (3359) 2002 (3938) 2003 (4721) 2004 (6381) 2005 (7644) 2006 (9041) 2007 (9376) 2008 (10903) 2009 (7437) 2010 (1338) 2011 (588) 2012 (575) 2013 (580) 2014 (691) 2015 (654) 2016 (395)
Publication types (Num. hits)
article(17806) book(18) incollection(2721) inproceedings(61890) phdthesis(15) proceedings(32)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 80488 occurrences of 18150 keywords

Results
Found 82491 publication records. Showing 82482 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
27Ian Horswill, Karl Cheng-Heng Fua, Andrew Ortony Conflict and Hesitancy in Virtual Actors. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Hartmut Messerschmidt Separating Moving Objects from Landmarks. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Javier Snaider, Ryan James McCall, Stan Franklin The Immediate Present Train Model Time Production and Representation for Cognitive Agents. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Pinar Wennerberg, Klaus Schulz An Ontology of Socio-Cultural Time Expressions. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Bastian Hartmann, Ingo Schwab, Norbert Link Prototype Optimization for Temporarily and Spatially Distorted Time Series. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Guy Hoffman Anticipation in Human-Robot Interaction. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Julie A. Shah, Brian C. Williams, Cynthia Breazeal Dynamic Execution of Temporal Plans for Temporally Fluid Human-Robot Teaming. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Sonia Chernova, Cynthia Breazeal Learning Temporal Plans from Observation of Human Collaborative Behavior. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Hatice Kose-Bagci, Frank Broz, Qiming Shen, Kerstin Dautenhahn, Chrystopher L. Nehaniv As Time Goes By: Representing and Reasoning About Timing in Human-Robot Interaction Studies. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Eric Meisner, Selma Sabanovic Grounding Communication Without Prior Structure. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Jonathan K. Alt, Stephen Lieberman, Ahmed Al Rowaei Exploring the Implications of Time in Discrete Event Social Simulations. Search on Bibsonomy AAAI Spring Symposium: It's All in the Timing The full citation details ... 2010 DBLP  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (eds.) All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo Mobile Maude. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott A Hierarchy of Data Types: From Trees to Sets. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Complete List of Maude Commands. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott A Sampler of Application Areas. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott LTL Model Checking. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Model Checking Invariants Through Search. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Metaprogramming Applications. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Debugging and Troubleshooting. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #120 of 82482 (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.