The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1954-1964 (15) 1965-1967 (20) 1968-1969 (22) 1970 (18) 1971 (25) 1972 (20) 1973 (51) 1974 (67) 1975 (47) 1976 (84) 1977 (101) 1978 (125) 1979 (121) 1980 (159) 1981 (181) 1982 (187) 1983 (183) 1984 (210) 1985 (245) 1986 (268) 1987 (302) 1988 (393) 1989 (381) 1990 (502) 1991 (527) 1992 (637) 1993 (695) 1994 (822) 1995 (810) 1996 (898) 1997 (908) 1998 (929) 1999 (1021) 2000 (1077) 2001 (1256) 2002 (1422) 2003 (1509) 2004 (1842) 2005 (1966) 2006 (2132) 2007 (2536) 2008 (2865) 2009 (2849) 2010 (2162) 2011 (2187) 2012 (2454) 2013 (2542) 2014 (2580) 2015 (2880) 2016 (2974) 2017 (3287) 2018 (3350) 2019 (3678) 2020 (3887) 2021 (4107) 2022 (4347) 2023 (4695) 2024 (1113)
Publication types (Num. hits)
article(48513) book(88) data(9) incollection(423) inproceedings(26763) phdthesis(794) proceedings(81)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15645 occurrences of 5194 keywords

Results
Found 76671 publication records. Showing 76671 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
21Thomas Erlebach, Erik Jan van Leeuwen Domination in Geometric Intersection Graphs. Search on Bibsonomy LATIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Max A. Alekseyev, Pavel A. Pevzner Colored de Bruijn Graphs and the Genome Halving Problem. Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Genome duplication, genome halving, breakpoint graph, reversal, genome rearrangement, de Bruijn graph
21Justie Su-tzu Juan, Gerard J. Chang Group testing in graphs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Sample space, Algorithm, Graph, Bipartite graph, Group testing
21Sergio Cabello, Günter Rote Obnoxious centers in graphs. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
21Ayelet Butman, Danny Hermelin, Moshe Lewenstein, Dror Rawitz Optimization problems in multiple-interval graphs. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
21Sitaram Asur, Srinivasan Parthasarathy 0001, Duygu Ucar An event-based framework for characterizing the evolutionary behavior of interaction graphs. Search on Bibsonomy KDD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF evolutionary analysis, diffusion of innovations, interaction networks
21Fabrizio Frati, Markus Geyer, Michael Kaufmann 0001 Packing and Squeezing Subgraphs into Planar Graphs. Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis Expander Properties and the Cover Time of Random Intersection Graphs. Search on Bibsonomy MFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Muhammad Rezaul Karim 0001, Md. Saidur Rahman 0001 Straight-line grid drawings of planar graphs with linear area. Search on Bibsonomy APVIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Furuzan Atay Onat, Ivan Stojmenovic Generating Random Graphs for Wireless Actuator Networks. Search on Bibsonomy WOWMOM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21J. Joseph Fowler, Stephen G. Kobourov Characterization of Unlabeled Level Planar Graphs. Search on Bibsonomy GD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Fabrizio Frati, Maurizio Patrignani A Note on Minimum-Area Straight-Line Drawings of Planar Graphs. Search on Bibsonomy GD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Costas Busch, Ryan LaFortune, Srikanta Tirthapura Improved sparse covers for graphs excluding a fixed minor. Search on Bibsonomy PODC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF minor free graph, path separator, sparse cover, planar graph, compact routing
21Timothy M. Chan More algorithms for all-pairs shortest paths in weighted graphs. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF computational geometry, shortest paths, graph algorithms, matrix multiplication
21Alessandro Ferrante, Gopal Pandurangan, Kihong Park On the Hardness of Optimization in Power Law Graphs. Search on Bibsonomy COCOON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Pinar Heggernes, Charis Papadopoulos Single-Edge Monotonic Sequences of Graphs and Linear-Time Algorithms for Minimal Completions and Deletions. Search on Bibsonomy COCOON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Mark Huber Exact Sampling from Perfect Matchings of Dense Regular Bipartite Graphs. Search on Bibsonomy Algorithmica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Perfect sampling, Bregman's theorem, Minc's conjecture, Approximation algorithms, Perfect matchings, Permanent
21Jeffrey Chan, James Bailey 0001, Christopher Leckie Discovering and Summarising Regions of Correlated Spatio-Temporal Change in Evolving Graphs. Search on Bibsonomy ICDM Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Noga Alon, Tali Kaufman, Michael Krivelevich, Dana Ron Testing triangle-freeness in general graphs. Search on Bibsonomy SODA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Satish Rao, Shuheng Zhou Edge Disjoint Paths in Moderately Connected Graphs. Search on Bibsonomy ICALP (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Herman Geuvers, Iris Loeb From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Magnús M. Halldórsson, Ragnar K. Karlsson Strip Graphs: Recognition and Scheduling. Search on Bibsonomy WG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21David B. Chandler, Maw-Shang Chang, Ton Kloks, Jiping Liu, Sheng-Lung Peng Partitioned Probe Comparability Graphs. Search on Bibsonomy WG The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Robert Kincaid, Heidi Lam Line graph explorer: scalable display of line graphs using Focus+Context. Search on Bibsonomy AVI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Focus+Context, line graph
21Maxim A. Babenko Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Hajo Broersma, Agostino Capponi, Daniël Paulusma On-Line Coloring of H-Free Bipartite Graphs. Search on Bibsonomy CIAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Stefan Felsner, Mareike Massow Thickness of Bar 1-Visibility Graphs. Search on Bibsonomy GD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Ellis Rowland Watkins, Denis A. Nicole Named Graphs as a Mechanism for Reasoning About Provenance. Search on Bibsonomy APWeb The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Erik D. Demaine, Mohammad Taghi Hajiaghayi Graphs excluding a fixed minor have grids as large as treewidth, with combinatorial and algorithmic applications through bidimensionality. Search on Bibsonomy SODA The full citation details ... 2005 DBLP  BibTeX  RDF
21Miroslav Chlebík, Janka Chlebíková Approximation hardness of optimization problems in intersection graphs of d-dimensional boxes. Search on Bibsonomy SODA The full citation details ... 2005 DBLP  BibTeX  RDF
21Alice M. Dean, William S. Evans, Ellen Gethner, Joshua D. Laison, Mohammad Ali Safari, William T. Trotter Bar k-Visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness. Search on Bibsonomy GD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Masashi Toyoda, Masaru Kitsuregawa A system for visualizing and analyzing the evolution of the web with a time series of graphs. Search on Bibsonomy Hypertext The full citation details ... 2005 DBLP  DOI  BibTeX  RDF visualization, evolution, link analysis, Web graph, link spamming
21Anthony Bonato, Dejan Delic On a Problem of Cameron's on Inexhaustible Graphs. Search on Bibsonomy Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 05C75, 03C15
21Peter J. Dickinson, Horst Bunke, Arek Dadej, Miro Kraetzl Matching graphs with unique node labels. Search on Bibsonomy Pattern Anal. Appl. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Maximum common subgraph, Median graph, Unique node label, Graph matching, Graph isomorphism, Graph edit distance
21Gerard J. Chang, Chiuyuan Chen, Yaping Chen Vertex and Tree Arboricities of Graphs. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF arboricity, block-cactus graph, tree, planar graph, hamiltonian cycle, cograph, acyclic, series-parallel graph, girth
21Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Luigi Pontieri, Domenico Saccà Mining Constrained Graphs: The Case of Workflow Systems. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Parinya Chalermsook, Jittat Fakcharoenphol, Danupon Nanongkai A deterministic near-linear time algorithm for finding minimum cuts in planar graphs. Search on Bibsonomy SODA The full citation details ... 2004 DBLP  BibTeX  RDF
21Anne Berry, Martin Charles Golumbic, Marina Lipshteyn Two tricks to triangulate chordal probe graphs in polynomial time. Search on Bibsonomy SODA The full citation details ... 2004 DBLP  BibTeX  RDF
21Sriram V. Pemmaraju, Sriram Penumatcha, Rajiv Raman 0001 Approximating Interval Coloring and Max-Coloring in Chordal Graphs. Search on Bibsonomy WEA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Chandra Chekuri, Sanjeev Khanna, F. Bruce Shepherd Edge-Disjoint Paths in Planar Graphs. Search on Bibsonomy FOCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Stavros D. Nikolopoulos, Leonidas Palios Recognizing HHD-free and Welsh-Powell Opposition Graphs. Search on Bibsonomy WG The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Fedor V. Fomin, Dimitrios M. Thilikos A Simple and Fast Approach for Solving Problems on Planar Graphs. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Mark Korenblit, Vadim E. Levit On Algebraic Expressions of Series-Parallel and Fibonacci Graphs. Search on Bibsonomy DMTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Paul S. Bonsma The Complexity of the Matching-Cut Problem for Planar Graphs and Other Graph Classes. Search on Bibsonomy WG The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Oded Goldreich 0001, Dana Ron Property Testing in Bounded Degree Graphs. Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Approximation algorithms, Randomized algorithms, Graph algorithms, Property testing
21Somesh Jha, Oleg Sheyner, Jeannette M. Wing Two Formal Analys s of Attack Graphs. Search on Bibsonomy CSFW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Thomas Colcombet On Families of Graphs Having a Decidable First Order Theory with Reachability. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Christopher R. Palmer, Phillip B. Gibbons, Christos Faloutsos ANF: a fast and scalable tool for data mining in massive graphs. Search on Bibsonomy KDD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Julia Klinger Semiconcept Graphs with Variables. Search on Bibsonomy ICCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Carsten Gutwenger, Michael Jünger, Sebastian Leipert, Petra Mutzel, Merijam Percan, René Weiskircher Advances in C-Planarity Testing of Clustered Graphs. Search on Bibsonomy GD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman Observing timed systems by means of message sequence chart graphs. Search on Bibsonomy ICSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Thomas Erlebach, Klaus Jansen, Eike Seidel Polynomial-time approximation schemes for geometric graphs. Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF
21Daniel Kobler, Udi Rotics Polynomial algorithms for partitioning problems on graphs with fixed clique-width (extended abstract). Search on Bibsonomy SODA The full citation details ... 2001 DBLP  BibTeX  RDF coloring, dominating set, polynomial algorithms, edge-coloring, clique-width, edge-dominating set
21Maw-Shang Chang, Haiko Müller On the Tree-Degree of Graphs. Search on Bibsonomy WG The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Frithjof Dau Concept Graphs and Predicate Logic. Search on Bibsonomy ICCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Chin Lung Lu, Sheng-Lung Peng, Chuan Yi Tang Efficient Minus and Signed Domination in Graphs. Search on Bibsonomy ISAAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Lali Barrière, Pierre Fraigniaud, Cyril Gavoille, Bernard Mans, John Michael Robson On Recognizing Cayley Graphs. Search on Bibsonomy ESA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Michael A. Bender, Dana Ron Testing Acyclicity of Directed Graphs in Sublinear Time. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21David Harel, Yehuda Koren A Fast Multi-scale Method for Drawing Large Graphs. Search on Bibsonomy GD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Joan P. Hutchinson On Polar Visibility Representations of Graphs. Search on Bibsonomy GD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Fang-Rong Hsu, Yaw-Ling Lin, Yin-Te Tsai Parallel Algorithms for Shortest Paths and Related Problems on Trapezoid Graphs. Search on Bibsonomy ISAAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Takahiro Nakanishi, Motoshi Saeki Using Multiple Graphs of Programs to Modify Specifications. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Specification Modification, Reverse Engineering, Maintenance, Program Graph
21Anupam Gupta 0001, Ilan Newman, Yuri Rabinovich, Alistair Sinclair Cuts, Trees and l1-Embeddings of Graphs. Search on Bibsonomy FOCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF src=EQN76.GIF embeddings, Multicommodity flow, Sparsest cut, Finite metric spaces
21Jens Knoop, Dirk Koschützki, Bernhard Steffen Basic-Block Graphs: Living Dinosaurs? Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Feodor F. Dragan On Greedy Matching Ordering and Greedy Matchable Graphs (Extended Abstract). Search on Bibsonomy WG The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Stephan Brandt Computing the Independence Number of Dense Triangle-Free Graphs. Search on Bibsonomy WG The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Feodor F. Dragan, Falk Nicolai, Andreas Brandstädt LexBFS-Orderings and Power of Graphs. Search on Bibsonomy WG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Ajit A. Diwan, N. Usharani A Condition for the Three Colourability of Planar Locally Path Graphs. Search on Bibsonomy FSTTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
21Xiao Zhou 0001, Takao Nishizeki Edge-Coloring and f-Coloring for Various Classes of Graphs. Search on Bibsonomy ISAAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Jitender S. Deogun, Ton Kloks, Dieter Kratsch, Haiko Müller On Vertex Ranking for Permutations and Other Graphs. Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Bikash Chandra Ghosh, Vilas Wuwongse Conceptual Graphs as a Framework for Deductive Object-Oriented Databases. Search on Bibsonomy CAiSE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
21Robert Y. Geva, Azaria Paz Toward a Complete Representation of Graphoids in Graphs (Abridged Version). Search on Bibsonomy WG The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
21David P. Helmbold, Ernst W. Mayr Applications of Parallel Scheduling to Perfect Graphs. Search on Bibsonomy WG The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
21C. E. Veni Madhavan Approximation Algorithm for Maximum Independent Set in Planar Tiangle-Free Graphs. Search on Bibsonomy FSTTCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
21Matej Stehlík Minimal Connected tau-Critical Hypergraphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ?-critical hypergraphs, Colour-critical graphs, t-stable hypergraphs
21Appu Muthusamy On Resolvable Multipartite G-Designs. Search on Bibsonomy Graphs Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Cycle-factorization, Wreath product of graphs, Complete symmetric k-partite multi-digraph, Resesolvable multipartite G-design
21Glencora Borradaile, James R. Lee, Anastasios Sidiropoulos Randomly removing g handles at once. Search on Bibsonomy SCG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded genus graphs, probabilistic approximation, embeddings, planar graphs
21Chang-Wu Yu 0001 On the Complexity of the Max-Edge-Coloring Problem with Its Variants. Search on Bibsonomy ESCAPE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-graphs, bipartite graphs, algorithm design, edge coloring
21Christian Borgs, Jennifer T. Chayes, László Lovász 0001, Vera T. Sós, Balázs Szegedy, Katalin Vesztergombi Graph limits and parameter testing. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF convergence of graphs, distance of graphs, graph limit, property testing, graph homomorphism
21Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter Applying Modular Decomposition to Parameterized Bicluster Editing. Search on Bibsonomy IWPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF edge modification problems, bicluster graphs, NP-complete problems, fixed-parameter tractability, cluster graphs
21Steven Noel, Sushil Jajodia Managing attack graph complexity through visual hierarchical aggregation. Search on Bibsonomy VizSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF network attack graphs, network attack modeling, vulnerability analysis, clustered graphs
21Aubin Jarry, Zvi Lotker Connectivity in evolving graph with geometric properties. Search on Bibsonomy DIALM-POMC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF disc graphs, evolving graphs, connectivity, trees, dynamic networks
21Laurence E. LaForge, Kirk F. Korver, M. Sami Fadali What Designers of Bus and Network Architectures Should Know about Hypercubes. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Hypercube fault tolerance, hypercube latency, Hamming graphs, K-cubes, Moore graphs, Moore Bound, C-cubes, performability, quorums, configuration architectures, Lee distance
21Shin-Ichi Nakano Enumerating Floorplans with n Rooms. Search on Bibsonomy ISAAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Graphs, Enumeration, Listing, Plane graphs
21Joseph Naor, Baruch Schieber Improved Approximations for Shallow-Light Spanning Trees. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF shallow-light spanning trees, bicriteria optimization, non-trivial approximation factors, information retrieval, directed graphs, directed graph, directed graphs, polynomial time algorithm, VLSI design
21Jean-Marc Laferté, Fabrice Heitz, Patrick Pérez, Eric Fabre Hierarchical Statistical Models for the Fusion of Multiresolution Image Data. Search on Bibsonomy ICCV The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical statistical models, multiresolution image data fusion, nonlinear hierarchical algorithms, nonlinear causal Markov models, hierarchical graph structures, bayesian estimation theory, simple hierarchical graphs, ternary graphs, single-resolution image segmentation, computational complexity, computational complexity, image processing, image segmentation, graph theory, Markov processes, sensor fusion, optimal algorithm, Bayes methods, quadtrees, bayesian estimates, random processes, estimation theory, Viterbi algorithm, low-level vision, image size
21Yih-Farn Chen, Glenn S. Fowler, Eleftherios Koutsofios, Ryan S. Wallach Ciao: a graphical navigator for software and document repositories. Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Ciao, graphical navigator, document repositories, maintenance task, virtual database pipelines, structural connections, source document collection, Aero architecture style, entity-relationship databases, directed attributed graphs, graph analysis operators, presentation filters, graph views, source views, information retrieval, database, reverse engineering, query processing, software maintenance, browsing, directed graphs, data visualisation, programmers, entity-relationship modelling, software repositories, database queries, software documents, relational views
21Aniello Cimitile, Andrea De Lucia, Malcolm Munro Identifying reusable functions using specification driven program slicing: a case study. Search on Bibsonomy ICSM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
21Kamal Kumar Jain, V. Rajaraman Lower and Upper Bounds on Time for Multiprocessor Optimal Schedules. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF lower time bound, upper time bound, multiprocessor optimal schedules, minimum processing time, directed acyclic task graph, worst case behavior, minimum processor number, randomly generated dense task graphs, scheduling, performance evaluation, parallel algorithms, parallel processing, directed graphs, minimisation
21Vernon Rego, Aditya P. Mathur Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF vector multiprocessors, nonregressive graphs, optimality, parallel programming, parallelism, programming theory, unification, vector processors, sequential programs, source-to-source transformation, program graphs
20Eike Best A Note on Persistent Petri Nets. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Adam H. Berliner, Ulrike Bostelmann, Richard A. Brualdi, Louis Deaett Sum List Coloring Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Choosable function, Sum choice number, Sum choice greedy graph, Graph, List coloring
20Joe Anderson, Haidong Wu An Extremal Problem on Contractible Edges in 3-Connected Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, Dominique Poulalhon, Gilles Schaeffer Planar Graphs, via Well-Orderly Maps and Trees. Search on Bibsonomy Graphs Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Well-orderly, Triangulation, Planar graph, Realizer
20Catherine S. Greenhill, Oleg Pikhurko Bounds on the Generalised Acyclic Chromatic Numbers of Bounded Degree Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Liming Xiong, Roman Kuzel A Note on the Shortness Coefficient and the Hamiltonicity of 4-Connected Line Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AMS Subject Classification (2000). 05C45, 05C35
20Daniel Král, Jana Maxová, Pavel Podbrdský, Robert Sámal Pancyclicity of Strong Products of Graphs. Search on Bibsonomy Graphs Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Anna de Mier, Marc Noy On Graphs Determined by Their Tutte Polynomials. Search on Bibsonomy Graphs Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
20Xinmin Hou, Bolian Liu, Tianming Wang An Algorithm to Construct k-Regular k-Connected Graphs with the Maximum k-Diameter. Search on Bibsonomy Graphs Comb. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #401 - #500 of 76671 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][>>]
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