The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/istcs

Publication years (Num. hits)
1992 (20) 1993 (36) 1995 (31) 1996 (30) 1997 (21)
Publication types (Num. hits)
inproceedings(133) proceedings(5)
Venues (Conferences, Journals, ...)
ISTCS(138)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 28 keywords

Results
Found 138 publication records. Showing 138 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Orna Kupferman, Moshe Y. Vardi Weak Alternating Automata Are Not That Weak. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Gilles Brassard, Peter Høyer An Exact Quantum Polynomial-Time Algorithm for Simon's Problem. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jaime Cohen, Claudio L. Lucchesi Minimax relations for T-join packing problems. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF minimax relations, T-join packing problems, algorithmic results, structural results, minimum T-cut, maximization problem, theorem proving, polynomial time algorithm, perfect matchings, minimax techniques
1Yossi Azar, Leah Epstein On-Line Load Balancing of Temporary Tasks on Identical Machines. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Dan Boneh, Richard J. Lipton Effect of Operators on Straight Line Complexity. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF straight line complexity, conditional result, explicit linear operators, lower bounds, theorem proving, multivariate polynomials
1Vladimir Grebinski, Gregory Kucherov Optimal Query Bounds for Reconstructing a Hamiltonian Cycle in Complete Graphs. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Yuval Ishai, Eyal Kushilevitz Private Simultaneous Messages Protocols with Applications. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Micah Adler, Yair Bartal, John W. Byers, Michael Luby, Danny Raz A Modular Analysis of Network Transmission Protocols. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ron Shamir, Dekel Tsur Faster subtree isomorphism. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF subtree isomorphism problem, graph theory, randomized algorithm, trees, trees (mathematics), computation time, vertices, decision problem
1Yefim Dinitz, Tamar Eilam, Shlomo Moran, Shmuel Zaks On the totalk-diameter of connection networks. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF k edge-disjoint paths, minimal sum of lengths, fault-tolerant routing problems, k-connected simple graph, total/sub k/-diameter, graph theory, lower bound, ATM networks, upper bound, nodes, compact routing, connection network
1Takao Asano Approximation Algorithms for MAX SAT: Yannakakis vs. Goemans-Williamson. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christian Capelle, Michel Habib Graph decompositions and factorizing permutations. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF factorizing permutations, decomposition sets, inheritance graph decomposition, optimization, graph theory, vertices, undirected graph, chordal graphs, graph decompositions, decomposition algorithms, linear algorithm, modular decomposition, decomposition tree
1Jeffrey C. Jackson, Eli Shamir 0001, Clara Shwartzman Learning with Queries Corrupted by Classification Noise. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1 Fifth Israel Symposium on Theory of Computing and Systems, ISTCS 1997, Ramat-Gan, Israel, June 17-19, 1997, Proceedings Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  BibTeX  RDF
1Mordecai J. Golin, Assaf Schuster Optimal point-to-point broadcast algorithms via lopsided trees. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF optimal point-to-point broadcast algorithms, lopsided trees, point-to-point packet-switched processor networks, optimal broadcast algorithms, optimal broadcast algorithm, optical ring, multiport multimedia model, message passing, POSTAL model
1Richard Beigel, Richard Chang 0001 Commutative Queries. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Yehuda Afek, Shlomi Dolev Local Stabilizer. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Uriel Feige, Robert Krauthgamer Stereoscopic families of permutations, and their applications. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Richard Beigel Closure Properties of GapP and #P. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Bin Fu, Richard Beigel A Comparison of Resource-Bounded Molecular Computation Models. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Pat Frankel Exact Analysis of Exact Change. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Cees Witteveen, Wiebe van der Hoek Updating Nonmonotonic Databases. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Nancy A. Lynch, Sergio Rajsbaum On the Borowsky-Gafni Simulation Algorithm. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Silvia M. Müller, Wolfgang J. Paul Making the Original Scoreboard Mechanism Deadlock Free. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Guy Even, Joseph Naor, Baruch Schieber, Leonid Zosin Approximating Minimum Subset Feedback Sets in Undirected Graphs with Applications. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Stuart W. Margolis, Mark V. Sapir, Pascal Weil On the Indecomposibility of Certain Language Classes. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Yishay Mansour, Michal Parnas On Learning Conjunctions with Malicious Noise. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Richard Zippel On Satisfiability. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1William R. Pulleyblank The Airline Crew Pairing Optimization Problem. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Frank Thomson Leighton How to Pick a Winner Almost Every Time: Provably-Good Algorithms for Decision Making in the Face of Uncertainty. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Micha Sharir Arrangements of Curves and Surfaces in Computational Geometry. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Judit Bar-Ilan, Guy Kortsarz, David Peleg Generalized Submodular Cover Problems and Applications. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Moni Naor, Sitvanit Ruah On the Decisional Complexity of Problems Over the Reals. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Alexander E. Andreev, Andrea E. F. Clementi, José D. P. Rolim On the Parallel Computation of Boolean Functions on Unrelated inputs. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Shlomi Dolev, Evangelos Kranakis, Danny Krizanc Baked Potato Routing. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Israel A. Wagner, Michael Lindenbaum, Alfred M. Bruckstein Smell as a Computational Resource - A Lesson We Can Learn from the Ant. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Shimon Ullman Visual Object Recognition. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1 Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Haim Kaplan, Ron Shamir Physical Maps and Interval Sandwich Problems: Bounded Degrees Help. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Viggo Kann, Sanjeev Khanna, Jens Lagergren, Alessandro Panconesi On the Hardness of Approximating Max k-Cut and Its Dual. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Michael Codish, Vitaly Lagoon Type Dependencies for Logic Programs Using ACI-Unification. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Pierluigi Crescenzi, Riccardo Silvestri, Luca Trevisan To Weight or Not to Weight: Where is the Question? Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Roded Sharan, Avi Wigderson A New NCAlgorithm for Perfect Matching in Bipartite Cubic Graphs. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf Feasibility and Unfeasibility of Off-Line Processing. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Paolo Boldi, Shella Shammah, Sebastiano Vigna, Bruno Codenotti, Peter Gemmell, Janos Simon Symmetry Breaking in Anonymous Networks: Characterizations. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Uriel Feige, Yuri Rabinovich Deterministic Approximation of the Cover Time. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Thorsten Altenkirch, Martin Hofmann 0001, Thomas Streicher Reduction-Free Normalisation for a Polymorphic System. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Benny Chor, Yuval Ishai On Privacy and Partition Arguments. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Baruch Awerbuch, Yossi Azar, Amos Fiat Packet Routing via Min-Cost Circuit Routing. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Y. B. Karasik On Advances in Optical Computational Models and Problems which They Help to Solve. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Amotz Bar-Noy, Hadas Shachnai, Tami Tamir On Chromatic Sums and Distributed Resource Allocation. Search on Bibsonomy ISTCS The full citation details ... 1996 DBLP  BibTeX  RDF
1Carsten Rössner, Claus-Peter Schnorr Computation of Highly Regular Nearby Points. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Artur Czumaj, Friedhelm Meyer auf der Heide, Volker Stemann Improved Optimal Shared Memory Simulations, and the Power of Reconfiguration. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Nikolai K. Vereshchagin NP-sets are Co-NP-immune Relative to a Random Oracle. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hagit Brit, Shlomo Moran, Gadi Taubenfeld Public Data Structures: Counters as a Special Case (Abridged Version). Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alain J. Mayer, Moni Naor, Larry J. Stockmeyer Local Computations on Static and Dynamic Graphs (Preliminary Version). Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Tal Goldberg, Uri Zwick Optimal deterministic approximate parallel prefix sums and their applications. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Uriel Feige Observations on Hot Potato Routing. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1 Third Israel Symposium on Theory of Computing and Systems, ISTCS 1995, Tel Aviv, Israel, January 4-6, 1995, Proceedings Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  BibTeX  RDF
1Mihir Bellare, Uriel Feige, Joe Kilian On the Role of Shared Randomness in Two Prover Proof Systems. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Amir Ben-Dor, Amos Israeli, Asaf Shirazi Dynamic Counting. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Uriel Feige, Michel X. Goemans Aproximating the Value of Two Prover Proof Systems, With Applications to MAX 2SAT and MAX DICUT. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Joe Kilian, Moni Naor On the Complexity of Statistical Reasoning (extended abtract). Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David Harel, Eli Singerman More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Peter Høyer A General Technique for Implementation of Efficient Priority Queues. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rob Gerth, Ruurd Kuiper 0001, Doron A. Peled, Wojciech Penczek A Partial Order Approach to Branching Time Logic Model Checking. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Nikolai K. Vereshchagin Lower Bounds for Perceptrons Solving some Separation Problems and Oracle Separation of AM from PP. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jon M. Kleinberg, Hagit Attiya, Nancy A. Lynch Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Shlomo Moran Using Approximate Agreement to Obtain Complete Disagreement: The Output Structure of Input-Free Asynchronous Computations. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Avi Wigderson Computational Pseudo-Randomness. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Matthew J. Katz Improved Algorithms in Geometric Optimization via Expanders. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Omer Berkman, Phillip B. Gibbons, Yossi Matias On the Power of Randomization for the Common PRAM. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Yaron Riany, Nir Shavit, Dan Touitou Towards A Practical Snapshot Algorithm. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Dorit Dor, Uri Zwick Finding percentile elements. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Gábor Tardos, David A. Mix Barrington A Lower Bound on the Mod 6 Degree of the OR Function. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jirí Sgall Randomized On-Line Scheduling of Parallel Jobs. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jeanette P. Schmidt All Shortest Paths in Weighted Grid Graphs and its Application to Finding All Approximate Repeats in Strings. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Katalin Friedl, Madhu Sudan 0001 Some Improvements to Total Degree Tests. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Holger Petersen 0001 Automata with Sensing Heads. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Ishai Ben-Aroya, Ilan Newman, Assaf Schuster Randomized Single-Target Hot-Potato Routing. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Pavel A. Pevzner, Michael S. Waterman Open Combinatorial Problems in Computational Molecular Biology. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1G. Gemünd, M. Jakob, Werner Massonne, Wolfgang J. Paul, B. Spengler High Performance Transaction Systems on the SB-PRAM. Search on Bibsonomy ISTCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Juan A. Garay, Inder S. Gopal, Shay Kutten, Yishay Mansour, Moti Yung Efficient On-Line Call Control Algorithms. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Anne Condon, Diane Hernek Random Walks on Colored Graphs. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Shay Kutten, Rafail Ostrovsky, Boaz Patt-Shamir The Las-Vegas Processor Identity Problem (How and When to Be Unique). Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Zurab Khasidashvili On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Thomas Lengauer Algorithmic Research Problems in Molecular Bioinformatics. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Edith Cohen Using Selective Path-Doubling for Parallel Shortest-Path Computations. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kaisa Sere A Formalization of Superposition Refinement. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1David Peleg, Gideon Schechtman, Avishai Wool Approximating Bounded 0-1 Integer Linear Programs. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Alon Efrat, Craig Gotsman Subpixel Image Registration Using Circular Fiducials. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Mihir Bellare Interactive Proofs and Approximation: Reduction from Two Provers in One Round. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ronald I. Greenberg, Jau-Der Shih Feasible Offset an Optimal Offset for Single-Layer Channel Routing. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Erez Petrank The Hardness of Approximation: Gap Location. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Johan Håstad, Steven J. Phillips, Shmuel Safra A Well-Characterized Approximation Problem. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Amir Ben-Dor, Shai Halevi Zero-One Permanent is #P-Complete, A Simpler Proof. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1 Second Israel Symposium on Theory of Computing Systems, ISTCS 1993, Natanya, Israel, June 7-9, 1993, Proceedings Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  BibTeX  RDF
1Sanjeev Khanna, Nathan Linial, Shmuel Safra On the Hardness of Approximating the Chromatic Number. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Shafi Goldwasser Efficient Interactive Proofs and Applications to Approximation. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  BibTeX  RDF
1Frank A. Stomp Structured Design of Self-Stabilizing Programs. Search on Bibsonomy ISTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 138 (100 per page; Change: )
Pages: [1][2][>>]
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