Search results for "bounded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Sanjoy K. Baruah, Steve Goddard, Kevin Jeffay	Feasibility concerns in PGM graphs with bounded buffers.	ICECCS	1997	DBLP DOI BibTeX RDF	feasibility concerns, processing graph method, embedded signal processing, co-NP-complete, optimal preemptive scheduling algorithm, system architects, real-time scheduling, data flow graphs, memory requirements, computational resources, feasibility test, dataflow model, bounded buffers
18	T. Dornseifer, Christoph Pflaum	Discretization of Elliptic Differential Equations on Curvilinear Bounded Domains with Sparse Grids.	Computing	1996	DBLP DOI BibTeX RDF	elliptic differential equation, discretization of curvilinear bounded domains, finite elements, Sparse grid
18	Friedhelm Meyer auf der Heide, Christian Scheideler	Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols.	FOCS	1996	DBLP DOI BibTeX RDF	online protocols, deterministic protocol, arbitrary permutations, r-replicated s-ary Multibutterflies, multiprocessor interconnection networks, deterministic routing, arbitrary networks, bounded buffers
18	Andrei Z. Broder, Alan M. Frieze, Eli Upfal	A General Approach to Dynamic Packet Routing with Bounded Buffers (extended abstract).	FOCS	1996	DBLP DOI BibTeX RDF	general approach, dynamic packet routing, static routing, injection rate, stability, packet switching, routing algorithm, sufficient condition, butterfly, steady state analysis, worst case bounds, bounded buffers
18	Yoav Freund, Michael J. Kearns, Yishay Mansour, Dana Ron, Ronitt Rubinfeld, Robert E. Schapire	Efficient Algorithms for Learning to Play Repeated Games Against Computationally Bounded Adversaries.	FOCS	1995	DBLP DOI BibTeX RDF	repeated games playing, computationally bounded adversaries, penny-matching, classically studied finite automata, learning (artificial intelligence), game theory, finite automata, learning algorithm, computational efficiency
18	Mike Paterson, Aravind Srinivasan	Contention Resolution with Bounded Delay.	FOCS	1995	DBLP DOI BibTeX RDF	distributed contention resolution, stable protocol, resource request, protocols, resource allocation, distributed processing, contention resolution, bounded delay
18	Sergei G. Vorobyov	Structural Decidable Extensions of Bounded Quantification.	POPL	1995	DBLP DOI BibTeX RDF	(W)SnS, bounded universal type quantification, essential undecidability, parametric and inheritance polymorphisms, second-order polymorphic typed ?-calculus, system F?, decidability, subtyping, undecidability
18	T. Grimm, Johann Mitlöhner, W. Schönfeldinger	Bounded Rationality and Adaptive Agents in Economic Modeling.	APL	1995	DBLP DOI BibTeX RDF	economic simulation, economic modelling, adaptive agents, bounded rationality
18	György Turán, Farrokh Vatan	On the Computation of Boolean Functions by Analog Circuits of Bounded Fan-in (Extended Abstract)	FOCS	1994	DBLP DOI BibTeX RDF	explicit nonlinear lower bounds, computation of Boolean functions, bounded fan-in, real-valued functions, sign-representation, n-variable function, piecewise linear circuits, complexity, upper bounds, nondeterminism, analog circuits
18	Hussein M. Alnuweiri	A New Class of Optimal Bounded-Degree VLSI Sorting Networks.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	VLSI sorting networks, optimal VLSI sorters, rotate-sort, enumeration-sort, reduced-area, K-shuffle layouts, VLSI, optimisation, logic design, sorting, time complexity, bounded-degree
18	Richard Chang 0001, William I. Gasarch	On Bounded Queries and Approximation	FOCS	1993	DBLP DOI BibTeX RDF	NP-optimization problems, NP oracle, maximum clique size, computational complexity, approximation, graph coloring, set cover, complexity measure, approximation factor, bounded queries
18	Shenfeng Chen, John H. Reif	Using Difficulty of Prediction to Decrease Computation: Fast Sort, Priority Queue and Convex Hull on Entropy Bounded Inputs	FOCS	1993	DBLP DOI BibTeX RDF	computational geometry problems, entropy bounded inputs, large database operations, sort, sorting, convex hull, priority queue, compression ratio
18	Madhavan Mukund, Milind A. Sohoni	Keeping Track of the Latest Gossip: Bounded Time-Stamps Suffice.	FSTTCS	1993	DBLP DOI BibTeX RDF	bounded time-stamping, asynchronous automata, Distributed algorithms, synchronous communication
18	Frank Thomson Leighton, Bruce M. Maggs, Ramesh K. Sitaraman	On the Fault Tolerance of Some Popular Bounded-Degree Networks	FOCS	1992	DBLP DOI BibTeX RDF	bounded-degree networks, worst-case faults, shuffle-exchange graph, constant-factor slowdown, routing packets, fault tolerance, parallel computation, hypercubic networks, binary trees, meshes of trees
18	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
18	Jirí Matousek 0001, Emo Welzl, Lorenz Wernisch	Discrepancy and epsilon-approximations for bounded VC-dimension	FOCS	1991	DBLP DOI BibTeX RDF	geometric settings, in -approximations, bounded VC-dimension, two-coloring, m-point subset, upper bounds, discrepancy, polylogarithmic factors
18	Rolf Klein	Walking an Unknown Street with Bounded Detour	FOCS	1991	DBLP DOI BibTeX RDF	bounded detour, boundary chains, mutually weakly visible, onboard vision, short path, lower bound, mobile robot, polygon, vertices
18	Moshe Morgenstern	Explicit Construction of Natural Bounded Concentrators	FOCS	1991	DBLP DOI BibTeX RDF	linear families, natural bounded concentrators, direct construction, explicit construction
18	Kieran T. Herley	Efficient Simulations of Small Shared Memories on Bounded Degree Networks (Preliminary Version)	FOCS	1989	DBLP DOI BibTeX RDF	small shared memories, bounded degree networks, PRAM algorithms, simulation, parallel random-access machine, PRAM
18	Anne Condon, Richard J. Lipton	On the Complexity of Space Bounded Interactive Proofs (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language
18	Douglas B. West, Prithviraj Banerjee	On the Construction of Communication Networks Satisfying Bounded Fan-In of Service Ports.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	bounded fan-in, service ports, graph-theoretic problem, graph theory, linear programming, linear programming, computer networks, communication networks, users, bipartite graph
18	Rob J. van Glabbeek	Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra.	STACS	1987	DBLP DOI BibTeX RDF	& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP
18	Antti Valmari	Software model checking is a rich research field.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
18	Oscar H. Ibarra, Ömer Egecioglu	Hierarchies and Characterizations of Stateless Multicounter Machines.	COCOON	2009	DBLP DOI BibTeX RDF	Stateless multicounter machine, reversal-bounded, non- realtime, stateless multihead automata, hierarchy, closure properties, semilinear set
18	Tim Nieberg, Johann L. Hurink, Walter Kern	Approximation schemes for wireless networks.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	bounded growth, Wireless ad-hoc networks, PTAS, maximum independent set, minimum dominating set
18	Jiong Guo, Rolf Niedermeier, Daniel Raible 0001	Improved Algorithms and Complexity Results for Power Domination in Graphs.	Algorithmica	2008	DBLP DOI BibTeX RDF	Graphs of bounded treewidth, (Power) domination in graphs, Computational complexity, Graph algorithms, Parameterized complexity, Design and analysis of algorithms, Fixed-parameter algorithms
18	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.	ICTAC	2008	DBLP DOI BibTeX RDF	bi-infinite words and automata, Bounded model checking, metric temporal logic
18	Alexander A. Sherstov	The pattern matrix method for lower bounds on quantum communication.	STOC	2008	DBLP DOI BibTeX RDF	approximate degree of boolean functions, bounded-error communication, quantum communication complexity, lower bounds
18	Anita Raja, Victor R. Lesser	A framework for meta-level control in multi-agent systems.	Auton. Agents Multi Agent Syst.	2007	DBLP DOI BibTeX RDF	Meta-level control architecture, Multi-agent systems, Bounded rationality
18	Sylvain Perifel	Symmetry of Information and Nonuniform Lower Bounds.	CSR	2007	DBLP DOI BibTeX RDF	nonuniform lower bounds, resource-bounded Kolmogorov complexity, symmetry of information, computational complexity
18	João Muranho, Paula Prata, Mário Zenha Rela, João Gabriel Silva	Failure Boundedness in Discrete Applications.	LADC	2007	DBLP DOI BibTeX RDF	Failure avoidance, Discrete applications, Fail-bounded model, Experimental Dependability Evaluation, Petri nets
18	Andreas Jakoby, Till Tantau	Logspace Algorithms for Computing Shortest and Longest Paths in Series-Parallel Graphs.	FSTTCS	2007	DBLP DOI BibTeX RDF	logspace algorithms, distance problem, longest path problem, bounded tree-width, K 4-minor-free graphs, Series-parallel graphs
18	Stephen A. Cook, Neil Thapen	The strength of replacement in weak arithmetic.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	cryptography, PV, Bounded arithmetic
18	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
18	Kun Zhao, Ying-Jie Tian 0001, Naiyang Deng	Unsupervised and Semi-Supervised Two-class Support Vector Machines.	ICDM Workshops	2006	DBLP DOI BibTeX RDF	Bounded Support Vector Machines, unsupervised learning, Semidefinite Programming, margin, semisupervised learning
18	Sriram V. Pemmaraju, Imran A. Pirwani	Energy conservation via domatic partitions.	MobiHoc	2006	DBLP DOI BibTeX RDF	domatic partition, growth-bounded graphs, distributed algorithms, metric space, dominating sets, unit disk graphs, maximal independent sets, network decomposition, doubling dimension, unit ball graphs
18	Tianyun Ni, Ahmad H. Nasri	Tuned Ternary Quad Subdivision.	GMP	2006	DBLP DOI BibTeX RDF	ternary, bounded curvature, convex hull, Subdivision
18	Philippe Duchon, Nicolas Hanusse, Emmanuelle Lebhar, Nicolas Schabanel	Towards small world emergence.	SPAA	2006	DBLP DOI BibTeX RDF	bounded growth, distributed algorithms, routing algorithms, small world
18	Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos	Datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
18	Lan Liu 0001, Xi Chen 0001, Jing Xiao, Tao Jiang 0001	Complexity and Approximation of the Minimum Recombination Haplotype Configuration Problem.	ISAAC	2005	DBLP DOI BibTeX RDF	L-reduction, positive result, negative result, bounded number, mates, complexity, approximation, children, SNP, recombinant, Haplotyping, pedigree
18	Eugene Eberbach	Decision Theory = Performance Measure Theory + Uncertainty Theory.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	resource-bounded reasoning, uncertainty, process algebra, problem solving, decision theory
18	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
18	Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno	SAT-Based Verification of Safe Petri Nets.	ATVA	2004	DBLP DOI BibTeX RDF	Petri nets, SAT, Bounded model checking
18	Marcelo Bertalmío, Luminita A. Vese, Guillermo Sapiro, Stanley J. Osher	Simultaneous Structure and Texture Image Inpainting.	CVPR (2)	2003	DBLP DOI BibTeX RDF	filling-in, bounded variation, texture, texture synthesis, structure, Inpainting, image decomposition
18	Taehwan Kim 0002, Tülay Adali	Fully Complex Multi-Layer Perceptron Network for Nonlinear Signal Processing.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	nonlinear adaptive signal processing, fully complex neural network, split complex neural network, elementary transcendental functions, bounded almost everywhere, analytic almost everywhere
18	Tero Harju, Oscar H. Ibarra, Juhani Karhumäki, Arto Salomaa	Decision Questions Concerning Semilinearity, Morphisms, and Commutation of Languages.	ICALP	2001	DBLP DOI BibTeX RDF	Reversal-bounded counters, commutation of languages, context-free languages, combinatorics on words, morphisms
18	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
18	Albert Atserias	Improved Bounds on the Weak Pigeonhole Principle and Infinitely Many Primes from Weaker Axioms.	MFCS	2001	DBLP DOI BibTeX RDF	Weak Pigeonhole Principle, Proof Complexity, Bounded Arithmetic
18	T. D. Alter, David W. Jacobs	Uncertainty Propagation in Model-Based Recognition.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	scaled-orthographic, bounded error, Gaussian error, object recognition, linear programming, uncertainty, noise, alignment, error propagation, perspective, model-based vision
18	Aviezri S. Fraenkel, Ofer Rahat	Infinite Cyclic Impartial Games.	Computers and Games	1998	DBLP DOI BibTeX RDF	infinite cyclic games, locally path-bounded digraphs, generalized Sprague-Grundy function
18	Bharath R. Modayur, Linda G. Shapiro	PERFORM: A Fast Object Recognition Method Using Intersection of Projection Error Regions.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	bounded error, uncertainty regions, parallel processing, Object recognition, algorithm complexity
18	Sam S. Appleton, Shannon V. Morton, Michael J. Liebelt	Two-Phase Asynchronous Pipeline Control.	ASYNC	1997	DBLP DOI BibTeX RDF	two-phase asynchronous pipeline control, bounded-delay model, prototype microprocessor, microprocessor chips
18	Michael E. Saks	Randomization and Derandomization in Space_Bounded Computation.	CCC	1996	DBLP DOI BibTeX RDF	pseudorandom generators, Probabilistic computation, space-bounded computation
18	Ishfaq Ahmad, Yu-Kwong Kwok, Min-You Wu	Analysis, evaluation, and comparison of algorithms for scheduling task graphs on parallel processors.	ISPAN	1996	DBLP DOI BibTeX RDF	edge-weighted directed acyclic graph, bounded number of processors scheduling, arbitrary processor network, scheduling, scheduling, parallel programming, processor scheduling, data flow graphs, task graphs, parallel processors, dataflow graph
18	Kathy Ryall, Stuart M. Shieber, Joe Marks, Murray Mazer	Semi-automatic delineation of regions in floor plans.	ICDAR	1995	DBLP DOI BibTeX RDF	computer aided facilities layout, semi-automatic delineation, proximity field, proximity metric, scanned bitmap, building floor plan, semi-automated interactive system, area-filling techniques, areal regions, partially bounded regions, document image processing, operations research, engineering graphics
18	Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang	Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems
18	Gilles Bernot, Pascale Le Gall	Exception Handling and Term Labelling.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Key-words Algebraic specifications of abstract data types, Error and exception handling, Exception recovery, Bounded data structures, Structured specifications
18	Ganeshkumar Ganapathysaravanabavan, Tandy J. Warnow	Finding a Maximum Compatible Tree for a Bounded Number of Trees with Bounded Degree Is Solvable in Polynomial Time.	WABI	2001	DBLP DOI BibTeX RDF
18	Shi-Chun Tsai, Wen-Guey Tzeng, Kun-Yi Zhou	Key establishment schemes against storage-bounded adversaries in wireless sensor networks.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
18	Zdenek Dvorák 0001, Daniel Král	Algorithms for Classes of Graphs with Bounded Expansion.	WG	2009	DBLP DOI BibTeX RDF
18	Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer	Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.	TACAS	2009	DBLP DOI BibTeX RDF
18	Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov	Reducing the Costs of Bounded-Exhaustive Testing.	FASE	2009	DBLP DOI BibTeX RDF
18	Rainer Gemulla, Wolfgang Lehner, Peter J. Haas	Maintaining bounded-size sample synopses of evolving datasets.	VLDB J.	2008	DBLP DOI BibTeX RDF	Database sampling, Reservoir sampling, Sample maintenance, Synopsis
18	Jonathan Backer, David G. Kirkpatrick	A Complete Approximation Algorithm for Shortest Bounded-Curvature Paths.	ISAAC	2008	DBLP DOI BibTeX RDF
18	Angsheng Li, Weilin Li, Yicheng Pan 0001, Linqing Tang	Definable Filters in the Structure of Bounded Turing Reductions.	TAMC	2008	DBLP DOI BibTeX RDF
18	Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto	The Travelling Salesman Problem in Bounded Degree Graphs.	ICALP (1)	2008	DBLP DOI BibTeX RDF
18	Dejvuth Suwimonteerabuth, Javier Esparza, Stefan Schwoon	Symbolic Context-Bounded Analysis of Multithreaded Java Programs.	SPIN	2008	DBLP DOI BibTeX RDF
18	Alain Finkel, Arnaud Sangnier	Reversal-Bounded Counter Machines Revisited.	MFCS	2008	DBLP DOI BibTeX RDF
18	Rainer Gemulla, Wolfgang Lehner	Sampling time-based sliding windows in bounded space.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	data stream sampling, sliding window sampling, uniform sampling, stratified sampling
18	Carlo A. Furia, Matteo Rossi	MTL with Bounded Variability: Decidability and Complexity.	FORMATS	2008	DBLP DOI BibTeX RDF
18	Francesco Orabona, Joseph Keshet, Barbara Caputo	The projectron: a bounded kernel-based Perceptron.	ICML	2008	DBLP DOI BibTeX RDF
18	Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Stefan Woltran	Complexity results for answer set programming with bounded predicate arities and implications.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17
18	Arturo Zavala-Río, Víctor Santibáñez	A Natural Saturating Extension of the PD-With-Desired-Gravity-Compensation Control Law for Robot Manipulators With Bounded Inputs.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
18	Yantao Song, Scott M. Pike	Eventually k-Bounded Wait-Free Distributed Daemons.	DSN	2007	DBLP DOI BibTeX RDF	self-stabilization, wait-freedom, daemons
18	Camillo J. Taylor, John R. Spletzer	A bounded uncertainty approach to cooperative localization using relative bearing constraints.	IROS	2007	DBLP DOI BibTeX RDF
18	David Cash, Yan Zong Ding, Yevgeniy Dodis, Wenke Lee, Richard J. Lipton, Shabsi Walfish	Intrusion-Resilient Key Exchange in the Bounded Retrieval Model.	TCC	2007	DBLP DOI BibTeX RDF
18	Ulrich Schöpp	Stratified Bounded Affine Logic for Logarithmic Space.	LICS	2007	DBLP DOI BibTeX RDF
18	Qing Zhu, Shumin Fei, Tao Li 0011, Tianping Zhang	Robust Neural Networks Control for Uncertain Systems with Time-Varying Delays and Sector Bounded Perturbations.	ISNN (1)	2007	DBLP DOI BibTeX RDF
18	James Broberg, Panlop Zeephongsekul, Zahir Tari	Approximating Bounded General Service Distributions.	ISCC	2007	DBLP DOI BibTeX RDF
18	Stefan Funke, Sören Laue	Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets.	STACS	2007	DBLP DOI BibTeX RDF
18	Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen	Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams.	TACAS	2007	DBLP DOI BibTeX RDF
18	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
18	Suchismita Roy, P. P. Chakrabarti 0001, Pallab Dasgupta	Bounded Delay Timing Analysis Using Boolean Satisfiability.	VLSI Design	2007	DBLP DOI BibTeX RDF
18	Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak Benaskeur	A Q-decomposition and bounded RTDP approach to resource allocation.	AAMAS	2007	DBLP DOI BibTeX RDF	Q-decomposition, marginal revenue, heuristic search
18	Douglas M. Blough, Mauro Leoncini, Giovanni Resta, Paolo Santi	The k-Neighbors Approach to Interference Bounded and Symmetric Topology Control in Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	connectivity, wireless ad hoc networks, topology control, energy consumption, spatial reuse
18	Yingshu Li, My T. Thai, Feng Wang 0002, Ding-Zhu Du	On the Construction of a Strongly Connected Broadcast Arborescence with Bounded Transmission Delay.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	Wireless networks, routing protocols, network management, distributed applications, algorithm design and analysis
18	Rachid El Harti, Gábor Lukács	Bounded and Unitary Elements in Pro-C*-algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05
18	Wen Song, Rui Zang	Bounded linear regularity of convex sets in Banach spaces and its applications.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 90C25, 90C31
18	Ji-Chang Lo, Min-Long Lin	Robust H∞ control for fuzzy systems with Frobenius norm-bounded uncertainties.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
18	Giovanni Di Crescenzo, Richard J. Lipton, Shabsi Walfish	Perfectly Secure Password Protocols in the Bounded Retrieval Model.	TCC	2006	DBLP DOI BibTeX RDF
18	Reuven Bar-Yehuda, Michael Beder, Yuval Cohen, Dror Rawitz	Resource Allocation in Bounded Degree Trees.	ESA	2006	DBLP DOI BibTeX RDF
18	Danny Harnik, Moni Naor	On Everlasting Security in the Hybrid Bounded Storage Model.	ICALP (2)	2006	DBLP DOI BibTeX RDF
18	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.	DISC	2006	DBLP DOI BibTeX RDF
18	Yossi Azar, Nir Levy	Multiplexing Packets with Arbitrary Deadlines in Bounded Buffers.	SWAT	2006	DBLP DOI BibTeX RDF
18	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret	Bounded Second-Order Unification Is NP-Complete.	RTA	2006	DBLP DOI BibTeX RDF
18	Erzsébet Csuhaj-Varjú, Maurice Margenstern, György Vaszil	P Colonies with a Bounded Number of Cells and Programs.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
18	Ishai Rabinovitz, Orna Grumberg	Bounded Model Checking of Concurrent Programs.	CAV	2005	DBLP DOI BibTeX RDF
18	Oscar H. Ibarra, Sara Woodworth	On Bounded Symport/Antiport P Systems.	DNA	2005	DBLP DOI BibTeX RDF
18	Srikar Pasham, Wei-Ming Lin	Efficient Task Scheduling with Duplication for Bounded Number of Processors.	ICPADS (1)	2005	DBLP DOI BibTeX RDF
18	Shaz Qadeer, Jakob Rehof	Context-Bounded Model Checking of Concurrent Software.	TACAS	2005	DBLP DOI BibTeX RDF