Search results for "ICALP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Andreas Björklund, Thore Husfeldt	Finding a Path of Superlogarithmic Length.	ICALP	2002	DBLP DOI BibTeX RDF
1	Yuval Ishai, Eyal Kushilevitz	Perfect Constant-Round Secure Computation via Perfect Randomizing Polynomials.	ICALP	2002	DBLP DOI BibTeX RDF
1	Karhan Akcoglu, Petros Drineas, Ming-Yang Kao	Fast Universalization of Investment Strategies with Provably Good Relative Returns.	ICALP	2002	DBLP DOI BibTeX RDF
1	Andrew M. Pitts	Equivariant Syntax and Semantics.	ICALP	2002	DBLP DOI BibTeX RDF
1	Jessen T. Havill	Online Packet Routing on Linear Arrays and Rings.	ICALP	2001	DBLP DOI BibTeX RDF
1	Furio Honsell, Marino Miculan, Ivan Scagnetto	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.	ICALP	2001	DBLP DOI BibTeX RDF	induction, logical frameworks, higher-order abstract syntax
1	William Hesse	Division Is in Uniform TC0.	ICALP	2001	DBLP DOI BibTeX RDF
1	Emanuele Bandini, Roberto Segala	Axiomatizations for Probabilistic Bisimulation.	ICALP	2001	DBLP DOI BibTeX RDF
1	Amos Beimel, Yuval Ishai	Information-Theoretic Private Information Retrieval: A Unified Construction.	ICALP	2001	DBLP DOI BibTeX RDF
1	Martin Fürer	Weisfeiler-Lehman Refinement Requires at Least a Linear Number of Iterations.	ICALP	2001	DBLP DOI BibTeX RDF	Graph Isomorphism Testing, Weisfeiler-Lehman Refinement, Games, Descriptive Complexity
1	Pierre Fraigniaud, Cyril Gavoille	Routing in Trees.	ICALP	2001	DBLP DOI BibTeX RDF	trees, routing algorithms, compact routing
1	Lars Engebretsen, Marek Karpinski	Approximation Hardness of TSP with Bounded Metrics.	ICALP	2001	DBLP DOI BibTeX RDF
1	Philippe Flajolet, Yves Guivarc'h, Wojciech Szpankowski, Brigitte Vallée	Hidden Pattern Statistics.	ICALP	2001	DBLP DOI BibTeX RDF
1	Gerhard J. Woeginger	On the Approximability of Average Completion Time Scheduling under Precedence Constraints.	ICALP	2001	DBLP DOI BibTeX RDF
1	Bernard Chazelle, Ronitt Rubinfeld, Luca Trevisan	Approximating the Minimum Spanning Tree Weight in Sublinear Time.	ICALP	2001	DBLP DOI BibTeX RDF
1	Edith Cohen, Eran Halperin, Haim Kaplan	Performance Aspects of Distributed Caches Using TTL-Based Consistency.	ICALP	2001	DBLP DOI BibTeX RDF
1	Jochen Alber, Henning Fernau, Rolf Niedermeier	Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems.	ICALP	2001	DBLP DOI BibTeX RDF
1	Graham Cormode, S. Muthukrishnan 0001, Süleyman Cenk Sahinalp	Permutation Editing and Matching via Embeddings.	ICALP	2001	DBLP DOI BibTeX RDF
1	Albert Atserias, Maria Luisa Bonet, Juan Luis Esteban	Lower Bounds for the Weak Pigeonhole Principle Beyond Resolution.	ICALP	2001	DBLP DOI BibTeX RDF
1	Steven S. Seiden	On the Online Bin Packing Problem.	ICALP	2001	DBLP DOI BibTeX RDF	online algorithms, bin packing
1	Eric Rivals, Sven Rahmann	Combinatorics of Periods in Strings.	ICALP	2001	DBLP DOI BibTeX RDF
1	Mogens Nielsen	Modelling with Partial Orders - Why and Why Not?	ICALP	2001	DBLP DOI BibTeX RDF
1	Sang-Min Park, Jae-Ha Lee, Kyung-Yong Chwa	Visibility-Based Pursuit-Evasion in a Polygonal Region by a Searcher.	ICALP	2001	DBLP DOI BibTeX RDF
1	Aleksei V. Fishkin, Klaus Jansen, Lorant Porkolab	On Minimizing Average Weighted Completion Time of Multiprocessor Tasks with Release Dates.	ICALP	2001	DBLP DOI BibTeX RDF
1	Daniel Kirsten	The Star Problem in Trace Monoids: Reductions Beyond C4.	ICALP	2001	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani	Languages, Rewriting Systems, and Verification of Infinite-State Systems.	ICALP	2001	DBLP DOI BibTeX RDF
1	Luciano Margara, Janos Simon	Decidable Properties of Graphs of All-Optical Networks.	ICALP	2001	DBLP DOI BibTeX RDF
1	Joel Friedman, Andreas Goerdt	Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently.	ICALP	2001	DBLP DOI BibTeX RDF
1	Ioannis Caragiannis, Afonso Ferreira, Christos Kaklamanis, Stephane Perennes, Hervé Rivano	Fractional Path Coloring with Applications to WDM Networks.	ICALP	2001	DBLP DOI BibTeX RDF
1	Michele Boreale	Symbolic Trace Analysis of Cryptographic Protocols.	ICALP	2001	DBLP DOI BibTeX RDF	formal methods for security protocols, concurrency, spi-calculus
1	Shuji Isobe, Xiao Zhou 0001, Takao Nishizeki	Total Colorings of Degenerated Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
1	Boris A. Trakhtenbrot	Automata, Circuits, and Hybrids: Facets of Continuous Time.	ICALP	2001	DBLP DOI BibTeX RDF
1	Rajiv Gandhi, Samir Khuller, Aravind Srinivasan	Approximation Algorithms for Partial Covering Problems.	ICALP	2001	DBLP DOI BibTeX RDF	Approximation algorithms, set cover, vertex cover, randomized rounding, primal-dual methods, partial covering
1	Yevgeniy Dodis	New Imperfect Random Source with Applications to Coin-Flipping.	ICALP	2001	DBLP DOI BibTeX RDF
1	Patrick Maier 0001	A Set-Theoretic Framework for Assume-Guarantee Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
1	Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)	Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings	ICALP	2001	DBLP DOI BibTeX RDF
1	Amit Chakrabarti, Subhash Khot	Improved Lower Bounds on the Randomized Complexity of Graph Properties.	ICALP	2001	DBLP DOI BibTeX RDF	Decision tree complexity, monotone graph properties, randomized complexity, graph packing, randomized algorithms, probabilistic method
1	Pranab Sen, Srinivasan Venkatesh 0001	Lower Bounds in the Quantum Cell Probe Model.	ICALP	2001	DBLP DOI BibTeX RDF
1	Kunihiko Sadakane, Nadia Takki-Chebihi, Takeshi Tokuyama	Combinatorics and Algorithms on Low-Discrepancy Roundings of a Real Sequence.	ICALP	2001	DBLP DOI BibTeX RDF
1	Salvador Roura	A New Method for Balancing Binary Search Trees.	ICALP	2001	DBLP DOI BibTeX RDF
1	Harry Buhrman, John Tromp, Paul M. B. Vitányi	Time and Space Bounds for Reversible Simulation.	ICALP	2001	DBLP DOI BibTeX RDF
1	Gérard Boudol, Ilaria Castellani	Noninterference for Concurrent Programs.	ICALP	2001	DBLP DOI BibTeX RDF
1	Sébastien Ferenczi, Charles Holton, Luca Q. Zamboni	Combinatorics of Three-Interval Exchanges.	ICALP	2001	DBLP DOI BibTeX RDF
1	Hubert Comon, Véronique Cortier, John Mitchell	Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols.	ICALP	2001	DBLP DOI BibTeX RDF
1	Mikkel Thorup	Quick k-Median, k-Center, and Facility Location for Sparse Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
1	Georg Gottlob, Reinhard Pichler	Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width.	ICALP	2001	DBLP DOI BibTeX RDF
1	Jack Jie Dai, James I. Lathrop, Jack H. Lutz, Elvira Mayordomo	Finite-State Dimension.	ICALP	2001	DBLP DOI BibTeX RDF
1	Kousha Etessami, Thomas Wilke, Rebecca A. Schuller	Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata.	ICALP	2001	DBLP DOI BibTeX RDF
1	Manfred Droste, Guo-Qiang Zhang 0001	Rational Transformations of Formal Power Series.	ICALP	2001	DBLP DOI BibTeX RDF	rational languages, recognizable languages, weighted finite automata, Formal power series
1	Michael Benedikt, Patrice Godefroid, Thomas W. Reps	Model Checking of Unrestricted Hierarchical State Machines.	ICALP	2001	DBLP DOI BibTeX RDF
1	Gerth Stølting Brodal, Rolf Fagerberg, Christian N. S. Pedersen, Anna Östlin	The Complexity of Constructing Evolutionary Trees Using Experiments.	ICALP	2001	DBLP DOI BibTeX RDF
1	Marek Chrobak, János Csirik, Csanád Imreh, John Noga, Jirí Sgall, Gerhard J. Woeginger	The Buffer Minimization Problem for Multiprocessor Scheduling with Conflicts.	ICALP	2001	DBLP DOI BibTeX RDF
1	Aggelos Kiayias, Moti Yung	Secure Games with Polynomial Expressions.	ICALP	2001	DBLP DOI BibTeX RDF
1	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
1	Martin Große-Rhode	Integrating Semantics for Object-Oriented System Models.	ICALP	2001	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Luc Boasson, Ahmed Bouajjani	Effective Lossy Queue Languages.	ICALP	2001	DBLP DOI BibTeX RDF
1	Franck van Breugel, James Worrell 0001	Towards Quantitative Verification of Probabilistic Transition Systems.	ICALP	2001	DBLP DOI BibTeX RDF
1	Volker Diekert, Anca Muscholl	Solvability of Equations in Free Partially Commutative Groups Is Decidable.	ICALP	2001	DBLP DOI BibTeX RDF
1	Jop F. Sibeyn	Faster Gossiping on Butterflies.	ICALP	2001	DBLP DOI BibTeX RDF
1	Joan Feigenbaum, Yuval Ishai, Tal Malkin, Kobbi Nissim, Martin Strauss 0001, Rebecca N. Wright	Secure Multiparty Computation of Approximations.	ICALP	2001	DBLP DOI BibTeX RDF
1	Pankaj K. Agarwal, Lars Arge, Octavian Procopiuc, Jeffrey Scott Vitter	A Framework for Index Bulk Loading and Dynamization.	ICALP	2001	DBLP DOI BibTeX RDF
1	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Realizability and Verification of MSC Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
1	Priti Shankar, P. N. A. Kumar, Harmeet Singh, B. Sundar Rajan	Minimal Tail-Biting Trellises for Certain Cyclic Block Codes Are Easy to Construct.	ICALP	2001	DBLP DOI BibTeX RDF	tail-biting trellises, Reed-Solomon codes, cyclic codes, linear block codes
1	Lane A. Hemaspaandra, Sven Kosub, Klaus W. Wagner	The Complexity of Computing the Size of an Interval.	ICALP	2001	DBLP DOI BibTeX RDF
1	Uriel Feige, Michael Langberg	The RPR2 Rounding Technique for Semidefinite Programs.	ICALP	2001	DBLP DOI BibTeX RDF
1	Nabil H. Mustafa, Aleksandar Pekec	Majority Consensus and the Local Majority Rule.	ICALP	2001	DBLP DOI BibTeX RDF
1	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki	Amalgamation in CASL via Enriched Signatures.	ICALP	2001	DBLP DOI BibTeX RDF
1	Artur Czumaj, Christian Sohler	Testing Hypergraph Coloring.	ICALP	2001	DBLP DOI BibTeX RDF
1	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
1	Birgit Baum-Waidner	Optimistic Asynchronous Multi-party Contract Signing with Reduced Number of Rounds.	ICALP	2001	DBLP DOI BibTeX RDF
1	Rocco A. Servedio	Separating Quantum and Classical Learning.	ICALP	2001	DBLP DOI BibTeX RDF
1	Alexandre Tiskin	All-Pairs Shortest Paths Computation in the BSP Model.	ICALP	2001	DBLP DOI BibTeX RDF
1	Zhangjian Li, Shin-Ichi Nakano	Efficient Generation of Plane Triangulations without Repetitions.	ICALP	2001	DBLP DOI BibTeX RDF
1	Konstantin Korovin, Andrei Voronkov	Knuth-Bendix Constraint Solving Is NP-Complete.	ICALP	2001	DBLP DOI BibTeX RDF
1	Michal Kunc	The Trace Coding Problem Is Undecidable.	ICALP	2001	DBLP DOI BibTeX RDF
1	P. Madhusudan, P. S. Thiagarajan	Distributed Controller Synthesis for Local Specifications.	ICALP	2001	DBLP DOI BibTeX RDF
1	Christos H. Papadimitriou	Algorithms, Games, and the Internet.	ICALP	2001	DBLP DOI BibTeX RDF
1	Liming Cai, David W. Juedes	Subexponential Parameterized Algorithms Collapse the W-Hierarchy.	ICALP	2001	DBLP DOI BibTeX RDF
1	Mahesh Viswanathan 0001, Ramesh Viswanathan	Foundations for Circular Compositional Reasoning.	ICALP	2001	DBLP DOI BibTeX RDF
1	Davide Sangiorgi, Andrea Valente	A Distributed Abstract Machine for Safe Ambients.	ICALP	2001	DBLP DOI BibTeX RDF
1	Gianfranco Bilardi, Enoch Peserico	A Characterization of Temporal Locality and Its Portability across Memory Hierarchies.	ICALP	2001	DBLP DOI BibTeX RDF
1	Oded Goldreich 0001, Salil P. Vadhan, Avi Wigderson	On Interactive Proofs with a Laconic Prover.	ICALP	2001	DBLP DOI BibTeX RDF	sampling protocols, statistical zero knowledge, game theory, interactive proofs, Arthur-Merlin games
1	Tomasz Jurdzinski, Miroslaw Kutylowski	Communication Gap for Finite Memory Devices.	ICALP	2001	DBLP DOI BibTeX RDF
1	Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino	On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities.	ICALP	2001	DBLP DOI BibTeX RDF
1	Peter Høyer, Jan Neerbek, Yaoyun Shi	Quantum Complexities of Ordered Searching, Sorting, and Element Distinctness.	ICALP	2001	DBLP DOI BibTeX RDF
1	Guo-Hui Lin, Zhi-Zhong Chen, Tao Jiang 0001, Jianjun Wen	The Longest Common Subsequence Problem for Sequences with Nested Arc Annotations.	ICALP	2001	DBLP DOI BibTeX RDF
1	Chandra Chekuri, Sanjeev Khanna	A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines.	ICALP	2001	DBLP DOI BibTeX RDF	average completion time, uniformly related machines, weighted completion time, scheduling, Polynomial time approximation scheme
1	Ingo Wegener	Theoretical Aspects of Evolutionary Algorithms.	ICALP	2001	DBLP DOI BibTeX RDF
1	P. Madhusudan	Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
1	Markus Bläser	Improvements of the Alder-Strassen Bound: Algebras with Nonzero Radical.	ICALP	2001	DBLP DOI BibTeX RDF
1	Miquel Bofill, Guillem Godoy	On the Completeness of Arbitrary Selection Strategies for Paramodulation.	ICALP	2001	DBLP DOI BibTeX RDF	automated deduction
1	Dietrich Kuske	Infinite Series-Parallel Posets: Logic and Languages.	ICALP	2000	DBLP DOI BibTeX RDF
1	Gregor Engels, Reiko Heckel	Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.	ICALP	2000	DBLP DOI BibTeX RDF	typed graph transformation, system modeling, model evolution, hierarchical graphs
1	Marie-Pierre Béal, Olivier Carton	Determinization of Transducers over Infinite Words.	ICALP	2000	DBLP DOI BibTeX RDF
1	Ali Akhavi, Brigitte Vallée	Average Bit-Complexity of Euclidean Algorithms.	ICALP	2000	DBLP DOI BibTeX RDF
1	Jack H. Lutz	Gales and the Constructive Dimension of Individual Sequences.	ICALP	2000	DBLP DOI BibTeX RDF	algorithmic information, gales, Hausdorff dimension, computability, randomness, Kolmogorov complexity, martingales, constructive dimension
1	Torben Hagerup	Improved Shortest Paths on the Word RAM.	ICALP	2000	DBLP DOI BibTeX RDF
1	Steven S. Seiden	An Optimal Online Algorithm for Bounded Space Variable-Sized Bin Packing.	ICALP	2000	DBLP DOI BibTeX RDF
1	Denis Lugiez, Philippe Schnoebelen	Decidable First-Order Transition Logics for PA-Processes.	ICALP	2000	DBLP DOI BibTeX RDF
1	Richard Mayr	On the Complexity of Bisimulation Problems for Basic Parallel Processes.	ICALP	2000	DBLP DOI BibTeX RDF

Publications at "ICALP"( http://dblp.L3S.de/Venues/ICALP )