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 (22) 1973 (31) 1974 (66) 1975 (49) 1976 (67) 1977 (52) 1978 (71) 1979 (62) 1980 (83) 1981 (64) 1982 (88) 1983 (100) 1984 (122) 1985 (193) 1986 (171) 1987 (300) 1988 (431) 1989 (459) 1990 (587) 1991 (414) 1992 (512) 1993 (568) 1994 (740) 1995 (993) 1996 (1011) 1997 (1277) 1998 (1396) 1999 (2138) 2000 (2686) 2001 (3361) 2002 (3943) 2003 (4717) 2004 (6397) 2005 (7660) 2006 (9049) 2007 (9391) 2008 (10911) 2009 (7447) 2010 (1349) 2011 (596) 2012 (588) 2013 (592) 2014 (717) 2015 (684) 2016 (1003) 2017 (544) 2018 (2)
Publication types (Num. hits)
article(18337) book(21) incollection(2749) inproceedings(62697) phdthesis(40) proceedings(37)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 80488 occurrences of 18150 keywords

Results
Found 83892 publication records. Showing 83881 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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  DOI  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
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  DOI  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
Displaying result #121 - #140 of 83881 (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.
open data data released under the ODC-BY 1.0 license