:facetid:toc:\"db/conf/fsttcs/fsttcs2008.bht\"OK:facetid:toc:db/conf/fsttcs/fsttcs2008.bhtOmid AminiFedor V. FominSaket Saurabh 0001Implicit Branching and Parameterized Partial Cover Problems (Extended Abstract).FSTTCS1-122008Conference and Workshop Papersopenconf/fsttcs/AminiFS0810.4230/LIPICS.FSTTCS.2008.1736https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1736https://dblp.org/rec/conf/fsttcs/AminiFS08URL#5347598Takahito Aoto 0001Sound Lemma Generation for Proving Inductive Validity of Equations.FSTTCS13-242008Conference and Workshop Papersopenconf/fsttcs/Aoto0810.4230/LIPICS.FSTTCS.2008.1737https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1737https://dblp.org/rec/conf/fsttcs/Aoto08URL#5347599Vikraman ArvindPushkar S. JoglekarSome Sieving Algorithms for Lattice Problems.FSTTCS25-362008Conference and Workshop Papersopenconf/fsttcs/ArvindJ0810.4230/LIPICS.FSTTCS.2008.1738https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1738https://dblp.org/rec/conf/fsttcs/ArvindJ08URL#5347600Mohamed Faouzi AtigAhmed BouajjaniTayssir TouiliAnalyzing Asynchronous Programs with Preemption.FSTTCS37-482008Conference and Workshop Papersopenconf/fsttcs/AtigBT0810.4230/LIPICS.FSTTCS.2008.1739https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1739https://dblp.org/rec/conf/fsttcs/AtigBT08URL#5347601David A. BasinFelix KlaedtkeSamuel Müller 0002Birgit PfitzmannRuntime Monitoring of Metric First-order Temporal Properties.FSTTCS49-602008Conference and Workshop Papersopenconf/fsttcs/BasinKMP0810.4230/LIPICS.FSTTCS.2008.1740https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1740https://dblp.org/rec/conf/fsttcs/BasinKMP08URL#5347602Noam BergerNevin KapurLeonard J. SchulmanVijay V. VaziraniSolvency Games.FSTTCS61-722008Conference and Workshop Papersopenconf/fsttcs/BergerKSV0810.4230/LIPICS.FSTTCS.2008.1741https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1741https://dblp.org/rec/conf/fsttcs/BergerKSV08URL#5347603Dietmar BerwangerLaurent Doyen 0001On the Power of Imperfect Information.FSTTCS73-822008Conference and Workshop Papersopenconf/fsttcs/BerwangerD0810.4230/LIPICS.FSTTCS.2008.1742https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1742https://dblp.org/rec/conf/fsttcs/BerwangerD08URL#5347604Didier CaucalBoolean algebras of unambiguous context-free languages.FSTTCS83-942008Conference and Workshop Papersopenconf/fsttcs/Caucal0810.4230/LIPICS.FSTTCS.2008.1743https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1743https://dblp.org/rec/conf/fsttcs/Caucal08URL#5347605André ChaillouxIordanis KerenidisIncreasing the power of the verifier in Quantum Zero Knowledge.FSTTCS95-1062008Conference and Workshop Papersopenconf/fsttcs/ChaillouxK0810.4230/LIPICS.FSTTCS.2008.1744https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1744https://dblp.org/rec/conf/fsttcs/ChaillouxK08URL#5347606Krishnendu ChatterjeeLuca de AlfaroRupak MajumdarVishwanath RamanAlgorithms for Game Metrics.FSTTCS107-1182008Conference and Workshop Papersopenconf/fsttcs/ChatterjeeAMR0810.4230/LIPICS.FSTTCS.2008.1745https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745https://dblp.org/rec/conf/fsttcs/ChatterjeeAMR08URL#5347607Chandra ChekuriNitish KorulaPruning 2-Connected Graphs.FSTTCS119-1302008Conference and Workshop Papersopenconf/fsttcs/ChekuriK0810.4230/LIPICS.FSTTCS.2008.1746https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1746https://dblp.org/rec/conf/fsttcs/ChekuriK08URL#5347608Chandra ChekuriNitish KorulaSingle-Sink Network Design with Vertex Connectivity Requirements.FSTTCS131-1422008Conference and Workshop Papersopenconf/fsttcs/ChekuriK08a10.4230/LIPICS.FSTTCS.2008.1747https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1747https://dblp.org/rec/conf/fsttcs/ChekuriK08aURL#5347609Hubert Comon-LundhAbout models of security protocols.FSTTCS352-3562008Conference and Workshop Papersopenconf/fsttcs/Comon-Lundh0810.4230/LIPICS.FSTTCS.2008.1766https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1766https://dblp.org/rec/conf/fsttcs/Comon-Lundh08URL#5347610Julien CristauFlorian Horn 0001Graph Games on Ordinals.FSTTCS143-1542008Conference and Workshop Papersopenconf/fsttcs/CristauH0810.4230/LIPICS.FSTTCS.2008.1748https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1748https://dblp.org/rec/conf/fsttcs/CristauH08URL#5347611Samir DattaNutan LimayePrajakta Nimbhorkar3-connected Planar Graph Isomorphism is in Log-space.FSTTCS155-1622008Conference and Workshop Papersopenconf/fsttcs/DattaLN0810.4230/LIPICS.FSTTCS.2008.1749https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1749https://dblp.org/rec/conf/fsttcs/DattaLN08URL#5347612Josep DíazLefteris M. KirousisDieter MitscheXavier Pérez-GiménezA new upper bound for 3-SAT.FSTTCS163-1742008Conference and Workshop Papersopenconf/fsttcs/DiazKMP0810.4230/LIPICS.FSTTCS.2008.1750https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1750https://dblp.org/rec/conf/fsttcs/DiazKMP08URL#5347613Rayna DimitrovaBernd FinkbeinerAbstraction Refinement for Games with Incomplete Information.FSTTCS175-1862008Conference and Workshop Papersopenconf/fsttcs/DimitrovaF0810.4230/LIPICS.FSTTCS.2008.1751https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1751https://dblp.org/rec/conf/fsttcs/DimitrovaF08URL#5347614Uriel FeigeOn Estimation Algorithms vs Approximation Algorithms.FSTTCS357-3632008Conference and Workshop Papersopenconf/fsttcs/Feige0810.4230/LIPICS.FSTTCS.2008.1767https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1767https://dblp.org/rec/conf/fsttcs/Feige08URL#5347615Alan M. FriezeRavi KannanA new approach to the planted clique problem.FSTTCS187-1982008Conference and Workshop Papersopenconf/fsttcs/FriezeK0810.4230/LIPICS.FSTTCS.2008.1752https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1752https://dblp.org/rec/conf/fsttcs/FriezeK08URL#5347616Daniel GolovinAnupam Gupta 0001Amit Kumar 0001Kanat TangwongsanAll-Norms and All-L_p-Norms Approximation Algorithms.FSTTCS199-2102008Conference and Workshop Papersopenconf/fsttcs/GolovinGKT0810.4230/LIPICS.FSTTCS.2008.1753https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1753https://dblp.org/rec/conf/fsttcs/GolovinGKT08URL#5347617Erich GrädelBanach-Mazur Games on Graphs.FSTTCS364-3822008Conference and Workshop Papersopenconf/fsttcs/Gradel0810.4230/LIPICS.FSTTCS.2008.1768https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1768https://dblp.org/rec/conf/fsttcs/Gradel08URL#5347618Stefan GulanHenning FernauAn Optimal Construction of Finite Automata from Regular Expressions.FSTTCS211-2222008Conference and Workshop Papersopenconf/fsttcs/GulanF0810.4230/LIPICS.FSTTCS.2008.1754https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1754https://dblp.org/rec/conf/fsttcs/GulanF08URL#5347619Ramesh HariharanMadhavan MukundV. Vinay2008 Preface - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.FSTTCSi2008Conference and Workshop Papersopenconf/fsttcs/HariharanMV0810.4230/LIPICS.FSTTCS.2008.1771https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1771https://dblp.org/rec/conf/fsttcs/HariharanMV08URL#5347620Ramesh HariharanMadhavan MukundV. Vinay2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.FSTTCS102008Conference and Workshop Papersopenconf/fsttcs/HariharanMV08a10.4230/LIPICS.FSTTCS.2008.1772https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1772https://dblp.org/rec/conf/fsttcs/HariharanMV08aURL#5347621Jonathan HaymanGlynn WinskelThe unfolding of general Petri nets.FSTTCS223-2342008Conference and Workshop Papersopenconf/fsttcs/HaymanW0810.4230/LIPICS.FSTTCS.2008.1755https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1755https://dblp.org/rec/conf/fsttcs/HaymanW08URL#5347622Florian Horn 0001Explicit Muller Games are PTIME.FSTTCS235-2432008Conference and Workshop Papersopenconf/fsttcs/Horn0810.4230/LIPICS.FSTTCS.2008.1756https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1756https://dblp.org/rec/conf/fsttcs/Horn08URL#5347623Kazuhiro InabaSebastian ManethThe Complexity of Tree Transducer Output Languages.FSTTCS244-2552008Conference and Workshop Papersopenconf/fsttcs/InabaM0810.4230/LIPICS.FSTTCS.2008.1757https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1757https://dblp.org/rec/conf/fsttcs/InabaM08URL#5347624Simon L. Peyton JonesRoman LeshchinskiyGabriele KellerManuel M. T. ChakravartyHarnessing the Multicores: Nested Data Parallelism in Haskell.FSTTCS383-4142008Conference and Workshop Papersopenconf/fsttcs/JonesLKC0810.4230/LIPICS.FSTTCS.2008.1769https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1769https://dblp.org/rec/conf/fsttcs/JonesLKC08URL#5347625Marcin JurdzinskiAshutosh Trivedi 0001Average-Time Games.FSTTCS340-3512008Conference and Workshop Papersopenconf/fsttcs/JurdzinskiT0810.4230/LIPICS.FSTTCS.2008.1765https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1765https://dblp.org/rec/conf/fsttcs/JurdzinskiT08URL#5347626Sampath KannanSanjeev KhannaSudeepa RoySTCON in Directed Unique-Path Graphs.FSTTCS256-2672008Conference and Workshop Papersopenconf/fsttcs/KannanKR0810.4230/LIPICS.FSTTCS.2008.1758https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1758https://dblp.org/rec/conf/fsttcs/KannanKR08URL#5347627Telikepalli KavithaDynamic matrix rank with partial lookahead.FSTTCS268-2792008Conference and Workshop Papersopenconf/fsttcs/Kavitha0810.4230/LIPICS.FSTTCS.2008.1759https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1759https://dblp.org/rec/conf/fsttcs/Kavitha08URL#5347628Christian KomusiewiczJohannes UhlmannA Cubic-Vertex Kernel for Flip Consensus Tree.FSTTCS280-2912008Conference and Workshop Papersopenconf/fsttcs/KomusiewiczU0810.4230/LIPICS.FSTTCS.2008.1760https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1760https://dblp.org/rec/conf/fsttcs/KomusiewiczU08URL#5347629Markus LohreyLeaf languages and string compression.FSTTCS292-3032008Conference and Workshop Papersopenconf/fsttcs/Lohrey0810.4230/LIPICS.FSTTCS.2008.1761https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1761https://dblp.org/rec/conf/fsttcs/Lohrey08URL#5347630Jean-Yves MarionRomain PéchouxAnalyzing the Implicit Computational Complexity of object-oriented programs.FSTTCS316-3272008Conference and Workshop Papersopenconf/fsttcs/MarionP0810.4230/LIPICS.FSTTCS.2008.1763https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1763https://dblp.org/rec/conf/fsttcs/MarionP08URL#5347631Georg MoserAndreas SchnablJohannes WaldmannComplexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.FSTTCS304-3152008Conference and Workshop Papersopenconf/fsttcs/MoserSW0810.4230/LIPICS.FSTTCS.2008.1762https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1762https://dblp.org/rec/conf/fsttcs/MoserSW08URL#5347632Juan Rodríguez-HortaláA Hierarchy of Semantics for Non-deterministic Term Rewriting Systems.FSTTCS328-3392008Conference and Workshop Papersopenconf/fsttcs/Rodriguez-Hortala0810.4230/LIPICS.FSTTCS.2008.1764https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1764https://dblp.org/rec/conf/fsttcs/Rodriguez-Hortala08URL#5347633Leslie G. ValiantKnowledge Infusion: In Pursuit of Robustness in Artificial Intelligence.FSTTCS415-4222008Conference and Workshop Papersopenconf/fsttcs/Valiant0810.4230/LIPICS.FSTTCS.2008.1770https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1770https://dblp.org/rec/conf/fsttcs/Valiant08URL#5347634Ramesh HariharanMadhavan MukundV. VinayIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, IndiaFSTTCSLIPIcs2Schloss Dagstuhl - Leibniz-Zentrum für Informatik2008Editorshipunavailableconf/fsttcs/2008https://dblp.org/rec/conf/fsttcs/2008URL#5428152