Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fcs/fcs2009.bht:"
download as .bib file
@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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 09:06 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
