default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJianwen Su
苏建文
Person information
- unicode name: 苏建文
- affiliation: University of California, Santa Barbara, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]Isaac Mackey, Raghubir Chimni, Jianwen Su:
Early detection of temporal constraint violations. Inf. Comput. 296: 105114 (2024)- 2023
- [j46]Isaac Mackey, Jianwen Su:
Mapping singly-linked rules to linear temporal logic formulas. Inf. Syst. 117: 102222 (2023) - [c117]Mei Wang, Shiyun Liu, Yijie Dong, Zhijie Xu
, Qiao Pan, Dehua Chen, Jianwen Su:
An End-to-End Multi-stage Network for Ultrasound Video Object Segmentation. BIBM 2023: 3574-3581 - [c116]Wei Zhang, Perry Chen, Jian Yang, Yongping Tang, Jianwen Su:
A Capability Description Language Design for Data Products. DEC@SIGMOD 2023: 21-26 - [c115]Wei Emma Zhang, Perry Chen, Jian Yang, Jianwen Su, Quan Z. Sheng:
Data Product-Oriented Services for Data Ecosystem. ICWS 2023: 755-762 - [c114]Ye Li, Mei Wang, Jianwen Su:
An Evaluation Metric for Prediction Stability with Imprecise Data. KSEM (1) 2023: 430-441 - 2022
- [j45]Mei Wang, Zhihua Lin, Ruihua Li, Ye Li, Jianwen Su:
Predicting disease progress with imprecise lab test results. Artif. Intell. Medicine 132: 102373 (2022) - [j44]Yan Tang, Weilong Cui, Jianwen Su:
A Query Language for Workflow Logs. ACM Trans. Manag. Inf. Syst. 13(2): 16:1-16:28 (2022) - [c113]Isaac Mackey, Jianwen Su:
A Rule-Based Constraint Language for Event Streams. Datalog 2022: 145-150 - [c112]Isaac Mackey, Raghubir Chimni, Jianwen Su:
Early Detection of Temporal Constraint Violations. TIME 2022: 4:1-4:16 - 2021
- [i6]Mei Wang, Jianwen Su, Zhihua Lin:
Predicting Disease Progress with Imprecise Lab Test Results. CoRR abs/2107.03620 (2021) - 2020
- [i5]Mei Wang, Jianwen Su, Haiqin Lu:
Impact of Medical Data Imprecision on Learning Results. CoRR abs/2007.12375 (2020)
2010 – 2019
- 2019
- [c111]Jianwen Su, Dirk Van Gucht, Victor Vianu:
2019 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2019: 47 - [c110]Yongping Tang, Jian Yang, Jianwen Su:
Query Data Inconsistency for Business Processes. SERVICES 2019: 388-389 - 2018
- [j43]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [j42]Yan Tang, Isaac Mackey, Jianwen Su:
Querying Workflow Logs. Inf. 9(2): 25 (2018) - [c109]Julius Köpke, Johann Eder, Jianwen Su:
GSM+T: A Timed Artifact-Centric Process Model. TIME 2018: 18:1-18:15 - [r2]Guozhu Dong, Jianwen Su:
Incremental Computation of Queries. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c108]Jianwen Su, Yan Tang:
Business Intelligence Revisited. CBD 2017: 1-6 - [c107]Jianwen Su, Lijie Wen, Jian Yang:
From Data-centric Business Processes to Enterprise Process Frameworks. EDOC 2017: 1-9 - [c106]Yan Tang, Jianwen Su:
Querying Workflow Logs. ICDCS Workshops 2017: 370-375 - [i4]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR abs/1701.09007 (2017) - [i3]Christian Janiesch, Agnes Koschmider, Massimo Mecella, Barbara Weber, Andrea Burattin, Claudio Di Ciccio, Avigdor Gal, Udo Kannengiesser, Felix Mannhardt, Jan Mendling, Andreas Oberweis, Manfred Reichert, Stefanie Rinderle-Ma, WenZhan Song, Jianwen Su, Victoria Torres, Matthias Weidlich, Mathias Weske, Liang Zhang:
The Internet-of-Things Meets Business Process Management: Mutual Benefits and Challenges. CoRR abs/1709.03628 (2017) - 2016
- [j41]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45(4): 5-17 (2016) - [j40]Yutian Sun, Jianwen Su, Jian Yang:
Universal Artifacts: A New Approach to Business Process Management (BPM) Systems. ACM Trans. Manag. Inf. Syst. 7(1): 3:1-3:26 (2016) - [c105]Julius Köpke, Jianwen Su:
Towards Quality-Aware Translations of Activity-Centric Processes to Guard Stage Milestone. BPM 2016: 308-325 - [c104]Shuhao Wang, Lijie Wen, Akhil Kumar, Jianmin Wang, Jianwen Su:
ExRORU: A New Approach to Characterize the Behavioral Semantics of Process Models (Short Paper). OTM Conferences 2016: 318-326 - [e7]John Krogstie, Haralambos Mouratidis, Jianwen Su:
Advanced Information Systems Engineering Workshops - CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings. Lecture Notes in Business Information Processing 249, Springer 2016, ISBN 978-3-319-39563-0 [contents] - 2015
- [c103]Dongjin Yu, Qi Zhu, Dalong Guo, Binbin Huang, Jianwen Su:
jBPM4S: A Multi-tenant Extension of jBPM to Support BPaaS. AP-BPM 2015: 43-56 - [c102]Julius Köpke, Jianwen Su:
Towards Ontology Guided Translation of Activity-Centric Processes to GSM. Business Process Management Workshops 2015: 364-375 - [c101]Jianwen Su, Jian Yang:
Yank Your Data Out of My Engine: A New Approach to Workflow System Design. EDOC Workshops 2015: 61-69 - 2014
- [c100]Yutian Sun, Jianwen Su, Jian Yang:
Separating Execution and Data Management: A Key to Business-Process-as-a-Service (BPaaS). BPM 2014: 374-382 - [c99]Yutian Sun, Jianwen Su, Budan Wu, Jian Yang:
Modeling data for business processes. ICDE 2014: 1048-1059 - [c98]Yutian Sun, Jianwen Su:
Conformance for DecSerFlow Constraints. ICSOC 2014: 139-153 - 2013
- [c97]Ankit Srivastava, Lisa Ferrigno, Stephen Kaminski, Xifeng Yan, Jianwen Su:
Automated Trauma Incident Cubes Analysis. ICHI 2013: 248-257 - [c96]Riccardo De Masellis, Jianwen Su:
Runtime Enforcement of First-Order LTL Properties on Data-Aware Business Processes. ICSOC 2013: 54-68 - [c95]Richard Hull, Jianwen Su, Roman Vaculín:
Data management perspectives on business process management: tutorial overview. SIGMOD Conference 2013: 943-948 - [c94]Jianwen Su, Yutian Sun:
Choreography Revisited. WS-FM 2013: 13-25 - 2012
- [j39]Yi Wang, Jian Yang, Weiliang Zhao, Jianwen Su:
Change impact analysis in service-based business processes. Serv. Oriented Comput. Appl. 6(2): 131-149 (2012) - [c93]Xi Liu, Jianwen Su, Xuandong Li:
Proactive Enforcement of Data Consistency by Business Processes. APSEC 2012: 701-704 - [c92]Yutian Sun, Wei Xu, Jianwen Su:
Declarative Choreographies for Artifacts. ICSOC 2012: 420-434 - [c91]Yutian Sun, Wei Xu, Jianwen Su, Jian Yang:
SeGA: A Mediator for Artifact-Centric Business Processes. OTM Workshops 2012: 658-661 - 2011
- [c90]Yutian Sun, Jianwen Su:
Computing Degree of Parallelism for BPMN Processes. ICSOC 2011: 1-15 - [c89]Xi Liu, Jianwen Su, Jian Yang:
Preservation of Integrity Constraints by Workflow. OTM Conferences (1) 2011: 64-81 - [c88]Wei Xu, Jianwen Su, Zhimin Yan, Jian Yang, Liang Zhang:
An Artifact-Centric Approach to Dynamic Modification of Workflow Execution. OTM Conferences (1) 2011: 256-273 - [e6]Michael zur Muehlen, Jianwen Su:
Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers. Lecture Notes in Business Information Processing 66, Springer 2011, ISBN 978-3-642-20510-1 [contents] - 2010
- [c87]Jianmin Wang, Tengfei He, Lijie Wen, Nianhua Wu, Arthur H. M. ter Hofstede, Jianwen Su:
A Behavioral Similarity Measure between Labeled Petri Nets Based on Principal Transition Sequences - (Short Paper). OTM Conferences (1) 2010: 394-401 - [c86]Jianwen Su, Phokion G. Kolaitis:
The ACM PODS Alberto O. Mendelzon test-of-time-award 2010. PODS 2010: 39-40 - [c85]Esra Kucukoguz, Jianwen Su:
On Lifecycle Constraints of Artifact-Centric Workflows. WS-FM 2010: 71-85 - [c84]Alexandra Potapova, Jianwen Su:
On Nondeterministic Workflow Executions. WS-FM 2010: 176-190 - [e5]Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, Jianwen Su:
Enabling Holistic Approaches to Business Process Lifecycle Management, 11.04. - 16.04.2010. Dagstuhl Seminar Proceedings 10151, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e4]Cosimo Laneve, Jianwen Su:
Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6194, Springer 2010, ISBN 978-3-642-14457-8 [contents] - [i2]Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, Jianwen Su:
10151 Abstracts Collection - Enabling Holistic Approaches to Business Process Lifecycle Management. Enabling Holistic Approaches to Business Process Lifecycle Management 2010 - [i1]Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, Jianwen Su:
10151 Working Groups Results - How to enable Holistic Approaches to Business Process Lifecycle Management. Enabling Holistic Approaches to Business Process Lifecycle Management 2010
2000 – 2009
- 2009
- [j38]Jianwen Su:
Letter from the Special Issue Editor. IEEE Data Eng. Bull. 32(3): 2 (2009) - [j37]Jianwen Su:
Database theory column: report on PODS 2009. SIGACT News 40(4): 62-63 (2009) - [c83]Christian Fritz, Richard Hull, Jianwen Su:
Automatic construction of simple artifact-based business processes. ICDT 2009: 225-238 - [c82]Guohua Liu, Xi Liu, Haihuan Qin, Jianwen Su, Zhimin Yan, Liang Zhang:
Automated Realization of Business Workflow Specification. ICSOC/ServiceWave Workshops 2009: 96-108 - [c81]Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su:
Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143 - [c80]Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu:
Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118 - [p3]Kamal Bhattacharya, Richard Hull, Jianwen Su:
A Data-Centric Design Methodology for Business Processes. Handbook of Research on Business Process Modeling 2009: 503-531 - [e3]Jan Paredaens, Jianwen Su:
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA. ACM 2009, ISBN 978-1-60558-553-6 [contents] - [r1]Guozhu Dong, Jianwen Su:
Incremental Computation of Queries. Encyclopedia of Database Systems 2009: 1414-1417 - 2008
- [j36]Jianwen Su:
Letter from the Special Issue Editor. IEEE Data Eng. Bull. 31(3): 2 (2008) - [j35]Bin Lin, Jianwen Su:
One Way Distance: For Shape Based Similarity Search of Moving Object Trajectories. GeoInformatica 12(2): 117-142 (2008) - [j34]Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su:
Minimum-cost delegation in service composition. Theor. Comput. Sci. 409(3): 417-431 (2008) - [c79]Hoda M. O. Mokhtar, Jianwen Su:
QUESTO: A Query Language for Uncertain and Exact Spatio-temporal Objects. ADBIS 2008: 184-198 - [c78]Mark Wiley, Aihua Wu, Jianwen Su:
WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets. CEC/EEE 2008: 157-164 - [c77]Anna Sibirtseva, Zhongnan Shen, Jianwen Su, Fuliang Weng, Baoshi Yan, Yao Meng:
SSWiM: A Semantic Service, Wrapper and Invocation Manager. CEC/EEE 2008: 175-182 - 2007
- [j33]Cui Yu, Bin Cui, Shuguang Wang, Jianwen Su:
Efficient index-based KNN join processing for high-dimensional data. Inf. Softw. Technol. 49(4): 332-344 (2007) - [j32]Gabriel M. Kuper, Jianwen Su:
A representation independent language for planar spatial databases with Euclidean distance. J. Comput. Syst. Sci. 73(6): 845-874 (2007) - [c76]Kamal Bhattacharya, Cagdas Evren Gerede, Richard Hull, Rong Liu, Jianwen Su:
Towards Formal Analysis of Artifact-Centric Business Process Models. BPM 2007: 288-304 - [c75]Cagdas E. Gerede, Jianwen Su:
Specification and Verification of Artifact Behaviors in Business Process Models. ICSOC 2007: 181-192 - [c74]Zhongnan Shen, Jianwen Su:
On Completeness of Web Service Compositions. ICWS 2007: 800-807 - [c73]Zhongnan Shen, Jianwen Su:
On Complexity of The Tightening Problem for Web Service Discovery. SOCA 2007: 29-38 - [c72]Cagdas E. Gerede, Kamal Bhattacharya, Jianwen Su:
Static Analysis of Business Artifact-centric Operational Models. SOCA 2007: 133-140 - [c71]Ariane Gravel, Xiang Fu, Jianwen Su:
An Analysis Tool for Execution of BPEL Services. CEC/EEE 2007: 429-432 - [c70]Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao:
Towards a Theory of Web Service Choreographies. WS-FM 2007: 1-16 - [c69]Zhongnan Shen, Jianwen Su:
On automated composition for web services. WWW 2007: 1261-1262 - [p2]Tevfik Bultan, Xiang Fu, Jianwen Su:
Analyzing Conversations: Realizability, Synchronizability, and Verification. Test and Analysis of Web Services 2007: 57-85 - [e2]Christian Becker, Christian S. Jensen, Jianwen Su, Daniela Nicklas:
8th International Conference on Mobile Data Management (MDM 2007), Mannheim, Germany, May 7-11, 2007. IEEE 2007, ISBN 1-4244-1240-4 [contents] - 2006
- [j31]Tevfik Bultan, Jianwen Su, Xiang Fu:
Analyzing Conversations of Web Services. IEEE Internet Comput. 10(1): 18-25 (2006) - 2005
- [j30]Xiang Fu, Tevfik Bultan, Jianwen Su:
Realizability of Conversation Protocols with Message Contents. Int. J. Web Serv. Res. 2(4): 68-93 (2005) - [j29]Richard Hull, Jianwen Su:
Tools for composite web services: a short overview. SIGMOD Rec. 34(2): 86-95 (2005) - [j28]Zhe Dang, Oscar H. Ibarra, Jianwen Su:
On composition and lookahead delegation of e-services modeled by automata, . Theor. Comput. Sci. 341(1-3): 344-363 (2005) - [j27]Bin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan:
Indexing High-Dimensional Data for Efficient In-Memory Similarity Search. IEEE Trans. Knowl. Data Eng. 17(3): 339-353 (2005) - [j26]Xiang Fu, Tevfik Bultan, Jianwen Su:
Synchronizability of Conversations among Web Services. IEEE Trans. Software Eng. 31(12): 1042-1055 (2005) - [c68]Jianwen Su:
Web Service Interactions: Analysis and Design. CIT 2005: 3 - [c67]Cagdas Evren Gerede, Oscar H. Ibarra, Bala Ravikumar, Jianwen Su:
Online and Minimum-Cost Ad Hoc Delegation in e-Service Composition. IEEE SCC 2005: 103-112 - [c66]Zhongnan Shen, Jianwen Su:
Web Service Discovery Based on Behavior Signatures. IEEE SCC 2005: 279-286 - [c65]Bin Lin, Jianwen Su:
Handling frequent updates of moving objects. CIKM 2005: 493-500 - [c64]Bin Lin, Jianwen Su:
Shapes based trajectory queries for moving objects. GIS 2005: 21-30 - [c63]Ozgur D. Sahin, Cagdas Evren Gerede, Divyakant Agrawal, Amr El Abbadi, Oscar H. Ibarra, Jianwen Su:
SPiDeR: P2P-Based Web Service Discovery. ICSOC 2005: 157-169 - [c62]Jianwen Su, Tevfik Bultan, Xiang Fu:
Web Service Interactions: Analysis and Design. SDWP@ICWS 2005 - [c61]Hoda M. O. Mokhtar, Jianwen Su:
A Query Language for Moving Object Trajectories. SSDBM 2005: 173-182 - 2004
- [j25]Xiang Fu, Tevfik Bultan, Jianwen Su:
Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2): 19-37 (2004) - [j24]Bin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan:
Main Memory Indexing: The Case for BD-Tree. IEEE Trans. Knowl. Data Eng. 16(7): 870-874 (2004) - [c60]Tevfik Bultan, Xiang Fu, Jianwen Su:
Tools for Automated Verification of Web Services. ATVA 2004: 8-10 - [c59]Xiang Fu, Tevfik Bultan, Jianwen Su:
WSAT: A Tool for Formal Analysis of Web Services. CAV 2004: 510-514 - [c58]Cagdas Evren Gerede, Richard Hull, Oscar H. Ibarra, Jianwen Su:
Automated composition of e-services: lookaheads. ICSOC 2004: 252-262 - [c57]Xiang Fu, Tevfik Bultan, Jianwen Su:
Realizability of Conversation Protocols With Message Contents. ICWS 2004: 96- - [c56]Zhe Dang, Oscar H. Ibarra, Jianwen Su:
Composability of Infinite-State Activity Automata. ISAAC 2004: 377-388 - [c55]Xiang Fu, Tevfik Bultan, Jianwen Su:
Model checking XML manipulating software. ISSTA 2004: 252-262 - [c54]Bin Lin, Jianwen Su:
On Bulk Loading TPR-Tree. Mobile Data Management 2004: 114-124 - [c53]Hoda M. O. Mokhtar, Jianwen Su:
Universal Trajectory Queries for Moving Object Databases. Mobile Data Management 2004: 133- - [c52]Jorge Cardoso, John A. Miller, Jianwen Su, Jeff Pollock:
Academic and Industrial Research: Do Their Approaches Differ in Adding Semantics to Web Services? SWSWPC 2004: 14-21 - [c51]Richard Hull, Jianwen Su:
Tools for Design of Composite Web Services. SIGMOD Conference 2004: 958-961 - [c50]Xiang Fu, Tevfik Bultan, Jianwen Su:
Analysis of interacting BPEL web services. WWW 2004: 621-630 - 2003
- [j23]Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su:
FPV: Fast Protein Visualization Using Java 3DTM. Bioinform. 19(8): 913-922 (2003) - [c49]Richard Hull, Michael Benedikt, Vassilis Christophides, Jianwen Su:
E-services: a look behind the curtain. PODS 2003: 1-14 - [c48]Tolga Can, Yujun Wang, Yuan-Fang Wang, Jianwen Su:
FPV: Fast Protein Visualization Using Java 3D. SAC 2003: 88-95 - [c47]Bin Cui, Beng Chin Ooi, Jianwen Su, Kian-Lee Tan:
Contorting High Dimensional Data for Efficient Main Memory Processing. SIGMOD Conference 2003: 479-490 - [c46]Xiang Fu, Tevfik Bultan, Jianwen Su:
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. CIAA 2003: 188-200 - [c45]Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su:
Conversation specification: a new approach to design and analysis of e-service composition. WWW 2003: 403-410 - 2002
- [j22]Oscar H. Ibarra, Jianwen Su, Zhe Dang, Tevfik Bultan, Richard A. Kemmerer:
Counter Machines and Verification Problems. Theor. Comput. Sci. 289(1): 165-189 (2002) - [j21]Oscar H. Ibarra, Jianwen Su:
Augmenting the discrete timed automaton with other data structures. Theor. Comput. Sci. 289(1): 191-204 (2002) - [c44]Hongjun Zhu, Jianwen Su, Oscar H. Ibarra:
Trajectory queries and octagons in moving object databases. CIKM 2002: 413-421 - [c43]Hoda M. O. Mokhtar, Jianwen Su, Oscar H. Ibarra:
On Moving Object Queries. PODS 2002: 188-198 - [c42]Xiang Fu, Tevfik Bultan, Jianwen Su:
Formal Verification of e-Services and Workflows. WES 2002: 188-202 - [e1]Xiaofeng Meng, Jianwen Su, Yujun Wang:
Advances in Web-Age Information Management, Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Proceedings. Lecture Notes in Computer Science 2419, Springer 2002, ISBN 3-540-44045-3 [contents] - 2001
- [j20]Oscar H. Ibarra, Tevfik Bultan, Jianwen Su:
On Reachability and Safety in Infinite-State Systems. Int. J. Found. Comput. Sci. 12(6): 821-836 (2001) - [c41]Oscar H. Ibarra, Jianwen Su, Constantinos Bartzis:
Counter machines and the safety and disjointness problems for database queries with linear constraints. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 127-137 - [c40]Jianwen Su,