Search dblp for Publications

export results for "toc:db/conf/tmfcs/tmfcs2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tmfcs/Balbach08,
  author       = {Frank J. Balbach},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {On the Universality of Normalized Metrics},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {64--71},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 07:46:45 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/Balbach08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/BazylevychPKB08,
  author       = {Roman P. Bazylevych and
                  Bhanu Prasad and
                  Roman Kutelmakh and
                  Lubov Bazylevych},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Decomposition and Scanning Optimization Algorithms for {TSP}},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {110--116},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Fri, 15 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tmfcs/BazylevychPKB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/BhattacharjeeP08,
  author       = {D. Bhattacharjee and
                  Bhanu Prasad},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {On Some New Arithmetical Convolutions-1},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {88--94},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Fri, 15 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tmfcs/BhattacharjeeP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/ChangK08,
  author       = {Hsun{-}Wen Chang and
                  Meng{-}Chu Kuo},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Chromatic Numbers of Kneser-Related Graphs},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {49--53},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/ChangK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/Gomaa08,
  author       = {Walid E. Gomaa},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {The Complexity of Identifying Finite Abelian Groups},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {1--8},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/Gomaa08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/HartwigP08,
  author       = {Michael Hartwig and
                  Somnuk Phon{-}Amnuaisuk},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Regular Languages up to Star Height 1 and the Difference Shrinking
                  Acceptance Probability},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {41--48},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/HartwigP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/JeganathanKR08,
  author       = {L. Jeganathan and
                  Kamala Krithivasan and
                  Raghavan Rama},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Graph Splicing Systems},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {72--79},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 15 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/JeganathanKR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/KnisleyKW08,
  author       = {Debra J. Knisley and
                  Jeff Knisley and
                  Duran Williams},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Network Properties of (t, r)-regular graphs for small t},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {54--58},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/KnisleyKW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/Majkic08,
  author       = {Zoran Majkic},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Coalgebraic Specification of Query Computation in Intensional {P2P}
                  Database Systems},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {14--23},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/Majkic08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/Majkic08a,
  author       = {Zoran Majkic},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Abstract Database Category Based on Relational-query Observations},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {24--32},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/Majkic08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/Malheiro08,
  author       = {Ant{\'{o}}nio Malheiro},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {On Finite Semigroup Cross-Sections and Complete Rewriting Systems},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {59--63},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/Malheiro08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/MartinhoR08,
  author       = {Joana Martinho and
                  Ant{\'{o}}nio Ravara},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Encoding cryptographic primitives in a calculus with polyadic synchronization},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {102--109},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/MartinhoR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/Murakami08,
  author       = {Masaki Murakami},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {80--87},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/Murakami08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/SatoK08,
  author       = {Haruhiko Sato and
                  Masahito Kurihara},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Design and Implementation of Multi-Completion Procedures with Termination
                  Checking},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {33--40},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/SatoK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/YuSC08,
  author       = {Xiuyuan Yu and
                  Zhonghua Shen and
                  Hui Chen},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {The rational approximations of a class of continued fractions},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {9--13},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/YuSC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tmfcs/ZhaoZ08,
  author       = {Li{-}Quan Zhao and
                  Ling Zhang},
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {Model of Granular Computing},
  booktitle    = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  pages        = {95--101},
  publisher    = {{ISRST}},
  year         = {2008},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/ZhaoZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tmfcs/2008,
  editor       = {Zoran Majkic and
                  Michael Sipser and
                  R. Radha and
                  Daming Wei},
  title        = {International Conference on Theoretical and Mathematical Foundations
                  of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008},
  publisher    = {{ISRST}},
  year         = {2008},
  isbn         = {978-1-60651-006-3},
  timestamp    = {Mon, 18 Aug 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tmfcs/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics