The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase C-Reps (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-1987 (16) 1988-1990 (19) 1991-1994 (16) 1995-1996 (17) 1997-1999 (20) 2000-2002 (24) 2003 (15) 2004-2005 (35) 2006-2007 (28) 2008-2009 (22) 2010-2011 (22) 2012-2013 (27) 2014 (23) 2015-2016 (21) 2017-2018 (21) 2019-2020 (27) 2021 (28) 2022-2023 (31) 2024 (4)
Publication types (Num. hits)
article(173) book(4) incollection(6) inproceedings(229) phdthesis(2) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(60) CAV(19) ACM Trans. Program. Lang. Syst...(18) POPL(18) SAS(16) PLDI(13) Proc. ACM Program. Lang.(10) CC(9) ESOP(8) VMCAI(7) SIGSOFT FSE(6) TACAS(6) PEPM(5) BMC Medical Informatics Decis....(4) CAV (1)(4) ICSE(4) More (+10 of total 166)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 126 occurrences of 90 keywords

Results
Found 419 publication records. Showing 416 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
17P. Thomas Fletcher, Stephen M. Pizer, A. Graham Gash, Sarang C. Joshi Deformable m-rep segmentation of object complexes. Search on Bibsonomy ISBI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Derek Rayside, Kostas Kontogiannis A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis. Search on Bibsonomy CSMR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Jens Krinke Evaluating Context-Sensitive Slicing and Chopping. Search on Bibsonomy ICSM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
17Ramkrishna Chatterjee, Barbara G. Ryder, William Landi Complexity of Points-To Analysis of Java in the Presence of Exceptions. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java, complexity, exceptions, Points-to analysis
17Thomas Ball, Sriram K. Rajamani Bebop: a path-sensitive interprocedural dataflow engine. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Gill Barequet, Christian A. Duncan, Subodh Kumar 0001 RSVP: A Geometric Toolkit for Controlled Repair of Solid Models. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Model repair, edge matching
17Jiun-Liang Chen, Feng-Jian Wang Encapsulation in Object-Oriented Programs. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
17Jovan Zagajac A Fast Method for Estimating Discrete Field Values in Early Engineering Design. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF random walk, Ray tracing, Monte Carlo, engineering analysis
17Adam W. Hoover, Dmitry B. Goldgof, Kevin W. Bowyer Extracting a Valid Boundary Representation from a Segmented Range Image. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Experimental computer vision, range image processing, model reconstruction, 3D shape
17David W. Binkley Precise Executable Interprocedural Slices. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF program slicing, data dependence, control dependence, program dependence graph
17Scott A. Vorthmann Coordinated Incremental Attribute Evaluation on a DR-Threaded Tree. Search on Bibsonomy WAGA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
17Bruce F. Naylor, John Amanatides, William C. Thibault Merging BSP trees yields polyhedral set operations. Search on Bibsonomy SIGGRAPH The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
17Martin D. Carroll, Barbara G. Ryder Incremental Data Flow Analysis via Dominator and Attribute Updates. Search on Bibsonomy POPL The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
17Peter H. Feiler Relationship between IDL and Structure Editor Generation Technology. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
17Robert Paige Transformational Programming - Applications to Algorithms and Systems. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
17Jane Fedorowicz Comments on Price/Performance Patterns of U.S. Computer Systems. Search on Bibsonomy Commun. ACM The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #416 of 416 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]
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