Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs78.bht:"
@inproceedings{DBLP:journals/corr/abs-1202-4506, author = {Peter E. Bulychev and Alexandre David and Kim G. Larsen and Axel Legay and Marius Mikucionis}, editor = {Johannes Reich and Bernd Finkbeiner}, title = {Computing Nash Equilibrium in Wireless Ad Hoc Networks: {A} Simulation-Based Approach}, booktitle = {Proceedings Second International Workshop on Interactions, Games and Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {78}, pages = {1--14}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.78.1}, doi = {10.4204/EPTCS.78.1}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4506.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1202-4507, author = {Yoshifumi Manabe and Tatsuaki Okamoto}, editor = {Johannes Reich and Bernd Finkbeiner}, title = {A Cryptographic Moving-Knife Cake-Cutting Protocol}, booktitle = {Proceedings Second International Workshop on Interactions, Games and Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {78}, pages = {15--23}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.78.2}, doi = {10.4204/EPTCS.78.2}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4507.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1202-4508, author = {Johannes Reich}, editor = {Johannes Reich and Bernd Finkbeiner}, title = {Processes, Roles and Their Interactions}, booktitle = {Proceedings Second International Workshop on Interactions, Games and Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {78}, pages = {24--38}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.78.3}, doi = {10.4204/EPTCS.78.3}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1202-4509, author = {Simon Busard and Charles Pecheur}, editor = {Johannes Reich and Bernd Finkbeiner}, title = {Rich Counter-Examples for Temporal-Epistemic Logic Model Checking}, booktitle = {Proceedings Second International Workshop on Interactions, Games and Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {78}, pages = {39--53}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.78.4}, doi = {10.4204/EPTCS.78.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4509.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1202-4229, editor = {Johannes Reich and Bernd Finkbeiner}, title = {Proceedings Second International Workshop on Interactions, Games and Protocols, {IWIGP} 2012, Tallinn, Estonia, 25th March 2012}, series = {{EPTCS}}, volume = {78}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.78}, doi = {10.4204/EPTCS.78}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1202-4229.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.