The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1958-1966 (17) 1967-1969 (17) 1970-1971 (15) 1972-1973 (25) 1974 (18) 1975 (20) 1976 (15) 1977 (20) 1978 (18) 1979 (23) 1980 (36) 1981 (28) 1982 (23) 1983 (26) 1984 (36) 1985 (45) 1986 (60) 1987 (69) 1988 (90) 1989 (110) 1990 (124) 1991 (130) 1992 (152) 1993 (202) 1994 (197) 1995 (202) 1996 (223) 1997 (249) 1998 (262) 1999 (316) 2000 (368) 2001 (489) 2002 (524) 2003 (614) 2004 (819) 2005 (996) 2006 (1013) 2007 (1066) 2008 (1199) 2009 (941) 2010 (553) 2011 (481) 2012 (503) 2013 (541) 2014 (533) 2015 (559) 2016 (559) 2017 (602) 2018 (614) 2019 (709) 2020 (705) 2021 (753) 2022 (777) 2023 (740) 2024 (189)
Publication types (Num. hits)
article(9342) book(6) incollection(55) inproceedings(10103) phdthesis(104) proceedings(5)
Venues (Conferences, Journals, ...)
CoRR(1672) CDC(285) ICALP(208) Theor. Comput. Sci.(208) IEEE Trans. Autom. Control.(194) STOC(183) FOCS(181) SODA(179) STACS(176) Autom.(171) ACC(166) IEEE Trans. Inf. Theory(164) MFCS(163) Electron. Colloquium Comput. C...(144) Algorithmica(135) ISAAC(132) More (+10 of total 2587)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8195 occurrences of 3892 keywords

Results
Found 19615 publication records. Showing 19615 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
55Yeu-hsiung Liang A parsing method on l-1 bounded context parsing. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF Bounded Context Acceptor, Bounded right context, Extended Bounded Context Acceptor, Normal form grammar, pushdown automaton, Parsing, Context free grammar
47MohammadHossein Bateni, MohammadTaghi Hajiaghayi, Dániel Marx Approximation schemes for steiner forest on planar graphs and graphs of bounded treewidth. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Steiner forest, bounded-genus graphs, bounded-treewidth graphs, planar graphs, PTAS, series-parallel graphs
47Petr A. Golovach, Dimitrios M. Thilikos Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms. Search on Bibsonomy IWPEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded length disjoint paths, Bounded length cuts, Parameterized Complexity, Parameterized Algorithms
46Ran Duan, Seth Pettie Bounded-leg distance and reachability oracles. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  BibTeX  RDF
44Klaus Ambos-Spies, Levke Bentzien Separating NP-Completeness Notions under Strong Hypotheses. Search on Bibsonomy CCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF NP-completeness notions separation, strong hypotheses, NP-m-completeness, NP-T-completeness, bounded-query reducibilities, resource bounded Baire category concept, computational complexity, resource bounded measure
44Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated Incremental Synthesis of Timed Automata. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
43Zeev Dvir, Amir Shpilka, Amir Yehudayoff Hardness-randomness tradeoffs for bounded depth arithmetic circuits. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounded depth circuits, hardness-randomness tradeoffs, identity testing, lower bounds, arithmetic circuits
43Wenhui Zhang Bounded Semantics of CTL and SAT-Based Verification. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43John W. Carr III Error Bounds for the Runge-Kutta Single-Step Integration Process. Search on Bibsonomy J. ACM The full citation details ... 1958 DBLP  DOI  BibTeX  RDF
40Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Mark Reynolds 0001 Verification of Multi-agent Systems Via Bounded Model Checking. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
40Gabriel Taubin, Fernando Cukierman, Steve Sullivan, Jean Ponce, David J. Kriegman Parameterized Families of Polynomials for Bounded Algebraic Curve and Surface Fitting. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF bounded algebraic curve fitting, model-based computer vision tasks, bounded zero sets, computer vision, geometric models, polynomials, polynomials, matrix algebra, surface fitting, surface fitting, curve fitting, shape descriptors, data sets
40Dino Pedreschi, Salvatore Ruggieri Bounded Nondeterminism of Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF universal termination, bounded nondeterminism, strong termination, logic programming
39Jean-Daniel Boissonnat, Subir Kumar Ghosh, Telikepalli Kavitha, Sylvain Lazard An Algorithm for Computing a Convex and Simple Path of Bounded Curvature in a Simple Polygon. Search on Bibsonomy Algorithmica The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Pu Huang, Charlie C. L. Wang Volume and complexity bounded simplification of solid model represented by binary space partition. Search on Bibsonomy Symposium on Solid and Physical Modeling The full citation details ... 2010 DBLP  DOI  BibTeX  RDF volume bounded, solid model, simplification, binary space partition, complexity bounded
37Salil P. Vadhan Constructing Locally Computable Extractors and Cryptosystems in the Bounded-Storage Model. Search on Bibsonomy J. Cryptol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Everlasting security, Space-bounded adversaries, Averaging samplers, Expander graphs, Extractors, Unconditional security, Bounded-storage model
36Yehuda Afek, Eran Shalom Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Consensus hierarchy, Common2, Bounded-use, Bounded-size, Long-lived, Fetch&Add, Queues, Stacks, Set, Wait-free, Swap
36Jack Jie Dai An Outer-Measure Approach for Resource-Bounded Measure. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Carathéodory definition, Computational complexity, Martingale, Resource-bounded measure
36Kun Zhao, Yingjie Tian 0001, Naiyang Deng Robust Unsupervised and Semi-supervised Bounded v - Support Vector Machines. Search on Bibsonomy ISNN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded ?? support vector machines, Robust, Semi-supervised learning, Unsupervised learning, Semi-definite programming
36Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard Progress guarantee for parallel programs via bounded lock-freedom. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
36Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier Bounded Self-Stabilizing Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF bounded Petri nets, computational complexity, Self-stabilization
36Jaroslav Nesetril, Patrice Ossona de Mendez Linear time low tree-width partitions and algorithmic consequences. Search on Bibsonomy STOC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bounded expansion, fraternal augmentation, coloration, first order logic, subgraph isomorphism, tree-width, graph minor
36Mohammad Taghi Hajiaghayi, Naomi Nishimura Subgraph Isomorphism, log-Bounded Fragmentation and Graphs of (Locally) Bounded Treewidth. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Liam Roditty, Michael Segal 0001 On bounded leg shortest paths problems. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
36Orna Kupferman, Moshe Y. Vardi On Bounded Specifications. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Cheng-Shang Chang, Duan-Shin Lee, Ching-Ming Lien Load balanced Birkhoff-von Neumann switches with resequencing. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Nader H. Bshouty, Yishay Mansour Simple Learning Algorithms for Decision Trees and Multivariate Polynomials. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF constant bounded product distribution, /spl epsiv/-approximation, j-disjoint DNF, bounded term size, learning (artificial intelligence), decision trees, interpolation, interpolation, finite fields, polynomials, decision theory, learning algorithms, learnability, multivariate polynomials, membership queries, bounded degree
33Afrodita Iorgulescu Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices. Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
33Moonseong Kim, Gunu Jho, Hyunseung Choo Advanced Bounded Shortest Multicast Algorithm for Delay Constrained Minimum Cost. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multicast Routing Algorithm, Delay-Bounded Minimum Steiner Tree (DBMST) Problem and Bounded Shortest Multicast Algorithm (BSMA)
33Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Qingliang Chen, Guanfeng Lv Bounded model checking knowledge and branching time in synchronous multi-agent systems. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
33Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs
33Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method
33Joan Gispert, Antoni Torrens Boolean representation of bounded BCK-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bounded BCK-algebras, Boolean factor elements, Weak Boolean product, Pierce BCK-representation
33Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 Compositional encoding for bounded model checking. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
33Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 Bounded Model Checking of Compositional Processes. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Compositional Processes, Tool, Bounded Model Checking
33Morteza Moniri Preservation theorems for bounded formulas. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Polynomial induction, Model completeness, Universal theory, Quantifier elimination, Intuitionistic logic, NP, Bounded arithmetic, Polynomial hierarchy, Kripke model
33Kun Zhao, Ying-Jie Tian 0001, Naiyang Deng, Hiroshi Kuwajima, Takashi Washio Robust Unsupervised and Semisupervised Bounded C-Support Vector Machines. Search on Bibsonomy ICDM Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Bounded Support Vector Machines, robust, semi- supervised learning, unsupervised learning, Semi- definite Programming
33Man Ho Au, Qianhong Wu, Willy Susilo, Yi Mu 0001 Compact E-Cash from Bounded Accumulator. Search on Bibsonomy CT-RSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF compact e-cash, bounded accumulator, bilinear pairings
33Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler Utilizing don't care states in SAT-based bounded sequential problems. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking
33Stefan Dziembowski, Ueli M. Maurer Optimal Randomizer Efficiency in the Bounded-Storage Model. Search on Bibsonomy J. Cryptol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Information theory, Unconditional security, One-time pad, Bounded-storage model, Min-entropy
33Alfons Geser, Dieter Hofbauer, Johannes Waldmann Match-Bounded String Rewriting Systems. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Match-bounded, Termination, Semi-Thue System, String Rewriting System
33Yu Wang 0003, Xiang-Yang Li 0001 Localized construction of bounded degree and planar spanner for wireless ad hoc networks. Search on Bibsonomy DIALM-POMC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF wireless ad hoc networks, topology control, localized algorithm, spanner, planar, bounded degree
33Wim H. Hesselink Progress Under Bounded Fairness. Search on Bibsonomy Distributed Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Bounded fairness, Concurrent data object, Fault tolerance, Memory management, Client server architecture
33R. David, Janusz A. Brzozowski, Helmut Jürgensen Testing for Bounded Faults in RAMs. Search on Bibsonomy J. Electron. Test. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF bounded fault, testing, Markov chain, random test, RAM, test length, deterministic test
32John Watrous Quantum Simulations of Classical Random Walks and Undirected Graph Connectivity. Search on Bibsonomy CCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF quantum computation, graph connectivity, space-bounded computation
32Gruia Calinescu, Cristina G. Fernandes, Bruce A. Reed Multicuts in Unweighted Graphs with Bounded Degree and Bounded Tree-Width. Search on Bibsonomy IPCO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Jik H. Chang, Oscar H. Ibarra, Michael A. Palis Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM's and Space-Bounded TM's. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
32Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Search on Bibsonomy FMSB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Yuk Hei Chan, Wai Shing Fung, Lap Chi Lau, Chun Kong Yung Degree Bounded Network Design with Metric Costs. Search on Bibsonomy FOCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Conghua Zhou, Decheng Ding Improved SAT Based Bounded Model Checking. Search on Bibsonomy TAMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Koichi Yamazaki, Hans L. Bodlaender, Babette de Fluiter, Dimitrios M. Thilikos Isomorphism for Graphs of Bounded Distance Width. Search on Bibsonomy Algorithmica The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Distance pathwidth, Distance treewidth, Graph isomorphism, Fixed parameter tractability
32Andrei Voronkov Logic Programming with Bounded Quantifiers. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Joe Kilian On the complexity of Bounded-Interaction and Noninteractive Zero-Knowledge Proofs Search on Bibsonomy FOCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF bounded-interaction proofs, bounded-interaction, noninteractive zero-knowledge proofs, committed bits, complexity, cryptographic primitive
29Leszek Aleksander Kolodziejczyk, Neil Thapen The Polynomial and Linear Hierarchies in V0. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF prefix parity, linear hierarchy, bounded depth circuits, bounded arithmetic
29Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli HARTIK 3.0: a portable system for developing real-time applications. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF HARTIK 3.0, soft multimedia, Intel 80/spl times/86 processors, DEC Alpha AXP-PCI-33, bounded blocking time, chained blocking, time bounded communication paradigm, distributed systems, embedded systems, predictability, deadlock, timing constraints, portability, toolkit, dynamic scheduling, real-time applications, software portability, microcontrollers, application designer, portable system
29Tal Moran, Ronen Shaltiel, Amnon Ta-Shma Non-interactive Timestamping in the Bounded-Storage Model. Search on Bibsonomy J. Cryptol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unbalanced expander graphs, Timestamping, Randomness extractors, Bounded-storage model
29Reuven Bar-Yehuda, Michael Beder, Yuval Cohen, Dror Rawitz Resource Allocation in Bounded Degree Trees. Search on Bibsonomy Algorithmica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded degree trees, Scheduling, Approximation algorithms, Bandwidth allocation, Storage allocation
29Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer
29Zhi-Hong Tao, Conghua Zhou, Zhong Chen, Lifu Wang Bounded Model Checking of CTL. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF symbolic model checking, bounded model checking, QBF, CTL*
29Olivier Y. de Vel Learning Semi-Structured Document Categorization Using Bounded-Length Spectrum Sub-Sequence Kernels. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF bounded-length spectrum, support vector machines, kernel, suffix tree, digital forensics, computer forensics, document categorization, Naive Bayes classifier
29Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala Bounded Model Checking for Weak Alternating Büchi Automata. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
29Keijo Heljanko, Tommi A. Junttila, Timo Latvala Incremental and Complete Bounded Model Checking for Full PLTL. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL, Complete, Bounded Model Checking, Incremental, NuSMV
29Erkay Savas, Berk Sunar A Practical and Secure Communication Protocol in the Bounded Storage Model. Search on Bibsonomy ICN (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hyper-encryption, information theoretical security, pervasive networks, Bounded storage model
29Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila Simple Is Better: Efficient Bounded Model Checking for Past LTL. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Past LTL, Bounded Model Checking, NuSMV
29Chris Olston, Jock D. Mackinlay Visualizing Data with Bounded Uncertainty. Search on Bibsonomy INFOVIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF bounded uncertainty, uncertainty visualization
29Martin Fränzle Take It NP-Easy: Bounded Model Construction for Duration Calculus. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Discrete-time Duration Calculus, Bounded model construction, Complexity, Model construction
29Raymond Cunningham, Vinny Cahill Time bounded medium access control for ad hoc networks. Search on Bibsonomy POMC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF mobile ad hoc networks, medium access control, time bounded
29Lu Guoying, Liu Zemin, Zhou Zheng Multicast Routing Based on Ant Algorithm for Delay-Bounded and Load-Balancing Traffic. Search on Bibsonomy LCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF delay-bounded traffic, load-balancing traffic, multicast destinations, ant-network model, OPNET simulation software, congested nodes, packet switched computer communication networks, computer networks, packet switching, multicast routing, telecommunication network routing, real-time communications, multicast communication, telecommunication traffic, ant algorithm
29Doron Drusinsky, David Harel On the Power of Bounded Concurrency I: Finite Automata. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
29Franz-Josef Brandenburg The Equivalence of Boundary and Confluent Graph Grammars on Graph Languages of Bounded Degree. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF boundary and confluent graph grammars, operator normal form, graph languages of bounded degree, graph grammars
29Tamás Király, Lap Chi Lau, Mohit Singh Degree Bounded Matroids and Submodular Flows. Search on Bibsonomy IPCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Xianning Li, Xianwei Zhou Bounded-Delay, Probability-Based Routing in Intermittently Connected Mobile Ad Hoc Networks. Search on Bibsonomy ICDCS Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Artur Czumaj, Christian Sohler On testable properties in bounded degree graphs. Search on Bibsonomy SODA The full citation details ... 2007 DBLP  BibTeX  RDF
29Ronald Cramer, Goichiro Hanaoka, Dennis Hofheinz, Hideki Imai, Eike Kiltz, Rafael Pass, Abhi Shelat, Vinod Vaikuntanathan Bounded CCA2-Secure Encryption. Search on Bibsonomy ASIACRYPT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Ming-Dou Ker, Che-Hao Chuang ESD protection circuits with novel MOS-bounded diode structures. Search on Bibsonomy ISCAS (5) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Daya Ram Gaur, Ramesh Krishnamurti Self-Duality of Bounded Monotone Boolean Functions and Related Problems. Search on Bibsonomy ALT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Koichi Yamazaki, Hans L. Bodlaender, Babette de Fluiter, Dimitrios M. Thilikos Isomorphism for Graphs of Bounded Distance Width. Search on Bibsonomy CIAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008 On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Arun Subbiah, Douglas M. Blough Distributed Diagnosis in Dynamic Fault Environments. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault tolerance, synchronous systems, Distributed diagnosis, dynamic failures
28David R. Wood Queue Layouts, Tree-Width, and Three-Dimensional Graph Drawing. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Oren Ben-Zwi, Danny Hermelin, Daniel Lokshtanov, Ilan Newman An exact almost optimal algorithm for target set selection in social networks. Search on Bibsonomy EC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bounded tree-width algorithm, bounded tree-width lower-bound, target set selection, social networks, viral marketing
26Xiang Yu, Ian Li-Jin Thng, Yuming Jiang 0001, Chunming Qiao Queueing processes in GPS and PGPS with LRD traffic inputs. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF LRD isolation, Weibull bounded, Weibull bounded burstiness, queueing process, QoS, long range dependent, generalized processor sharing
26Deepak Goyal Transformational Derivation of an Improved Alias Analysis Algorithm. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF may-alias analysis, dominated convergence, finite differencing, workset algorithm, alias graph, sparse evaluation graph, input-bounded, output-bounded, continuity, pointer analysis, control flow graph
25Roy Friedman, Alex Kogan Brief announcement: deterministic dominating set construction in networks with bounded degree. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dominating sets, bounded degree graphs, distributed approximation algorithms
25Jian Yu, Hui Yang, Chao Yu Structural stability and robustness to bounded rationality for non-compact cases. Search on Bibsonomy J. Glob. Optim. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Robustness, Nash equilibrium, Multiobjective optimization, Fixed point, Bounded rationality, Structural stability
25Eyjolfur Ingi Asgeirsson, Cliff Stein 0001 Bounded-space online bin cover. Search on Bibsonomy J. Sched. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bin cover, Bounded-space, Markov chains, Online
25Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro A Metric Encoding for Bounded Model Checking. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded model checking, metric temporal logic
25Borzoo Bonakdarpour, Sandeep S. Kulkarni On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Program transformation, Program synthesis
25Nir Naaman, Raphael Rom Average Case Analysis of Bounded Space Bin Packing Algorithms. Search on Bibsonomy Algorithmica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Discrete item size distribution, Bounded space, Algorithms, Bin packing, Average case analysis
25Borzoo Bonakdarpour, Sandeep S. Kulkarni Masking Faults While Providing Bounded-Time Phased Recovery. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
25Arindam Khaled, Bryant A. Julstrom Greedy heuristics and evolutionary algorithms for the bounded minimum-label spanning tree problem. Search on Bibsonomy GECCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounded labels, labeled spanning trees, genetic algorithms, local search, greedy heuristics
25Tobias Schüle, Klaus Schneider 0001 Bounded model checking of infinite state systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
25Martin Fränzle, Christian Herde HySAT: An efficient proof engine for bounded model checking of hybrid systems. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
25Alok Singh 0001, Ashok Kumar Gupta Improved heuristics for the bounded-diameter minimum spanning tree problem. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Bounded-diameter minimum spanning tree problem, Uniform order-based crossover, Constrained optimization, Greedy heuristic, Steady-state genetic algorithm
25Andreas Malcher, Giovanni Pighizzini Descriptional Complexity of Bounded Context-Free Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF finite-turn pushdown automata, recursive trade-offs, bounded languages, descriptional complexity, automata and formal languages
25Yu Wang 0003, Xiang-Yang Li 0001 Localized Construction of Bounded Degree and Planar Spanner for Wireless Ad Hoc Networks. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Wireless ad hoc networks, topology control, localized algorithm, spanner, planar, bounded degree
25Fredrik Kuivinen Approximability of Bounded Occurrence Max Ones. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Bounded occurrence, Max Ones, Approximability, Matching, Constraint satisfaction problems
25Prosenjit Bose, Joachim Gudmundsson, Michiel H. M. Smid Constructing Plane Spanners of Bounded Degree and Low Weight. Search on Bibsonomy Algorithmica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Low weight graphs, Computational geometry, Planar graphs, Spanners, Bounded degree graphs
25Ronny Krashinsky, Hari Balakrishnan Minimizing Energy for Wireless Web Access with Bounded Slowdown. Search on Bibsonomy Wirel. Networks The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded slowdown, protocols, Web, wireless, TCP, IEEE 802.11, HTTP, energy saving, power saving
25Sergey Bereg, David G. Kirkpatrick Curvature-bounded traversals of narrow corridors. Search on Bibsonomy SCG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF curvarure-bounded traversals, computational geometry, motion planning
25Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer On the locality of bounded growth. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bounded growth, distributed algorithms, locality, dominating sets, packing, covering, unit disk graphs, maximal independent set, network decomposition, doubling dimension
Displaying result #1 - #100 of 19615 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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