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 (23) 1967 (25) 1968 (23) 1969 (23) 1970-1972 (19) 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 (1393) 1999 (2138) 2000 (2675) 2001 (3358) 2002 (3935) 2003 (4721) 2004 (6380) 2005 (7643) 2006 (9040) 2007 (9373) 2008 (10901) 2009 (7436) 2010 (1338) 2011 (585) 2012 (573) 2013 (579) 2014 (689) 2015 (651) 2016 (245)
Publication types (Num. hits)
article(17739) book(18) incollection(2720) inproceedings(61787) phdthesis(9) proceedings(31)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 80488 occurrences of 18150 keywords

Results
Found 82313 publication records. Showing 82304 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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
27Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott Object-Oriented Modules. 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 Using 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 Core Maude Grammar. 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 Functional Modules. 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 User Interfaces and Metalanguage 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 Reflection, Metalevel Computation, and Strategies. 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, Miguel Palomino, Alberto Verdejo Specifying Parameterized Data Structures in 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 Introduction. Search on Bibsonomy All About Maude The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Christian Stary, Constantine Stephanidis (eds.) User-Centered Interaction Paradigms for Universal Access in the Information Society, 8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004, Revised Selected Papers Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  BibTeX  RDF
27Pieter J. Blignaut An Empirical Methodology for Usability Analysis of a Touchscreen-Based Information Kiosk System for African Users with Low Levels of Computer Literacy. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jing-Hua Ye, John Herbert Interface Tailoring for Mobile Computing Devices. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Simeon Keates Investigating the Inclusivity of Digital Television Set-Top Boxes. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Helder Ferreira, Diamantino Freitas Audio Rendering of Mathematical Formulae Using MathML and AudioMath. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Audio Rendering of Mathematical Expressions, Conversion of mathematical formulae into text, Accessibility, Text-to-Speech, MathML
27Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney Strategies for Finding Government Information by Older People. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Michael Pieper, Renate Anderweit, Beate Schulte, Ulrike Peter, Jutta Croll, Iris Cornelssen Methodological Approaches to Identify Honorable Best Practice in Barrier-Free Web Design - Examples from Germany's 1st BIENE Award Competition. Search on Bibsonomy User Interfaces for All The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #121 - #140 of 82304 (20 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.