Search dblp for Publications

export results for "toc:db/conf/ifipTCS/ifipTCS2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ifipTCS/AlberF02,
  author    = {Jochen Alber and
               Jir{\'{\i}} Fiala},
  title     = {Geometric Separation and Exact Solutions for the Parameterized Independent
               Set Problem on Disk Graphs},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {26--37},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Baillot02,
  author    = {Patrick Baillot},
  title     = {Checking Polynomial Time Complexity with Types},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {370--382},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BansalLS02,
  author    = {Nikhil Bansal and
               Zhen Liu and
               Arvind Sankar},
  title     = {Bin-Packing with Fragile Objects},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {38--46},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BespamyatnikhBKS02,
  author    = {Sergei Bespamyatnikh and
               Binay K. Bhattacharya and
               David G. Kirkpatrick and
               Michael Segal},
  title     = {Lower and Upper Bounds for Tracking Mobile Users},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {47--58},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BeygelzimerO02,
  author    = {Alina Beygelzimer and
               Mitsunori Ogihara},
  title     = {On the Enumerability of the Determinant and the Rank},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {59--70},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BloughLRS02,
  author    = {Douglas M. Blough and
               Mauro Leoncini and
               Giovanni Resta and
               Paolo Santi},
  title     = {On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {71--82},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BolligWW02,
  author    = {Beate Bollig and
               Stephan Waack and
               Philipp Woelfel},
  title     = {Parity Graph-driven Read-Once Branching Programs and an Exponential
               Lower Bound for Integer Multiplication},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {83--94},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BraghinCFB02,
  author    = {Chiara Braghin and
               Agostino Cortesi and
               Riccardo Focardi and
               Steffen van Bakel},
  title     = {Boundary Inference for Enforcing Security Policies in Mobile Ambients},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {383--395},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BrattkaZ02,
  author    = {Vasco Brattka and
               Martin Ziegler},
  title     = {Computability of Linear Equations},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {95--106},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/BruyereC02,
  author    = {V{\'{e}}ronique Bruy{\`{e}}re and
               Olivier Carton},
  title     = {Hierarchy Among Automata on Linear Orderings},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {107--118},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/CalinescuMZ02,
  author    = {Gruia C{\u{a}}linescu and
               Ion I. Mandoiu and
               Alexander Zelikovsky},
  title     = {Symmetric Connectivity with Minimum Power Consumption in Radio Networks},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {119--130},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Chen02,
  author    = {Zhao Chen},
  title     = {A Modified Recursive Triangular Factorization for Cauchy-like Systems},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {131--142},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/ChocklerK02,
  author    = {Hana Chockler and
               Orna Kupferman},
  title     = {Coverage of Implementations by Simulating Specifications},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {409--421},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/CieliebakELSW02,
  author    = {Mark Cieliebak and
               Thomas Erlebach and
               Zsuzsanna Lipt{\'{a}}k and
               Jens Stoye and
               Emo Welzl},
  title     = {Algorithmic Complexity of Protein Identification: Searching in Weighted
               Strings},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {143--156},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/ConfortiFG02,
  author    = {Giovanni Conforti and
               Orlando Ferrara and
               Giorgio Ghelli},
  title     = {{TQL} Algebra and its Implementation},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {422--434},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/DistefanoRK02,
  author    = {Dino Distefano and
               Arend Rensink and
               Joost{-}Pieter Katoen},
  title     = {Model Checking Birth and Death},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {435--447},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/DoughertyLL02,
  author    = {Daniel J. Dougherty and
               St{\'{e}}phane Lengrand and
               Pierre Lescanne},
  title     = {An Improved System of Intersection Types for Explicit Substitutions},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {511--523},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/DuflotFP02,
  author    = {Marie Duflot and
               Laurent Fribourg and
               Claudine Picaronny},
  title     = {Randomized Dining Philosophers without Fairness Assumption},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {169--180},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/EfratH02,
  author    = {Alon Efrat and
               Sariel Har{-}Peled},
  title     = {Guarding Galleries and Terrains},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {181--192},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/FluetP02,
  author    = {Matthew Fluet and
               Riccardo Pucella},
  title     = {Phantom Types and Subtyping},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {448--460},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/GasieniecP02,
  author    = {Leszek Gasieniec and
               Igor Potapov},
  title     = {Gossiping with Unit Messages in Known Radio Networks},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {193--205},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Gordon02,
  author    = {Andrew D. Gordon},
  title     = {{XML} Web Services: The Global Computer?},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {355},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/GruskaIM02,
  author    = {Jozef Gruska and
               Hiroshi Imai and
               Keiji Matsumoto},
  title     = {Power of Quantum Entanglement},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {3--22},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/GuerraouiK02,
  author    = {Rachid Guerraoui and
               Petr Kouznetsov},
  title     = {On the Weakest Failure Detector for Non-Blocking Atomic Commit},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {461--473},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Gunter02,
  author    = {Carl A. Gunter},
  title     = {Micro Mobile Programs},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {356--369},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/HanusseKKK02,
  author    = {Nicolas Hanusse and
               Dimitris J. Kavvadias and
               Evangelos Kranakis and
               Danny Krizanc},
  title     = {Memoryless Search Algorithms in a Network with Faulty Advice},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {206--216},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/HemaspaandraT02,
  author    = {Lane A. Hemaspaandra and
               Mayur Thakur},
  title     = {Lower Bounds and the Hardness of Counting Properties},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {217--229},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/HertzIM02,
  author    = {Matthew Hertz and
               Neil Immerman and
               J. Eliot B. Moss},
  title     = {Framework for Analyzing Garbage Collection},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {230--242},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/HomanT02,
  author    = {Christopher M. Homan and
               Mayur Thakur},
  title     = {One-Way Permutations and Self-Witnessing Languages},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {243--254},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/HylandPP02,
  author    = {Martin Hyland and
               Gordon D. Plotkin and
               John Power},
  title     = {Combining Computational Effects: commutativity {\&} sum},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {474--484},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/JansenZ02,
  author    = {Klaus Jansen and
               Hu Zhang},
  title     = {Approximation Algorithms for General Packing Problems with Modified
               Logarithmic Potential Function},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {255--266},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Kleinberg02,
  author    = {Jon M. Kleinberg},
  title     = {Information Networks, Link Analysis, and Temporal Dynamics},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {23--25},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Lafitte02,
  author    = {Gr{\'{e}}gory Lafitte},
  title     = {On Randomness and Infinity},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {267--279},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Leivant02,
  author    = {Daniel Leivant},
  title     = {Substructural Verification and Computational Feasibility},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {498--510},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/LoretoRT02,
  author    = {Aline Brum Loreto and
               Leila Ribeiro and
               Laira Vieira Toscani},
  title     = {Decidability and Tractability of Problems in Object-Based Graph Grammars},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {396--408},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Martinelli02,
  author    = {Fabio Martinelli},
  title     = {About Compositional Analysis of Pi-Calculus Processes},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {524--536},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/PagourtzisPSSTW02,
  author    = {Aris Pagourtzis and
               Paolo Penna and
               Konrad Schlude and
               Kathleen Steinh{\"{o}}fel and
               David Scot Taylor and
               Peter Widmayer},
  title     = {Server Placements, Roman Domination and other Dominating Set Variants},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {280--291},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/PalamidessiH02,
  author    = {Catuscia Palamidessi and
               Oltea Mihaela Herescu},
  title     = {A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {537--549},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/PaluPR02,
  author    = {Alessandro Dal Pal{\`{u}} and
               Enrico Pontelli and
               Desh Ranjan},
  title     = {An Efficient Parallel Pointer Machine Algorithm for the {NCA} Problem},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {157--168},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/PandaD02,
  author    = {B. S. Panda and
               Sajal K. Das},
  title     = {A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {292--309},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/PhillipsV02,
  author    = {Iain Phillips and
               Maria Grazia Vigliotti},
  title     = {On Reduction Semantics for the Push and Pull Ambitent Calculus},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {550--562},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/RotheSV02,
  author    = {J{\"{o}}rg Rothe and
               Holger Spakowski and
               J{\"{o}}rg Vogel},
  title     = {Exact Complexity of Exact-Four-Colorability and of the Winner Problem
               for Young Elections},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {310--322},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Schmitt02,
  author    = {Alan Schmitt},
  title     = {Safe Dynamic Binding in the Join Calculus},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {563--575},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Serre02,
  author    = {Olivier Serre},
  title     = {Vectorial Languages and Linear Temporal Logic},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {576--587},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Stoller02,
  author    = {Scott D. Stoller},
  title     = {A Bound on Attacks on Authentication Protocols},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {588--600},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/TorreMM02,
  author    = {Salvatore {La Torre} and
               Supratik Mukhopadhyay and
               Aniello Murano},
  title     = {Optimal-Reachability and Control for Acyclic Weighted Timed Automata},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {485--497},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Yamakami02,
  author    = {Tomoyuki Yamakami},
  title     = {Quantum {NP} and Quantum Hierarchy},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {323--336},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/ZhangP02,
  author    = {Xiaogang Zhang and
               John Potter},
  title     = {Responsive Bisimulation},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {601--612},
  publisher = {Kluwer},
  year      = {2002}
}
@inproceedings{DBLP:conf/ifipTCS/Zimand02,
  author    = {Marius Zimand},
  title     = {Probabilistically Checkable Proofs the Easy Way},
  booktitle = {{IFIP} {TCS}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  pages     = {337--351},
  publisher = {Kluwer},
  year      = {2002}
}
@proceedings{DBLP:conf/ifipTCS/2002,
  editor    = {Ricardo A. Baeza{-}Yates and
               Ugo Montanari and
               Nicola Santoro},
  title     = {Foundations of Information Technology in the Era of Networking and
               Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
               - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
               on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
               Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  series    = {{IFIP} Conference Proceedings},
  volume    = {223},
  publisher = {Kluwer},
  year      = {2002}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics