| 2009 |
|---|
| 108 | EE | Qing Li,
Ling Feng,
Jian Pei,
Xiaoyang Sean Wang,
Xiaofang Zhou,
Qiao-Ming Zhu:
Advances in Data and Web Management, Joint International Conferences, APWeb/WAIM 2009, Suzhou, China, April 2-4, 2009, Proceedings
Springer 2009 |
| 2008 |
|---|
| 107 | | Claudio Bettini,
Sushil Jajodia,
Pierangela Samarati,
Xiaoyang Sean Wang:
Proceedings of the 1st International Workshop on Privacy in Location-Based Applications, Malaga, Spain, October 9, 2008
CEUR-WS.org 2008 |
| 106 | | James Bailey,
David Maier,
Klaus-Dieter Schewe,
Bernhard Thalheim,
Xiaoyang Sean Wang:
Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings
Springer 2008 |
| 105 | EE | Alexander Brodsky,
Xiaoyang Sean Wang:
Decision-Guidance Management Systems (DGMS): Seamless Integration of Data Acquisition, Learning, Prediction and Optimization.
HICSS 2008: 71 |
| 104 | EE | Sergio Mascetti,
Dario Freni,
Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
On the Impact of User Movement Simulations in the Evaluation of LBS Privacy- Preserving Techniques.
PiLBA 2008 |
| 103 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
How Anonymous Is k-Anonymous? Look at Your Quasi-ID.
Secure Data Management 2008: 1-15 |
| 102 | EE | Claudio Bettini,
Sergio Mascetti,
Xiaoyang Sean Wang:
Privacy Threats in Location-Based Services.
Encyclopedia of GIS 2008: 906-912 |
| 101 | EE | Peter C. Chapin,
Christian Skalka,
Xiaoyang Sean Wang:
Authorization in trust management: Features and foundations.
ACM Comput. Surv. 40(3): (2008) |
| 100 | EE | Zhen He,
Byung Suk Lee,
Xiaoyang Sean Wang:
Aggregation in sensor networks with a user-provided quality of service goal.
Inf. Sci. 178(9): 2128-2149 (2008) |
| 99 | EE | Bin Wang,
Xiaochun Yang,
Guoren Wang,
Ge Yu,
Lei Chen,
Xiaoyang Sean Wang,
Xuemin Lin:
Continually Answering Constraint k - NN Queries in Unstructured P2P Systems.
J. Comput. Sci. Technol. 23(4): 538-556 (2008) |
| 98 | EE | Zhen He,
Byung Suk Lee,
Xiaoyang Sean Wang:
Proactive and reactive multi-dimensional histogram maintenance for selectivity estimation.
Journal of Systems and Software 81(3): 414-430 (2008) |
| 97 | EE | Zhen He,
Xiaoyang Sean Wang,
Byung Suk Lee,
Alan C. H. Ling:
Mining partial periodic correlations in time series.
Knowl. Inf. Syst. 15(1): 31-54 (2008) |
| 2007 |
|---|
| 96 | EE | Yongzhen Zhuang,
Lei Chen,
Xiaoyang Sean Wang,
Jie Lian:
A Weighted Moving Average-based Approach for Cleaning Sensor Data.
ICDCS 2007: 38 |
| 95 | EE | Claudio Bettini,
Sergio Mascetti,
Xiaoyang Sean Wang,
Sushil Jajodia:
Anonymity in Location-Based Services: Towards a General Framework.
MDM 2007: 69-76 |
| 94 | EE | Mohammed Al-Kateb,
Byung Suk Lee,
Xiaoyang Sean Wang:
Adaptive-Size Reservoir Sampling over Data Streams.
SSDBM 2007: 22 |
| 93 | EE | Mohammed Al-Kateb,
Byung Suk Lee,
Xiaoyang Sean Wang:
Reservoir Sampling over Memory-Limited Stream Joins.
SSDBM 2007: 23 |
| 92 | EE | Claudio Bettini,
Sergio Mascetti,
Xiaoyang Sean Wang:
Supporting Temporal Reasoning by Mapping Calendar Expressions to Minimal Periodic Sets.
J. Artif. Intell. Res. (JAIR) 28: 299-348 (2007) |
| 91 | EE | Christian Skalka,
Xiaoyang Sean Wang,
Peter C. Chapin:
Risk management for distributed authorization.
Journal of Computer Security 15(4): 447-489 (2007) |
| 2006 |
|---|
| 90 | EE | Bin Wang,
Xiaochun Yang,
Guoren Wang,
Lei Chen,
Xiaoyang Sean Wang,
Xuemin Lin,
Ge Yu:
Answering Constrained k-NN Queries in Unstructured P2P Systems.
DBISP2P 2006: 397-405 |
| 89 | EE | Katerina Simonova,
Alan C. H. Ling,
Xiaoyang Sean Wang:
Location-aware key predistribution scheme for wide area wireless sensor networks.
SASN 2006: 157-168 |
| 88 | EE | Chao Yao,
Lingyu Wang,
Xiaoyang Sean Wang,
Sushil Jajodia:
Indistinguishability: The Other Aspect of Privacy.
Secure Data Management 2006: 1-17 |
| 87 | EE | Sergio Mascetti,
Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
k-Anonymity in Databases with Timestamped Data.
TIME 2006: 177-186 |
| 86 | EE | Min Wang,
Xiaoyang Sean Wang:
Finding the Plateau in an Aggregated Time Series.
WAIM 2006: 325-336 |
| 85 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
The Role of Quasi-identifiers in k-Anonymity Revisited
CoRR abs/cs/0611035: (2006) |
| 84 | EE | Yingjiu Li,
Sencun Zhu,
Xiaoyang Sean Wang,
Sushil Jajodia:
Looking into the seeds of time: Discovering temporal patterns in large transaction sets.
Inf. Sci. 176(8): 1003-1031 (2006) |
| 2005 |
|---|
| 83 | EE | Peter C. Chapin,
Christian Skalka,
Xiaoyang Sean Wang:
Risk assessment in distributed authorization.
FMSE 2005: 33-42 |
| 82 | EE | Like Gao,
Xiaoyang Sean Wang:
Feature Selection for Building Cost-Effective Data Stream Classifiers.
ICDM 2005: 621-624 |
| 81 | EE | Like Gao,
Min Wang,
Xiaoyang Sean Wang:
Quality-driven evaluation of trigger conditions on streaming time series.
SAC 2005: 563-567 |
| 80 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Protecting Privacy Against Location-Based Personal Identification.
Secure Data Management 2005: 185-199 |
| 79 | EE | Chao Yao,
Xiaoyang Sean Wang,
Sushil Jajodia:
Checking for k-Anonymity Violation by Views.
VLDB 2005: 910-921 |
| 78 | EE | Like Gao,
Xiaoyang Sean Wang:
Continuous Similarity-Based Queries on Streaming Time Series.
IEEE Trans. Knowl. Data Eng. 17(10): 1320-1332 (2005) |
| 77 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Information Release Control: A Learning-Based Architecture.
J. Data Semantics 2: 176-198 (2005) |
| 76 | EE | Like Gao,
Min Wang,
Xiaoyang Sean Wang:
Evaluating Trigger Conditions on Streaming Time Series with User-given Quality Requirements.
J. UCS 11(8): 1397-1410 (2005) |
| 2004 |
|---|
| 75 | EE | Alexander Brodsky,
Xiaoyang Sean Wang:
Adaptive Enterprise Optimization Framework: AEO Server and AEO Studio.
CP 2004: 812 |
| 74 | EE | Like Gao,
Min Wang,
Xiaoyang Sean Wang,
Sriram Padmanabhan:
Expressing and Optimizing Similarity-Based Queries in SQL.
ER 2004: 464-478 |
| 73 | EE | Xiaoyang Sean Wang,
Like Gao,
Min Wang:
Condition Evaluation for Speculative Systems: a Streaming Time Series Case.
STDBM 2004: 65-72 |
| 72 | EE | Christian Skalka,
Xiaoyang Sean Wang:
Trust but verify: authorization for web services.
SWS 2004: 47-55 |
| 71 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Identifying Sensitive Associations in Databases for Release Control.
Secure Data Management 2004: 187-201 |
| 70 | EE | Claudio Bettini,
Sergio Mascetti,
Xiaoyang Sean Wang:
Mapping Calendar Expressions into Periodical Granularities.
TIME 2004: 96-102 |
| 69 | EE | Claudio Bettini,
Sushil Jajodia,
Xiaoyang Sean Wang,
Duminda Wijesekera:
Reasoning with advanced policy rules and its application to access control.
Int. J. on Digital Libraries 4(3): 156-170 (2004) |
| 2003 |
|---|
| 68 | EE | Like Gao,
Min Wang,
Xiaoyang Sean Wang,
Sriram Padmanabhan:
A learning-based approach to estimate statistics of operators in continuous queries: a case study.
DMKD 2003: 66-72 |
| 67 | | Abhishek Agarwal,
Nikitas A. Alexandridis,
Tarek A. El-Ghazawi,
Zhengrong Yao,
Xiaoyang Sean Wang:
An Open XML IP Search Portal Prototype.
Embedded Systems and Applications 2003: 29-33 |
| 66 | EE | Zhengrong Yao,
Like Gao,
Xiaoyang Sean Wang:
Using Triangle Inequality to Efficiently Process Continuous Queries on High-Dimensional Streaming Time Series.
SSDBM 2003: 233-236 |
| 65 | EE | Min Wang,
Xiaoyang Sean Wang:
Efficient Evaluation of Composite Correlations for Streaming Time Series.
WAIM 2003: 369-380 |
| 64 | | Yingjiu Li,
Peng Ning,
Xiaoyang Sean Wang,
Sushil Jajodia:
Discovering calendar-based temporal association rules.
Data Knowl. Eng. 44(2): 193-218 (2003) |
| 63 | EE | Yunyao Qu,
Changzhou Wang,
Like Gao,
Xiaoyang Sean Wang:
Supporting Movement Pattern Queries in User-Specified Scales.
IEEE Trans. Knowl. Data Eng. 15(1): 26-42 (2003) |
| 62 | | Claudio Bettini,
Sushil Jajodia,
Xiaoyang Sean Wang,
Duminda Wijesekera:
Provisions and Obligations in Policy Rule Management.
J. Network Syst. Manage. 11(3): (2003) |
| 2002 |
|---|
| 61 | EE | Yingjiu Li,
Lingyu Wang,
Xiaoyang Sean Wang,
Sushil Jajodia:
Auditing Interval-Based Inference.
CAiSE 2002: 553-567 |
| 60 | EE | Like Gao,
Zhengrong Yao,
Xiaoyang Sean Wang:
Evaluating continuous nearest neighbor queries for streaming time series via pre-fetching.
CIKM 2002: 485-492 |
| 59 | EE | Like Gao,
Xiaoyang Sean Wang:
Improving the Performance of Continuous Queries on Fast Data Streams: Time Series Case.
DMKD 2002 |
| 58 | EE | Claudio Bettini,
Sushil Jajodia,
Xiaoyang Sean Wang,
Duminda Wijesekera:
Obligation Monitoring in Policy Management.
POLICY 2002: 2-12 |
| 57 | EE | Min Wang,
Xiaoyang Sean Wang:
Optimizing relational store for e-catalog queries: a data mining approach.
SAC 2002: 1147-1152 |
| 56 | EE | Like Gao,
Xiaoyang Sean Wang:
Continually evaluating similarity-based pattern queries on a streaming time series.
SIGMOD Conference 2002: 370-381 |
| 55 | EE | Claudio Bettini,
Sushil Jajodia,
Xiaoyang Sean Wang,
Duminda Wijesekera:
Provisions and Obligations in Policy Management and Security Applications.
VLDB 2002: 502-513 |
| 54 | | Peng Ning,
Xiaoyang Sean Wang,
Sushil Jajodia:
An Algebraic Representation of Calendars.
Ann. Math. Artif. Intell. 36(1-2): 5-38 (2002) |
| 53 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Solving multi-granularity temporal constraint networks.
Artif. Intell. 140(1/2): 107-152 (2002) |
| 52 | EE | Peng Ning,
Sushil Jajodia,
Xiaoyang Sean Wang:
Design and implementation of a decentralized prototype system for detecting distributed attacks.
Computer Communications 25(15): 1374-1391 (2002) |
| 51 | | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Temporal Reasoning in Workflow Systems.
Distributed and Parallel Databases 11(3): 269-306 (2002) |
| 50 | EE | Ruixin Yang,
Menas Kafatos,
Xiaoyang Sean Wang:
Managing Scientific Metadata Using XML.
IEEE Internet Computing 6(4): 52-59 (2002) |
| 49 | | Yingjiu Li,
Ningning Wu,
Xiaoyang Sean Wang,
Sushil Jajodia:
Enhancing Profiles for Anomaly Detection Using Time Granularities.
Journal of Computer Security 10(1/2): 137-158 (2002) |
| 48 | EE | Changzhou Wang,
Xiaoyang Sean Wang:
High-Dimensional Nearest Neighbor Search with Remote Data Centers.
Knowl. Inf. Syst. 4(4): 440-465 (2002) |
| 2001 |
|---|
| 47 | | Xiaoyang Sean Wang,
Ge Yu,
Hongjun Lu:
Advances in Web-Age Information Management, Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001, Proceedings
Springer 2001 |
| 46 | | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Minimizing Agent Synchronization in Workflow Systems with Temporal Constraints.
SEBD 2001: 339-346 |
| 45 | | Ruixin Yang,
Xinhua Deng,
Menas Kafatos,
Changzhou Wang,
Xiaoyang Sean Wang:
An XML-Based Distributed Metadata Server (DIMES) Supporting Earth Science Metadata.
SSDBM 2001: 251-256 |
| 44 | EE | Yingjiu Li,
Peng Ning,
Xiaoyang Sean Wang,
Sushil Jajodia:
Discovering Calendar-based Temporal Association Rules.
TIME 2001: 111-118 |
| 43 | EE | Peng Ning,
Sushil Jajodia,
Xiaoyang Sean Wang:
Abstraction-based intrusion detection in distributed environments.
ACM Trans. Inf. Syst. Secur. 4(4): 407-452 (2001) |
| 42 | EE | Changzhou Wang,
Xiaoyang Sean Wang:
Indexing very high-dimensional sparse and quasi-sparse vectors for similarity searches.
VLDB J. 9(4): 344-361 (2001) |
| 2000 |
|---|
| 41 | | Changzhou Wang,
Xiaoyang Sean Wang:
Multilevel Filtering for High Dimensional Nearest Neighbor Search.
ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery 2000: 37-43 |
| 40 | EE | Changzhou Wang,
Xiaoyang Sean Wang:
Supporting Subseries Nearest Neighbor Search via Approximation.
CIKM 2000: 314-321 |
| 39 | EE | Alexander Brodsky,
Csilla Farkas,
Duminda Wijesekera,
Xiaoyang Sean Wang:
Constraints, Inference Channels and Secure Databases.
CP 2000: 98-113 |
| 38 | | Jiahai Yang,
Peng Ning,
Xiaoyang Sean Wang,
Sushil Jajodia:
CARDS: A Distributed System for Detecting Coordinated Attacks.
SEC 2000: 171-180 |
| 37 | EE | Changzhou Wang,
Xiaoyang Sean Wang:
Supporting Content-Based Searches on Time Series via Approximation.
SSDBM 2000: 69-81 |
| 36 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Free Schedules for Free Agents in Workflow Systems.
TIME 2000: 31-38 |
| 35 | EE | Yingjiu Li,
Xiaoyang Sean Wang,
Sushil Jajodia:
Discovering Temporal Patterns in Multiple Granularities.
TSDM 2000: 5-19 |
| 34 | EE | Ruixin Yang,
Kwang-Su Yang,
Menas Kafatos,
Xiaoyang Sean Wang:
Value Range Queries on Earth Science Data via Histogram Clustering.
TSDM 2000: 62-76 |
| 33 | EE | Du Dang,
Xiaoyang Sean Wang:
Discovering Sequential Patterns from Non-Uniform Databases.
Web-Age Information Management 2000: 139-144 |
| 32 | EE | Peng Ning,
Xiaoyang Sean Wang,
Sushil Jajodia:
Modeling requests among cooperating intrusion detection systems.
Computer Communications 23(17): 1702-1715 (2000) |
| 1999 |
|---|
| 31 | EE | Ruixin Yang,
Changzhou Wang,
Menas Kafatos,
Xiaoyang Sean Wang,
Tarek A. El-Ghazawi:
Remote Data Access via the SIESIP Distributed Information System.
SSDBM 1999: 284 |
| 30 | EE | Xiaoyang Sean Wang,
Chang Li:
Deriving Orthogonality to Optimize the Search for Summary Data.
Inf. Syst. 24(1): 47-65 (1999) |
| 1998 |
|---|
| 29 | EE | Yunyao Qu,
Changzhou Wang,
Xiaoyang Sean Wang:
Supporting Fast Search in Time Series for Movement Patterns in Multiple Scales.
CIKM 1998: 251-258 |
| 28 | EE | Jia-Ling Lin,
Xiaoyang Sean Wang,
Sushil Jajodia:
Abstraction-Based Misuse Detection: High-Level Specifications and Adaptable Strategies.
CSFW 1998: 190-201 |
| 27 | EE | Zuotao Li,
Xiaoyang Sean Wang,
Menas Kafatos,
Ruixin Yang:
A Pyramid Data Model for Supporting Content-Based Browsing and Knowledge Discovery.
SSDBM 1998: 170-179 |
| 26 | EE | Menas Kafatos,
Xiaoyang Sean Wang,
Zuotao Li,
Ruixin Yang,
Dan Ziskin:
Information Technology Implementation for a Distributed Data System Serving Earth Scientists: Seasonal to Interannual ESIP.
SSDBM 1998: 210-215 |
| 25 | | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
A General Framework for Time Granularity and Its Application to Temporal Reasoning.
Ann. Math. Artif. Intell. 22(1-2): 29-58 (1998) |
| 24 | EE | James Bailey,
Guozhu Dong,
Mukesh K. Mohania,
Xiaoyang Sean Wang:
Incremental View Maintenance By Base Relation Tagging in Distributed Databases.
Distributed and Parallel Databases 6(3): 287-309 (1998) |
| 23 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Mining Temporal Relationships with Multiple Granularities in Time Sequences.
IEEE Data Eng. Bull. 21(1): 32-38 (1998) |
| 22 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia,
Jia-Ling Lin:
Discovering Frequent Event Patterns with Multiple Granularities in Time Sequences.
IEEE Trans. Knowl. Data Eng. 10(2): 222-237 (1998) |
| 21 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Temporal Semantic Assumptions and Their Use in Databases.
IEEE Trans. Knowl. Data Eng. 10(2): 277-296 (1998) |
| 20 | EE | Xiaoyang Sean Wang,
Sushil Jajodia,
Sona Mohavni:
Temporal Mediators: Supporting Uniform Accesses to Heterogeneous Temporal Information.
International Journal on Artificial Intelligence Tools 7(2): 319-339 (1998) |
| 19 | | Seymour Ginsburg,
Xiaoyang Sean Wang:
Regular Sequence Operations and Their Use in Database Queries.
J. Comput. Syst. Sci. 56(1): 1-26 (1998) |
| 1997 |
|---|
| 18 | | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Satisfiability of Quantitative Temporal Constraints with Multiple Granularities.
CP 1997: 435-449 |
| 17 | EE | Menas Kafatos,
Xiaoyang Sean Wang,
Heather Weir,
Zuotao Li,
Paul Hertz,
Henry Wolf,
Ruixin Yang,
Duane King,
Dan Ziskin:
The Virtual Domain Application Data Center: Serving Interdisciplinary Earth Scientists.
SSDBM 1997: 264-276 |
| 16 | EE | Yu Wu,
Sushil Jajodia,
Xiaoyang Sean Wang:
Temporal Database Bibliography Update.
Temporal Databases, Dagstuhl 1997: 338-366 |
| 15 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
An Architecture for Supporting Interoperability among Temporal Databases.
Temporal Databases, Dagstuhl 1997: 36-55 |
| 14 | EE | Claudio Bettini,
Curtis E. Dyreson,
William S. Evans,
Richard T. Snodgrass,
Xiaoyang Sean Wang:
A Glossary of Time Granularity Concepts.
Temporal Databases, Dagstuhl 1997: 406-413 |
| 13 | EE | Xiaoyang Sean Wang,
Claudio Bettini,
Alexander Brodsky,
Sushil Jajodia:
Logical Design for Temporal Databases with Multiple Granularities.
ACM Trans. Database Syst. 22(2): 115-170 (1997) |
| 12 | EE | Sushil Jajodia,
Daniel Barbará,
Alexander Brodsky,
Larry Kerschberg,
Amihai Motro,
Edgar H. Sibley,
Xiaoyang Sean Wang:
Information Systems Research at George Mason University.
SIGMOD Record 26(4): 69-74 (1997) |
| 1996 |
|---|
| 11 | EE | Chang Li,
Xiaoyang Sean Wang:
A Data Model for Supporting On-Line Analytical Processing.
CIKM 1996: 81-88 |
| 10 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
Testing Complex Temporal Relationships Involving Multiple Granularities and Its Application to Data Mining.
PODS 1996: 68-78 |
| 9 | EE | Chang Li,
Xiaoyang Sean Wang:
Optimizing Statistical Queries by Exploiting Orthogonality and Interval Properties of Grouping Relations.
SSDBM 1996: 118-127 |
| 8 | | Claudio Bettini,
Xiaoyang Sean Wang,
Sushil Jajodia:
A General Framework and Reasoning Model for Time Granularity.
TIME 1996: 104-111 |
| 1995 |
|---|
| 7 | EE | Xiaoyang Sean Wang:
Algebraic Query Languages on Temporal Databases with Multiple Time Granularities.
CIKM 1995: 304-311 |
| 6 | EE | Claudio Bettini,
Xiaoyang Sean Wang,
Elisa Bertino,
Sushil Jajodia:
Semantic Assumptions and Query Evaluation in Temporal Databases.
SIGMOD Conference 1995: 257-268 |
| 5 | | Xiaoyang Sean Wang,
Sushil Jajodia,
V. S. Subrahmanian:
Temporal Modules: An Approach Toward Federated Temporal Databases.
Inf. Sci. 82(1-2): 103-128 (1995) |
| 1993 |
|---|
| 4 | EE | Xiaoyang Sean Wang,
Sushil Jajodia,
V. S. Subrahmanian:
Temporal Modules: An Approach Toward Federated Temporal Databases.
SIGMOD Conference 1993: 227-236 |
| 3 | | Seymour Ginsburg,
Dan A. Simovici,
Xiaoyang Sean Wang:
Content-Related Interval Queries on Object Histories
Inf. Comput. 103(1): 30-67 (1993) |
| 1992 |
|---|
| 2 | EE | Seymour Ginsburg,
Xiaoyang Sean Wang:
Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data.
PODS 1992: 293-300 |
| 1986 |
|---|
| 1 | | Ali Mili,
Xiaoyang Sean Wang,
Yu Qing:
Specification Methodology: An Integrated Relational Approach.
Softw., Pract. Exper. 16(11): 1003-1030 (1986) |
