default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/tcs/tcs282.bht:"
download as .bib file
@article{DBLP:journals/tcs/BeckerSC02,
author = {Ronald I. Becker and
Bruno Simeone and
Yen{-}I Chiang},
title = {A shifting algorithm for continuous tree partitioning},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {353--380},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00075-5},
doi = {10.1016/S0304-3975(01)00075-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeckerSC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoldiSV02,
author = {Paolo Boldi and
Massimo Santini and
Sebastiano Vigna},
title = {Measuring with jugs},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {259--270},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00060-3},
doi = {10.1016/S0304-3975(01)00060-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BoldiSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BravettiG02,
author = {Mario Bravetti and
Roberto Gorrieri},
title = {The theory of interactive generalized semi-Markov processes},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {5--32},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00043-3},
doi = {10.1016/S0304-3975(01)00043-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BravettiG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DauratGN02,
author = {Alain Daurat and
Yan G{\'{e}}rard and
Maurice Nivat},
title = {The chords' problem},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {319--336},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00073-1},
doi = {10.1016/S0304-3975(01)00073-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DauratGN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Fraenkel02,
author = {Aviezri S. Fraenkel},
title = {Arrays, numeration systems and Frankenstein games},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {271--284},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00070-6},
doi = {10.1016/S0304-3975(01)00070-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Fraenkel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ItaiRS02,
author = {Alon Itai and
Michael Rodeh and
Hadas Shachnai},
title = {The passport control problem or how to keep a dynamic service system
load balanced?},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {303--318},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00072-X},
doi = {10.1016/S0304-3975(01)00072-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ItaiRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JonssonY02,
author = {Bengt Jonsson and
Wang Yi},
title = {Testing preorders for probabilistic processes can be characterized
by simulations},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {33--51},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00044-5},
doi = {10.1016/S0304-3975(01)00044-5},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/JonssonY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Katoen02,
author = {Joost{-}Pieter Katoen},
title = {Real-Time and Probabilistic Systems - Foreword},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {1--3},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00042-1},
doi = {10.1016/S0304-3975(01)00042-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Katoen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kolano02,
author = {Paul Z. Kolano},
title = {Proof assistance for real-time systems using an interactive theorem
prover},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {53--99},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00045-7},
doi = {10.1016/S0304-3975(01)00045-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kolano02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KwiatkowskaNSS02,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
Roberto Segala and
Jeremy Sproston},
title = {Automatic verification of real-time systems with discrete probability
distributions},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {101--150},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00046-9},
doi = {10.1016/S0304-3975(01)00046-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KwiatkowskaNSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LermerF02,
author = {Karl Lermer and
Colin J. Fidge},
title = {A formal model of real-time program compilation},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {151--190},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00047-0},
doi = {10.1016/S0304-3975(01)00047-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LermerF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LodiPS02,
author = {Elena Lodi and
Linda Pagli and
Nicola Santoro},
title = {{FUN} with Algorithms - Foreword},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {221--222},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00052-4},
doi = {10.1016/S0304-3975(01)00052-4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LodiPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Luccio02,
author = {Fabrizio Luccio},
title = {Algorithms, nymphs, and shepherds},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {223--229},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00053-6},
doi = {10.1016/S0304-3975(01)00053-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Luccio02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/McIver02,
author = {Annabelle McIver},
title = {Quantitative program logic and expected time bounds in probabilistic
distributed algorithms},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {1},
pages = {191--219},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00049-4},
doi = {10.1016/S0304-3975(01)00049-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/McIver02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MerliniSV02,
author = {Donatella Merlini and
Renzo Sprugnoli and
M. Cecilia Verri},
title = {A strip-like tiling algorithm},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {337--352},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00074-3},
doi = {10.1016/S0304-3975(01)00074-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MerliniSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Pedrotti02,
author = {Alberto Pedrotti},
title = {Playing by searching: two strategies against a linearly bounded liar},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {285--302},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00071-8},
doi = {10.1016/S0304-3975(01)00071-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Pedrotti02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Peleg02,
author = {David Peleg},
title = {Local majorities, coalitions and monopolies in graphs: a review},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {231--257},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00055-X},
doi = {10.1016/S0304-3975(01)00055-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Peleg02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Seiden02,
author = {Steven S. Seiden},
title = {A manifesto for the computational method},
journal = {Theor. Comput. Sci.},
volume = {282},
number = {2},
pages = {381--395},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00078-0},
doi = {10.1016/S0304-3975(01)00078-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Seiden02.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 2024-09-22 19:45 CEST 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:
