Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/AcciaiB12,
  author       = {Lucia Acciai and
                  Michele Boreale},
  title        = {Deciding safety properties in infinite-state pi-calculus via behavioural
                  types},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {92--117},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2012.01.006},
  doi          = {10.1016/J.IC.2012.01.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AcciaiB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EpsteinS12,
  author       = {Leah Epstein and
                  Rob van Stee},
  title        = {The price of anarchy on uniformly related machines revisited},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {37--54},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2012.01.005},
  doi          = {10.1016/J.IC.2012.01.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EpsteinS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GabbayM12,
  author       = {Murdoch James Gabbay and
                  Dominic P. Mulligan},
  title        = {Corrigendum to "Curry-Howard for incomplete first-order logic derivations
                  using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {119},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2012.01.002},
  doi          = {10.1016/J.IC.2012.01.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GabbayM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MichelPP12,
  author       = {Christian J. Michel and
                  Giuseppe Pirillo and
                  Mario A. Pirillo},
  title        = {A classification of 20-trinucleotide circular codes},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {55--63},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2011.12.001},
  doi          = {10.1016/J.IC.2011.12.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/MichelPP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Okhotin12,
  author       = {Alexander Okhotin},
  title        = {Unambiguous finite automata over a unary alphabet},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {15--36},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2012.01.003},
  doi          = {10.1016/J.IC.2012.01.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Okhotin12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/OkhotinR12,
  author       = {Alexander Okhotin and
                  Panos Rondogiannis},
  title        = {On the expressive power of univariate equations over sets of natural
                  numbers},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {1--14},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2012.01.004},
  doi          = {10.1016/J.IC.2012.01.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/OkhotinR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/RavaraRV12,
  author       = {Ant{\'{o}}nio Ravara and
                  Pedro Resende and
                  Vasco Thudichum Vasconcelos},
  title        = {An Algebra of Behavioural Types},
  journal      = {Inf. Comput.},
  volume       = {212},
  pages        = {64--91},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2011.12.005},
  doi          = {10.1016/J.IC.2011.12.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RavaraRV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}