Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for nesting with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1982 (18) 1983-1987 (17) 1988-1989 (16) 1990-1992 (20) 1993-1995 (26) 1996-1997 (21) 1998-1999 (23) 2000 (22) 2001 (18) 2002 (27) 2003 (33) 2004 (46) 2005 (44) 2006 (46) 2007 (47) 2008 (55) 2009 (36) 2010 (21) 2011-2013 (23) 2014-2015 (18) 2016 (18) 2017 (15) 2018 (18) 2019 (15) 2020 (21) 2021 (17) 2022-2023 (29) 2024 (6)
Publication types (Num. hits)
article(261) incollection(1) inproceedings(453) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(19) SIGMOD Conference(11) PPoPP(10) Remote. Sens.(10) ACM SIGPLAN Notices(7) ACM Trans. Program. Lang. Syst...(7) Discret. Math.(7) Eur. J. Oper. Res.(7) IPDPS(7) J. Intell. Manuf.(6) CSL(5) Ecol. Informatics(5) ECOOP(5) IEEE Trans. Software Eng.(5) J. ACM(5) PODS(5) More (+10 of total 448)
Authors
Rajeev Alur(9) José Fernando Oliveira(7) Jeffrey Horn(6) Carla Piazza(5) Chiara Braghin(5) James H. Anderson(5) Jixue Liu(5) Kunle Olukotun(5) Thomas Lengauer(5) Agostino Cortesi(4) Alexander Spiegelman(4) Catherine E. Nemitz(4) Chengfei Liu(4) Christopher A. Rodger(4) Christos Kozyrakis(4) Flaminia L. Luccio(4) More (+10 of total 1708)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 564 occurrences of 436 keywords
Results
Found 716 publication records. Showing 716 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
10Uwe Petermann Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
10Latha S. Colby A Recursive Algebra and Query Optimization for Nested Relations. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
10Andrew U. Frank, Renato Barrera The Fieldtree: A Data Structure for Geographic Information Systems. Search on Bibsonomy SSD The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
10Richard Hull 0001, Jianwen Su On the Expressive Power of Database Queries with Intermediate Types. Search on Bibsonomy PODS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Görel Hedin, Boris Magnusson The Mjølner Environment: Direct Interaction with Abstractions. Search on Bibsonomy ECOOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Peiyi Tang, Pen-Chung Yew, Chuan-Qi Zhu Impact of self-scheduling order on performance on multiprocessor systems. Search on Bibsonomy ICS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
10Trevor Lukey, Kenneth D. Loose, David R. Hill Implementation of a debugging aid for logic errors in Pascal programs. Search on Bibsonomy SIGCSE The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Pascal
10Roger Eggen, John R. Metzner Development of a parallel algorithmic language (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
10G. Venkatesh A Decision Method for Temporal Logic Based on Resolution. Search on Bibsonomy FSTTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
10Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli On the scope of static checking in definitional languages. Search on Bibsonomy ACM Annual Conference The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
10Eric B. Levy The Case against Pascal as Teaching Tool. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
10Eugene W. Myers A Precise Interprocedural Data Flow Algorithm. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
10Hans Langmaack, Ernst-Rüdiger Olderog Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. Search on Bibsonomy ICALP The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
10Bernhard G. Goetze, Werner Nehrlich Loop Programs and Classes of Primitive Recursive Functions. Search on Bibsonomy MFCS The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
10Barry K. Rosen Applications of High-Level Control Flow. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
10Richard P. Brent The Parallel Evaluation of General Arithmetic Expressions. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
Displaying result #701 - #716 of 716 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8]
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