Search dblp for Publications

export results for "stream:streams/conf/fcs:"

 download as .bib file

@inproceedings{DBLP:conf/fcs/Al-EkramH10,
  author       = {Raihan Al{-}Ekram and
                  Richard C. Holt},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Optimal Tradeoff},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {153--159},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 08:03:41 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Al-EkramH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/AlHeyasatLM10,
  author       = {Omar AlHeyasat and
                  Vladimier Luzhetski and
                  Abdelwadood Mosleh},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Integer and Complex Fibonacci Data Models},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {219},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/AlHeyasatLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand10,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Does Resolving PvNP Require a Paradigm Shift? Part {I:} {A} Perspective},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {59--65},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand10a,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Does Resolving PvNP Require a Paradigm Shift? Part {II:} The Main
                  Problem and a Suggested Solution},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {66--71},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand10b,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Does Resolving PvNP Require a Paradigm Shift? Part {III:} Consequences
                  of a Sound, Algorithmic Interpretation of {PA}},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {72--80},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand10b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/AraiKO10,
  author       = {Kenichi Arai and
                  Nobuaki Kondo and
                  Hiroyuki Okazaki},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Formalization of Probability and Random Sampling on a Finite and Discrete
                  Sample Space Using the Mizar Proof Checker},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {81--86},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/AraiKO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BairdS10,
  author       = {Leemon C. Baird III and
                  Dino Schweitzer},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Complexity of the Game of Sprouts},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {177--182},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Tue, 13 Dec 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BairdS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Balch10,
  author       = {Charles Balch},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Understanding Quantum Networking: Where Are We and What Can We Expect?},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {115--118},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Balch10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BehiB10,
  author       = {Farahzad Behi and
                  Matthew Del Buono},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Vectorizing Compilers and Manual Code Optimization for Application
                  Domains},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {160--164},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BehiB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Chegondi10,
  author       = {V. Leela Teja Chegondi},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Meeting the Needs of Today's Traffic in Networks by Differentiated
                  Delivery},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {35--40},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Chegondi10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Chen10,
  author       = {Yangjun Chen},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Recursive Graph Deduction and Reachability Queries},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {125--131},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Chen10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CovinoP10,
  author       = {Emanuele Covino and
                  Giovanni Pani},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Template Metaprogramming, Partial Evaluation and Computational Complexity
                  Classes},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {165--176},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CovinoP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/EsikM10,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Andreas Maletti},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Simulation vs. Equivalence},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {119--124},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/EsikM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Gao10,
  author       = {Xiaolei Gao},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {The {Z} Specification Refinement of Based on Tableau},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {87--90},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Gao10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/GhanatirARN10,
  author       = {Farrokh Ghanatir and
                  Hadi Abouhosseini and
                  Amir Masoud Rahmani and
                  Abolfazl Nazari},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Multiprocessor Independent Tasks Scheduling Using Modified Improved
                  Harmony Search Algorithm},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {48--54},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/GhanatirARN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/GhitGVP10,
  author       = {Bogdan Ghit and
                  Matei Gruber and
                  Octavian Voicu and
                  Florin Pop},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Antis: Another Tool for Identical or Similar Code Detection},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {41--47},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/GhitGVP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/GuoZL10,
  author       = {Weipeng Guo and
                  Pei Li Zhou and
                  Yongli Li},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {The Extended Model of Rough Sets Theory Based on Panweighted Field
                  and Panweighted Networks in the Meaning of Recursive},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {199--204},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/GuoZL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HummertSH10,
  author       = {Sabine Hummert and
                  Stefan Schuster and
                  Christian Hummert},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Batman - The Dark Knight: {A} Game Theoretical Approach},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {29--34},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HummertSH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JacoboR10,
  author       = {Jaime Cerd{\'{a}} Jacobo and
                  David De Roure},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {A Graph-based Economical Dispatch Model},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {132--138},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JacoboR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/KatkowU10,
  author       = {Aleksandr Katkow and
                  Agnieszka Ulfik},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Nature Inspired Arithmetic in Speed Independent Circuit},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {9--15},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/KatkowU10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Krishnamurthy10,
  author       = {Edayathu V. Krishnamurthy},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Swarming - {A} Classical Analog of Hardy's Quantum Gravity Computational
                  Paradigm},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {103--108},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Mon, 28 Jul 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/Krishnamurthy10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/KumamotoM10,
  author       = {Masao Kumamoto and
                  Eiji Miyano},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Optimal Distortion Embedding of Complete Binary Trees into Lines},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {16--21},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/KumamotoM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/KwongLC10,
  author       = {Ka Ming Kwong and
                  Nga Kwok Liu and
                  Pak Wai Chan},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {{LIDAR} and Chaotic Oscillatory-based Neural Network for Wind Shear
                  Forecasting},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {22--28},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/KwongLC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Lang10,
  author       = {Hans{-}Werner Lang},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {A Characterization of the Chomsky Hierarchy by String Turing Machines},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {109--114},
  publisher    = {{CSREA} Press},
  year         = {2010},
  url          = {https://www.inf.hs-flensburg.de/lang/theor/string-turingmachine4.htm},
  timestamp    = {Mon, 02 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/Lang10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuZ10,
  author       = {Li Liu and
                  Denghui Zhai},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Study on Typical Load Pattern in Power System and Bad Data Processing},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {96--102},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuZSZ10,
  author       = {Dongsheng Liu and
                  Mei Zhong and
                  Shumin Shi and
                  Yanbo Zhao},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {An {AST} Plagiarism Detection Model for Procedural Programming Languages},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {187--191},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 20 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuZSZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MunteanuB10,
  author       = {Bogdan Munteanu and
                  Richard Borie},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Variations of the Vision-Based Pursuit-Evasion Problem on a Grid},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {139--144},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MunteanuB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ONeilK10,
  author       = {Thomas O'Neil and
                  Scott Kerlin},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {A Simple O(2\({}^{\mbox{sqrt(x)}}\)) Algorithm for Partition and Subset
                  Sum},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {55--58},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ONeilK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/VelankanniL10,
  author       = {Thomas Abraham Joseph Velankanni and
                  Sherley Mary Lourdusawmy},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Ontology for Accounting},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {212--218},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/VelankanniL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuJ10,
  author       = {Tai{-}Lung Wu and
                  Justie Su{-}tzu Juan},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Optimal Edge Ranking of Ladder Graphs},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {145--152},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YuanZH10,
  author       = {Chong{-}Yi Yuan and
                  Wen Zhao and
                  Yu Huang},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Operation Expression: a Way to Verified Software},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {91--95},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Tue, 07 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YuanZH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhaiJ10,
  author       = {Yun Zhai and
                  Ryszard Janicki},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical
                  Ranking},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {183--186},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhaiJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouL10,
  author       = {Pei Li Zhou and
                  Xu Li},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Attribute Reducts Using Multistep Relational Extension Matrix},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {192--198},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouLL10,
  author       = {Pei Li Zhou and
                  Haixia Li and
                  Yongli Li},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Application of Pansystems Theory in Operating Systems},
  booktitle    = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  pages        = {205--211},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouLL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2010,
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis and
                  Ashu M. G. Solo},
  title        = {Proceedings of the 2010 International Conference on Foundations of
                  Computer Science, {FCS} 2010, July 12-15, 2010, Las Vegas, Nevada,
                  {USA}},
  publisher    = {{CSREA} Press},
  year         = {2010},
  isbn         = {1-60132-142-2},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand09,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {The Significance of Aristotle's Particularisation in the Foundations
                  of Mathematics, Logic and Computability: Cohen and the Axiom of Choice},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {82--86},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Wed, 08 Dec 2010 08:03:53 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BouyahiaBGJ09,
  author       = {Zied Bouyahia and
                  Monia Bellalouna and
                  Khaled Gh{\'{e}}dira and
                  Patrick Jaillet},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {A Priori Strategies for the Probabilistic Total Weighted Flowtime
                  on Parallel Identical Machines Problem},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {145--151},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BouyahiaBGJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChanderwalCSSGPAGSV09,
  author       = {Nitin and
                  Gitanjali Chauhan and
                  Vivek Kumar Sehgal and
                  Rohit Sharma and
                  Abhishek Gupta and
                  Aditya Patel and
                  Amanpreet Singh Arora and
                  Aprajita Gupta and
                  Utkarsh Shrivastava and
                  Rajan Vaish},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {A Single Tape Deterministic Turing Machine of Adaptive Deterministic
                  Routing Algorithm Designed for Torus Network},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {37--40},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Sat, 05 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChanderwalCSSGPAGSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChanderwalCSSVKSV09,
  author       = {Nitin and
                  Gitanjali Chauhan and
                  Rohit Sharma and
                  Vivek Kumar Sehgal and
                  Rohit Verma and
                  Gaurav Kumar and
                  Utkarsh Shrivastava and
                  Rajan Vaish},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Single Tape Deterministic Turing Machine of Routing Algorithms Designed
                  for Torus Network},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {47--52},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Sat, 05 Dec 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChanderwalCSSVKSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Chen09,
  author       = {Yangjun Chen},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Decomposing a Partially Ordered Set into Chains},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {126--132},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Chen09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChenCHCH09,
  author       = {Yean{-}Ru Chen and
                  To{-}Yu Chen and
                  Pao{-}Ann Hsiung and
                  Sao{-}Jie Chen and
                  Yu Hen Hu},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Compositional Automata Reduction with Non-critical Path Slicing},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {133--138},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChenCHCH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CloteauxR09,
  author       = {Brian Cloteaux and
                  Desh Ranjan},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Lower Bounds for Accessing Information on Pure Pointer Machines},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {103--107},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CloteauxR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/DalvandSN09,
  author       = {Babak Dalvand and
                  Saeed Safaei and
                  Mojtaba Nazari},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Fast Parallel Molecular Solution to the Maximum Triangle Packing Problem
                  on Massively Parallel Bio-Computing},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {169--173},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/DalvandSN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/DeMaioF09,
  author       = {Joe DeMaio and
                  William Faust},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Domination and Independence on the Rectangular Torus by Rooks and
                  Bishops},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {120--125},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/DeMaioF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Ferreira09,
  author       = {Ulisses Ferreira},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {The Decidability of the Halting Problem},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {180--183},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Ferreira09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ForysO09,
  author       = {Wit Forys and
                  Piotr Oprocha},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Pseudo-Random Walks On Graphs And Cryptography},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {16--19},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ForysO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Han09,
  author       = {Yijie Han},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Tight Bound for Matching},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {68--74},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Han09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Hawick09,
  author       = {Kenneth A. Hawick},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Spectral Analysis of Attractors in Random Boolean Network Models},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {61--67},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Thu, 26 Nov 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Hawick09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Hoganson09,
  author       = {Kenneth E. Hoganson},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Mitigating Starvation of Multi-Level Feedback Queue Scheduling with
                  Declining Max Weighted Average},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {174--179},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Mon, 08 Aug 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/Hoganson09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JanickiZ09,
  author       = {Ryszard Janicki and
                  Nadezhda Zubkova},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {On Closure Operator for Interval Order Structures},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {108--114},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JanickiZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Kantabutra09,
  author       = {Vitit Kantabutra},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular
                  Polygons},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {92--94},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Kantabutra09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LeistH09,
  author       = {Arno Leist and
                  Kenneth A. Hawick},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Circuits as a Classifier for Small-World Network Models},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {75--81},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Thu, 26 Nov 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LeistH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LinTC09,
  author       = {Jyh{-}Shyan Lin and
                  Fu{-}Kuo Tseng and
                  Rong{-}Jaye Chen},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {An Analysis of Hierarchical Identity-Based Cryptosystems},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {27--31},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LinTC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MahfouzH09,
  author       = {Adnan M. Abu{-}Mahfouz and
                  Gerhard P. Hancke},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {An Efficient Method for Finding Square Roots for Elliptic Curves over
                  {OEF}},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {87--91},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 10 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MahfouzH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MathematicsC09,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {The Significance of Aristotle's Particularisation in the Foundations
                  of Mathematics, Logic and Computability: Rosser and Formally Undecidable
                  Arithmetical Propositions},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {95--99},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MathematicsC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ONeil09,
  author       = {Thomas O'Neil},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {The Importance of Symmetric Representation},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {115--119},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ONeil09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ParasaE09,
  author       = {Srinivas Vamsi Parasa and
                  Kumar Eswaran},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Quantum Pseudo-Fractional Fourier Transform and Its Application to
                  Quantum Phase Estimation},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {9--15},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ParasaE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/PhamSC09,
  author       = {Huy Nguyen Anh Pham and
                  Arthur M. D. Shr and
                  Peter P. Chen},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {A Quadratic Integer Programming Framework for Dedicated Machine Constraint},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {155--161},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/PhamSC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SafaeiDES09,
  author       = {Saeed Safaei and
                  Babak Dalvand and
                  Babak Esmaeili and
                  Vahid Safaei},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Molecular Solutions for the Minimum Edge Dominating Set Problem on
                  DNA-based Supercomputing},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {32--36},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Mon, 13 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/SafaeiDES09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TagawaF09,
  author       = {Hirofumi Tagawa and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Dictionary Operations in Membrane Computing},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {20--26},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TagawaF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Tickodri-Togboa09,
  author       = {Sandy Stevens Tickodri{-}Togboa},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {A Methodology for the Construction of Generating Functions and its
                  Application to Bessel Functions},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {53--58},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Tickodri-Togboa09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TokumaruF09,
  author       = {Yuichiro Tokumaru and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Procedures for Floating Point Operations with {DNA} Molecules},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {41--46},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TokumaruF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TranH09,
  author       = {Quoc{-}Nam Tran and
                  Giridhar Hariharan},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Using Model Checking for Decision Making in Computer Games},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {3--8},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TranH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuF09,
  author       = {Li{-}Gang Wu and
                  Lei Fan},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Cartesian Closed Categories of R-Posets},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {139--144},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangDF09,
  author       = {Linmin Yang and
                  Zhe Dang and
                  Thomas R. Fischer},
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Optimal Software Testing - {A} Cooling Down Process},
  booktitle    = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  pages        = {162--168},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Fri, 30 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangDF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2009,
  editor       = {Hamid R. Arabnia and
                  George A. Gravvanis},
  title        = {Proceedings of the 2009 International Conference on Foundations of
                  Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada,
                  {USA}},
  publisher    = {{CSREA} Press},
  year         = {2009},
  isbn         = {1-60132-103-1},
  timestamp    = {Wed, 08 Dec 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Ahangar08,
  author       = {Reza Ahangar},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Optimal Control Solution to Nonlinear Causal Operator Systems with
                  Target State},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {218--223},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Ahangar08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand08,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Why Brouwer Was Justified in his Objection to Hilbert's Unqualified
                  Interpretation of Quantification},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {166--169},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand08a,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {A Trivial Solution to the PvNP Problem},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {224--227},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Anand08b,
  author       = {Bhupinder Singh Anand},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {A Finitary Model of Peano Arithmetic},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {235--238},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Anand08b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/AsahiroKM08,
  author       = {Yuichi Asahiro and
                  Kenichi Kawahara and
                  Eiji Miyano},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {NP-Hardness of the Sorting Buffer Problem on the Uniform Metric},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {137--143},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/AsahiroKM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Boulinier08,
  author       = {Christian Boulinier},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Fast Unison in Arbitrary Rooted Networks},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {113--119},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Boulinier08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChenLLFH08,
  author       = {Chih{-}Sheng Chen and
                  Jan{-}Yi Liang and
                  Yi{-}Kun Lee and
                  Min{-}Hsuan Fan and
                  Chua{-}Huang Huang},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Efficient Searching Algorithms for Multi-Dimensional Space Data Using
                  Hilbert Space-Filling Curves},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {264--269},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChenLLFH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CovinoPS08,
  author       = {Emanuele Covino and
                  Giovanni Pani and
                  Daniele Scrimieri},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Extending {C++} Static Computation of Polynomial-Time Algorithms},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {90--96},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CovinoPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/DeMaioT08,
  author       = {Joe DeMaio and
                  Stephen Touset},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Stirling Numbers of the Second Kind and Primality},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {124--130},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/DeMaioT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/DeksnisFSTZ08,
  author       = {Guntis Deksnis and
                  Rusins Freivalds and
                  Oksana Scegulnaja{-}Dubrovska and
                  Ruslan Tarasov and
                  Solvita Zarina},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {A Quantum Algorithm for Real Time Rendering},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {39--43},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/DeksnisFSTZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/DolatiHSM08,
  author       = {Ardashir Dolati and
                  Mehdi Sohrabi Haghighat and
                  Saeed Safaei and
                  Hajar Mozaffar},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Solving Minimum Beta-vertex Separator Problems in the Adleman-Lipton
                  Model},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {97--101},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/DolatiHSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Duffany08,
  author       = {Jeffrey Duffany},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Statistical Characterization of NP-Complete Problems},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {156--162},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Duffany08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Dziemianczuk08,
  author       = {Maciej Dziemianczuk},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {On Cobweb Admissible Sequences - The Production Theorem},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {163--165},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Dziemianczuk08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FanW08,
  author       = {Hongbing Fan and
                  Yu{-}Liang Wu},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Interconnection Graph Problem},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {51--55},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FanW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Farago08,
  author       = {Andras Farago},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {On Disjoint Connecting Paths and Unsplittable Flow},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {44--50},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Farago08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Favre08,
  author       = {Liliana Favre},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Formalizing MOF-Metamodels},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {32--38},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Favre08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/GaoLSY08,
  author       = {Yunshu Gao and
                  Guojun Li and
                  Jonathan Z. Sun and
                  Jin Yan},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Disjoint Cycles and Chorded Cycles in Graphs},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {9--13},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/GaoLSY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HawickJ08,
  author       = {Kenneth A. Hawick and
                  Heath A. James},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {14--20},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Thu, 21 Jan 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HawickJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HongW08,
  author       = {Weihu Hong and
                  Mingshen Wu},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {The Size of Integers That a Computer Can tTke},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {170--172},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HongW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/KotulskiS08,
  author       = {Leszek Kotulski and
                  Adam Sedziwy},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Agent Framework For Decomposing a Graph Into the Equally Sized Subgraphs},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {245--250},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/KotulskiS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Lace08,
  author       = {Lelde Lace},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Nondeterministic and postselection quantum query algorithms},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {102--105},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Lace08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiL08,
  author       = {Xiaoxu Li and
                  Yongli Li},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Research of Decision Rule in Rough Sets Based on Pansystems View},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {185--189},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLT08,
  author       = {Zhenfang Li and
                  Chuan Li and
                  Shiqun Tao},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Dynamic Database in the View of Pansystems},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {201--206},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLZ08,
  author       = {Yongli Li and
                  Zhenfang Li and
                  Pei Li Zhou},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {A Study of Programming Language Based on Pansystems Theory},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {175--181},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiWLLZ08,
  author       = {Haixia Li and
                  Aiping Wu and
                  He Lin and
                  Yongli Li and
                  Fangqin Zhang},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Research of Reduction from the View of Pansystems},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {196--200},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiWLLZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LinL08,
  author       = {He Lin and
                  Xiaoxu Li},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Generalization of Reduction in Rough Sets Based on the Views of Pansystems},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {180--184},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LinL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuS08,
  author       = {Jia Liu and
                  Mansur H. Samadzadeh},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {On the Power of Stochastic Automata Networks in Random Environments},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {3--9},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/McElieceR08,
  author       = {Robert J. McEliece and
                  Mari Cruz Rodr{\'{\i}}guez{-}Pal{\'{a}}nquex},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Computing the number of rational points. Applications to {AG} Coding
                  Theory},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {86--89},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/McElieceR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Mokhov08,
  author       = {Serguei A. Mokhov},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {131--136},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Mokhov08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Moorer08,
  author       = {James Moorer},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {The Use of Prime Residues as a Block Erasure Code with Linear Decoding
                  Time},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {120--123},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Moorer08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Obimbo08,
  author       = {Charlie Obimbo},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Approximating the Vertex Cover Problem by Selection of Nodes of Maximum
                  Degrees for use in Wireless Sensor Networks},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {256--259},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Obimbo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/OnCL08,
  author       = {Jinho On and
                  Jungrhan Choi and
                  Moonkun Lee},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {A Process Algebra for Specification and Analysis of Temporal Properties
                  of Agents Distributed over Networked Space},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {56--62},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/OnCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SafaeiME08,
  author       = {Saeed Safaei and
                  Hajar Mozaffar and
                  Babak Esmaeili},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Solving Minimum K-Center Problem in the Adleman?Lipton Model},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {251--255},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Mon, 13 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/SafaeiME08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Saffari08,
  author       = {Rahebeh Mojtahedi Saffari},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Method Based on Distributed Learning Automata for Computing Node to
                  Node Closeness Score},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {228--234},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Saffari08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SrinivasanB08,
  author       = {Arulanandam Srinivasan and
                  Raghuvel S. Bhuvaneswaran},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Face Recognition System using {HGPP} and Adaptive binning Method},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {80--85},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/SrinivasanB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SunXY08,
  author       = {Jonathan Z. Sun and
                  Rui Xu and
                  Jianhua Yin},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Group connectivity of graphs satisfying Ore-condition},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {21--24},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/SunXY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SunZ08,
  author       = {Jonathan Z. Sun and
                  Chaoyang Zhang},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Advances on C-Planarity Testing of Extrovert C-Graphs},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {25--31},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/SunZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Tchier08,
  author       = {Fairouz Tchier},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Demonic Semantics: are equal},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {147--155},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Tchier08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TsaiJ08,
  author       = {Jennifer Tsai and
                  Justie Juan},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Secure and Efficient Multi-Secret Sharing Schemes with General Access
                  Structures},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {106--112},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TsaiJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TysonKPJQ08,
  author       = {James Tyson and
                  James Kriigel and
                  Jon Preston and
                  Byron Jeff and
                  Junfeng Qu},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Snack Attack: An Exploration of Collaborative Learning},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {207--210},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TysonKPJQ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/UCL08,
  author       = {Sujeong U and
                  Gihwan Cho and
                  Moonkun Lee},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Development of a Scheduler for Hard Real-time Emergency Medical Systems
                  over Networked Space in a Process Algebra},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {63--69},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/UCL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WenlongHYX08,
  author       = {Wenlong Gao and
                  Lin He and
                  Yongli Le and
                  Xiaoxia Li},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {The PanWeighted System And Its Panweight Reduction In Pansystems Theory},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {211--217},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WenlongHYX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Whitfield08,
  author       = {Deborah Whitfield},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Applying the Theory of Optimization Ordering to Devices with Limited
                  Memory},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {239--244},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Whitfield08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YadatiWZWP08,
  author       = {Chetan Yadati and
                  Cees Witteveen and
                  Yingqian Zhang and
                  Mengxiao Wu and
                  Han La Poutr{\'{e}}},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Autonomous Scheduling},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {73--81},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Thu, 27 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/YadatiWZWP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Zhang08,
  author       = {Yang Zhang},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Fourier Transforms for Difference Operators},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {260--263},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Zhang08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/zhouYM08,
  author       = {Pei Li Zhou and
                  Jiang Yu and
                  Shahriar Movafaghi},
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {An Application of Pansystems Methodology to Path's Searching Problem
                  Solving},
  booktitle    = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  pages        = {190--195},
  publisher    = {{CSREA} Press},
  year         = {2008},
  timestamp    = {Fri, 09 Jan 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/zhouYM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2008,
  editor       = {Hamid R. Arabnia and
                  Youngsong Mun and
                  Pei Li Zhou},
  title        = {Proceedings of the 2008 International Conference on Foundations of
                  Computer Science, {FCS} 2008, July 14-17, 2008, Las Vegas, Nevada,
                  {USA}},
  publisher    = {{CSREA} Press},
  year         = {2008},
  isbn         = {1-60132-066-3},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/AliKS07,
  author       = {Naveed Ali and
                  Shoab A. Khan and
                  Naveed Sarfraz Khattak},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length
                  Operands},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {171--176},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Mon, 24 Jan 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/AliKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BauwensWDOBS07,
  author       = {Bruno Bauwens and
                  Bart Wyns and
                  Dieter Devlaminck and
                  Georges Otte and
                  Luc Boullart and
                  Patrick Santens},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Mutual information and algorithmic information transfer as ideal undirected
                  and directed independence tests},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {21--26},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BauwensWDOBS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Burgin07,
  author       = {Mark Burgin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Interactive Hypercomputation},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {328--336},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Burgin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BurginS07,
  author       = {Mark Burgin and
                  Marc Smith},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Unifying Model of Concurrent Processes},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {321--327},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BurginS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CaiZ07,
  author       = {Wanjing Cai and
                  Pei Li Zhou},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Pansystems Approach to Order-relationship},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {255--261},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CaiZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChenZWZ07,
  author       = {Dejun Chen and
                  Xiaolu Zhou and
                  Xuemou Wu and
                  Joe Peili Zhou},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Modeling Distributed Virtual Enterprise Based on Pansystems Economics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {273--279},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChenZWZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/CovinoPS07,
  author       = {Emanuele Covino and
                  Giovanni Pani and
                  Daniele Scrimieri},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Static Computation of Polynomial-time Functions in {C++}},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {41--45},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/CovinoPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/EsikM07,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Gabriela Mart{\'{\i}}n},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {An Algebraic Characterization of Wolper's Logic},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {139--143},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/EsikM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Farago07,
  author       = {Andras Farago},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Sampling from Independence Systems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {27--33},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Farago07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FengQW07,
  author       = {Wangsen Feng and
                  Wanling Qu and
                  Hanpin Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Lower bounds on the cardinality of maximum matchings in graphs with
                  bounded degrees},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {110--113},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FengQW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Ferreira07,
  author       = {J. Ulisses Ferreira},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Probable Decidability of the Halting Problem},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {94--102},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Ferreira07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Gauvrit07,
  author       = {Nicolas Gauvrit},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Locally Logical Model for Natural Semantics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {89--93},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Gauvrit07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/GuoZP07,
  author       = {Dinghe Guo and
                  Pei Li Zhou and
                  Jinghong Pan},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {300--312},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/GuoZP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Han07,
  author       = {Yijie Han},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Maximum Flow with a Faster Way of Computing a Blocking Flow},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {52--56},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Han07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Harris07,
  author       = {Douglas Harris},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Patterns of Protocols},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {114--120},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Harris07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Howes07,
  author       = {Norman R. Howes},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Distributed System Architecture and Specification with {TLB}},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {313--320},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Howes07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HuangM07,
  author       = {Xiaowei Huang and
                  Jie Meng},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Semantic Preorder Combining {ST} Notion and Fair Testing Semantic},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {82--88},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HuangM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JacakJJ07,
  author       = {Janusz Jacak and
                  Ireneusz J. Jozwiak and
                  Lucjan Jacak},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Application of braid groups for information processing},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {344--348},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JacakJJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JiangL07,
  author       = {Yu Jiang and
                  He Lin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility
                  Matrix},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {268--272},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JiangL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Jin07,
  author       = {Ying Jin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Rule Update Algorithms for Active Rule Scheduling},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {46--51},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Mon, 06 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/Jin07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Kong07,
  author       = {Kam Kong},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Majority Rule and String-and-Spinner Implementation of Logic Gates},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {79--81},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Kong07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LajosS07,
  author       = {Jaroslav Lajos and
                  Mansur H. Samadzadeh},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {148--156},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LajosS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLQW07,
  author       = {Yongli Li and
                  Zhilin Li and
                  Jing Qu and
                  Xiaoyan Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Sorites Paradox from the View of Pansystems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {219--223},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLQW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLT07,
  author       = {Zhenfang Li and
                  Yongli Li and
                  Shiqun Tao},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Extending of Panweighted Network in Pansystems and XML-based Realization},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {229--234},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLW07,
  author       = {Haixia Li and
                  He Lin and
                  Jiajia Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Rough Set Approximation and Rough Set Attribute Reduction Based on
                  Pansystems Topology},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {235--239},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiLW07a,
  author       = {Haibo Li and
                  Yongli Li and
                  Xinjian Wei},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Rough Set Model of Binary Relation Based on Product and Pansystems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {251--245},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiLW07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LinL07,
  author       = {He Lin and
                  Haixia Li},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Insert Taxis Based on Pansystems Topology},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {240--244},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LinL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuC07,
  author       = {Ying Liu and
                  Wanjing Cai},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Compare Researches To Rough Sets And Fuzzy Sets from the View},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {262--267},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuL07,
  author       = {Fang Liu and
                  He Lin},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A New View of Difference and Identity Relation in Rough Sets Based
                  on Pansystems Duality Transformation},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {213--218},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LiuZLY07,
  author       = {Jinshuo Liu and
                  Dengyi Zhang and
                  Shubo Liu and
                  Yu Yao},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {High Noisy Cell Image Segmentation Using Regional Template},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {57--60},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LiuZLY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MalluhiH07,
  author       = {Qutaibah M. Malluhi and
                  Sungbum Hong},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {An Efficient Algorithm for Determining the Relationship between Two
                  Nodes on {DAG}},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {144--147},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MalluhiH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MessaadiBB07,
  author       = {N. Messaadi and
                  Hajer Bouzaouache and
                  Naceur Benhadj Braiek},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Nonlinear Optimization Algorithms for Hybrid Controller Design of
                  Switched Systems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {362--368},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Thu, 31 Jan 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MessaadiBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Murakami07,
  author       = {Masaki Murakami},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Compilation of Higher-Order Concurrent Programs into First-Order Programs
                  on Recursive Graph Rewriting Model},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {369},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Murakami07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/PanGLZW07,
  author       = {Jinghong Pan and
                  Dinghe Guo and
                  Yongli Li and
                  Joe Peili Zhou and
                  Xuemou Wu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Relativity: Vitality, Intelligence and Computer},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {193--198},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/PanGLZW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/PotterS07,
  author       = {Jerry Potter and
                  Howard Jay Siegel},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Prose as a Model of Computation},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {157--163},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/PotterS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Quaddoura07,
  author       = {Ruzayn Quaddoura},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Linear Time Recognition Algorithms for Three Variants of Vertex Series
                  Parallel Digraphs},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {121--131},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Quaddoura07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/RemshagenT07,
  author       = {Anja Remshagen and
                  Klaus Truemper},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Complexity of Futile Questioning},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {132--138},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/RemshagenT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Sarami07,
  author       = {Chekad Sarami},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Mass Formula for Cyclic Self-Orthogonal Codes},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {68--72},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Sarami07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Sarami07a,
  author       = {Chekad Sarami},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {On Classification of Generalized Hadamard Matrices},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {73--78},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Sarami07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/SteenhuisenW07,
  author       = {J. Renze Steenhuisen and
                  Cees Witteveen},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {3--9},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/SteenhuisenW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TateishiF07,
  author       = {Takeshi Tateishi and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Data structures for storing binary numbers in {DNA} computing},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {34--40},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TateishiF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TsaiJ07,
  author       = {Jennifer Hui{-}Chan Tsai and
                  Justie Su{-}tzu Juan},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement
                  Ratios},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {17--20},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TsaiJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WangJ07,
  author       = {Yi{-}Chun Wang and
                  Justie Su{-}tzu Juan},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Perfect Secret Sharing Scheme for (r-1, r)-Uniform Hypergraph-Based
                  Access Structures},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {103--109},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WangJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WasakiA07,
  author       = {Katsumi Wasaki and
                  Ken{-}ichi Arai},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Case Study of Formal Verification for Multi-level Pipeline Logic
                  Circuit by using Mizar Proof Checker},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {10--16},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WasakiA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WengJW07,
  author       = {Yu{-}fen Weng and
                  Justie Su{-}tzu Juan and
                  Yi{-}Chun Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {On the Verifiable and Detectable Multi-Use General Perfect Secret
                  Sharing Schemes},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {164--170},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WengJW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Wu07,
  author       = {Shengyuan Wu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Introduction to Multilevel Mark Coding Theory},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {183--192},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Wu07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuGCZ07,
  author       = {Xuemou Wu and
                  Dinghe Guo and
                  Dejun Chen and
                  Joe Peili Zhou},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Extremum Theorems: Cybernetics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {199--205},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuGCZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuL07,
  author       = {Aiping Wu and
                  Yongli Li},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Research of Reduction from the View of Pansystems},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {224--228},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WuZF07,
  author       = {Xuemou Wu and
                  Pei Li Zhou and
                  Jeffrey Yi{-}Lin Forrest},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Exploration: {A} Transfield Internet-like Approach},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {280--286},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WuZF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YamadaI07,
  author       = {Toshinori Yamada and
                  Hiroyuki Ishii},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Algorithm for Finding a Nash Equilibrium of a Two-Player Game in the
                  Strategic Form Using Convex Hull},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {337--343},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YamadaI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangLL07,
  author       = {Tao Yang and
                  Yongli Li and
                  Xiaoxia Li},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Application of Pansystems Theory in Object-Oriented System},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {245--250},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangLL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangZL07,
  author       = {Bing Yang and
                  S. Q. Zheng and
                  Enyue Lu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Finding Two Disjoint Paths in a Network with MinSum-MinMin Objective
                  Function},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {356--361},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangZL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YoshidaKK07,
  author       = {Hitoshi Yoshida and
                  Hisayasu Kuroda and
                  Yasumasa Kanada},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Parameter Selection for Fast Computation of Pi(x)},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {177--182},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YoshidaKK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YuHW07,
  author       = {Chih{-}Chiang Yu and
                  Yong{-}Hsian Hsieh and
                  Biing{-}Feng Wang},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Optimal Algorithms for the Segment Location Problem with Range Constraints
                  on Length and Average},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {61--67},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YuHW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhengL07,
  author       = {S. Q. Zheng and
                  Shaoyang Liu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Hypergraph Algorithms with Network Applications},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {349--355},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 09 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhengL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouK07,
  author       = {P. L. Zhou and
                  Thalerngsak Kijthaweesinpoon},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {The Use of Pansystems Relation Operators in Rough Sets},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {287--292},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouM07,
  author       = {Pei Li Zhou and
                  Salahadin Mohammed},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {A Pansystems Approach to Sorting Based on Binary Relations},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {293--299},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhouZPW07,
  author       = {Xiaolu Zhou and
                  Joe Peili Zhou and
                  Jinghong Pan and
                  Xuemou Wu},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Pansystems Approach : Relativity, World Systems, Cognition, Linquistics,
                  Aesthetics},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {206--212},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Fri, 14 Dec 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhouZPW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2007,
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  publisher    = {{CSREA} Press},
  year         = {2007},
  isbn         = {1-60132-049-3},
  timestamp    = {Wed, 11 Feb 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BahigB06,
  author       = {Hatem M. Bahig and
                  Hazem M. Bahig},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Speeding Up Evaluation of Powers and Monomials},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {149--153},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 10:32:03 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BahigB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BaiW06,
  author       = {Yongsheng Bai and
                  Bob P. Weems},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Another Algorithm for Computing Longest Common Increasing Subsequence
                  for Two Random Input Sequences},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {81--87},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BaiW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Burgin06,
  author       = {Mark Burgin},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Algorithmic Control in Concurrent Computations},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {17--23},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Burgin06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BurginS06,
  author       = {Mark Burgin and
                  Marc Smith},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {From Sequential Processes to Grid Computation},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {10--16},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BurginS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BurginT06,
  author       = {Mark Burgin and
                  Anshul Taldon},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Naming and its Regularities in Distributed Environments},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {31--40},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BurginT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Chen06,
  author       = {Z. Chen},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {New Approach To {A} Class Of Matrices},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {135--140},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Chen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Eberbach06,
  author       = {Eugene Eberbach},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Expresiveness of the pi-Calculus and the {\textdollar}-Calculus},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {24--30},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Eberbach06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Farago06,
  author       = {Andras Farago},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Speeeding Up Markov Chain Monte Carlo Algorithms},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {102--108},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Farago06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FukagawaF06,
  author       = {Hiroki Fukagawa and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Procedures for multiplication and division in {DNA} computing},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {95--101},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FukagawaF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HeA06,
  author       = {Dan He and
                  Abdullah N. Arslan},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {FastPCMSA: An Improved Parallel Algorithm for the Constrained Multiple
                  Sequence Alignment Problem},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {88--94},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Fri, 02 Feb 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HeA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Howes06,
  author       = {Norman Howes},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {A Theory of Distributed Systems},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {205--213},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Howes06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HsiehK06,
  author       = {Sun{-}Yuan Hsieh and
                  Che{-}Nan Kuo},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Hamiltonian-Connectivity and Related Property on Folded Hypercubes},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {48--50},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HsiehK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Huang06,
  author       = {Xiuzhen Huang},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Negative-Weight Cycle Algorithms},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {109--115},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Huang06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/InoueIW06,
  author       = {Katsushi Inoue and
                  Akira Ito and
                  Yue Wang},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Matrix L-System and Paper Folding with Scissors},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {130--134},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Mon, 04 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/InoueIW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/JuanC06,
  author       = {Justie Su{-}tzu Juan and
                  Yu{-}Lin Chuang},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {A Verifiable and Detectable Secret Sharing Scheme by Using a New Geometric
                  Approach},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {219--225},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/JuanC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Kalita06,
  author       = {Bichitra Kalita},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Sub-Graphs of Complete Graph},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {71--80},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Kalita06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LaceSUZ06,
  author       = {Lelde Lace and
                  Oksana Scegulnaja{-}Dubrovska and
                  Ramuns Usovs and
                  Agnese Zalcmane},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Quantum Cryptographic Key Distribution Protocols},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {226},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LaceSUZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LamGLC06,
  author       = {Peter Che Bor Lam and
                  Guohua Gu and
                  Wensong Lin and
                  Ping{-}Tsai Chung},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Bounds On The Labelling Numbers Of Chordal Graphs},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {41--47},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Thu, 02 Aug 2007 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/LamGLC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MancinskaODAR06,
  author       = {Laura Mancinska and
                  Maris Ozols and
                  Ilze Dzelme{-}Berzina and
                  Rubens Agadzanjans and
                  Ansis Rosmanis},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Principles of Optimal Probabilistic Decision Tree Construction},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {116--122},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/MancinskaODAR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ManuelQWM06,
  author       = {Paul D. Manuel and
                  Kalim Qureshi and
                  Albert William and
                  Albert Muthumalai},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {{VLSI} Layout of Benes Networks},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {64--70},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Mon, 04 Jan 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ManuelQWM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ManuelRRM06,
  author       = {Paul D. Manuel and
                  Indra Rajasingh and
                  Bharati Rajan and
                  Albert Muthumalai},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {On Induced Matching Partitions of Certain Interconnection Networks},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {57--63},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Mon, 04 Jan 2016 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ManuelRRM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Margaryan06,
  author       = {Vahan Margaryan},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Some Existence and Preservation Results for Optimal Fixpoints},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {189--194},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Margaryan06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Margenstern06,
  author       = {Maurice Margenstern},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {An Algorithm for Buiding Inrinsically Universal Automata in Hyperbolic
                  Spaces},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {3--9},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Margenstern06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/McQuillanD06,
  author       = {James McQuillan and
                  Craig Damon},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Discovering the Impact of Group Structure on 3-SAT},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {163--168},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/McQuillanD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Muhammad06,
  author       = {Muhammad Rashid},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {A Theoretical Study of Parallel Voronoi Diagram},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {51--56},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Thu, 04 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Muhammad06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ONeilS06,
  author       = {Thomas O'Neil and
                  Jason Smith},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {The Representational Power of Conjunctive Normal Form},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {175--181},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ONeilS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Prashant06,
  author       = {P. Prashant},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {The Church-Turing-Deutsch Principle in Quantum Computation},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {141--148},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Prashant06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/RosmanisD06,
  author       = {Ansis Rosmanis and
                  Ilze Dzelme{-}Berzina},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Mixed States in Quantum Cryptography},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {214--218},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/RosmanisD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/TokumaruF06,
  author       = {Yuichiro Tokumaru and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {A Procedure for Max-SAT with {DNA} Strands},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {123--129},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/TokumaruF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YanJW06,
  author       = {Song Y. Yan and
                  Glyn James and
                  Gongyi Wu},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Polynomially Uncomputable Number-Theoretic Problems in Cryptography
                  and Network Security},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {195--199},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YanJW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YanJW06a,
  author       = {Song Y. Yan and
                  Glyn James and
                  Gongyi Wu},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Cryptographic and Computational Challenges in Grid Computing},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {200--204},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YanJW06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Yang06,
  author       = {Feng{-}Jen Yang},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {The Potential Disotrtion of Bayesian Reasoning},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {169--174},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Yang06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangHLX06,
  author       = {Wei Yang and
                  Liusheng Huang and
                  Yonglong Luo and
                  Mingjun Xiao},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Quantum Oblivious Transfer Based on {POVM} Measurements},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {154--162},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Thu, 24 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/YangHLX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangR06,
  author       = {Li Yang and
                  Naphtali Rishe},
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Formal Representation and Transformation of DTDs to Sem-ODM Semantic
                  Schemas},
  booktitle    = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  pages        = {182--188},
  publisher    = {{CSREA} Press},
  year         = {2006},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2006,
  editor       = {Hamid R. Arabnia and
                  Mark Murgin},
  title        = {Proceedings of the 2006 International Conference on Foundations of
                  Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006},
  publisher    = {{CSREA} Press},
  year         = {2006},
  isbn         = {1-60132-015-9},
  timestamp    = {Tue, 02 Jan 2007 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/AntonopoulosSP05,
  author       = {Nick Antonopoulos and
                  James Salter and
                  Roger M. A. Peel},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {A Multi-Ring Method for Efficient Multi-Dimensional Data Lookup in
                  {P2P} Networks},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {10--16},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 12:28:31 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/AntonopoulosSP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Burgin05,
  author       = {Mark Burgin},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Superrecursive Hierarchies of Algorithmic Problems},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {31--37},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Burgin05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/BurginZ05,
  author       = {Mark Burgin and
                  Paul Zellweger},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {A Unified Apporach to Data Representation},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {3--9},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/BurginZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ChenH05,
  author       = {Chien{-}Yuan Chen and
                  Chih{-}Cheng Hsueh},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Multiplication Algorithm on Quantum Computation},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {38--45},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ChenH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Djelloul05,
  author       = {Khalil Djelloul},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Complete First-Order Axiomatization of the Construction of Trees On
                  an Ordered Set},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {87--93},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Djelloul05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/El-Aker05,
  author       = {Fouad El{-}Aker},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Improving Radix Sort Best Case Runtime},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {183--189},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/El-Aker05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/El-Aker05a,
  author       = {Fouad El{-}Aker},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {The Constrained Greedy Algorithm},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {190},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/El-Aker05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Farago05,
  author       = {Andras Farago},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Finding Dense Subgraphs Efficiently},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {73--79},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Farago05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Farago05a,
  author       = {Andras Farago},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Almost Surely Almost Exact Optimization in Random Graphs},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {94--100},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Farago05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FreivaldsKOZ05,
  author       = {Rusins Freivalds and
                  Elina Kalnina and
                  Rihards Opmanis and
                  Agnese Zalcmane},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Combinatorial Block Designs for Quantum Computing Problems},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {176--182},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FreivaldsKOZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FreivaldsPL05,
  author       = {Rusins Freivalds and
                  Renate Praude and
                  Lelde Lace},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Some Graph Problems with Equivalent Lower Bounds for Query Complexity},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {80--86},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FreivaldsPL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/FujiwaraA05,
  author       = {Akihiro Fujiwara and
                  Kota Atsuyama},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {A Procedure for Computing 0-1 Integer Programming with {DNA} Strands},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {125--134},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/FujiwaraA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/HeWW05,
  author       = {Wei{-}Hua He and
                  Chih{-}Wen Wang and
                  Tzong{-}Chen Wu},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Joint Window Nonadjacent Form},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {154--160},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/HeWW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Kettani05,
  author       = {Houssain Kettani},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {K-Map Analysis of Digital Circuits with Uncertain Inputs},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {24--30},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Kettani05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LangarM05,
  author       = {Mahjoub Langar and
                  Mohamed Mejri},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Formal and Efficient Enforcement of Security Policies},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {143--149},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/LangarM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/LeeJ05,
  author       = {Chia{-}Wei Lee and
                  Justie Su{-}tzu Juan},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {On-line Ranking Algorithms for Trees},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {46--51},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 05 May 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/LeeJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/MancinskaOPZ05,
  author       = {Laura Mancinska and
                  Maris Ozols and
                  Renate Praude and
                  Agnese Zalcmane},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Limitations of Non-Deterministic Finite Automata Imposed by One Letter
                  Input Alphabet},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {161--168},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Tue, 28 Mar 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/MancinskaOPZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ONeil05,
  author       = {Thomas O'Neil},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {A Clause-Based Reduction from k-SAT to {CLIQUE}},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {17--23},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ONeil05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/OzolsFMO05,
  author       = {Raitis Ozols and
                  Rusins Freivalds and
                  Laura Mancinska and
                  Maris Ozols},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Size of Nondeterministic and Deterministic Automata for Certain Languages},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {169--175},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Tue, 28 Mar 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fcs/OzolsFMO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/PugseeR05,
  author       = {Jutapuck Pugsee and
                  Wanchai Rivepiboon},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Meaning Analysis of Sentences Using Phrase Structure Grammar with
                  Sentence Structures},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {111--117},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/PugseeR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/RavikumarC05,
  author       = {Bala Ravikumar and
                  Greg Cooper},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Fibonacci Search Algorithm for Finding Extremum Using Unary Predicates},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {59--63},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/RavikumarC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/Smith05,
  author       = {Marc L. Smith},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Unifying Theories of Programming: {CSP} + Lazy Observation = True
                  Concurrency},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {118--124},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/Smith05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/UshijimaF05,
  author       = {Mizue Ushijima and
                  Akihiro Fujiwara},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Sorting algorithms based on the odd-even transposition sort and the
                  shearsort with {DNA} strands},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {52--58},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/UshijimaF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/VignerasC05,
  author       = {Pierre Vign{\'{e}}ras and
                  Serge Chaumette},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Behavior Model of Mobile Agent Systems},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {135--142},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/VignerasC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/WeemsB05,
  author       = {Bob P. Weems and
                  Yongsheng Bai},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Finding Longest Common Increasing Subsequence for Two Different Scenarios
                  of Non-random Input Sequences},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {64--72},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/WeemsB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/YangTH05,
  author       = {Ming{-}Chien Yang and
                  Jimmy J. M. Tan and
                  Lih{-}Hsing Hsu},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Cycles in Highly Faulty Hypercubes},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {101--110},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/YangTH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fcs/ZhangWW05,
  author       = {Yuqing Zhang and
                  Chunling Wang and
                  Shimin Wei},
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Using {SMV} for Cryptographic Protocol Analysis: {A} Case Study},
  booktitle    = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  pages        = {150--153},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/ZhangWW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fcs/2005,
  editor       = {Hamid R. Arabnia and
                  Rose Joshua},
  title        = {Proceedings of The 2005 International Conference on Foundations of
                  Computer Science, {FCS} 2005, Las Vegas, Nevada, USA, June 27-30,
                  2005},
  publisher    = {{CSREA} Press},
  year         = {2005},
  isbn         = {1-932415-71-8},
  timestamp    = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics