Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/iandc/AltisenCDDP17,
  author       = {Karine Altisen and
                  Alain Cournier and
                  St{\'{e}}phane Devismes and
                  Ana{\"{\i}}s Durand and
                  Franck Petit},
  title        = {Self-stabilizing leader election in polynomial steps},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {330--366},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.09.002},
  doi          = {10.1016/J.IC.2016.09.002},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AltisenCDDP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AminofR17,
  author       = {Benjamin Aminof and
                  Sasha Rubin},
  title        = {First-cycle games},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {195--216},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.008},
  doi          = {10.1016/J.IC.2016.10.008},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AminofR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ArrighiDV17,
  author       = {Pablo Arrighi and
                  Alejandro D{\'{\i}}az{-}Caro and
                  Beno{\^{\i}}t Valiron},
  title        = {The vectorial {\(\lambda\)}-calculus},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {105--139},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2017.04.001},
  doi          = {10.1016/J.IC.2017.04.001},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ArrighiDV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BerwangerM17,
  author       = {Dietmar Berwanger and
                  Anup Basil Mathew},
  title        = {Infinite games with finite knowledge gaps},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {217--237},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.009},
  doi          = {10.1016/J.IC.2016.10.009},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BerwangerM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BockenhauerKKKM17,
  author       = {Hans{-}Joachim B{\"{o}}ckenhauer and
                  Dennis Komm and
                  Rastislav Kr{\'{a}}lovic and
                  Richard Kr{\'{a}}lovic and
                  Tobias M{\"{o}}mke},
  title        = {Online algorithms with advice: The tape model},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {59--83},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2017.03.001},
  doi          = {10.1016/J.IC.2017.03.001},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BockenhauerKKKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BouyerMV17,
  author       = {Patricia Bouyer and
                  Nicolas Markey and
                  Steen Vester},
  title        = {Nash equilibria in symmetric graph games with partial observation},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {238--258},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.010},
  doi          = {10.1016/J.IC.2016.10.010},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BouyerMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BruyereFRR17,
  author       = {V{\'{e}}ronique Bruy{\`{e}}re and
                  Emmanuel Filiot and
                  Mickael Randour and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Meet your expectations with guarantees: Beyond worst-case synthesis
                  in quantitative games},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {259--295},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.011},
  doi          = {10.1016/J.IC.2016.10.011},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BruyereFRR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChatterjeeDFR17,
  author       = {Krishnendu Chatterjee and
                  Laurent Doyen and
                  Emmanuel Filiot and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Doomsday equilibria for omega-regular games},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {296--315},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.012},
  doi          = {10.1016/J.IC.2016.10.012},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/ChatterjeeDFR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChatterjeeHOV17,
  author       = {Krishnendu Chatterjee and
                  Thomas A. Henzinger and
                  Jan Otop and
                  Yaron Velner},
  title        = {Quantitative fair simulation games},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {143--166},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.006},
  doi          = {10.1016/J.IC.2016.10.006},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/ChatterjeeHOV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/ChlebusGKS17,
  author       = {Bogdan S. Chlebus and
                  Leszek Gasieniec and
                  Dariusz R. Kowalski and
                  Alexander A. Schwarzmann},
  title        = {Doing-it-All with bounded work and communication},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {1--40},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2017.02.003},
  doi          = {10.1016/J.IC.2017.02.003},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/ChlebusGKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EzekielL17,
  author       = {Jonathan Ezekiel and
                  Andrea Lomuscio},
  title        = {Combining fault injection and model checking to verify fault tolerance,
                  recoverability, and diagnosability in multi-agent systems},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {167--194},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.007},
  doi          = {10.1016/J.IC.2016.10.007},
  timestamp    = {Tue, 04 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EzekielL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/FelberG17,
  author       = {Pascal Felber and
                  Vijay K. Garg},
  title        = {Preface},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {329},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2015.07.006},
  doi          = {10.1016/J.IC.2015.07.006},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/FelberG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Guelev17,
  author       = {Dimitar P. Guelev},
  title        = {Refining strategic ability in alternating-time temporal logic},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {316--328},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.013},
  doi          = {10.1016/J.IC.2016.10.013},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Guelev17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/LunaFCPSV17,
  author       = {Giuseppe Antonio Di Luna and
                  Paola Flocchini and
                  Sruti Gan Chaudhuri and
                  Federico Poloni and
                  Nicola Santoro and
                  Giovanni Viglietta},
  title        = {Mutual visibility by luminous robots without collisions},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {392--418},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.09.005},
  doi          = {10.1016/J.IC.2016.09.005},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/LunaFCPSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/MogaveroMV17,
  author       = {Fabio Mogavero and
                  Aniello Murano and
                  Moshe Y. Vardi},
  title        = {Preface to the Special Issue on {SR} 2014},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {141--142},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.10.005},
  doi          = {10.1016/J.IC.2016.10.005},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/MogaveroMV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/NeggaziHTK17,
  author       = {Brahim Neggazi and
                  Mohammed Haddad and
                  Volker Turau and
                  Hamamache Kheddouci},
  title        = {A self-stabilizing algorithm for edge monitoring in wireless sensor
                  networks},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {367--376},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.09.003},
  doi          = {10.1016/J.IC.2016.09.003},
  timestamp    = {Fri, 08 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/NeggaziHTK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Rosa-Velardo17,
  author       = {Fernando Rosa{-}Velardo},
  title        = {Ordinal recursive complexity of Unordered Data Nets},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {41--58},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2017.02.002},
  doi          = {10.1016/J.IC.2017.02.002},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/Rosa-Velardo17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/StefanoN17,
  author       = {Gabriele Di Stefano and
                  Alfredo Navarra},
  title        = {Gathering of oblivious robots on infinite grids with minimum traveled
                  distance},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {377--391},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2016.09.004},
  doi          = {10.1016/J.IC.2016.09.004},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/StefanoN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/YangCW17,
  author       = {Jiannan Yang and
                  Yongzhi Cao and
                  Hanpin Wang},
  title        = {Differential privacy in probabilistic systems},
  journal      = {Inf. Comput.},
  volume       = {254},
  pages        = {84--104},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ic.2017.03.002},
  doi          = {10.1016/J.IC.2017.03.002},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/YangCW17.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.