default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "stream:conf/ttcs:"

> Home > Search

download as .bib file

@inproceedings{DBLP:conf/ttcs/BoomariF20,
  author       = {Hossein Boomari and
                  Soheila Farokhi},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility
                  Graph},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {61--71},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_5},
  doi          = {10.1007/978-3-030-57852-7\_5},
  timestamp    = {Mon, 31 Aug 2020 16:55:58 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/BoomariF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/DavoodiRS20,
  author       = {Mansoor Davoodi and
                  Arman Rouhani and
                  Maryam Sanisales},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Path Planning with Objectives Minimum Length and Maximum Clearance},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {101--115},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_8},
  doi          = {10.1007/978-3-030-57852-7\_8},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/DavoodiRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/EmadiT20,
  author       = {Mona Emadi and
                  Jafar Tanha},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Margin-Based Semi-supervised Learning Using Apollonius Circle},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {48--60},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_4},
  doi          = {10.1007/978-3-030-57852-7\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ttcs/EmadiT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/HarutyunyanGMMP20,
  author       = {Ararat Harutyunyan and
                  Mehdi Khosravian Ghadikolaei and
                  Nikolaos Melissinos and
                  J{\'{e}}r{\^{o}}me Monnot and
                  Aris Pagourtzis},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {On the Complexity of the Upper r-Tolerant Edge Cover Problem},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_3},
  doi          = {10.1007/978-3-030-57852-7\_3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/HarutyunyanGMMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/MirjalaliZ20,
  author       = {Kian Mirjalali and
                  Hamid Zarrabi{-}Zadeh},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Improved Algorithms for Distributed Balanced Clustering},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {72--84},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_6},
  doi          = {10.1007/978-3-030-57852-7\_6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/MirjalaliZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/MohagheghiC20,
  author       = {MohammadSadegh Mohagheghi and
                  Behrang Chaboki},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time
                  Markov Models},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_1},
  doi          = {10.1007/978-3-030-57852-7\_1},
  timestamp    = {Sat, 19 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/MohagheghiC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/Sabahi-KavianiG20,
  author       = {Zeynab Sabahi{-}Kaviani and
                  Fatemeh Ghassemi and
                  Zahra Alimadadi},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Combining Machine and Automata Learning for Network Traffic Classification},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_2},
  doi          = {10.1007/978-3-030-57852-7\_2},
  timestamp    = {Mon, 31 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/Sabahi-KavianiG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/TavassoliKK20,
  author       = {Shaghayegh Tavassoli and
                  Ramtin Khosravi and
                  Ehsan Khamespanah},
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Finite Interval-Time Transition System for Real-Time Actors},
  booktitle    = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  pages        = {85--100},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7\_7},
  doi          = {10.1007/978-3-030-57852-7\_7},
  timestamp    = {Mon, 31 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/TavassoliKK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ttcs/2020,
  editor       = {Lu{\'{\i}}s Soares Barbosa and
                  Mohammad Ali Abam},
  title        = {Topics in Theoretical Computer Science - Third {IFIP} {WG} 1.8 International
                  Conference, {TTCS} 2020, Tehran, Iran, July 1-2, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12281},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57852-7},
  doi          = {10.1007/978-3-030-57852-7},
  isbn         = {978-3-030-57851-0},
  timestamp    = {Mon, 31 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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}
}

@proceedings{DBLP:conf/ttcs/2015,
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-28678-5},
  doi          = {10.1007/978-3-319-28678-5},
  isbn         = {978-3-319-28677-8},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/BakhsheshF15,
  author       = {Davood Bakhshesh and
                  Mohammad Farshi},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Some Properties of Continuous Yao Graph},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {44--55},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_4},
  doi          = {10.1007/978-3-319-28678-5\_4},
  timestamp    = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/BakhsheshF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/BalkirSC15,
  author       = {Esma Balkir and
                  Mehrnoosh Sadrzadeh and
                  Bob Coecke},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Distributional Sentence Entailment Using Density Matrices},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {1--22},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_1},
  doi          = {10.1007/978-3-319-28678-5\_1},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/BalkirSC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/BiniazBMS15,
  author       = {Ahmad Biniaz and
                  Prosenjit Bose and
                  Anil Maheshwari and
                  Michiel H. M. Smid},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Plane Geodesic Spanning Trees, Hamiltonian Cycles, and Perfect Matchings
                  in a Simple Polygon},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {56--71},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_5},
  doi          = {10.1007/978-3-319-28678-5\_5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ttcs/BiniazBMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/BoomariZ15,
  author       = {Hossein Boomari and
                  Alireza Zarei},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Visibility Graphs of Anchor Polygons},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {72--89},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_6},
  doi          = {10.1007/978-3-319-28678-5\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/BoomariZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/Dal-ZilioB15,
  author       = {Silvano Dal{-}Zilio and
                  Bernard Berthomieu},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Automating the Verification of Realtime Observers Using Probes and
                  the Modal mu-calculus},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {90--104},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_7},
  doi          = {10.1007/978-3-319-28678-5\_7},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/Dal-ZilioB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/Dawar15,
  author       = {Anuj Dawar},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {On Symmetric and Choiceless Computation},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {23--29},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_2},
  doi          = {10.1007/978-3-319-28678-5\_2},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ttcs/Dawar15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/GheibiMS15,
  author       = {Amin Gheibi and
                  Anil Maheshwari and
                  J{\"{o}}rg{-}R{\"{u}}diger Sack},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Minimizing Walking Length in Map Matching},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {105--120},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_8},
  doi          = {10.1007/978-3-319-28678-5\_8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/GheibiMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/HonKLW15,
  author       = {Wing{-}Kai Hon and
                  Ton Kloks and
                  Hsiang{-}Hsuan Liu and
                  Hung{-}Lung Wang},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Rainbow Domination and Related Problems on Some Classes of Perfect
                  Graphs},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {121--134},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_9},
  doi          = {10.1007/978-3-319-28678-5\_9},
  timestamp    = {Wed, 14 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/HonKLW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/KotekM15,
  author       = {Tomer Kotek and
                  Johann A. Makowsky},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Efficient Computation of Generalized Ising Polynomials on Graphs with
                  Fixed Clique-Width},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {135--146},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_10},
  doi          = {10.1007/978-3-319-28678-5\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/KotekM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/MehriziGT15,
  author       = {Mohammad Abouei Mehrizi and
                  Mohammad Ghodsi and
                  Azadeh Tabatabaei},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Robots' Cooperation for Finding a Target in Streets},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {30--43},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_3},
  doi          = {10.1007/978-3-319-28678-5\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/MehriziGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/RoostapourKD15,
  author       = {Vahid Roostapour and
                  Iman Kiarazm and
                  Mansoor Davoodi},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Deterministic Algorithm for 1-Median 1-Center Two-Objective Optimization
                  Problem},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_12},
  doi          = {10.1007/978-3-319-28678-5\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/RoostapourKD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ttcs/Roux15,
  author       = {St{\'{e}}phane Le Roux},
  editor       = {Mohammad Taghi Hajiaghayi and
                  Mohammad Reza Mousavi},
  title        = {Infinite Subgame Perfect Equilibrium in the Hausdorff Difference Hierarchy},
  booktitle    = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8
                  International Conference, {TTCS} 2015, Tehran, Iran, August 26-28,
                  2015, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9541},
  pages        = {147--163},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28678-5\_11},
  doi          = {10.1007/978-3-319-28678-5\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ttcs/Roux15.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.