The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xiaoyu Song: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang
    A fast congestion estimator for routing with bounded detours. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2004, pp:666-670 [Conf]
  2. Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
    Fast synthesis of exact minimal reversible circuits using group theory. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1002-1005 [Conf]
  3. Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song
    Implication of assertion graphs in GSTE. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1060-1063 [Conf]
  4. Fei Xie, Guowu Yang, Xiaoyu Song
    Compositional Reasoning for Hardware/Software Co-verification. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:154-169 [Conf]
  5. Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun
    A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:39-50 [Conf]
  6. Shiguang Ju, Xiaoyu Song
    On the Formal Characterization of Covert Channel. [Citation Graph (0, 0)][DBLP]
    AWCC, 2004, pp:155-160 [Conf]
  7. K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou
    MDG Tools for the Verification of RTL Designs. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:433-436 [Conf]
  8. Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane Aït Mohamed
    Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:219-231 [Conf]
  9. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny
    On the non-termination of MDGs-based abstract state enumeration. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:218-235 [Conf]
  10. Francisco Corella, Michel Langevin, Eduard Cerny, Zijian Zhou, Xiaoyu Song
    State enumeration with abstract descriptions of state machines. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:146-160 [Conf]
  11. Xuehou Tan, Xiaoyu Song
    Hexagonal Routings of Multiterminal Nets. [Citation Graph (0, 0)][DBLP]
    COCOON, 1997, pp:311-320 [Conf]
  12. Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie
    A Theoretical Upper Bound for IP-Based Floorplanning. [Citation Graph (0, 0)][DBLP]
    COCOON, 2005, pp:411-419 [Conf]
  13. Anduo Wang, Fei He, Ming Gu, Xiaoyu Song
    Verifying Java Programs By Theorem Prover HOL. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:139-142 [Conf]
  14. William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
    Quantum logic synthesis by symbolic reachability analysis. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:838-841 [Conf]
  15. Osama Neiroukh, Xiaoyu Song
    Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:294-299 [Conf]
  16. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
    Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. [Citation Graph (0, 0)][DBLP]
    DATE, 2005, pp:434-435 [Conf]
  17. Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Bart Massey, Pawel Kerntopf, Andrzej Buller, Lech Józwiak, Alan J. Coppola
    Regular Realization of Symmetric Functions Using Reversible Logic. [Citation Graph (0, 0)][DBLP]
    DSD, 2001, pp:245-253 [Conf]
  18. Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou
    Verification with Abstract State Machines Using MDGs. [Citation Graph (0, 0)][DBLP]
    Formal Hardware Verification, 1997, pp:79-113 [Conf]
  19. Zijian Zhou, Xiaoyu Song, Sofiène Tahar, Eduard Cerny, Francisco Corella, Michel Langevin
    Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:233-247 [Conf]
  20. Otmane Aït Mohamed, Eduard Cerny, Xiaoyu Song
    MDG-based Verification by Retiming and Combinational Transformations. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1998, pp:356-361 [Conf]
  21. V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song
    Formal hardware verification by integrating HOL and MDG. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2000, pp:23-28 [Conf]
  22. Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Alan J. Coppola, Andrew A. Kennings
    Board-level multiterminal net assignment. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2002, pp:130-135 [Conf]
  23. Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin
    Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1996, pp:106-111 [Conf]
  24. Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid
    Residue to Binary Number Converters for (2n-1, 2n, 2n+1). [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1998, pp:174-178 [Conf]
  25. Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid
    A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1999, pp:362-0 [Conf]
  26. Zijian Zhou, Xiaoyu Song, Francisco Corella, Eduard Cerny, Michel Langevin
    Partitioning transition relations efficiently and automatically. [Citation Graph (0, 0)][DBLP]
    Great Lakes Symposium on VLSI, 1995, pp:106-111 [Conf]
  27. Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
    Effective heuristics for counterexample-guided abstraction refinement. [Citation Graph (0, 0)][DBLP]
    ACM Great Lakes Symposium on VLSI, 2007, pp:393-398 [Conf]
  28. William N. N. Hung, Xiaoyu Song
    BDD Variable Ordering by Scatter Search. [Citation Graph (0, 0)][DBLP]
    ICCD, 2001, pp:368-373 [Conf]
  29. Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny
    Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. [Citation Graph (0, 0)][DBLP]
    ICCD, 1996, pp:20-26 [Conf]
  30. Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
    Segmented channel routing with pin rearrangements via satisfiability. [Citation Graph (0, 0)][DBLP]
    ISCAS (6), 2005, pp:6248-6251 [Conf]
  31. William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings
    On segmented channel routability. [Citation Graph (0, 0)][DBLP]
    ISCAS (1), 2002, pp:169-172 [Conf]
  32. William N. N. Hung, Xiaoyu Song
    On data address computation for embedded DSP systems. [Citation Graph (0, 0)][DBLP]
    ISCAS (4), 2002, pp:532-535 [Conf]
  33. Lerong Cheng, William N. N. Hung, Guowu Yang, Xiaoyu Song
    Congestion Estimation for 3D Routing. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2004, pp:239-240 [Conf]
  34. Fei He, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu, Jia-Guang Sun
    A Hierachical Method for Wiring and Congestion Prediction. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2005, pp:307-308 [Conf]
  35. Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski
    Bi-Direction Synthesis for Reversible Circuits. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2005, pp:14-19 [Conf]
  36. Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song
    An Efficient Algorithm for the Analysis of Cyclic Circuits. [Citation Graph (0, 0)][DBLP]
    ISVLSI, 2006, pp:303-308 [Conf]
  37. Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi
    Translation-based co-verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:111-120 [Conf]
  38. Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum
    Formal Specification of an Asynchronous Processor via Action Refinement. [Citation Graph (0, 0)][DBLP]
    MTV, 2004, pp:36-41 [Conf]
  39. Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski
    Group Theory Based Synthesis of Binary Reversible Circuits. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:365-374 [Conf]
  40. Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie
    Maximal Models of Assertion Graph in GSTE. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:684-693 [Conf]
  41. Guowu Yang, Fei Xie, Xiaoyu Song, Marek A. Perkowski
    Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits. [Citation Graph (0, 0)][DBLP]
    CIAA, 2006, pp:279-280 [Conf]
  42. Fei He, Ming Gu, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng
    Probabilistic Estimation for Routing Space. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:6, pp:667-676 [Journal]
  43. Yuke Wang, Carl McCrosky, Xiaoyu Song
    Single-faced Boolean Functions and their Minimization. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:4, pp:280-291 [Journal]
  44. Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed
    Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs). [Citation Graph (0, 0)][DBLP]
    Comput. J., 2004, v:47, n:1, pp:71-84 [Journal]
  45. Xuehou Tan, Xiaoyu Song
    Routing Multiterminal Nets on a Hexagonal Grid. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1999, v:90, n:1-3, pp:245-255 [Journal]
  46. Francisco Corella, Zijian Zhou, Xiaoyu Song, Michel Langevin, Eduard Cerny
    Multiway Decision Graphs for Automated Hardware Verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:10, n:1, pp:7-46 [Journal]
  47. Ming Gu, Fei He, William N. N. Hung, Xiaoyu Song
    A comparative study on search strategies for cell assignments. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2004, v:81, n:7, pp:901-908 [Journal]
  48. Ming Gu, Guowu Yang, Xiaoyu Song, Jiaguang Sun
    On synthesis of 3 × 3 reversible logic functions. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2005, v:82, n:4, pp:385-390 [Journal]
  49. Ming Gu, Fei He, Lerong Cheng, Xiaoyu Song, Guowu Yang
    Congestion estimation for hexagonal routing. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Math., 2006, v:83, n:3, pp:263-272 [Journal]
  50. Xuehou Tan, Xiaoyu Song
    Hexagonal Three-Layer Channel Routing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:55, n:4, pp:223-228 [Journal]
  51. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny, Sofiène Tahar, Zijian Zhou
    MDG-Based State Enumeration By Retiming And Circuit Transformation. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 2004, v:13, n:5, pp:1111-1132 [Journal]
  52. Fei He, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
    On Theoretical Upper Bounds for Routing Estimation. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2005, v:11, n:6, pp:916-925 [Journal]
  53. Xiaoyu Song, Guowu Yang, Marek A. Perkowski, Yuke Wang
    Algebraic Characterization of Reversible Logic Gates. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2006, v:39, n:2, pp:311-319 [Journal]
  54. Shengyi Jiang, Xiaoyu Song, Hui Wang, Jian-Jun Han, Qing-Hua Li
    A clustering-based method for unsupervised intrusion detections. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition Letters, 2006, v:27, n:7, pp:802-810 [Journal]
  55. Qian-Yu Tang, Xiaoyu Song
    Diagnosis of Parallel Computers with Arbitrary Connectivity. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1999, v:48, n:7, pp:757-761 [Journal]
  56. William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll
    BDD minimization by scatter search. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2002, v:21, n:8, pp:974-979 [Journal]
  57. William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski
    Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:9, pp:1652-1663 [Journal]
  58. Xiaoyu Song
    An algorithm for L-shaped channel routing in a diagonal model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1992, v:11, n:2, pp:267-270 [Journal]
  59. Xiaoyu Song, Xuehou Tan
    An optimal channel-routing algorithm in the times square model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1994, v:13, n:7, pp:891-898 [Journal]
  60. Xiaoyu Song, Qian-Yu Tang, Dian Zhou, Yuke Wang
    Wire space estimation and routability analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:5, pp:624-628 [Journal]
  61. Sofiène Tahar, Xiaoyu Song, Eduard Cerny, Zijian Zhou, Michel Langevin, Otmane Aït Mohamed
    Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:7, pp:956-972 [Journal]
  62. Qian-Yu Tang, Xiaoyu Song, Yuke Wang
    Diagnosis of clustered faults for identical degree topologies. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:8, pp:1192-1201 [Journal]
  63. Otmane Aït Mohamed, Xiaoyu Song, Eduard Cerny
    On the non-termination of M-based abstract state enumeration. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:300, n:1-3, pp:161-179 [Journal]
  64. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
    Majority-based reversible logic gates. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:334, n:1-3, pp:259-274 [Journal]
  65. William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola
    Segmented channel routability via satisfiability. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2004, v:9, n:4, pp:517-528 [Journal]
  66. Xiaoyu Song, Yuke Wang
    On the crossing distribution problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 1999, v:4, n:1, pp:39-51 [Journal]
  67. William N. N. Hung, Xiaoyu Song, T. Kam, Lerong Cheng, Guowu Yang
    Routability checking for three-dimensional architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 2004, v:12, n:12, pp:1371-1374 [Journal]
  68. Fei Xie, Guowu Yang, Xiaoyu Song
    Component-based hardware/software co-verification. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:27-36 [Conf]
  69. William N. N. Hung, Changjian Gao, Xiaoyu Song, Dan W. Hammerstrom
    Defect-Tolerant CMOL Cell Assignment via Satisfiability [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  70. Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski
    Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  71. Osama Neiroukh, Xiaoyu Song
    Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  72. Fei Xie, Guowu Yang, Xiaoyu Song
    Component-based hardware/software co-verification for building trustworthy embedded systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:5, pp:643-654 [Journal]
  73. Gang Chen, Xiaoyu Song, Feng Liu, QingPing Tan, Fei He
    A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". [Citation Graph (0, 0)][DBLP]
    ACM Trans. Design Autom. Electr. Syst., 2007, v:12, n:4, pp:- [Journal]
  74. Xiaoyu Song, William N. N. Hung, Alan Mishchenko, Malgorzata Chrzanowska-Jeske, Andrew A. Kennings, Alan J. Coppola
    Board-level multiterminal net assignment for the partial cross-bar architecture. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 2003, v:11, n:3, pp:511-514 [Journal]

  75. Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets. [Citation Graph (, )][DBLP]


  76. Non-Functional Requirements Elicitation and Incorporation into Functional Models. [Citation Graph (, )][DBLP]


  77. A Maximum Weight Heuristic Method for Abstract State Computation. [Citation Graph (, )][DBLP]


  78. Formalization and Verification of PLC Timers in Coq. [Citation Graph (, )][DBLP]


  79. Translation-Based Model Checking for PLC Programs. [Citation Graph (, )][DBLP]


  80. A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. [Citation Graph (, )][DBLP]


  81. Data mining based decomposition for assume-guarantee reasoning. [Citation Graph (, )][DBLP]


  82. A Hybrid Algorithm of PSO and SA for Solving JSP. [Citation Graph (, )][DBLP]


  83. GM(1, 1) based grey programming model for emergency goods scheduling. [Citation Graph (, )][DBLP]


  84. Algorithm of arcs recognition based on bar tracking. [Citation Graph (, )][DBLP]


  85. AOP-based high-level power estimation in SystemC. [Citation Graph (, )][DBLP]


  86. Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. [Citation Graph (, )][DBLP]


  87. A simple latency tolerant processor. [Citation Graph (, )][DBLP]


  88. Formal Specification and Code Generation of Programable Logic Controllers. [Citation Graph (, )][DBLP]


  89. Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem. [Citation Graph (, )][DBLP]


  90. Component-Based Abstraction and Refinement. [Citation Graph (, )][DBLP]


  91. A New Approach for the Construction of Multiway Decision Graphs. [Citation Graph (, )][DBLP]


  92. Wheat Grain Quality Forecasting by Canopy Reflected Spectrum. [Citation Graph (, )][DBLP]


  93. A case study on system-level modeling by aspect-oriented programming. [Citation Graph (, )][DBLP]


  94. Effective Predicate Abstraction for Program Verification. [Citation Graph (, )][DBLP]


  95. The probability logics for nanoscale inverterscascade. [Citation Graph (, )][DBLP]


  96. Fast algorithm for 4-qubit reversible logic circuits synthesis. [Citation Graph (, )][DBLP]


  97. Verifying programmable logic controllers with abstraction. [Citation Graph (, )][DBLP]


  98. Modeling and analysis of stage machinery control systems by timed colored Petri nets. [Citation Graph (, )][DBLP]


  99. An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams. [Citation Graph (, )][DBLP]


  100. A Mini Arc Recognition Algorithm Based on the Topological Inference. [Citation Graph (, )][DBLP]


  101. Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems. [Citation Graph (, )][DBLP]


  102. Bi-Directional Synthesis of 4-Bit Reversible Circuits. [Citation Graph (, )][DBLP]


  103. Heuristic-Guided Abstraction Refinement. [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002