dblp.uni-trier.dewww.uni-trier.de

Yuzhen Xie

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEFrançois Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie: When does (T) equal sat(T)? ISSAC 2008: 207-214
6EEChangbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie: On the verification of polynomial system solvers. Frontiers of Computer Science in China 2(1): 55-66 (2008)
2007
5EEChangbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie: Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. International Conference on Computational Science (2) 2007: 268-271
4EEMarc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie: Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO 2007: 60-68
3EEMarc Moreno Maza, Yuzhen Xie: Component-level parallelization of triangular decompositions. PASCO 2007: 69-77
2006
2EEMarc Moreno Maza, Yuzhen Xie: An implementation report for parallel triangular decompositions. SPAA 2006: 235
2005
1EEXavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie: Lifting techniques for triangular decompositions. ISSAC 2005: 108-115

Coauthor Index

1Changbo Chen [5] [6]
2Xavier Dahan [1]
3François Lemaire [5] [7]
4Marc Moreno Maza [1] [2] [3] [4] [5] [6] [7]
5Wei Pan [5] [6] [7]
6Éric Schost [1]
7Ben Stephenson [4]
8Stephen M. Watt [4]
9Wenyuan Wu [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)