![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/ttcs/ttcs2017.bht:"
@inproceedings{DBLP:conf/ttcs/DokterA17, author = {Kasper Dokter and Farhad Arbab}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Exposing Latent Mutual Exclusion by Work Automata}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {59--73}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_6}, doi = {10.1007/978-3-319-68953-1\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/DokterA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/Dolati17, author = {Ardeshir Dolati}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {A Characterization of Horoidal Digraphs}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {11--25}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_2}, doi = {10.1007/978-3-319-68953-1\_2}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/Dolati17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/HanifehnezhadD17, author = {Saeid Hanifehnezhad and Ardeshir Dolati}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {26--33}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_3}, doi = {10.1007/978-3-319-68953-1\_3}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/HanifehnezhadD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/KarimiAD17, author = {Mobarakeh Karimi and Massoud Aman and Ardeshir Dolati}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {34--40}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_4}, doi = {10.1007/978-3-319-68953-1\_4}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/KarimiAD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/LiquoriS17, author = {Luigi Liquori and Claude Stolze}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {A Decidable Subtyping Logic for Intersection and Union Types}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {74--90}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_7}, doi = {10.1007/978-3-319-68953-1\_7}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/LiquoriS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/Olveczky17, author = {Peter Csaba {\"{O}}lveczky}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Design and Validation of Cloud Storage Systems Using Formal Methods}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {3--8}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_1}, doi = {10.1007/978-3-319-68953-1\_1}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/Olveczky17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/SafariE17, author = {Mohsen Safari and Ali Ebnenasir}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {43--58}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_5}, doi = {10.1007/978-3-319-68953-1\_5}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/SafariE17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/Uustalu17, author = {Tarmo Uustalu}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Container Combinatorics: Monads and Lax Monoidal Functors}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {91--105}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_8}, doi = {10.1007/978-3-319-68953-1\_8}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ttcs/Uustalu17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/YasenU17, author = {Alimujiang Yasen and Kazunori Ueda}, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Unification of Hypergraph {\textbackslash}lambda -Terms}, booktitle = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, pages = {106--124}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1\_9}, doi = {10.1007/978-3-319-68953-1\_9}, timestamp = {Wed, 18 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/YasenU17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ttcs/2017, editor = {Mohammad Reza Mousavi and Jir{\'{\i}} Sgall}, title = {Topics in Theoretical Computer Science - Second {IFIP} {WG} 1.8 International Conference, {TTCS} 2017, Tehran, Iran, September 12-14, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10608}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-68953-1}, doi = {10.1007/978-3-319-68953-1}, isbn = {978-3-319-68952-4}, timestamp = {Sat, 11 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.