default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mst/mst43.bht:"
download as .bib file
@article{DBLP:journals/mst/AbrahamGS08,
author = {Erika {\'{A}}brah{\'{a}}m and
Andreas Gr{\"{u}}ner and
Martin Steffen},
title = {Abstract Interface Behavior of Object-Oriented Languages with Monitors},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {322--361},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9047-0},
doi = {10.1007/S00224-007-9047-0},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AbrahamGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ArtemovDG08,
author = {Sergei N. Art{\"{e}}mov and
Volker Diekert and
Dima Grigoriev},
title = {Foreword},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {99},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9063-0},
doi = {10.1007/S00224-007-9063-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ArtemovDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ArvindD08,
author = {Vikraman Arvind and
Bireswar Das},
title = {{SZK} Proofs for Black-Box Group Problems},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {100--117},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9028-3},
doi = {10.1007/S00224-007-9028-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ArvindD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BackhouseD08,
author = {Roland Carl Backhouse and
Henk Doornbos},
title = {Datatype-Generic Termination Proofs},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {362--393},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9056-z},
doi = {10.1007/S00224-007-9056-Z},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BackhouseD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Bar-YehudaFR08,
author = {Reuven Bar{-}Yehuda and
Ido Feldman and
Dror Rawitz},
title = {Improved Approximation Algorithm for Convex Recoloring of Trees},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {3--18},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9069-7},
doi = {10.1007/S00224-007-9069-7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Bar-YehudaFR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BeckmannL08,
author = {Arnold Beckmann and
Benedikt L{\"{o}}we},
title = {Computability in Europe 2006},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {295--297},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9045-2},
doi = {10.1007/S00224-007-9045-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BeckmannL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergerH08,
author = {Ulrich Berger and
Tie Hou},
title = {Coinduction for Exact Real Number Computation},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {394--409},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9017-6},
doi = {10.1007/S00224-007-9017-6},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BergerH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraT08,
author = {Jan A. Bergstra and
John V. Tucker},
title = {Division Safe Calculation in Totalised Fields},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {410--424},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9035-4},
doi = {10.1007/S00224-007-9035-4},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/BergstraT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Beyersdorff08,
author = {Olaf Beyersdorff},
title = {Tuples of Disjoint NP-Sets},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {118--135},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9023-8},
doi = {10.1007/S00224-007-9023-8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Beyersdorff08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BlaserR08,
author = {Markus Bl{\"{a}}ser and
L. Shankar Ram},
title = {Approximately Fair Cost Allocation in Metric Traveling Salesman Games},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {19--37},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9072-z},
doi = {10.1007/S00224-007-9072-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BlaserR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BodirskyK08,
author = {Manuel Bodirsky and
Jan K{\'{a}}ra},
title = {The Complexity of Equality Constraint Languages},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {136--158},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9083-9},
doi = {10.1007/S00224-007-9083-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BodirskyK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Doty08,
author = {David Doty},
title = {Dimension Extractors and Optimal Decompression},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {425--463},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9024-7},
doi = {10.1007/S00224-007-9024-7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Doty08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ErlebachP08,
author = {Thomas Erlebach and
Giuseppe Persiano},
title = {{WAOA} 2005 Special Issue of {TOCS}},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9041-6},
doi = {10.1007/S00224-007-9041-6},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ErlebachP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GalKM08,
author = {Anna G{\'{a}}l and
Michal Kouck{\'{y}} and
Pierre McKenzie},
title = {Incremental Branching Programs},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {159--184},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9049-y},
doi = {10.1007/S00224-007-9049-Y},
timestamp = {Thu, 02 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GalKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Gassner08,
author = {Christine Ga{\ss}ner},
title = {A Hierarchy below the Halting Problem for Additive Machines},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {464--470},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9020-y},
doi = {10.1007/S00224-007-9020-Y},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Gassner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Goris08,
author = {Evan Goris},
title = {Feasible Operations on Proofs: The Logic of Proofs for Bounded Arithmetic},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {185--203},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9058-x},
doi = {10.1007/S00224-007-9058-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Goris08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/HanIZ08,
author = {Xin Han and
Kazuo Iwama and
Guochuan Zhang},
title = {Online Removable Square Packing},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {38--55},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9039-0},
doi = {10.1007/S00224-007-9039-0},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/HanIZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/HitchcockLM08,
author = {John M. Hitchcock and
Mar{\'{\i}}a L{\'{o}}pez{-}Vald{\'{e}}s and
Elvira Mayordomo},
title = {Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {471--497},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9013-x},
doi = {10.1007/S00224-007-9013-X},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/HitchcockLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KhachiyanBBEGRZ08,
author = {Leonid Khachiyan and
Endre Boros and
Konrad Borys and
Khaled M. Elbassioni and
Vladimir Gurvich and
G{\'{a}}bor Rudolf and
Jihui Zhao},
title = {On Short Paths Interdiction Problems: Total and Node-Wise Limited
Interdiction},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {204--233},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9025-6},
doi = {10.1007/S00224-007-9025-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KhachiyanBBEGRZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KochSS08,
author = {Ronald Koch and
Martin Skutella and
Ines Spenke},
title = {Maximum \emph{k} -Splittable \emph{s} , \emph{t} -Flows},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {56--66},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9068-8},
doi = {10.1007/S00224-007-9068-8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KochSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KorovinaV08,
author = {Margarita V. Korovina and
Nicolai N. Vorobjov Jr.},
title = {Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {498--515},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9019-4},
doi = {10.1007/S00224-007-9019-4},
timestamp = {Mon, 22 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/KorovinaV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Kristiansen08,
author = {Lars Kristiansen},
title = {Complexity-Theoretic Hierarchies Induced by Fragments of G{\"{o}}del's
\emph{T}},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {516--541},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9021-x},
doi = {10.1007/S00224-007-9021-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Kristiansen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Makowsky08,
author = {Johann A. Makowsky},
title = {From a Zoo to a Zoology: Towards a General Theory of Graph Polynomials},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {542--562},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9022-9},
doi = {10.1007/S00224-007-9022-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Makowsky08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/MolleRR08,
author = {Daniel M{\"{o}}lle and
Stefan Richter and
Peter Rossmanith},
title = {Enumerate and Expand: Improved Algorithms for Connected Vertex Cover
and Tree Cover},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {234--253},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9089-3},
doi = {10.1007/S00224-007-9089-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/MolleRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/PonseZ08,
author = {Alban Ponse and
Mark van der Zwaag},
title = {Risk Assessment for One-Counter Threads},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {563--582},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9034-5},
doi = {10.1007/S00224-007-9034-5},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/PonseZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/PruhsSU08,
author = {Kirk Pruhs and
Rob van Stee and
Patchrawat Uthaisombut},
title = {Speed Scaling of Tasks with Precedence Constraints},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {67--80},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9070-1},
doi = {10.1007/S00224-007-9070-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/PruhsSU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/RaufBS08,
author = {Rose H. Abdul Rauf and
Ulrich Berger and
Anton Setzer},
title = {A Provably Correct Translation of the \emph{lambda} -Calculus into
a Mathematical Model of {C++}},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {298--321},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9062-1},
doi = {10.1007/S00224-007-9062-1},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/RaufBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Rybakov08,
author = {Vladimir V. Rybakov},
title = {Branching Time Logics \emph{BTL}\({}^{\mbox{U, S}}\)\({}_{\mbox{N,
N\({}^{\mbox{-1}}\)}}\)(\emph{Z})\({}_{\mbox{a}}\) with Operations
\emph{Until} and \emph{Since} Based on Bundles of Integer Numbers,
Logical Consecutions, Deciding Algorithms},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {254--271},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9059-9},
doi = {10.1007/S00224-007-9059-9},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/Rybakov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Schwichtenberg08,
author = {Helmut Schwichtenberg},
title = {Realizability interpretation of proofs in constructive analysis},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {583--602},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9027-4},
doi = {10.1007/S00224-007-9027-4},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Schwichtenberg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ShachnaiTY08,
author = {Hadas Shachnai and
Tami Tamir and
Omer Yehezkely},
title = {Approximation Schemes for Packing with Item Fragmentation},
journal = {Theory Comput. Syst.},
volume = {43},
number = {1},
pages = {81--98},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9082-x},
doi = {10.1007/S00224-007-9082-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ShachnaiTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Yavorskaya08,
author = {Tatiana Yavorskaya},
title = {Interacting Explicit Evidence Systems},
journal = {Theory Comput. Syst.},
volume = {43},
number = {2},
pages = {272--293},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9057-y},
doi = {10.1007/S00224-007-9057-Y},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Yavorskaya08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Zheng08,
author = {Xizhong Zheng},
title = {Classification of Computably Approximable Real Numbers},
journal = {Theory Comput. Syst.},
volume = {43},
number = {3-4},
pages = {603--624},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9026-5},
doi = {10.1007/S00224-007-9026-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Zheng08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-24 22:55 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
