- Chong-Yi Yuan, Wen Zhao, Yu Huang:
Operation Expression: a Way to Verified Software. FCS 2010: 91-95 - Yun Zhai, Ryszard Janicki:
On Consistency in Pairwise Comparisons Based Numerical and Non-Numerical Ranking. FCS 2010: 183-186 - Pei Li Zhou, Xu Li:
Attribute Reducts Using Multistep Relational Extension Matrix. FCS 2010: 192-198 - Pei Li Zhou, Haixia Li, Yongli Li:
Application of Pansystems Theory in Operating Systems. FCS 2010: 205-211 - Hamid R. Arabnia, George A. Gravvanis, Ashu M. G. Solo:
Proceedings of the 2010 International Conference on Foundations of Computer Science, FCS 2010, July 12-15, 2010, Las Vegas, Nevada, USA. CSREA Press 2010, ISBN 1-60132-142-2 [contents] - 2009
- Bhupinder Singh Anand:
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Cohen and the Axiom of Choice. FCS 2009: 82-86 - Zied Bouyahia, Monia Bellalouna, Khaled Ghédira, Patrick Jaillet:
A Priori Strategies for the Probabilistic Total Weighted Flowtime on Parallel Identical Machines Problem. FCS 2009: 145-151 - Nitin, Gitanjali Chauhan, Vivek Kumar Sehgal, Rohit Sharma, Abhishek Gupta, Aditya Patel, Amanpreet Singh Arora, Aprajita Gupta, Utkarsh Shrivastava, Rajan Vaish:
A Single Tape Deterministic Turing Machine of Adaptive Deterministic Routing Algorithm Designed for Torus Network. FCS 2009: 37-40 - Nitin, Gitanjali Chauhan, Rohit Sharma, Vivek Kumar Sehgal, Rohit Verma, Gaurav Kumar, Utkarsh Shrivastava, Rajan Vaish:
Single Tape Deterministic Turing Machine of Routing Algorithms Designed for Torus Network. FCS 2009: 47-52 - Yangjun Chen:
Decomposing a Partially Ordered Set into Chains. FCS 2009: 126-132 - Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu:
Compositional Automata Reduction with Non-critical Path Slicing. FCS 2009: 133-138 - Brian Cloteaux, Desh Ranjan:
Lower Bounds for Accessing Information on Pure Pointer Machines. FCS 2009: 103-107 - Babak Dalvand, Saeed Safaei, Mojtaba Nazari:
Fast Parallel Molecular Solution to the Maximum Triangle Packing Problem on Massively Parallel Bio-Computing. FCS 2009: 169-173 - Joe DeMaio, William Faust:
Domination and Independence on the Rectangular Torus by Rooks and Bishops. FCS 2009: 120-125 - Ulisses Ferreira:
The Decidability of the Halting Problem. FCS 2009: 180-183 - Wit Forys, Piotr Oprocha:
Pseudo-Random Walks On Graphs And Cryptography. FCS 2009: 16-19 - Yijie Han:
Tight Bound for Matching. FCS 2009: 68-74 - Kenneth A. Hawick:
Spectral Analysis of Attractors in Random Boolean Network Models. FCS 2009: 61-67 - Kenneth E. Hoganson:
Mitigating Starvation of Multi-Level Feedback Queue Scheduling with Declining Max Weighted Average. FCS 2009: 174-179 - Ryszard Janicki, Nadezhda Zubkova:
On Closure Operator for Interval Order Structures. FCS 2009: 108-114 - Vitit Kantabutra:
An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular Polygons. FCS 2009: 92-94 - Arno Leist, Kenneth A. Hawick:
Circuits as a Classifier for Small-World Network Models. FCS 2009: 75-81 - Jyh-Shyan Lin, Fu-Kuo Tseng, Rong-Jaye Chen:
An Analysis of Hierarchical Identity-Based Cryptosystems. FCS 2009: 27-31 - Adnan M. Abu-Mahfouz, Gerhard P. Hancke:
An Efficient Method for Finding Square Roots for Elliptic Curves over OEF. FCS 2009: 87-91 - Bhupinder Singh Anand:
The Significance of Aristotle's Particularisation in the Foundations of Mathematics, Logic and Computability: Rosser and Formally Undecidable Arithmetical Propositions. FCS 2009: 95-99 - Thomas O'Neil:
The Importance of Symmetric Representation. FCS 2009: 115-119 - Srinivas Vamsi Parasa, Kumar Eswaran:
Quantum Pseudo-Fractional Fourier Transform and Its Application to Quantum Phase Estimation. FCS 2009: 9-15 - Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen:
A Quadratic Integer Programming Framework for Dedicated Machine Constraint. FCS 2009: 155-161 - Saeed Safaei, Babak Dalvand, Babak Esmaeili, Vahid Safaei:
Molecular Solutions for the Minimum Edge Dominating Set Problem on DNA-based Supercomputing. FCS 2009: 32-36 - Hirofumi Tagawa, Akihiro Fujiwara:
Dictionary Operations in Membrane Computing. FCS 2009: 20-26