∏2 ∩ Σ2 ≡ AFMC (English)
- New search for: Kupferman, Orna
- New search for: Vardi, Moshe Y.
- New search for: Kupferman, Orna
- New search for: Vardi, Moshe Y.
In:
Automata, Languages and Programming
13
;
697-713
;
2003
-
ISSN:
- Article/Chapter (Book) / Electronic Resource
-
Title:∏2 ∩ Σ2 ≡ AFMC
-
Contributors:Kupferman, Orna ( author ) / Vardi, Moshe Y. ( author )
-
Published in:Automata, Languages and Programming , 13 ; 697-713Lecture Notes in Computer Science ; 2719, 13 ; 697-713
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2003-01-01
-
Size:17 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Polarized Process Algebra and Program EquivalenceBergstra, Jan A. / Bethke, Inge et al. | 2003
- 22
-
Problems on RNA Secondary Structure Prediction and DesignCondon, Anne et al. | 2003
- 33
-
Some Issues Regarding Search, Censorship, and Anonymity in Peer to Peer NetworksFiat, Amos et al. | 2003
- 34
-
The SPQR-Tree Data Structure in Graph DrawingMutzel, Petra et al. | 2003
- 47
-
Model Checking and Testing CombinedPeled, Doron et al. | 2003
- 64
-
Logic and Automata: A Match Made in HeavenVardi, Moshe Y. et al. | 2003
- 66
-
Pushdown Automata and Multicounter Machines, a Comparison of Computation ModesHromkovič, Juraj / Schnitger, Georg et al. | 2003
- 81
-
Generalized Framework for Selectors with Applications in Optimal Group TestingBonis, Annalisa / Gąsieniec, Leszek / Vaccaro, Ugo et al. | 2003
- 97
-
Decoding of Interleaved Reed Solomon Codes over Noisy DataBleichenbacher, Daniel / Kiayias, Aggelos / Yung, Moti et al. | 2003
- 109
-
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure TracesBlom, Stefan / Fokkink, Wan / Nain, Sumit et al. | 2003
- 119
-
Resource Access and Mobility Control with Dynamic Privileges AcquisitionGorla, Daniele / Pugliese, Rosario et al. | 2003
- 133
-
Replication vs. Recursive Definitions in Channel Based CalculiBusi, Nadia / Gabbrielli, Maurizio / Zavattaro, Gianluigi et al. | 2003
- 145
-
Improved Combinatorial Approximation Algorithms for the k-Level Facility Location ProblemAgeev, Alexander / Ye, Yinyu / Zhang, Jiawei et al. | 2003
- 157
-
An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle InequalityBläser, Markus et al. | 2003
- 164
-
An Improved Approximation Algorithm for Vertex Cover with Hard CapacitiesGandhi, Rajiv / Halperin, Eran / Khuller, Samir / Kortsarz, Guy / Srinivasan, Aravind et al. | 2003
- 176
-
Approximation Schemes for Degree-Restricted MST and Red-Blue Separation ProblemArora, Sanjeev / Chang, Kevin L. et al. | 2003
- 189
-
Approximating Steiner k-CutsChekuri, Chandra / Guha, Sudipto / Naor, Joseph Seffi et al. | 2003
- 200
-
MAX k-CUT and Approximating the Chromatic Number of Random GraphsCoja-Oghlan, Amin / Moore, Cristopher / Sanwalani, Vishal et al. | 2003
- 212
-
Approximation Algorithm for Directed Telephone Multicast ProblemElkin, Michael / Kortsarz, Guy et al. | 2003
- 224
-
Mixin Modules and Computational EffectsAncona, Davide / Fagorzi, Sonia / Moggi, Eugenio / Zucca, Elena et al. | 2003
- 239
-
Decision Problems for Language Equations with Boolean OperationsOkhotin, Alexander et al. | 2003
- 252
-
Generalized Rewrite TheoriesBruni, Roberto / Meseguer, José et al. | 2003
- 267
-
Sophistication RevisitedAntunes, Luís / Fortnow, Lance et al. | 2003
- 278
-
Scaled Dimension and Nonuniform ComplexityHitchcock, John M. / Lutz, Jack H. / Mayordomo, Elvira et al. | 2003
- 291
-
Quantum Search on Bounded-Error InputsHøyer, Peter / Mosca, Michele / Wolf, Ronald et al. | 2003
- 300
-
A Direct Sum Theorem in Communication Complexity via Message CompressionJain, Rahul / Radhakrishnan, Jaikumar / Sen, Pranab et al. | 2003
- 316
-
Optimal Cache-Oblivious Implicit DictionariesFranceschini, Gianni / Grossi, Roberto et al. | 2003
- 332
-
The Cell Probe Complexity of Succinct Data StructuresGál, Anna / Miltersen, Peter Bro et al. | 2003
- 345
-
Succinct Representations of PermutationsMunro, J. Ian / Raman, Rajeev / Raman, Venkatesh / Rao, Satti Srinivasa et al. | 2003
- 357
-
Succinct Dynamic Dictionaries and TreesRaman, Rajeev / Rao, Satti Srinivasa et al. | 2003
- 369
-
Labeling Schemes for Weighted Dynamic TreesKorman, Amos / Peleg, David et al. | 2003
- 384
-
A Simple Linear Time Algorithm for Computing a (2k — 1)-Spanner of O(n 1+1/k ) Size in Weighted GraphsBaswana, Surender / Sen, Sandeep et al. | 2003
- 397
-
Multicommodity Flows over Time: Efficient Algorithms and ComplexityHall, Alex / Hippler, Steffen / Skutella, Martin et al. | 2003
- 410
-
Multicommodity Demand Flow in a TreeChekuri, Chandra / Mydlarz, Marcelo / Shepherd, F. Bruce et al. | 2003
- 426
-
Skew and Infinitary Formal Power SeriesDroste, Manfred / Kuske, Dietrich et al. | 2003
- 439
-
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser’s SeparationHromkovič, Juraj / Schnitger, Georg et al. | 2003
- 452
-
Residual Languages and Probabilistic AutomataDenis, François / Esposito, Yann et al. | 2003
- 464
-
A Testing Scenario for Probabilistic AutomataStoelinga, Mariëlle / Vaandrager, Frits et al. | 2003
- 478
-
The Equivalence Problem for t-Turn DPDA Is Co-NPSénizergues, Géraud et al. | 2003
- 490
-
Flip-Pushdown Automata: k + 1 Pushdown Reversals Are Better than kHolzer, Markus / Kutrib, Martin et al. | 2003
- 502
-
Convergence Time to Nash EquilibriaEven-Dar, Eyal / Kesselman, Alex / Mansour, Yishay et al. | 2003
- 514
-
Nashification and the Coordination Ratio for a Selfish Routing GameFeldmann, Rainer / Gairing, Martin / Lücking, Thomas / Monien, Burkhard / Rode, Manuel et al. | 2003
- 527
-
Stable Marriages with Multiple Partners: Efficient Search for an Optimal SolutionBansal, Vipul / Agrawal, Aseem / Malhotra, Varun S. et al. | 2003
- 543
-
An Intersection Inequality for Discrete Distributions and Related Generation ProblemsBoros, Endre / Elbassioni, Khaled / Gurvich, Vladimir / Khachiyan, Leonid / Makino, Kazuhisa et al. | 2003
- 556
-
Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity GamesCachat, Thierry et al. | 2003
- 570
-
Undecidability of Weak Bisimulation Equivalence for 1-Counter ProcessesMayr, Richard et al. | 2003
- 584
-
Bisimulation Proof Methods for Mobile AmbientsMerro, Massimo / Nardelli, Francesco Zappa et al. | 2003
- 599
-
On Equivalent Representations of Infinite StructuresCarayol, Arnaud / Colcombet, Thomas et al. | 2003
- 611
-
Adaptive Raising Strategies Optimizing Relative EfficiencySchönhage, Arnold et al. | 2003
- 624
-
A Competitive Algorithm for the General 2-Server ProblemSitters, René A. / Stougie, Leen / Paepe, Willem E. et al. | 2003
- 637
-
On the Competitive Ratio for Online Facility LocationFotakis, Dimitris et al. | 2003
- 653
-
A Study of Integrated Document and Connection CachingAlbers, Susanne / Stee, Rob et al. | 2003
- 668
-
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State SystemsXie, Gaoyan / Dang, Zhe / Ibarra, Oscar H. et al. | 2003
- 681
-
Monadic Second-Order Logics with CardinalitiesKlaedtke, Felix / Rueß, Harald et al. | 2003
- 697
-
∏2 ∩ Σ2 ≡ AFMCKupferman, Orna / Vardi, Moshe Y. et al. | 2003
- 714
-
Upper Bounds for a Theory of QueuesRybina, Tatiana / Voronkov, Andrei et al. | 2003
- 725
-
Degree Distribution of the FKP Network ModelBerger, Noam / Bollobás, Béla / Borgs, Christian / Chayes, Jennifer / Riordan, Oliver et al. | 2003
- 739
-
Similarity Matrices for Pairs of GraphsBlondel, Vincent D. / Dooren, Paul et al. | 2003
- 751
-
Algorithmic Aspects of Bandwidth TradingBhatia, Randeep / Chuzhoy, Julia / Freund, Ari / Naor, Joseph Seffi et al. | 2003
- 767
-
CTL+ Is Complete for Double Exponential TimeJohannsen, Jan / Lange, Martin et al. | 2003
- 776
-
Hierarchical and Recursive State Machines with Context-Dependent PropertiesTorre, Salvatore / Napoli, Margherita / Parente, Mimmo / Parlato, Gennaro et al. | 2003
- 790
-
Oracle Circuits for Branching-Time Model CheckingSchnoebelen, Philippe et al. | 2003
- 802
-
There Are Spanning Spiders in Dense Graphs (and We Know How to Find Them)Gargano, Luisa / Hammar, Mikael et al. | 2003
- 817
-
The Computational Complexity of the Role Assignment ProblemFiala, Jiří / Paulusma, Daniël et al. | 2003
- 829
-
Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map GraphsDemaine, Erik D. / Fomin, Fedor V. / Hajiaghayi, Mohammad Taghi / Thilikos, Dimitrios M. et al. | 2003
- 845
-
Genus Characterizes the Complexity of Graph Problems: Some Tight ResultsChen, Jianer / Kanj, Iyad A. / Perković, Ljubomir / Sedgwick, Eric / Xia, Ge et al. | 2003
- 857
-
The Definition of a Temporal Clock OperatorEisner, Cindy / Fisman, Dana / Havlicek, John / McIsaac, Anthony / Campenhout, David et al. | 2003
- 871
-
Minimal Classical Logic and Control OperatorsAriola, Zena M. / Herbelin, Hugo et al. | 2003
- 886
-
Counterexample-Guided ControlHenzinger, Thomas A. / Jhala, Ranjit / Majumdar, Rupak et al. | 2003
- 903
-
Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data TypesHannay, Jo et al. | 2003
- 918
-
Efficient Pebbling for List Traversal SynopsesMatias, Yossi / Porat, Ely et al. | 2003
- 929
-
Function Matching: Algorithms, Applications, and a Lower BoundAmir, Amihood / Aumann, Yonatan / Cole, Richard / Lewenstein, Moshe / Porat, Ely et al. | 2003
- 943
-
Simple Linear Work Suffix Array ConstructionKärkkäinen, Juha / Sanders, Peter et al. | 2003
- 956
-
Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type SystemsGutiérrez, Francisco / Ruiz, Blas et al. | 2003
- 969
-
Secrecy in Untrusted NetworksBugliesi, Michele / Crafa, Silvia / Prelic, Amela / Sassone, Vladimiro et al. | 2003
- 984
-
Locally Commutative CategoriesChattopadhyay, Arkadev / Thérien, Denis et al. | 2003
- 996
-
Semi-pullbacks and Bisimulations in Categories of Stochastic RelationsDoberkat, Ernst-Erich et al. | 2003
- 1008
-
Quantitative Analysis of Probabilistic Lossy Channel SystemsRabinovich, Alexander et al. | 2003
- 1022
-
Discounting the Future in Systems TheoryAlfaro, Luca / Henzinger, Thomas A. / Majumdar, Rupak et al. | 2003
- 1038
-
Information Flow in Concurrent GamesAlfaro, Luca / Faella, Marco et al. | 2003
- 1054
-
Impact of Local Topological Information on Random Walks on Finite GraphsIkeda, Satoshi / Kubo, Izumi / Okumoto, Norihiro / Yamashita, Masafumi et al. | 2003
- 1068
-
Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean SpacesJägersküpper, Jens et al. | 2003
- 1080
-
Optimal Coding and Sampling of TriangulationsPoulalhon, Dominique / Schaeffer, Gilles et al. | 2003
- 1095
-
Generating Labeled Planar Graphs Uniformly at RandomBodirsky, Manuel / Gröpl, Clemens / Kang, Mihyun et al. | 2003
- 1108
-
Online Load Balancing Made Simple: Greedy Strikes BackCrescenzi, Pilu / Gambosi, Giorgio / Nicosia, Gaia / Penna, Paolo / Unger, Walter et al. | 2003
- 1123
-
Real-Time Scheduling with a BudgetNaor, Joseph Seffi / Shachnai, Hadas / Tamir, Tami et al. | 2003
- 1138
-
Improved Approximation Algorithms for Minimum-Space Advertisement SchedulingDean, Brian C. / Goemans, Michel X. et al. | 2003
- 1153
-
Anycasting in Adversarial Systems: Routing and Admission ControlAwerbuch, Baruch / Brinkmann, André / Scheideler, Christian et al. | 2003
- 1169
-
Dynamic Algorithms for Approximating InterdistancesBespamyatnikh, Sergei / Segal, Michael et al. | 2003
- 1181
-
Solving the Robots Gathering ProblemCieliebak, Mark / Flocchini, Paola / Prencipe, Giuseppe / Santoro, Nicola et al. | 2003