Search dblp for Publications

export results for "toc:db/conf/ttcs/ttcs2017.bht:"

 download as .bib file

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