Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/0001SS15,
  author       = {Mladen Kovacevic and
                  Ivan Stanojevic and
                  Vojin Senk},
  title        = {On the entropy of couplings},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {369--382},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.04.003},
  doi          = {10.1016/J.IC.2015.04.003},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/0001SS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BonizzoniJ15,
  author       = {Paola Bonizzoni and
                  Natasa Jonoska},
  title        = {Existence of constants in regular splicing languages},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {340--353},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.04.001},
  doi          = {10.1016/J.IC.2015.04.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BonizzoniJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BortolussiH15,
  author       = {Luca Bortolussi and
                  Jane Hillston},
  title        = {Model checking single agent behaviours by fluid approximation},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {183--226},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.002},
  doi          = {10.1016/J.IC.2015.03.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BortolussiH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BozzelliMP15,
  author       = {Laura Bozzelli and
                  Bastien Maubert and
                  Sophie Pinchinat},
  title        = {Uniform strategies, rational relations and jumping automata},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {80--107},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.012},
  doi          = {10.1016/J.IC.2015.03.012},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BozzelliMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BrattkaGH15,
  author       = {Vasco Brattka and
                  Guido Gherardi and
                  Rupert H{\"{o}}lzl},
  title        = {Probabilistic computability and choice},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {249--286},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.005},
  doi          = {10.1016/J.IC.2015.03.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BrattkaGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Brutsch15,
  author       = {Benedikt Br{\"{u}}tsch},
  title        = {Synthesizing structured reactive programs via deterministic tree automata},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {108--127},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.013},
  doi          = {10.1016/J.IC.2015.03.013},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Brutsch15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BusardPQR15,
  author       = {Simon Busard and
                  Charles Pecheur and
                  Hongyang Qu and
                  Franco Raimondi},
  title        = {Reasoning about memoryless strategies under partial observability
                  and unconditional fairness constraints},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {128--156},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.014},
  doi          = {10.1016/J.IC.2015.03.014},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BusardPQR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/CharetonBC15,
  author       = {Christophe Chareton and
                  Julien Brunel and
                  David Chemouil},
  title        = {A logic with revocable and refinable strategies},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {157--182},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.015},
  doi          = {10.1016/J.IC.2015.03.015},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CharetonBC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Chatterjee0RR15,
  author       = {Krishnendu Chatterjee and
                  Laurent Doyen and
                  Mickael Randour and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Looking at mean-payoff and total-payoff through windows},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {25--52},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.010},
  doi          = {10.1016/J.IC.2015.03.010},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Chatterjee0RR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChatterjeeI15,
  author       = {Krishnendu Chatterjee and
                  Rasmus Ibsen{-}Jensen},
  title        = {Qualitative analysis of concurrent mean-payoff games},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {2--24},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.009},
  doi          = {10.1016/J.IC.2015.03.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ChatterjeeI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/DemriDS15,
  author       = {St{\'{e}}phane Demri and
                  Amit Kumar Dhar and
                  Arnaud Sangnier},
  title        = {Taming past {LTL} and flat counter systems},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {306--339},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.007},
  doi          = {10.1016/J.IC.2015.03.007},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/DemriDS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FernauS15,
  author       = {Henning Fernau and
                  Markus L. Schmid},
  title        = {Pattern matching with variables: {A} multivariate complexity analysis},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {287--305},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.006},
  doi          = {10.1016/J.IC.2015.03.006},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FernauS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/GutierrezHW15,
  author       = {Julian Gutierrez and
                  Paul Harrenstein and
                  Michael J. Wooldridge},
  title        = {Iterated Boolean games},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {53--79},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.011},
  doi          = {10.1016/J.IC.2015.03.011},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/GutierrezHW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JunnilaL15,
  author       = {Ville Junnila and
                  Tero Laihonen},
  title        = {Information retrieval with unambiguous output},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {354--368},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.04.002},
  doi          = {10.1016/J.IC.2015.04.002},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JunnilaL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/KumabeS15,
  author       = {Masahiro Kumabe and
                  Toshio Suzuki},
  title        = {Resource-bounded martingales and computable Dowd-type generic sets},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {227--248},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.004},
  doi          = {10.1016/J.IC.2015.03.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/KumabeS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MogaveroMV15,
  author       = {Fabio Mogavero and
                  Aniello Murano and
                  Moshe Y. Vardi},
  title        = {Special issue on {SR} 2013},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {1},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.03.008},
  doi          = {10.1016/J.IC.2015.03.008},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/MogaveroMV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/RomanD15,
  author       = {A. Roman and
                  M. Drewienkowski},
  title        = {A complete solution to the complexity of Synchronizing Road Coloring
                  for non-binary alphabets},
  journal      = {Inf. Comput.},
  volume       = {242},
  pages        = {383--393},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ic.2015.04.004},
  doi          = {10.1016/J.IC.2015.04.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/RomanD15.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.