Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/Breugel04,
  author       = {Franck van Breugel},
  title        = {De Bakker-Zucker processes revisited},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {68--76},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2001.03.001},
  doi          = {10.1016/J.IC.2001.03.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Breugel04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ColeGHMP04,
  author       = {Richard Cole and
                  Zvi Galil and
                  Ramesh Hariharan and
                  S. Muthukrishnan and
                  Kunsoo Park},
  title        = {Parallel two dimensional witness computation},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {20--67},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0890-5401(03)00162-7},
  doi          = {10.1016/S0890-5401(03)00162-7},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/ColeGHMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FuhrmannT04,
  author       = {Carsten F{\"{u}}hrmann and
                  Hayo Thielecke},
  title        = {On the call-by-value {CPS} transform and its semantics},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {2},
  pages        = {241--283},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.08.001},
  doi          = {10.1016/J.IC.2003.08.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FuhrmannT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JainST04,
  author       = {Sanjay Jain and
                  Frank Stephan and
                  Sebastiaan Terwijn},
  title        = {Counting extensional differences in BC-learning},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {127--142},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0890-5401(03)00174-3},
  doi          = {10.1016/S0890-5401(03)00174-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JainST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JancarKMS04,
  author       = {Petr Jancar and
                  Anton{\'{\i}}n Kucera and
                  Faron Moller and
                  Zdenek Sawa},
  title        = {{DP} lower bounds for equivalence-checking and model-checking of one-counter
                  automata},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {1--19},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0890-5401(03)00171-8},
  doi          = {10.1016/S0890-5401(03)00171-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/JancarKMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KangHWC04,
  author       = {Ji{-}Hoon Kang and
                  Ki{-}Hyung Hong and
                  Kyu{-}Young Whang and
                  Jung Wan Cho},
  title        = {Generalization of ZYT-linearizability for bilinear datalog programs},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {77--98},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0890-5401(03)00172-X},
  doi          = {10.1016/S0890-5401(03)00172-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KangHWC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LeviM04,
  author       = {Francesca Levi and
                  Sergio Maffeis},
  title        = {On abstract interpretation of Mobile Ambients},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {2},
  pages        = {179--240},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.06.001},
  doi          = {10.1016/J.IC.2003.06.001},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/LeviM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Long04,
  author       = {Philip M. Long},
  title        = {Efficient algorithms for learning functions with bounded variation},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {99--115},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0890-5401(03)00164-0},
  doi          = {10.1016/S0890-5401(03)00164-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Long04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/PavanS04,
  author       = {Aduri Pavan and
                  Alan L. Selman},
  title        = {Bi-immunity separates strong NP-completeness notions},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {1},
  pages        = {116--126},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.05.001},
  doi          = {10.1016/J.IC.2003.05.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/PavanS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Schmidt-Schauss04,
  author       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Decidability of bounded second order unification},
  journal      = {Inf. Comput.},
  volume       = {188},
  number       = {2},
  pages        = {143--178},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2003.08.002},
  doi          = {10.1016/J.IC.2003.08.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Schmidt-Schauss04.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.