Search dblp for Publications

export results for "toc:db/journals/iandc/iandc184.bht:"

 download as .bib file

@article{DBLP:journals/iandc/ArkinBMS03,
  author       = {Esther M. Arkin and
                  Michael A. Bender and
                  Joseph S. B. Mitchell and
                  Steven Skiena},
  title        = {The Lazy Bureaucrat scheduling problem},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {129--146},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00060-9},
  doi          = {10.1016/S0890-5401(03)00060-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ArkinBMS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CaiL03,
  author       = {Ning Cai and
                  Kwok{-}Yan Lam},
  title        = {On identification secret sharing schemes},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {298--310},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00056-7},
  doi          = {10.1016/S0890-5401(03)00056-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CaiL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CompagnoniG03,
  author       = {Adriana B. Compagnoni and
                  Healfdene Goguen},
  title        = {Typed operational semantics for higher-order subtyping},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {242--297},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00062-2},
  doi          = {10.1016/S0890-5401(03)00062-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CompagnoniG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DesharnaisGJP03,
  author       = {Jos{\'{e}}e Desharnais and
                  Vineet Gupta and
                  Radha Jagadeesan and
                  Prakash Panangaden},
  title        = {Approximating labelled Markov processes},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {160--200},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00051-8},
  doi          = {10.1016/S0890-5401(03)00051-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/DesharnaisGJP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DrosteZ03,
  author       = {Manfred Droste and
                  Guo{-}Qiang Zhang},
  title        = {On transformations of formal power series},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {369--383},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00066-X},
  doi          = {10.1016/S0890-5401(03)00066-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DrosteZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Fu03,
  author       = {Yuxi Fu},
  title        = {Bisimulation congruence of chi calculus},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {201--226},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00061-0},
  doi          = {10.1016/S0890-5401(03)00061-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Fu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Ingolfsdottir03,
  author       = {Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {A semantic theory for value-passing processes based on the late approach},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {1--44},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00052-X},
  doi          = {10.1016/S0890-5401(03)00052-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Ingolfsdottir03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JainKPSW03,
  author       = {Sanjay Jain and
                  Efim B. Kinber and
                  Christophe Papazian and
                  Carl H. Smith and
                  Rolf Wiehagen},
  title        = {On the intrinsic complexity of learning recursive functions},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {45--70},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00059-2},
  doi          = {10.1016/S0890-5401(03)00059-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JainKPSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JurdzinskiNS03,
  author       = {Marcin Jurdzinski and
                  Mogens Nielsen and
                  Jir{\'{\i}} Srba},
  title        = {Undecidability of domino games and hhp-bisimilarity},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {343--368},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00064-6},
  doi          = {10.1016/S0890-5401(03)00064-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JurdzinskiNS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KoblerMT03,
  author       = {Johannes K{\"{o}}bler and
                  Jochen Messner and
                  Jacobo Tor{\'{a}}n},
  title        = {Optimal proof systems imply complete sets for promise classes},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {71--92},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00058-0},
  doi          = {10.1016/S0890-5401(03)00058-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KoblerMT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MetivierSZ03,
  author       = {Yves M{\'{e}}tivier and
                  Nasser Saheb and
                  Akka Zemmari},
  title        = {Analysis of a randomized rendezvous algorithm},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {109--128},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00054-3},
  doi          = {10.1016/S0890-5401(03)00054-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MetivierSZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MitinaV03,
  author       = {Olga Mitina and
                  Nikolai K. Vereshchagin},
  title        = {How to use several noisy channels with unknown error probabilities},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {229--241},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00063-4},
  doi          = {10.1016/S0890-5401(03)00063-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MitinaV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MollerR03,
  author       = {Faron Moller and
                  Alexander Moshe Rabinovich},
  title        = {Counting on CTL\({}^{\mbox{*}}\): on the expressive power of monadic
                  path logic},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {147--159},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00104-4},
  doi          = {10.1016/S0890-5401(03)00104-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MollerR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/PnueliRSS03,
  author       = {Amir Pnueli and
                  Yoav Rodeh and
                  Ofer Strichman and
                  Michael Siegel},
  title        = {Erratum ("The small model property: how small can it be?" Volume 178,
                  Number 1 [2002], pages 279-293)},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {227},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00117-2},
  doi          = {10.1016/S0890-5401(03)00117-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PnueliRSS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/SzeCDHP03,
  author       = {T. W. Sze and
                  Samuel T. Chanson and
                  Cunsheng Ding and
                  Tor Helleseth and
                  Matthew Geoffrey Parker},
  title        = {Logarithm cartesian authentication codes},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {1},
  pages        = {93--108},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00053-1},
  doi          = {10.1016/S0890-5401(03)00053-1},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/SzeCDHP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Vogler03,
  author       = {Walter Vogler},
  title        = {Faster asynchronous systems},
  journal      = {Inf. Comput.},
  volume       = {184},
  number       = {2},
  pages        = {311--342},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(03)00065-8},
  doi          = {10.1016/S0890-5401(03)00065-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Vogler03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.